Trace number 4404771

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-20 parallelSAT (TO)12968875 19912 2520.1

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-matching040_c18.xml
MD5SUMd33511db6974d661f2a7d715e96a1ecf
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark12968875
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints317
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":1996}]
Minimum constraint arity2
Maximum constraint arity232
Distribution of constraint arities[{"arity":2,"count":1},{"arity":3,"count":54},{"arity":6,"count":107},{"arity":10,"count":119},{"arity":29,"count":1},{"arity":32,"count":1},{"arity":34,"count":2},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":43,"count":1},{"arity":44,"count":1},{"arity":52,"count":1},{"arity":66,"count":1},{"arity":67,"count":1},{"arity":69,"count":1},{"arity":74,"count":1},{"arity":82,"count":1},{"arity":83,"count":1},{"arity":87,"count":1},{"arity":89,"count":1},{"arity":96,"count":1},{"arity":107,"count":1},{"arity":108,"count":1},{"arity":109,"count":1},{"arity":112,"count":1},{"arity":120,"count":2},{"arity":134,"count":2},{"arity":167,"count":1},{"arity":181,"count":1},{"arity":184,"count":1},{"arity":188,"count":1},{"arity":191,"count":1},{"arity":204,"count":1},{"arity":208,"count":1},{"arity":217,"count":1},{"arity":224,"count":1},{"arity":232,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":317}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404771-1569011273.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404771-1569011273.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
2.25/0.88	c solve instance...
2.67/0.98	o 4571152 
2.67/0.99	o 5341063 
4.91/1.28	o 6084558 
5.49/1.40	o 6405581 
6.34/1.42	o 6495641 
6.34/1.49	o 6615728 
7.07/1.53	o 6653934 
7.07/1.58	o 7346475 
7.75/1.62	o 7619722 
7.75/1.69	o 7747996 
13.13/2.38	o 7821268 
14.66/2.54	o 7915193 
15.42/2.60	o 8086030 
16.21/2.74	o 8716414 
17.66/2.91	o 8795303 
17.66/2.96	o 8892438 
18.46/3.01	o 8905192 
21.53/3.43	o 9176790 
22.27/3.51	o 9199143 
25.45/3.93	o 9535701 
26.34/4.02	o 9702640 
26.99/4.23	o 9768200 
30.71/4.78	o 9944737 
31.47/4.84	o 10032383 
37.83/5.69	o 10337248 
42.40/8.14	o 10436227 
48.72/9.02	o 10793205 
48.72/9.07	o 10798707 
51.00/9.94	o 10837107 
55.67/12.08	o 10878591 
57.46/12.35	o 11066715 
71.03/14.06	o 11334845 
71.78/14.17	o 11394085 
77.21/14.89	o 11430275 
89.79/16.45	o 11682619 
95.36/17.12	o 11912159 
96.44/17.31	o 12053269 
120.27/20.36	o 12214739 
131.42/21.77	o 12342001 
154.16/24.62	o 12446221 
176.34/27.46	o 12490252 
213.46/32.12	o 12530292 
217.39/32.63	o 12585872 
244.40/36.01	o 12647733 
255.46/37.46	o 12763496 
671.60/89.62	o 12968875 
19911.35/2520.07	s SATISFIABLE
19911.35/2520.07	v <instantiation>
19911.35/2520.07	v 	<list>b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] </list>
19911.35/2520.07	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
19911.35/2520.07	v </instantiation>
19911.35/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	12968875

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404771-1569011273/watcher-4404771-1569011273 -o /var/tmp/evaluation-result-4404771-1569011273/solver-4404771-1569011273 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569005174-13758 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1051184973 HOME/instance-4404771-1569011273.xml 

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

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


[startup+0.100123 s]*
/proc/loadavg: 8.09 8.24 8.25 3/211 15535
/proc/meminfo: memFree=11779696/32770624 swapFree=66956764/67108860
[pid=15514] ppid=15511 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15514/stat : 15514 (xcsp3-exec) S 15511 15514 13731 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477365887 115843072 363 33554432000 4194304 5098028 140724402543120 140724402541224 139667897070204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37683200 140724402545489 140724402545749 140724402545749 140724402548678 0
/proc/15514/statm: 28282 363 304 221 0 87 0
[pid=15516] ppid=15514 vsize=28227396 memory=27796 CPUtime=0.12 cores=0-7
/proc/15516/stat : 15516 (java) S 15514 15514 13731 0 -1 1077944320 5847 0 0 0 10 2 0 0 20 0 20 0 477365888 28904853504 6949 33554432000 4194304 4196468 140725743924864 140725743907408 139967985061623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
/proc/15516/statm: 7056849 6949 3158 1 0 7019032 0
[pid=15516/tid=15517] ppid=15514 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/15516/task/15517/stat : 15517 (java) R 15514 15514 13731 0 -1 4202560 3756 0 0 0 8 1 0 0 20 0 20 0 477365888 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967989294896 139967985083549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15518] ppid=15514 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15516/task/15518/stat : 15518 (java) S 15514 15514 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967952620176 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15519] ppid=15514 vsize=28227396 memory=139969519351424 CPUtime=0 cores=0-7
/proc/15516/task/15519/stat : 15519 (java) S 15514 15514 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967535376912 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15520] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15520/stat : 15520 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967534324112 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15521] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15521/stat : 15521 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967533271312 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15522] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15522/stat : 15522 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967532219536 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15523] ppid=15514 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15516/task/15523/stat : 15523 (java) S 15514 15514 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967531166736 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15524] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15524/stat : 15524 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967530113936 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15525] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15525/stat : 15525 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967529061136 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15526] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15526/stat : 15526 (java) S 15514 15514 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477365890 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967486122352 139967985072770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15527] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15527/stat : 15527 (java) S 15514 15514 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477365891 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967485068320 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15528] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15528/stat : 15528 (java) S 15514 15514 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477365891 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967484015472 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15529] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15529/stat : 15529 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365893 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967482963792 139967985080219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15530] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15530/stat : 15530 (java) S 15514 15514 13731 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 477365893 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967230765936 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15531] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15531/stat : 15531 (java) R 15514 15514 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477365893 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967229713136 139967985072770 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15532] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15532/stat : 15532 (java) S 15514 15514 13731 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 477365893 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967228660336 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15533] ppid=15514 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15516/task/15533/stat : 15533 (java) R 15514 15514 13731 0 -1 4202560 359 0 0 0 1 0 0 0 20 0 20 0 477365893 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967227607536 139967977298750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15534] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15534/stat : 15534 (java) S 15514 15514 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477365894 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967226554976 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15535] ppid=15514 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15516/task/15535/stat : 15535 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365894 28904853504 6949 33554432000 4194304 4196468 140725743924864 139967225502256 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29248 KiB

[startup+0.210666 s]*
/proc/loadavg: 8.09 8.24 8.25 2/211 15535
/proc/meminfo: memFree=11765972/32770624 swapFree=66956764/67108860
[pid=15514] ppid=15511 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15514/stat : 15514 (xcsp3-exec) S 15511 15514 13731 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477365887 115843072 363 33554432000 4194304 5098028 140724402543120 140724402541224 139667897070204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37683200 140724402545489 140724402545749 140724402545749 140724402548678 0
/proc/15514/statm: 28282 363 304 221 0 87 0
[pid=15516] ppid=15514 vsize=28227396 memory=39440 CPUtime=0.34 cores=0-7
/proc/15516/stat : 15516 (java) S 15514 15514 13731 0 -1 1077944320 9618 0 0 0 31 3 0 0 20 0 20 0 477365888 28904853504 9860 33554432000 4194304 4196468 140725743924864 140725743907408 139967985061623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
/proc/15516/statm: 7056849 9860 3285 1 0 7019032 0
[pid=15516/tid=15517] ppid=15514 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15516/task/15517/stat : 15517 (java) R 15514 15514 13731 0 -1 4202560 6700 0 0 0 18 2 0 0 20 0 20 0 477365888 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967989291344 139967969142110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15518] ppid=15514 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/15516/task/15518/stat : 15518 (java) S 15514 15514 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967952620176 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15519] ppid=15514 vsize=28227396 memory=139969522907923 CPUtime=0 cores=0-7
/proc/15516/task/15519/stat : 15519 (java) S 15514 15514 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967535376912 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15520] ppid=15514 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15516/task/15520/stat : 15520 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967534324112 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15521] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15521/stat : 15521 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967533271312 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15522] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15522/stat : 15522 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967532219536 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15523] ppid=15514 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15516/task/15523/stat : 15523 (java) S 15514 15514 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967531166736 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15524] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15524/stat : 15524 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967530113936 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15525] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15525/stat : 15525 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967529061136 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15526] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15526/stat : 15526 (java) S 15514 15514 13731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477365890 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967486122352 139967985072770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15527] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15527/stat : 15527 (java) S 15514 15514 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477365891 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967485068320 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15528] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15528/stat : 15528 (java) S 15514 15514 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477365891 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967484015472 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15529] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15529/stat : 15529 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365893 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967482963792 139967985080219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15530] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15530/stat : 15530 (java) S 15514 15514 13731 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 20 0 477365893 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967230765936 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15531] ppid=15514 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15516/task/15531/stat : 15531 (java) S 15514 15514 13731 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 477365893 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967229713136 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15532] ppid=15514 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/15516/task/15532/stat : 15532 (java) S 15514 15514 13731 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 20 0 477365893 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967228660336 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15533] ppid=15514 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/15516/task/15533/stat : 15533 (java) S 15514 15514 13731 0 -1 1077944384 928 0 0 0 8 0 0 0 20 0 20 0 477365893 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967227607536 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15534] ppid=15514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15534/stat : 15534 (java) S 15514 15514 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477365894 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967226554976 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15535] ppid=15514 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15516/task/15535/stat : 15535 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365894 28904853504 9860 33554432000 4194304 4196468 140725743924864 139967225502256 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 40892 KiB

[startup+0.310365 s]*
/proc/loadavg: 8.09 8.24 8.25 3/211 15535
/proc/meminfo: memFree=11760848/32770624 swapFree=66956764/67108860
[pid=15514] ppid=15511 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15514/stat : 15514 (xcsp3-exec) S 15511 15514 13731 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477365887 115843072 363 33554432000 4194304 5098028 140724402543120 140724402541224 139667897070204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37683200 140724402545489 140724402545749 140724402545749 140724402548678 0
/proc/15514/statm: 28282 363 304 221 0 87 0
[pid=15516] ppid=15514 vsize=28231652 memory=48280 CPUtime=0.52 cores=0-7
/proc/15516/stat : 15516 (java) S 15514 15514 13731 0 -1 1077944320 10978 0 0 0 48 4 0 0 20 0 20 0 477365888 28909211648 12070 33554432000 4194304 4196468 140725743924864 140725743907408 139967985061623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
/proc/15516/statm: 7057913 12070 3358 1 0 7019032 0
[pid=15516/tid=15517] ppid=15514 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/15516/task/15517/stat : 15517 (java) R 15514 15514 13731 0 -1 4202560 7776 0 0 0 27 3 0 0 20 0 20 0 477365888 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967989292736 139967969142110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15518] ppid=15514 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15518/stat : 15518 (java) S 15514 15514 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477365889 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967952620176 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15519] ppid=15514 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15519/stat : 15519 (java) S 15514 15514 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477365889 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967535376912 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15520] ppid=15514 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15520/stat : 15520 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967534324112 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15521] ppid=15514 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15521/stat : 15521 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967533271312 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15522] ppid=15514 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/15516/task/15522/stat : 15522 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967532219536 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15523] ppid=15514 vsize=28231652 memory=139969360393135 CPUtime=0 cores=0-7
/proc/15516/task/15523/stat : 15523 (java) S 15514 15514 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477365889 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967531166736 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15524] ppid=15514 vsize=28231652 memory=139969360395440 CPUtime=0 cores=0-7
/proc/15516/task/15524/stat : 15524 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967530113936 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15525] ppid=15514 vsize=28231652 memory=139969360397744 CPUtime=0 cores=0-7
/proc/15516/task/15525/stat : 15525 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967529061136 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15526] ppid=15514 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15526/stat : 15526 (java) S 15514 15514 13731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477365890 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967486122352 139967985072770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15527] ppid=15514 vsize=28231652 memory=279938720802448 CPUtime=0 cores=0-7
/proc/15516/task/15527/stat : 15527 (java) S 15514 15514 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477365891 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967485068320 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15528] ppid=15514 vsize=28231652 memory=279938720809360 CPUtime=0 cores=0-7
/proc/15516/task/15528/stat : 15528 (java) S 15514 15514 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477365891 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967484015472 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15529] ppid=15514 vsize=28231652 memory=279938720750512 CPUtime=0 cores=0-7
/proc/15516/task/15529/stat : 15529 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365893 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967482963792 139967985080219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15530] ppid=15514 vsize=28231652 memory=279938720823184 CPUtime=0.01 cores=0-7
/proc/15516/task/15530/stat : 15530 (java) S 15514 15514 13731 0 -1 1077944384 496 0 0 0 1 0 0 0 20 0 20 0 477365893 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967230765936 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15531] ppid=15514 vsize=28231652 memory=279938720830096 CPUtime=0.02 cores=0-7
/proc/15516/task/15531/stat : 15531 (java) S 15514 15514 13731 0 -1 1077944384 56 0 0 0 2 0 0 0 20 0 20 0 477365893 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967229713136 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15532] ppid=15514 vsize=28231652 memory=279938720827792 CPUtime=0.03 cores=0-7
/proc/15516/task/15532/stat : 15532 (java) S 15514 15514 13731 0 -1 1077944384 195 0 0 0 3 0 0 0 20 0 20 0 477365893 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967228660336 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15533] ppid=15514 vsize=28231652 memory=279938720843952 CPUtime=0.13 cores=0-7
/proc/15516/task/15533/stat : 15533 (java) S 15514 15514 13731 0 -1 1077944384 1153 0 0 0 13 0 0 0 20 0 20 0 477365893 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967227607536 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15534] ppid=15514 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15534/stat : 15534 (java) S 15514 15514 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477365894 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967226554976 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15535] ppid=15514 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/15516/task/15535/stat : 15535 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365894 28909211648 12070 33554432000 4194304 4196468 140725743924864 139967225502256 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 49732 KiB

[startup+0.706727 s]
/proc/loadavg: 8.09 8.24 8.25 4/211 15535
/proc/meminfo: memFree=11743144/32770624 swapFree=66956764/67108860
[pid=15514] ppid=15511 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15514/stat : 15514 (xcsp3-exec) S 15511 15514 13731 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477365887 115843072 363 33554432000 4194304 5098028 140724402543120 140724402541224 139667897070204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37683200 140724402545489 140724402545749 140724402545749 140724402548678 0
/proc/15514/statm: 28282 363 304 221 0 87 0
[pid=15516] ppid=15514 vsize=28233776 memory=99476 CPUtime=1.84 cores=0-7
/proc/15516/stat : 15516 (java) S 15514 15514 13731 0 -1 1077944320 15552 0 0 0 177 7 0 0 20 0 20 0 477365888 28911386624 24869 33554432000 4194304 4196468 140725743924864 140725743907408 139967985061623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
/proc/15516/statm: 7058444 24869 3465 1 0 7019544 0
[pid=15516/tid=15517] ppid=15514 vsize=28233776 memory=279938721201840 CPUtime=0.68 cores=0-7
/proc/15516/task/15517/stat : 15517 (java) R 15514 15514 13731 0 -1 4202560 9227 0 0 0 64 4 0 0 20 0 20 0 477365888 28911386624 24869 33554432000 4194304 4196468 140725743924864 139967989300584 139967621363462 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15518] ppid=15514 vsize=28233776 memory=139969360601968 CPUtime=0 cores=0-7
/proc/15516/task/15518/stat : 15518 (java) S 15514 15514 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477365889 28911386624 24869 33554432000 4194304 4196468 140725743924864 139967952620176 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15519] ppid=15514 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/15516/task/15519/stat : 15519 (java) S 15514 15514 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477365889 28911386624 24869 33554432000 4194304 4196468 140725743924864 139967535376912 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15520] ppid=15514 vsize=28233776 memory=6032 CPUtime=0 cores=0-7
/proc/15516/task/15520/stat : 15520 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477365889 28911386624 24869 33554432000 4194304 4196468 140725743924864 139967534324112 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0

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

[pid=15516/tid=15918] ppid=15514 vsize=28768336 memory=1808 CPUtime=2314.81 cores=0-7
/proc/15516/task/15918/stat : 15918 (java) R 15514 15514 13731 0 -1 4202560 264223 0 0 0 231370 111 0 0 20 0 28 0 477374850 29458776064 334309 33554432000 4194304 4196468 140725743924864 139967077530968 139967630176566 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
Current children cumulated CPU time: 19293.1 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1338688 KiB

[startup+2502.3 s]
/proc/loadavg: 8.18 8.27 8.27 9/219 16119
/proc/meminfo: memFree=10314804/32770624 swapFree=66956780/67108860
[pid=15514] ppid=15511 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15514/stat : 15514 (xcsp3-exec) S 15511 15514 13731 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477365887 115843072 363 33554432000 4194304 5098028 140724402543120 140724402541224 139667897070204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37683200 140724402545489 140724402545749 140724402545749 140724402548678 0
/proc/15514/statm: 28282 363 304 221 0 87 0
[pid=15516] ppid=15514 vsize=28768336 memory=1487496 CPUtime=19770.3 cores=0-7
/proc/15516/stat : 15516 (java) S 15514 15514 13731 0 -1 1077944320 2095460 0 0 0 1974751 2278 0 0 20 0 28 0 477365888 29458776064 371874 33554432000 4194304 4196468 140725743924864 140725743907408 139967985061623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
/proc/15516/statm: 7192084 371874 3544 1 0 7153184 0
[pid=15516/tid=15517] ppid=15514 vsize=28768336 memory=1452 CPUtime=0.94 cores=0-7
/proc/15516/task/15517/stat : 15517 (java) S 15514 15514 13731 0 -1 1077944384 11554 0 0 0 88 6 0 0 20 0 28 0 477365888 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967989302400 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15518] ppid=15514 vsize=28768336 memory=1334132 CPUtime=13.19 cores=0-7
/proc/15516/task/15518/stat : 15518 (java) S 15514 15514 13731 0 -1 1077944384 62043 0 0 0 1253 66 0 0 20 0 28 0 477365889 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967952620176 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15519] ppid=15514 vsize=28768336 memory=1452 CPUtime=13.16 cores=0-7
/proc/15516/task/15519/stat : 15519 (java) S 15514 15514 13731 0 -1 1077944384 63213 0 0 0 1250 66 0 0 20 0 28 0 477365889 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967535376912 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15520] ppid=15514 vsize=28768336 memory=3620 CPUtime=13.14 cores=0-7
/proc/15516/task/15520/stat : 15520 (java) S 15514 15514 13731 0 -1 1077944384 55170 0 0 0 1252 62 0 0 20 0 28 0 477365889 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967534324112 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15521] ppid=15514 vsize=28768336 memory=55168 CPUtime=13.11 cores=0-7
/proc/15516/task/15521/stat : 15521 (java) S 15514 15514 13731 0 -1 1077944384 52375 0 0 0 1257 54 0 0 20 0 28 0 477365889 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967533271312 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15522] ppid=15514 vsize=28768336 memory=1452 CPUtime=13.19 cores=0-7
/proc/15516/task/15522/stat : 15522 (java) S 15514 15514 13731 0 -1 1077944384 56003 0 0 0 1261 58 0 0 20 0 28 0 477365889 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967532219536 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15523] ppid=15514 vsize=28768336 memory=1340308 CPUtime=13.16 cores=0-7
/proc/15516/task/15523/stat : 15523 (java) S 15514 15514 13731 0 -1 1077944384 54404 0 0 0 1258 58 0 0 20 0 28 0 477365889 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967531166736 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15524] ppid=15514 vsize=28768336 memory=1452 CPUtime=13.11 cores=0-7
/proc/15516/task/15524/stat : 15524 (java) S 15514 15514 13731 0 -1 1077944384 55237 0 0 0 1250 61 0 0 20 0 28 0 477365889 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967530113936 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15525] ppid=15514 vsize=28768336 memory=1486384 CPUtime=13.18 cores=0-7
/proc/15516/task/15525/stat : 15525 (java) S 15514 15514 13731 0 -1 1077944384 58441 0 0 0 1258 60 0 0 20 0 28 0 477365889 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967529061136 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15526] ppid=15514 vsize=28768336 memory=0 CPUtime=19.28 cores=0-7
/proc/15516/task/15526/stat : 15526 (java) S 15514 15514 13731 0 -1 1077944384 339988 0 0 0 811 1117 0 0 20 0 28 0 477365890 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967486122352 139967985072770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15527] ppid=15514 vsize=28768336 memory=7381226536257743722 CPUtime=0 cores=0-7
/proc/15516/task/15527/stat : 15527 (java) S 15514 15514 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 477365891 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967485068384 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15528] ppid=15514 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/15516/task/15528/stat : 15528 (java) S 15514 15514 13731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477365891 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967484015488 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15529] ppid=15514 vsize=28768336 memory=1488008 CPUtime=0 cores=0-7
/proc/15516/task/15529/stat : 15529 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477365893 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967482963792 139967985080219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15530] ppid=15514 vsize=28768336 memory=1452 CPUtime=2.14 cores=0-7
/proc/15516/task/15530/stat : 15530 (java) S 15514 15514 13731 0 -1 1077944384 16089 0 0 0 212 2 0 0 20 0 28 0 477365893 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967230765936 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15531] ppid=15514 vsize=28768336 memory=1487496 CPUtime=1.96 cores=0-7
/proc/15516/task/15531/stat : 15531 (java) S 15514 15514 13731 0 -1 1077944384 11423 0 0 0 195 1 0 0 20 0 28 0 477365893 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967229713136 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15532] ppid=15514 vsize=28768336 memory=0 CPUtime=1.96 cores=0-7
/proc/15516/task/15532/stat : 15532 (java) S 15514 15514 13731 0 -1 1077944384 14527 0 0 0 194 2 0 0 20 0 28 0 477365893 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967228660336 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15533] ppid=15514 vsize=28768336 memory=7598811100138176585 CPUtime=0.86 cores=0-7
/proc/15516/task/15533/stat : 15533 (java) S 15514 15514 13731 0 -1 1077944384 11015 0 0 0 84 2 0 0 20 0 28 0 477365893 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967227607536 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15534] ppid=15514 vsize=28768336 memory=12040 CPUtime=0 cores=0-7
/proc/15516/task/15534/stat : 15534 (java) S 15514 15514 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477365894 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967226554976 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15535] ppid=15514 vsize=28768336 memory=32164 CPUtime=0.81 cores=0-7
/proc/15516/task/15535/stat : 15535 (java) S 15514 15514 13731 0 -1 1077944384 8606 0 0 0 16 65 0 0 20 0 28 0 477365894 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967225502256 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15911] ppid=15514 vsize=28768336 memory=1452 CPUtime=2369.21 cores=0-7
/proc/15516/task/15911/stat : 15911 (java) R 15514 15514 13731 0 -1 4202560 80922 0 0 0 236881 40 0 0 20 0 28 0 477374850 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967074372264 139967630774014 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15912] ppid=15514 vsize=28768336 memory=3620 CPUtime=2367.98 cores=0-7
/proc/15516/task/15912/stat : 15912 (java) R 15514 15514 13731 0 -1 4202560 60371 0 0 0 236769 29 0 0 20 0 28 0 477374850 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967214418400 139967626964472 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15913] ppid=15514 vsize=28768336 memory=55168 CPUtime=2369.63 cores=0-7
/proc/15516/task/15913/stat : 15913 (java) R 15514 15514 13731 0 -1 4202560 85335 0 0 0 236929 34 0 0 20 0 28 0 477374850 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967078585016 139967630774014 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15914] ppid=15514 vsize=28768336 memory=1452 CPUtime=2371.9 cores=0-7
/proc/15516/task/15914/stat : 15914 (java) R 15514 15514 13731 0 -1 4202560 288783 0 0 0 237054 136 0 0 20 0 28 0 477374850 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967215468720 139967629902771 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15915] ppid=15514 vsize=28768336 memory=1988 CPUtime=2372.44 cores=0-7
/proc/15516/task/15915/stat : 15915 (java) R 15514 15514 13731 0 -1 4202560 190509 0 0 0 237147 97 0 0 20 0 28 0 477374850 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967075426648 139967630176749 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15916] ppid=15514 vsize=28768336 memory=988 CPUtime=2367.06 cores=0-7
/proc/15516/task/15916/stat : 15916 (java) R 15514 15514 13731 0 -1 4202560 59642 0 0 0 236671 35 0 0 20 0 28 0 477374850 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967076479704 139967628480391 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15917] ppid=15514 vsize=28768336 memory=6032 CPUtime=2381.03 cores=0-7
/proc/15516/task/15917/stat : 15917 (java) R 15514 15514 13731 0 -1 4202560 141260 0 0 0 238021 82 0 0 20 0 28 0 477374850 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967216521304 139967628560032 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15918] ppid=15514 vsize=28768336 memory=624 CPUtime=2374.29 cores=0-7
/proc/15516/task/15918/stat : 15918 (java) R 15514 15514 13731 0 -1 4202560 265153 0 0 0 237316 113 0 0 20 0 28 0 477374850 29458776064 371874 33554432000 4194304 4196468 140725743924864 139967077531160 139967630178127 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
Current children cumulated CPU time: 19770.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1488948 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.22 8.27 8.27 9/219 16121
/proc/meminfo: memFree=10313548/32770624 swapFree=66956780/67108860
[pid=15514] ppid=15511 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15514/stat : 15514 (xcsp3-exec) S 15511 15514 13731 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477365887 115843072 363 33554432000 4194304 5098028 140724402543120 140724402541224 139667897070204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37683200 140724402545489 140724402545749 140724402545749 140724402548678 0
/proc/15514/statm: 28282 363 304 221 0 87 0
[pid=15516] ppid=15514 vsize=28768336 memory=1487280 CPUtime=19911.3 cores=0-7
/proc/15516/stat : 15516 (java) S 15514 15514 13731 0 -1 1077944320 2100865 0 0 0 1988854 2281 0 0 20 0 28 0 477365888 29458776064 371820 33554432000 4194304 4196468 140725743924864 140725743907408 139967985061623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
/proc/15516/statm: 7192084 371820 3544 1 0 7153184 0
[pid=15516/tid=15517] ppid=15514 vsize=28768336 memory=14012 CPUtime=0.94 cores=0-7
/proc/15516/task/15517/stat : 15517 (java) S 15514 15514 13731 0 -1 1077944384 11554 0 0 0 88 6 0 0 20 0 28 0 477365888 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967989302400 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15518] ppid=15514 vsize=28768336 memory=2112 CPUtime=13.22 cores=0-7
/proc/15516/task/15518/stat : 15518 (java) S 15514 15514 13731 0 -1 1077944384 62375 0 0 0 1256 66 0 0 20 0 28 0 477365889 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967952620176 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15519] ppid=15514 vsize=28768336 memory=1452 CPUtime=13.19 cores=0-7
/proc/15516/task/15519/stat : 15519 (java) S 15514 15514 13731 0 -1 1077944384 63362 0 0 0 1253 66 0 0 20 0 28 0 477365889 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967535376912 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15520] ppid=15514 vsize=28768336 memory=4872558044660077418 CPUtime=13.17 cores=0-7
/proc/15516/task/15520/stat : 15520 (java) S 15514 15514 13731 0 -1 1077944384 55283 0 0 0 1255 62 0 0 20 0 28 0 477365889 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967534324112 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15521] ppid=15514 vsize=28768336 memory=1488220 CPUtime=13.14 cores=0-7
/proc/15516/task/15521/stat : 15521 (java) S 15514 15514 13731 0 -1 1077944384 52639 0 0 0 1260 54 0 0 20 0 28 0 477365889 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967533271312 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15522] ppid=15514 vsize=28768336 memory=4872558044660077418 CPUtime=13.22 cores=0-7
/proc/15516/task/15522/stat : 15522 (java) S 15514 15514 13731 0 -1 1077944384 56144 0 0 0 1264 58 0 0 20 0 28 0 477365889 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967532219536 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15523] ppid=15514 vsize=28768336 memory=1436 CPUtime=13.19 cores=0-7
/proc/15516/task/15523/stat : 15523 (java) S 15514 15514 13731 0 -1 1077944384 54819 0 0 0 1261 58 0 0 20 0 28 0 477365889 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967531166736 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15524] ppid=15514 vsize=28768336 memory=808 CPUtime=13.14 cores=0-7
/proc/15516/task/15524/stat : 15524 (java) S 15514 15514 13731 0 -1 1077944384 55290 0 0 0 1253 61 0 0 20 0 28 0 477365889 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967530113936 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15525] ppid=15514 vsize=28768336 memory=11632 CPUtime=13.21 cores=0-7
/proc/15516/task/15525/stat : 15525 (java) S 15514 15514 13731 0 -1 1077944384 58603 0 0 0 1260 61 0 0 20 0 28 0 477365889 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967529061136 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15526] ppid=15514 vsize=28768336 memory=1732 CPUtime=19.28 cores=0-7
/proc/15516/task/15526/stat : 15526 (java) S 15514 15514 13731 0 -1 1077944384 340402 0 0 0 811 1117 0 0 20 0 28 0 477365890 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967486122352 139967985072770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15527] ppid=15514 vsize=28768336 memory=1088 CPUtime=0 cores=0-7
/proc/15516/task/15527/stat : 15527 (java) S 15514 15514 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 477365891 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967485068384 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15528] ppid=15514 vsize=28768336 memory=988 CPUtime=0 cores=0-7
/proc/15516/task/15528/stat : 15528 (java) S 15514 15514 13731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477365891 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967484015488 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15529] ppid=15514 vsize=28768336 memory=780 CPUtime=0 cores=0-7
/proc/15516/task/15529/stat : 15529 (java) S 15514 15514 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477365893 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967482963792 139967985080219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15530] ppid=15514 vsize=28768336 memory=988 CPUtime=2.14 cores=0-7
/proc/15516/task/15530/stat : 15530 (java) S 15514 15514 13731 0 -1 1077944384 16093 0 0 0 212 2 0 0 20 0 28 0 477365893 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967230765936 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15531] ppid=15514 vsize=28768336 memory=1428 CPUtime=1.96 cores=0-7
/proc/15516/task/15531/stat : 15531 (java) S 15514 15514 13731 0 -1 1077944384 11427 0 0 0 195 1 0 0 20 0 28 0 477365893 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967229713136 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15532] ppid=15514 vsize=28768336 memory=1728 CPUtime=1.96 cores=0-7
/proc/15516/task/15532/stat : 15532 (java) S 15514 15514 13731 0 -1 1077944384 14531 0 0 0 194 2 0 0 20 0 28 0 477365893 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967228660336 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15533] ppid=15514 vsize=28768336 memory=1056 CPUtime=0.86 cores=0-7
/proc/15516/task/15533/stat : 15533 (java) S 15514 15514 13731 0 -1 1077944384 11019 0 0 0 84 2 0 0 20 0 28 0 477365893 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967227607536 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15534] ppid=15514 vsize=28768336 memory=1556 CPUtime=0 cores=0-7
/proc/15516/task/15534/stat : 15534 (java) S 15514 15514 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477365894 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967226554976 139967985071829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15535] ppid=15514 vsize=28768336 memory=11632 CPUtime=0.81 cores=0-7
/proc/15516/task/15535/stat : 15535 (java) S 15514 15514 13731 0 -1 1077944384 8632 0 0 0 16 65 0 0 20 0 28 0 477365894 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967225502256 139967985072770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15911] ppid=15514 vsize=28768336 memory=1732 CPUtime=2386.8 cores=0-7
/proc/15516/task/15911/stat : 15911 (java) R 15514 15514 13731 0 -1 4202560 81163 0 0 0 238640 40 0 0 20 0 28 0 477374850 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967074372712 139967628282338 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15912] ppid=15514 vsize=28768336 memory=1088 CPUtime=2385.58 cores=0-7
/proc/15516/task/15912/stat : 15912 (java) R 15514 15514 13731 0 -1 4202560 60504 0 0 0 238528 30 0 0 20 0 28 0 477374850 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967214415984 139967626964563 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15913] ppid=15514 vsize=28768336 memory=988 CPUtime=2387.18 cores=0-7
/proc/15516/task/15913/stat : 15913 (java) R 15514 15514 13731 0 -1 4202560 85683 0 0 0 238683 35 0 0 20 0 28 0 477374850 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967078584728 139967627826120 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15914] ppid=15514 vsize=28768336 memory=780 CPUtime=2389.52 cores=0-7
/proc/15516/task/15914/stat : 15914 (java) R 15514 15514 13731 0 -1 4202560 288905 0 0 0 238816 136 0 0 20 0 28 0 477374850 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967215469392 139967627538111 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15915] ppid=15514 vsize=28768336 memory=6032 CPUtime=2390.09 cores=0-7
/proc/15516/task/15915/stat : 15915 (java) R 15514 15514 13731 0 -1 4202560 191051 0 0 0 238912 97 0 0 20 0 28 0 477374850 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967075426008 139967630177625 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15916] ppid=15514 vsize=28768336 memory=6791534058613427641 CPUtime=2384.6 cores=0-7
/proc/15516/task/15916/stat : 15916 (java) R 15514 15514 13731 0 -1 4202560 59904 0 0 0 238425 35 0 0 20 0 28 0 477374850 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967076479704 139967627538172 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15917] ppid=15514 vsize=28768336 memory=3952 CPUtime=2398.69 cores=0-7
/proc/15516/task/15917/stat : 15917 (java) R 15514 15514 13731 0 -1 4202560 141582 0 0 0 239786 83 0 0 20 0 28 0 477374850 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967216520960 139967626976999 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
[pid=15516/tid=15918] ppid=15514 vsize=28768336 memory=1452 CPUtime=2391.91 cores=0-7
/proc/15516/task/15918/stat : 15918 (java) R 15514 15514 13731 0 -1 4202560 266503 0 0 0 239078 113 0 0 20 0 28 0 477374850 29458776064 371820 33554432000 4194304 4196468 140725743924864 139967077534416 139967630176723 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 23654400 140725743928278 140725743928454 140725743928454 140725743931343 0
Current children cumulated CPU time: 19911.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1488732 KiB

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

[startup+2520.04 s]
# the end of solver process 15514 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001187 s, system=0.001187 s

[startup+2520.1 s]
# the end of solver process 15516 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19889.2 s, system=22.8312 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.1
CPU time (s): 19912
CPU user time (s): 19889.2
CPU system time (s): 22.8312
CPU usage (%): 790.128
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 2603796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19889.2
system time used= 22.8312
maximum resident set size= 2609556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2102053
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 202936
involuntary context switches= 243931


# summary of solver processes directly reported to runsolver:
#   pid: 15514,15516
#   total CPU time (s): 19912
#   total CPU user time (s): 19889.2
#   total CPU system time (s): 22.8312

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.284 second user time and 26.3379 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-20 22:27:14
IDJOB=4404771
IDBENCH=141151
IDSOLVER=2865
FILE ID=node149/4404771-1569011273
RUNJOBID= node149-1569005174-13758
PBS_JOBID= 21704751
Free space on /var/tmp= 13484 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-matching040_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404771-1569011273/watcher-4404771-1569011273 -o /var/tmp/evaluation-result-4404771-1569011273/solver-4404771-1569011273 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569005174-13758 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1051184973 HOME/instance-4404771-1569011273.xml

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

MD5SUM BENCH= d33511db6974d661f2a7d715e96a1ecf
RANDOM SEED=1051184973

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
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.81
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.81
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.81
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:        11794712 kB
MemAvailable:   31815480 kB
Buffers:          170624 kB
Cached:         19741968 kB
SwapCached:        41704 kB
Active:          9628404 kB
Inactive:       10326992 kB
Active(anon):       3036 kB
Inactive(anon):    83748 kB
Active(file):    9625368 kB
Inactive(file): 10243244 kB
Unevictable:      110220 kB
Mlocked:          110220 kB
SwapTotal:      67108860 kB
SwapFree:       66956764 kB
Dirty:             25980 kB
Writeback:             0 kB
AnonPages:        108140 kB
Mapped:            51748 kB
Shmem:             35728 kB
Slab:             610612 kB
SReclaimable:     580616 kB
SUnreclaim:        29996 kB
KernelStack:        3456 kB
PageTables:         5628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /var/tmp at the end= 13456 MiB
End job on node149 at 2019-09-20 23:09:14