Trace number 4263643

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
sat4j-CSP 2017-07-05SAT 16.085899 12.1645

General information on the benchmark

NameSocialGolfers/SocialGolfers-xcsp2-s1/
SocialGolfers-06-3-6_X2.xml
MD5SUM0e3db93cff00a15b0090c37596304a16
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 benchmark5.96382
Satisfiable
(Un)Satisfiability was proved
Number of variables1566
Number of constraints5805
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1566}]
Minimum variable degree7
Maximum variable degree19
Distribution of variable degrees[{"degree":7,"count":918},{"degree":19,"count":648}]
Minimum constraint arity3
Maximum constraint arity18
Distribution of constraint arities[{"arity":3,"count":5508},{"arity":6,"count":261},{"arity":18,"count":36}]
Number of extensional constraints0
Number of intensional constraints5508
Distribution of constraint types[{"type":"intension","count":5508},{"type":"sum","count":297}]
Optimization problemNO
Type of objective

Solver Data

3.65/1.41	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
3.65/1.41	c This is free software under the dual EPL/GNU LGPL licenses.
3.65/1.41	c See www.sat4j.org for details.
3.65/1.41	c That software uses the Rhino library from the Mozilla project.
3.65/1.41	c version CUSTOM.v20170705
3.65/1.41	c java.runtime.name	Java(TM) SE Runtime Environment
3.65/1.41	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
3.65/1.41	c java.vm.version	25.131-b11
3.65/1.41	c java.vm.vendor	Oracle Corporation
3.65/1.41	c sun.arch.data.model	64
3.65/1.41	c java.version		1.8.0_131
3.65/1.41	c os.name		Linux
3.65/1.41	c os.version		3.10.0-514.16.1.el7.x86_64
3.65/1.41	c os.arch		amd64
3.65/1.41	c Free memory 		499604488
3.65/1.41	c Max memory 		7247757312
3.65/1.41	c Total memory 		504889344
3.65/1.41	c Number of processors 	4
3.65/1.41	c c --- Begin Solver configuration ---
3.65/1.41	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
3.65/1.41	c Learn all clauses as in MiniSAT
3.65/1.41	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
3.65/1.41	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
3.65/1.41	c No reason simplification
3.65/1.41	c Glucose 2.1 dynamic restart strategy
3.65/1.41	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
3.65/1.41	c timeout=2147483s
3.65/1.41	c DB Simplification allowed=false
3.65/1.41	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
3.65/1.41	c --- End Solver configuration ---
3.65/1.41	c constraints type 
3.65/1.41	c org.sat4j.minisat.constraints.card.MinWatchCard => 3132
3.65/1.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 13527
3.65/1.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 77760
3.65/1.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 11610
3.65/1.41	c 106029 constraints processed.
16.05/12.14	c starts		: 93
16.05/12.14	c conflicts		: 17163
16.05/12.14	c decisions		: 1177685
16.05/12.14	c propagations		: 31838586
16.05/12.14	c inspects		: 58816425
16.05/12.14	c shortcuts		: 0
16.05/12.14	c learnt literals	: 1514
16.05/12.14	c learnt binary clauses	: 1580
16.05/12.14	c learnt ternary clauses	: 4178
16.05/12.14	c learnt constraints	: 15649
16.05/12.14	c ignored constraints	: 0
16.05/12.14	c root simplifications	: 0
16.05/12.14	c removed literals (reason simplification)	: 0
16.05/12.14	c reason swapping (by a shorter reason)	: 0
16.05/12.14	c Calls to reduceDB	: 2
16.05/12.14	c Number of update (reduction) of LBD	: 5158
16.05/12.14	c Imported unit clauses	: 0
16.05/12.14	c number of reductions to clauses (during analyze)	: 0
16.05/12.14	c number of learned constraints concerned by reduction	: 0
16.05/12.14	c number of learning phase by resolution	: 0
16.05/12.14	c number of learning phase by cutting planes	: 0
16.05/12.14	c number of rounding to 1 operations	: 0
16.05/12.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
16.05/12.14	c number of reductions of the coefficients by power 2 	: 0
16.05/12.14	c number of right shift for reduction by power 2 	: 0
16.05/12.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
16.05/12.14	c speed (assignments/second)	: 2976403.2906422364
16.05/12.14	c non guided choices	337726
16.05/12.14	c learnt constraints type 
16.05/12.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1580
16.05/12.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 9043
16.05/12.14	s SATISFIABLE
16.05/12.14	v <instantiation type="solution">
16.05/12.14	v 	<list> 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] </list>
16.05/12.14	v 	<values> 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 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 1 0 1 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 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 </values>
16.05/12.14	v </instantiation>
16.05/12.14	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263643-1502626179/watcher-4263643-1502626179 -o /tmp/evaluation-result-4263643-1502626179/solver-4263643-1502626179 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502623989-31951 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263643-1502626179.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
Current StackSize limit: 8192 KiB

solver pid=32386, runsolver pid=32383

[startup+0.100151 s]*
/proc/loadavg: 5.41 4.70 3.66 3/201 32387
/proc/meminfo: memFree=26917712/32770624 swapFree=67108860/67108860
[pid=32386] ppid=32383 vsize=8335132 memory=8052 CPUtime=0 cores=0,2,4,6
/proc/32386/stat : 32386 (java) S 32383 32386 12395 0 -1 1077944320 1814 0 0 0 0 0 0 0 20 0 2 0 104529247 8535175168 2013 18446744073709551615 4194304 4196468 140725219535872 140725219518416 140011176283895 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
/proc/32386/statm: 2083783 2013 1154 1 0 2073753 0
[pid=32386/tid=32388] ppid=32383 vsize=8345500 memory=-6154004425841152356 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32388/stat : 32388 (java) R 32383 32386 12395 0 -1 4202560 612 0 0 0 0 0 0 0 20 0 2 0 104529257 8545792000 2078 18446744073709551615 4194304 4196468 140725219535872 140011180525984 140011168573344 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 8335132 KiB
Current children cumulated memory: 8052 KiB

[startup+0.211188 s]*
/proc/loadavg: 5.41 4.70 3.66 3/215 32401
/proc/meminfo: memFree=26906464/32770624 swapFree=67108860/67108860
[pid=32386] ppid=32383 vsize=10551156 memory=23348 CPUtime=0.08 cores=0,2,4,6
/proc/32386/stat : 32386 (java) S 32383 32386 12395 0 -1 1077944320 4825 0 0 0 7 1 0 0 20 0 15 0 104529247 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140725219518416 140011176283895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
/proc/32386/statm: 2637789 5837 2642 1 0 2627261 0
[pid=32386/tid=32388] ppid=32383 vsize=10551156 memory=7896671003779964831 CPUtime=0.06 cores=0,2,4,6
/proc/32386/task/32388/stat : 32388 (java) R 32383 32386 12395 0 -1 4202560 2919 0 0 0 6 0 0 0 20 0 15 0 104529257 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140011180509584 140011160364382 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32389] ppid=32383 vsize=10551156 memory=732370841502817253 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32389/stat : 32389 (java) S 32383 32386 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104529258 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140011106704272 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32390] ppid=32383 vsize=10551156 memory=140703165363840 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32390/stat : 32390 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104529258 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140011105651472 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32391] ppid=32383 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32391/stat : 32391 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104529258 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140011104599184 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32392] ppid=32383 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32392/stat : 32392 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104529258 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140011103546384 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32393] ppid=32383 vsize=10551156 memory=140703165363840 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32393/stat : 32393 (java) S 32383 32386 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104529259 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140010284066928 140011176295042 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32394] ppid=32383 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32394/stat : 32394 (java) S 32383 32386 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104529260 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140010283012896 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32395] ppid=32383 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32395/stat : 32395 (java) S 32383 32386 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104529260 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140010281960560 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32396] ppid=32383 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32396/stat : 32396 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104529262 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140010280908880 140011176302491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32397] ppid=32383 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32397/stat : 32397 (java) S 32383 32386 12395 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 104529262 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140010279856752 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32398] ppid=32383 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32398/stat : 32398 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104529262 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140010278803952 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32399] ppid=32383 vsize=10551156 memory=140703165363840 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32399/stat : 32399 (java) S 32383 32386 12395 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 104529262 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140010277751664 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32400] ppid=32383 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32400/stat : 32400 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104529262 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140010276699104 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32401] ppid=32383 vsize=10551156 memory=140703165363840 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32401/stat : 32401 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104529267 10804383744 5837 18446744073709551615 4194304 4196468 140725219535872 140010275645872 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 23348 KiB

[startup+0.310762 s]*
/proc/loadavg: 5.41 4.70 3.66 3/215 32401
/proc/meminfo: memFree=26893080/32770624 swapFree=67108860/67108860
[pid=32386] ppid=32383 vsize=10551156 memory=35928 CPUtime=0.23 cores=0,2,4,6
/proc/32386/stat : 32386 (java) S 32383 32386 12395 0 -1 1077944320 8263 0 0 0 21 2 0 0 20 0 15 0 104529247 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140725219518416 140011176283895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
/proc/32386/statm: 2637789 8982 2863 1 0 2627261 0
[pid=32386/tid=32388] ppid=32383 vsize=10551156 memory=140703165363840 CPUtime=0.16 cores=0,2,4,6
/proc/32386/task/32388/stat : 32388 (java) R 32383 32386 12395 0 -1 4202560 5890 0 0 0 14 2 0 0 20 0 15 0 104529257 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140011180508064 140011160364382 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32389] ppid=32383 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32389/stat : 32389 (java) S 32383 32386 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104529258 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140011106704272 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32390] ppid=32383 vsize=10551156 memory=140703165363840 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32390/stat : 32390 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104529258 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140011105651472 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32391] ppid=32383 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32391/stat : 32391 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104529258 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140011104599184 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32392] ppid=32383 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32392/stat : 32392 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104529258 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140011103546384 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32393] ppid=32383 vsize=10551156 memory=140703165363840 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32393/stat : 32393 (java) S 32383 32386 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104529259 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140010284066928 140011176295042 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32394] ppid=32383 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32394/stat : 32394 (java) S 32383 32386 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104529260 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140010283012896 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32395] ppid=32383 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32395/stat : 32395 (java) S 32383 32386 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104529260 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140010281960560 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32396] ppid=32383 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32396/stat : 32396 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104529262 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140010280908880 140011176302491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32397] ppid=32383 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32386/task/32397/stat : 32397 (java) S 32383 32386 12395 0 -1 1077944384 514 0 0 0 1 0 0 0 20 0 15 0 104529262 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140010279856752 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32398] ppid=32383 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32398/stat : 32398 (java) S 32383 32386 12395 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 104529262 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140010278803952 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32399] ppid=32383 vsize=10551156 memory=140703165363840 CPUtime=0.04 cores=0,2,4,6
/proc/32386/task/32399/stat : 32399 (java) S 32383 32386 12395 0 -1 1077944384 421 0 0 0 4 0 0 0 20 0 15 0 104529262 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140010277751664 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32400] ppid=32383 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32400/stat : 32400 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104529262 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140010276699104 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32401] ppid=32383 vsize=10551156 memory=140703165363840 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32401/stat : 32401 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104529267 10804383744 8982 18446744073709551615 4194304 4196468 140725219535872 140010275645872 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 35928 KiB

[startup+0.70077 s]
/proc/loadavg: 5.41 4.70 3.66 6/215 32401
/proc/meminfo: memFree=26875888/32770624 swapFree=67108860/67108860
[pid=32386] ppid=32383 vsize=10551232 memory=92768 CPUtime=1.39 cores=0,2,4,6
/proc/32386/stat : 32386 (java) S 32383 32386 12395 0 -1 1077944320 12827 0 0 0 135 4 0 0 20 0 15 0 104529247 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140725219518416 140011176283895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
/proc/32386/statm: 2637808 23192 3055 1 0 2627261 0
[pid=32386/tid=32388] ppid=32383 vsize=10551232 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/32386/task/32388/stat : 32388 (java) R 32383 32386 12395 0 -1 4202560 7356 0 0 0 51 3 0 0 20 0 15 0 104529257 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140011180516640 140010783337167 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32389] ppid=32383 vsize=10551232 memory=140703061516944 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32389/stat : 32389 (java) S 32383 32386 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104529258 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140011106704272 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32390] ppid=32383 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32390/stat : 32390 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104529258 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140011105651472 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32391] ppid=32383 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32391/stat : 32391 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104529258 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140011104599184 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32392] ppid=32383 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32392/stat : 32392 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104529258 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140011103546384 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32393] ppid=32383 vsize=10551232 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32393/stat : 32393 (java) S 32383 32386 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104529259 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140010284066928 140011176295042 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32394] ppid=32383 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32394/stat : 32394 (java) S 32383 32386 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104529260 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140010283012896 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32395] ppid=32383 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32395/stat : 32395 (java) S 32383 32386 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104529260 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140010281960560 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32396] ppid=32383 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32396/stat : 32396 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104529262 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140010280908880 140011176302491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32397] ppid=32383 vsize=10551232 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/32386/task/32397/stat : 32397 (java) R 32383 32386 12395 0 -1 4202560 1395 0 0 0 29 0 0 0 20 0 15 0 104529262 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140010279842632 140011159668513 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32398] ppid=32383 vsize=10551232 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/32386/task/32398/stat : 32398 (java) R 32383 32386 12395 0 -1 4202560 1222 0 0 0 30 0 0 0 20 0 15 0 104529262 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140010278794336 140011161393918 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32399] ppid=32383 vsize=10551232 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/32386/task/32399/stat : 32399 (java) S 32383 32386 12395 0 -1 1077944384 1483 0 0 0 24 0 0 0 20 0 15 0 104529262 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140010277751664 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32400] ppid=32383 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32400/stat : 32400 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104529262 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140010276699104 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32401] ppid=32383 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32401/stat : 32401 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104529267 10804461568 23192 18446744073709551615 4194304 4196468 140725219535872 140010275645872 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 92768 KiB

[startup+1.50082 s]
/proc/loadavg: 5.41 4.70 3.66 5/215 32401
/proc/meminfo: memFree=26738420/32770624 swapFree=67108860/67108860
[pid=32386] ppid=32383 vsize=10617796 memory=244672 CPUtime=3.98 cores=0,2,4,6
/proc/32386/stat : 32386 (java) S 32383 32386 12395 0 -1 1077944320 22655 0 0 0 390 8 0 0 20 0 16 0 104529247 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140725219518416 140011176283895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
/proc/32386/statm: 2654449 61168 3100 1 0 2643902 0
[pid=32386/tid=32388] ppid=32383 vsize=10617796 memory=7306334349469833575 CPUtime=1.29 cores=0,2,4,6
/proc/32386/task/32388/stat : 32388 (java) R 32383 32386 12395 0 -1 4202560 7904 0 0 0 125 4 0 0 20 0 16 0 104529257 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140011180522240 140010788452132 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32389] ppid=32383 vsize=10617796 memory=7373103150948526483 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32389/stat : 32389 (java) S 32383 32386 12395 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 16 0 104529258 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140011106704272 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32390] ppid=32383 vsize=10617796 memory=7373102051436898707 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32390/stat : 32390 (java) S 32383 32386 12395 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 16 0 104529258 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140011105651472 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32391] ppid=32383 vsize=10617796 memory=7373102051436898707 CPUtime=0.01 cores=0,2,4,6
/proc/32386/task/32391/stat : 32391 (java) S 32383 32386 12395 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 16 0 104529258 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140011104599184 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32392] ppid=32383 vsize=10617796 memory=7373102051436898707 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32392/stat : 32392 (java) S 32383 32386 12395 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 16 0 104529258 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140011103546384 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32393] ppid=32383 vsize=10617796 memory=7373103150948526483 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32393/stat : 32393 (java) S 32383 32386 12395 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 104529259 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140010284066928 140011176295042 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32394] ppid=32383 vsize=10617796 memory=7373103150948526483 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32394/stat : 32394 (java) S 32383 32386 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 104529260 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140010283012896 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32395] ppid=32383 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32395/stat : 32395 (java) S 32383 32386 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 104529260 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140010281960560 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32396] ppid=32383 vsize=10617796 memory=279829937206440 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32396/stat : 32396 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 104529262 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140010280908880 140011176302491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32397] ppid=32383 vsize=10617796 memory=950614 CPUtime=1.03 cores=0,2,4,6
/proc/32386/task/32397/stat : 32397 (java) R 32383 32386 12395 0 -1 4202560 4165 0 0 0 103 0 0 0 20 0 16 0 104529262 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140010279835992 140011159884734 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32398] ppid=32383 vsize=10617796 memory=6935655852947886160 CPUtime=1.05 cores=0,2,4,6
/proc/32386/task/32398/stat : 32398 (java) R 32383 32386 12395 0 -1 4202560 5793 0 0 0 104 1 0 0 20 0 16 0 104529262 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140010278789832 140011159668727 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32399] ppid=32383 vsize=10617796 memory=5787213827046332267 CPUtime=0.47 cores=0,2,4,6
/proc/32386/task/32399/stat : 32399 (java) S 32383 32386 12395 0 -1 1077944384 2981 0 0 0 47 0 0 0 20 0 16 0 104529262 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140010277751664 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32400] ppid=32383 vsize=10617796 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32400/stat : 32400 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 104529262 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140010276699104 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32401] ppid=32383 vsize=10617796 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32401/stat : 32401 (java) S 32383 32386 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 104529267 10872623104 61168 18446744073709551615 4194304 4196468 140725219535872 140010275645872 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 244672 KiB

[startup+3.11026 s]
/proc/loadavg: 5.30 4.69 3.66 3/216 32402
/proc/meminfo: memFree=26682788/32770624 swapFree=67108860/67108860
[pid=32386] ppid=32383 vsize=10617796 memory=248276 CPUtime=6.66 cores=0,2,4,6
/proc/32386/stat : 32386 (java) S 32383 32386 12395 0 -1 1077944320 23545 0 0 0 657 9 0 0 20 0 16 0 104529247 10872623104 62069 18446744073709551615 4194304 4196468 140725219535872 140725219518416 140011176283895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
/proc/32386/statm: 2654449 62069 3109 1 0 2643902 0

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

[startup+11.2008 s]
/proc/loadavg: 5.04 4.65 3.65 3/216 32402
/proc/meminfo: memFree=26685056/32770624 swapFree=67108860/67108860
[pid=32386] ppid=32383 vsize=10617796 memory=244952 CPUtime=15.28 cores=0,2,4,6
/proc/32386/stat : 32386 (java) S 32383 32386 12395 0 -1 1077944320 32325 0 0 0 1518 10 0 0 20 0 16 0 104529247 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140725219518416 140011176283895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
/proc/32386/statm: 2654449 61238 3119 1 0 2643902 0
[pid=32386/tid=32388] ppid=32383 vsize=10617796 memory=56 CPUtime=10.99 cores=0,2,4,6
/proc/32386/task/32388/stat : 32388 (java) R 32383 32386 12395 0 -1 4202560 9119 0 0 0 1094 5 0 0 20 0 16 0 104529257 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140011180519904 140010789260680 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32389] ppid=32383 vsize=10617796 memory=6154848828556269427 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32389/stat : 32389 (java) S 32383 32386 12395 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 16 0 104529258 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140011106704272 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32390] ppid=32383 vsize=10617796 memory=244920 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32390/stat : 32390 (java) S 32383 32386 12395 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 16 0 104529258 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140011105651472 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32391] ppid=32383 vsize=10617796 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32386/task/32391/stat : 32391 (java) S 32383 32386 12395 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 16 0 104529258 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140011104599184 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32392] ppid=32383 vsize=10617796 memory=1296 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32392/stat : 32392 (java) S 32383 32386 12395 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 16 0 104529258 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140011103546384 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32393] ppid=32383 vsize=10617796 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32393/stat : 32393 (java) S 32383 32386 12395 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 16 0 104529259 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010284066928 140011176295042 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32394] ppid=32383 vsize=10617796 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32394/stat : 32394 (java) S 32383 32386 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 104529260 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010283012896 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32395] ppid=32383 vsize=10617796 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32395/stat : 32395 (java) S 32383 32386 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 104529260 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010281960560 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32396] ppid=32383 vsize=10617796 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32396/stat : 32396 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 104529262 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010280908880 140011176302491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32397] ppid=32383 vsize=10617796 memory=1992 CPUtime=1.66 cores=0,2,4,6
/proc/32386/task/32397/stat : 32397 (java) S 32383 32386 12395 0 -1 1077944384 6776 0 0 0 165 1 0 0 20 0 16 0 104529262 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010279856752 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32398] ppid=32383 vsize=10617796 memory=244848 CPUtime=1.93 cores=0,2,4,6
/proc/32386/task/32398/stat : 32398 (java) S 32383 32386 12395 0 -1 1077944384 9504 0 0 0 192 1 0 0 20 0 16 0 104529262 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010278803952 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32399] ppid=32383 vsize=10617796 memory=1166 CPUtime=0.54 cores=0,2,4,6
/proc/32386/task/32399/stat : 32399 (java) S 32383 32386 12395 0 -1 1077944384 4081 0 0 0 54 0 0 0 20 0 16 0 104529262 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010277751664 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32400] ppid=32383 vsize=10617796 memory=739 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32400/stat : 32400 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 104529262 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010276699104 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32401] ppid=32383 vsize=10617796 memory=2 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32401/stat : 32401 (java) S 32383 32386 12395 0 -1 1077944384 764 0 0 0 0 0 0 0 20 0 16 0 104529267 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010275645872 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32402] ppid=32383 vsize=10617796 memory=2 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32402/stat : 32402 (java) S 32383 32386 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 104529391 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010272621232 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
Current children cumulated CPU time: 15.28 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 244952 KiB

[startup+11.6008 s]
/proc/loadavg: 5.04 4.65 3.65 3/216 32402
/proc/meminfo: memFree=26685056/32770624 swapFree=67108860/67108860
[pid=32386] ppid=32383 vsize=10617796 memory=244952 CPUtime=15.68 cores=0,2,4,6
/proc/32386/stat : 32386 (java) S 32383 32386 12395 0 -1 1077944320 32400 0 0 0 1558 10 0 0 20 0 16 0 104529247 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140725219518416 140011176283895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
/proc/32386/statm: 2654449 61238 3119 1 0 2643902 0
[pid=32386/tid=32388] ppid=32383 vsize=10617796 memory=1296 CPUtime=11.39 cores=0,2,4,6
/proc/32386/task/32388/stat : 32388 (java) R 32383 32386 12395 0 -1 4202560 9136 0 0 0 1134 5 0 0 20 0 16 0 104529257 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140011180519936 140010788431296 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32389] ppid=32383 vsize=10617796 memory=2460 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32389/stat : 32389 (java) S 32383 32386 12395 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 16 0 104529258 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140011106704272 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32390] ppid=32383 vsize=10617796 memory=-8774313645642428999 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32390/stat : 32390 (java) S 32383 32386 12395 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 16 0 104529258 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140011105651472 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32391] ppid=32383 vsize=10617796 memory=18468 CPUtime=0.01 cores=0,2,4,6
/proc/32386/task/32391/stat : 32391 (java) S 32383 32386 12395 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 16 0 104529258 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140011104599184 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32392] ppid=32383 vsize=10617796 memory=1788 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32392/stat : 32392 (java) S 32383 32386 12395 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 16 0 104529258 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140011103546384 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32393] ppid=32383 vsize=10617796 memory=644 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32393/stat : 32393 (java) S 32383 32386 12395 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 16 0 104529259 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010284066928 140011176295042 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32394] ppid=32383 vsize=10617796 memory=956 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32394/stat : 32394 (java) S 32383 32386 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 104529260 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010283012896 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32395] ppid=32383 vsize=10617796 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32395/stat : 32395 (java) S 32383 32386 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 104529260 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010281960560 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32396] ppid=32383 vsize=10617796 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32396/stat : 32396 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 104529262 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010280908880 140011176302491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32397] ppid=32383 vsize=10617796 memory=4296 CPUtime=1.66 cores=0,2,4,6
/proc/32386/task/32397/stat : 32397 (java) S 32383 32386 12395 0 -1 1077944384 6776 0 0 0 165 1 0 0 20 0 16 0 104529262 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010279856752 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32398] ppid=32383 vsize=10617796 memory=1608 CPUtime=1.93 cores=0,2,4,6
/proc/32386/task/32398/stat : 32398 (java) S 32383 32386 12395 0 -1 1077944384 9504 0 0 0 192 1 0 0 20 0 16 0 104529262 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010278803952 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32399] ppid=32383 vsize=10617796 memory=928 CPUtime=0.54 cores=0,2,4,6
/proc/32386/task/32399/stat : 32399 (java) S 32383 32386 12395 0 -1 1077944384 4081 0 0 0 54 0 0 0 20 0 16 0 104529262 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010277751664 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32400] ppid=32383 vsize=10617796 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32400/stat : 32400 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 104529262 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010276699104 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32401] ppid=32383 vsize=10617796 memory=840 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32401/stat : 32401 (java) S 32383 32386 12395 0 -1 1077944384 764 0 0 0 0 0 0 0 20 0 16 0 104529267 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010275645872 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32402] ppid=32383 vsize=10617796 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32402/stat : 32402 (java) S 32383 32386 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 104529391 10872623104 61238 18446744073709551615 4194304 4196468 140725219535872 140010272621232 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
Current children cumulated CPU time: 15.68 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 244952 KiB

[startup+12.0007 s]*
/proc/loadavg: 4.79 4.60 3.64 2/216 32404
/proc/meminfo: memFree=26684932/32770624 swapFree=67108860/67108860
[pid=32386] ppid=32383 vsize=10750924 memory=245020 CPUtime=16.05 cores=0,2,4,6
/proc/32386/stat : 32386 (java) S 32383 32386 12395 0 -1 1077944320 34191 0 0 0 1595 10 0 0 20 0 16 0 104529247 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140725219518416 140011176283895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
/proc/32386/statm: 2687731 61255 3121 1 0 2677184 0
[pid=32386/tid=32388] ppid=32383 vsize=10750924 memory=288355116380323867 CPUtime=11.73 cores=0,2,4,6
/proc/32386/task/32388/stat : 32388 (java) S 32383 32386 12395 0 -1 1077944384 9477 0 0 0 1168 5 0 0 20 0 16 0 104529257 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140011180524576 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32389] ppid=32383 vsize=10750924 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32389/stat : 32389 (java) S 32383 32386 12395 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 16 0 104529258 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140011106704272 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32390] ppid=32383 vsize=10750924 memory=4048938552098338464 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32390/stat : 32390 (java) S 32383 32386 12395 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 16 0 104529258 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140011105651472 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32391] ppid=32383 vsize=10750924 memory=7307745031610197592 CPUtime=0.01 cores=0,2,4,6
/proc/32386/task/32391/stat : 32391 (java) S 32383 32386 12395 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 16 0 104529258 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140011104599184 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32392] ppid=32383 vsize=10750924 memory=7307745031610197592 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32392/stat : 32392 (java) S 32383 32386 12395 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 16 0 104529258 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140011103546384 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32393] ppid=32383 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32393/stat : 32393 (java) S 32383 32386 12395 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 16 0 104529259 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010284066928 140011176295042 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32394] ppid=32383 vsize=10750924 memory=7649399371463864882 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32394/stat : 32394 (java) S 32383 32386 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 104529260 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010283012896 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32395] ppid=32383 vsize=10750924 memory=7307745031610197592 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32395/stat : 32395 (java) S 32383 32386 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 104529260 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010281960560 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32396] ppid=32383 vsize=10750924 memory=7307745031610197592 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32396/stat : 32396 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 104529262 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010280908880 140011176302491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32397] ppid=32383 vsize=10750924 memory=0 CPUtime=1.67 cores=0,2,4,6
/proc/32386/task/32397/stat : 32397 (java) S 32383 32386 12395 0 -1 1077944384 6961 0 0 0 166 1 0 0 20 0 16 0 104529262 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010279856752 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32398] ppid=32383 vsize=10750924 memory=7649399388643734066 CPUtime=1.95 cores=0,2,4,6
/proc/32386/task/32398/stat : 32398 (java) S 32383 32386 12395 0 -1 1077944384 10017 0 0 0 194 1 0 0 20 0 16 0 104529262 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010278803952 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32399] ppid=32383 vsize=10750924 memory=2319838869394085552 CPUtime=0.56 cores=0,2,4,6
/proc/32386/task/32399/stat : 32399 (java) S 32383 32386 12395 0 -1 1077944384 4695 0 0 0 55 1 0 0 20 0 16 0 104529262 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010277751664 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32400] ppid=32383 vsize=10750924 memory=7649399397233668658 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32400/stat : 32400 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 104529262 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010276699104 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32401] ppid=32383 vsize=10750924 memory=3467965331045148320 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32401/stat : 32401 (java) S 32383 32386 12395 0 -1 1077944384 764 0 0 0 0 0 0 0 20 0 16 0 104529267 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010275645872 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32403] ppid=32383 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32403/stat : 32403 (java) S 32383 32386 12395 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 104530441 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010274592016 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
Current children cumulated CPU time: 16.05 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 245020 KiB

[startup+12.11 s]
/proc/loadavg: 4.79 4.60 3.64 2/216 32404
/proc/meminfo: memFree=26684932/32770624 swapFree=67108860/67108860
[pid=32386] ppid=32383 vsize=10750924 memory=245020 CPUtime=16.05 cores=0,2,4,6
/proc/32386/stat : 32386 (java) S 32383 32386 12395 0 -1 1077944320 34191 0 0 0 1595 10 0 0 20 0 16 0 104529247 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140725219518416 140011176283895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
/proc/32386/statm: 2687731 61255 3121 1 0 2677184 0
[pid=32386/tid=32388] ppid=32383 vsize=10750924 memory=244952 CPUtime=11.73 cores=0,2,4,6
/proc/32386/task/32388/stat : 32388 (java) S 32383 32386 12395 0 -1 1077944384 9477 0 0 0 1168 5 0 0 20 0 16 0 104529257 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140011180524576 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32389] ppid=32383 vsize=10750924 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32389/stat : 32389 (java) S 32383 32386 12395 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 16 0 104529258 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140011106704272 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32390] ppid=32383 vsize=10750924 memory=244952 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32390/stat : 32390 (java) S 32383 32386 12395 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 16 0 104529258 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140011105651472 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32391] ppid=32383 vsize=10750924 memory=4060 CPUtime=0.01 cores=0,2,4,6
/proc/32386/task/32391/stat : 32391 (java) S 32383 32386 12395 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 16 0 104529258 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140011104599184 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32392] ppid=32383 vsize=10750924 memory=244920 CPUtime=0.02 cores=0,2,4,6
/proc/32386/task/32392/stat : 32392 (java) S 32383 32386 12395 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 16 0 104529258 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140011103546384 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32393] ppid=32383 vsize=10750924 memory=248684 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32393/stat : 32393 (java) S 32383 32386 12395 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 16 0 104529259 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010284066928 140011176295042 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32394] ppid=32383 vsize=10750924 memory=244816 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32394/stat : 32394 (java) S 32383 32386 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 104529260 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010283012896 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32395] ppid=32383 vsize=10750924 memory=8475934422144292502 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32395/stat : 32395 (java) S 32383 32386 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 104529260 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010281960560 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32396] ppid=32383 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32396/stat : 32396 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 104529262 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010280908880 140011176302491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32397] ppid=32383 vsize=10750924 memory=244952 CPUtime=1.67 cores=0,2,4,6
/proc/32386/task/32397/stat : 32397 (java) S 32383 32386 12395 0 -1 1077944384 6961 0 0 0 166 1 0 0 20 0 16 0 104529262 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010279856752 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32398] ppid=32383 vsize=10750924 memory=2 CPUtime=1.95 cores=0,2,4,6
/proc/32386/task/32398/stat : 32398 (java) S 32383 32386 12395 0 -1 1077944384 10017 0 0 0 194 1 0 0 20 0 16 0 104529262 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010278803952 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32399] ppid=32383 vsize=10750924 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/32386/task/32399/stat : 32399 (java) S 32383 32386 12395 0 -1 1077944384 4695 0 0 0 55 1 0 0 20 0 16 0 104529262 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010277751664 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32400] ppid=32383 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32400/stat : 32400 (java) S 32383 32386 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 104529262 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010276699104 140011176294101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32401] ppid=32383 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32401/stat : 32401 (java) S 32383 32386 12395 0 -1 1077944384 764 0 0 0 0 0 0 0 20 0 16 0 104529267 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010275645872 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
[pid=32386/tid=32403] ppid=32383 vsize=10750924 memory=140703061781564 CPUtime=0 cores=0,2,4,6
/proc/32386/task/32403/stat : 32403 (java) S 32383 32386 12395 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 104530441 11008946176 61255 18446744073709551615 4194304 4196468 140725219535872 140010274592016 140011176295042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29949952 140725219541392 140725219541545 140725219541545 140725219545039 0
Current children cumulated CPU time: 16.05 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 245020 KiB

Child status: 0
Real time (s): 12.1645
CPU time (s): 16.0859
CPU user time (s): 15.9744
CPU system time (s): 0.111463
CPU usage (%): 132.236
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 248684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9744
system time used= 0.111463
maximum resident set size= 248688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2239
involuntary context switches= 44


# summary of solver processes directly reported to runsolver:
#   pid: 32386
#   total CPU time (s): 16.0859
#   total CPU user time (s): 15.9744
#   total CPU system time (s): 0.111463

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.109262 second user time and 0.150236 second system time

The end

Launcher Data

Begin job on node135 at 2017-08-13 13:55:46
IDJOB=4263643
IDBENCH=126717
IDSOLVER=2651
FILE ID=node135/4263643-1502626179
RUNJOBID= node135-1502623989-31951
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-06-3-6_X2.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4263643-1502626179/watcher-4263643-1502626179 -o /tmp/evaluation-result-4263643-1502626179/solver-4263643-1502626179 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502623989-31951 --watchdog 2580  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263643-1502626179.xml

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

MD5SUM BENCH= 0e3db93cff00a15b0090c37596304a16
RANDOM SEED=1626192412

node135.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.21
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.21
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.21
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.21
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:        26918348 kB
MemAvailable:   27812336 kB
Buffers:          311636 kB
Cached:           880080 kB
SwapCached:            0 kB
Active:          4846516 kB
Inactive:         554948 kB
Active(anon):    4210116 kB
Inactive(anon):    41324 kB
Active(file):     636400 kB
Inactive(file):   513624 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1700 kB
Writeback:             0 kB
AnonPages:       4217340 kB
Mapped:            66720 kB
Shmem:             41656 kB
Slab:             147300 kB
SReclaimable:     119600 kB
SUnreclaim:        27700 kB
KernelStack:        3792 kB
PageTables:        13236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5085428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3977216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62028 MiB
End job on node135 at 2017-08-13 13:55:58