Trace number 4405071

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)12882352 1968.12 252.125

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 benchmark2400.13
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-4405071-1569014049.xml"  -tl '2016s' -p 8
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4405071-1569014049.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
2.20/0.88	c solve instance...
2.62/0.97	o 5341063 
5.60/1.39	o 5421418 
5.60/1.40	o 5444734 
6.41/1.43	o 5520930 
6.41/1.43	o 5718594 
7.10/1.53	o 5760808 
7.10/1.54	o 5885700 
7.10/1.54	o 5931647 
7.10/1.60	o 5977223 
7.10/1.65	o 6019660 
7.10/1.66	o 6156351 
7.10/1.77	o 7251220 
10.67/2.03	o 7278133 
11.42/2.12	o 7334253 
12.98/2.35	o 7387719 
13.68/2.40	o 7401543 
14.52/2.59	o 7458797 
15.98/2.72	o 7910800 
15.98/2.74	o 7945564 
17.46/2.95	o 7953995 
18.21/3.01	o 8078114 
18.98/3.20	o 8216322 
19.83/3.27	o 8251591 
21.25/3.42	o 8276487 
21.25/3.46	o 8366292 
22.02/3.51	o 8689544 
22.77/3.62	o 8771812 
25.15/3.94	o 8843506 
25.82/4.01	o 8981167 
29.15/4.51	o 9025424 
29.15/4.56	o 9540540 
34.60/5.29	o 9730419 
40.24/7.71	o 9901708 
43.97/8.59	o 9928775 
45.75/8.86	o 10005476 
48.87/9.23	o 10297010 
67.05/11.59	o 10328323 
69.43/11.82	o 10496195 
70.23/12.00	o 10594404 
77.38/12.84	o 10739141 
78.15/12.92	o 10896057 
83.68/13.64	o 10899153 
103.58/16.15	o 11040263 
115.23/17.68	o 11058400 
119.26/18.20	o 11098440 
126.12/19.07	o 11128207 
132.86/19.92	o 11415611 
133.48/20.05	o 11442642 
136.99/20.51	o 11535234 
143.72/21.43	o 11876243 
144.26/21.60	o 11884429 
146.61/21.88	o 11950789 
172.90/25.20	o 12025779 
188.74/27.18	o 12073602 
192.16/27.61	o 12235854 
192.92/27.73	o 12256333 
199.26/28.58	o 12271493 
200.04/28.70	o 12333354 
236.75/33.24	o 12397414 
266.97/37.03	o 12486143 
302.82/41.59	o 12600963 
361.79/48.92	o 12626387 
739.57/97.58	o 12676973 
759.03/100.17	o 12882352 
1967.39/252.06	s SATISFIABLE
1967.39/252.06	v <instantiation>
1967.39/252.06	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>
1967.39/252.06	v 	<values>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 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 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 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
1967.39/252.06	v </instantiation>
1967.39/252.06	c Unexpected resolution interruption!

Verifier Data 

OK	12882352

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405071-1569014049/watcher-4405071-1569014049 -o /var/tmp/evaluation-result-4405071-1569014049/solver-4405071-1569014049 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569005174-13758 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1364756116 HOME/instance-4405071-1569014049.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=16296, runsolver pid=16293
Current StackSize limit: 8192 KiB


[startup+0.100122 s]*
/proc/loadavg: 5.33 5.79 7.16 2/211 16317
/proc/meminfo: memFree=18663072/32770624 swapFree=66956784/67108860
[pid=16296] ppid=16293 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16296/stat : 16296 (xcsp3-exec) S 16293 16296 13731 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477643556 115843072 363 33554432000 4194304 5098028 140732840793040 140732840791144 139684995527292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14479360 140732840797015 140732840797274 140732840797274 140732840800198 0
/proc/16296/statm: 28282 363 304 221 0 87 0
[pid=16298] ppid=16296 vsize=28227396 memory=29676 CPUtime=0.13 cores=0-7
/proc/16298/stat : 16298 (java) S 16296 16296 13731 0 -1 1077944320 5898 0 0 0 11 2 0 0 20 0 20 0 477643557 28904853504 7419 33554432000 4194304 4196468 140720356139456 140720356122000 139932296347383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
/proc/16298/statm: 7056849 7419 3120 1 0 7019032 0
[pid=16298/tid=16299] ppid=16296 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16298/task/16299/stat : 16299 (java) R 16296 16296 13731 0 -1 4202560 3803 0 0 0 8 1 0 0 20 0 20 0 477643557 28904853504 7419 33554432000 4194304 4196468 140720356139456 139932300580656 139932296359318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16300] ppid=16296 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16298/task/16300/stat : 16300 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139932252900240 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16301] ppid=16296 vsize=28227396 memory=139755279718016 CPUtime=0 cores=0-7
/proc/16298/task/16301/stat : 16301 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139932251847440 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16302] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16302/stat : 16302 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139932250795152 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16303] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16303/stat : 16303 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931844467728 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16304] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16304/stat : 16304 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931843414416 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16305] ppid=16296 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16298/task/16305/stat : 16305 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931842361616 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16306] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16306/stat : 16306 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931841309328 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16307] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16307/stat : 16307 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931840256528 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16308] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16308/stat : 16308 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643559 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931412748912 139932296358530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16309] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16309/stat : 16309 (java) S 16296 16296 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477643560 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931411694880 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16310] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16310/stat : 16310 (java) S 16296 16296 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477643560 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931410642544 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16311] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16311/stat : 16311 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643562 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931409590864 139932296365979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16312] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16312/stat : 16312 (java) S 16296 16296 13731 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 477643562 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931408537712 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16313] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16313/stat : 16313 (java) S 16296 16296 13731 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 477643562 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931407484912 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16314] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16314/stat : 16314 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643562 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931406432624 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16315] ppid=16296 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/16298/task/16315/stat : 16315 (java) R 16296 16296 13731 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 20 0 477643562 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931405379824 139932275483216 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16316] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16316/stat : 16316 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643563 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931404327776 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16317] ppid=16296 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16298/task/16317/stat : 16317 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643563 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931403275056 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31128 KiB

[startup+0.211332 s]*
/proc/loadavg: 5.33 5.79 7.16 2/211 16317
/proc/meminfo: memFree=18651556/32770624 swapFree=66956784/67108860
[pid=16296] ppid=16293 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16296/stat : 16296 (xcsp3-exec) S 16293 16296 13731 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477643556 115843072 363 33554432000 4194304 5098028 140732840793040 140732840791144 139684995527292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14479360 140732840797015 140732840797274 140732840797274 140732840800198 0
/proc/16296/statm: 28282 363 304 221 0 87 0
[pid=16298] ppid=16296 vsize=28227396 memory=40964 CPUtime=0.33 cores=0-7
/proc/16298/stat : 16298 (java) S 16296 16296 13731 0 -1 1077944320 9456 0 0 0 30 3 0 0 20 0 20 0 477643557 28904853504 10241 33554432000 4194304 4196468 140720356139456 140720356122000 139932296347383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
/proc/16298/statm: 7056849 10241 3296 1 0 7019032 0
[pid=16298/tid=16299] ppid=16296 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16298/task/16299/stat : 16299 (java) R 16296 16296 13731 0 -1 4202560 6614 0 0 0 18 2 0 0 20 0 20 0 477643557 28904853504 10241 33554432000 4194304 4196468 140720356139456 139932300582080 139932296368730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16300] ppid=16296 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/16298/task/16300/stat : 16300 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139932252900240 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16301] ppid=16296 vsize=28227396 memory=139755283275373 CPUtime=0 cores=0-7
/proc/16298/task/16301/stat : 16301 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139932251847440 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16302] ppid=16296 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16298/task/16302/stat : 16302 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139932250795152 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16303] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16303/stat : 16303 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931844467728 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16304] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16304/stat : 16304 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931843414416 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16305] ppid=16296 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16298/task/16305/stat : 16305 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931842361616 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16306] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16306/stat : 16306 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931841309328 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16307] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16307/stat : 16307 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931840256528 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16308] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16308/stat : 16308 (java) S 16296 16296 13731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477643559 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931412748912 139932296358530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16309] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16309/stat : 16309 (java) S 16296 16296 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477643560 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931411694880 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16310] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16310/stat : 16310 (java) S 16296 16296 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477643560 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931410642544 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16311] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16311/stat : 16311 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643562 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931409590864 139932296365979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16312] ppid=16296 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/16298/task/16312/stat : 16312 (java) S 16296 16296 13731 0 -1 1077944384 606 0 0 0 2 0 0 0 20 0 20 0 477643562 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931408537712 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16313] ppid=16296 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16298/task/16313/stat : 16313 (java) S 16296 16296 13731 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 477643562 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931407484912 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16314] ppid=16296 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16298/task/16314/stat : 16314 (java) S 16296 16296 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477643562 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931406432624 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16315] ppid=16296 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/16298/task/16315/stat : 16315 (java) R 16296 16296 13731 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 20 0 477643562 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931405379824 139932275365588 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16316] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16316/stat : 16316 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643563 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931404327776 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16317] ppid=16296 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16298/task/16317/stat : 16317 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643563 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931403275056 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42416 KiB

[startup+0.311158 s]*
/proc/loadavg: 5.33 5.79 7.16 3/211 16317
/proc/meminfo: memFree=18643552/32770624 swapFree=66956784/67108860
[pid=16296] ppid=16293 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16296/stat : 16296 (xcsp3-exec) S 16293 16296 13731 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477643556 115843072 363 33554432000 4194304 5098028 140732840793040 140732840791144 139684995527292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14479360 140732840797015 140732840797274 140732840797274 140732840800198 0
/proc/16296/statm: 28282 363 304 221 0 87 0
[pid=16298] ppid=16296 vsize=28231652 memory=49276 CPUtime=0.51 cores=0-7
/proc/16298/stat : 16298 (java) S 16296 16296 13731 0 -1 1077944320 10671 0 0 0 47 4 0 0 20 0 20 0 477643557 28909211648 12319 33554432000 4194304 4196468 140720356139456 140720356122000 139932296347383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
/proc/16298/statm: 7057913 12319 3327 1 0 7019032 0
[pid=16298/tid=16299] ppid=16296 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16298/task/16299/stat : 16299 (java) R 16296 16296 13731 0 -1 4202560 7670 0 0 0 26 3 0 0 20 0 20 0 477643557 28909211648 12319 33554432000 4194304 4196468 140720356139456 139932300578496 139932296369309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16300] ppid=16296 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16300/stat : 16300 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139932252900240 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16301] ppid=16296 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16301/stat : 16301 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139932251847440 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16302] ppid=16296 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16302/stat : 16302 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139932250795152 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16303] ppid=16296 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16303/stat : 16303 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931844467728 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16304] ppid=16296 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/16298/task/16304/stat : 16304 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931843414416 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16305] ppid=16296 vsize=28231652 memory=139755148899247 CPUtime=0 cores=0-7
/proc/16298/task/16305/stat : 16305 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931842361616 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16306] ppid=16296 vsize=28231652 memory=139755148901552 CPUtime=0 cores=0-7
/proc/16298/task/16306/stat : 16306 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931841309328 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16307] ppid=16296 vsize=28231652 memory=139755148903856 CPUtime=0 cores=0-7
/proc/16298/task/16307/stat : 16307 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931840256528 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16308] ppid=16296 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16308/stat : 16308 (java) S 16296 16296 13731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477643559 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931412748912 139932296358530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16309] ppid=16296 vsize=28231652 memory=279510297814672 CPUtime=0 cores=0-7
/proc/16298/task/16309/stat : 16309 (java) S 16296 16296 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477643560 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931411694880 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16310] ppid=16296 vsize=28231652 memory=279510297821584 CPUtime=0 cores=0-7
/proc/16298/task/16310/stat : 16310 (java) S 16296 16296 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477643560 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931410642544 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16311] ppid=16296 vsize=28231652 memory=279510297762736 CPUtime=0 cores=0-7
/proc/16298/task/16311/stat : 16311 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643562 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931409590864 139932296365979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16312] ppid=16296 vsize=28231652 memory=279510297835408 CPUtime=0.03 cores=0-7
/proc/16298/task/16312/stat : 16312 (java) S 16296 16296 13731 0 -1 1077944384 646 0 0 0 3 0 0 0 20 0 20 0 477643562 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931408537712 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16313] ppid=16296 vsize=28231652 memory=279510297842320 CPUtime=0.01 cores=0-7
/proc/16298/task/16313/stat : 16313 (java) S 16296 16296 13731 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 477643562 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931407484912 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16314] ppid=16296 vsize=28231652 memory=279510297840016 CPUtime=0.01 cores=0-7
/proc/16298/task/16314/stat : 16314 (java) S 16296 16296 13731 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 477643562 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931406432624 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16315] ppid=16296 vsize=28231652 memory=279510297856176 CPUtime=0.12 cores=0-7
/proc/16298/task/16315/stat : 16315 (java) S 16296 16296 13731 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 20 0 477643562 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931405379824 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16316] ppid=16296 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16316/stat : 16316 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643563 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931404327776 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16317] ppid=16296 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/16298/task/16317/stat : 16317 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643563 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931403275056 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50728 KiB

[startup+0.701152 s]
/proc/loadavg: 5.33 5.79 7.16 4/211 16317
/proc/meminfo: memFree=18629140/32770624 swapFree=66956784/67108860
[pid=16296] ppid=16293 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16296/stat : 16296 (xcsp3-exec) S 16293 16296 13731 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477643556 115843072 363 33554432000 4194304 5098028 140732840793040 140732840791144 139684995527292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14479360 140732840797015 140732840797274 140732840797274 140732840800198 0
/proc/16296/statm: 28282 363 304 221 0 87 0
[pid=16298] ppid=16296 vsize=28233776 memory=105276 CPUtime=1.78 cores=0-7
/proc/16298/stat : 16298 (java) S 16296 16296 13731 0 -1 1077944320 15427 0 0 0 170 8 0 0 20 0 20 0 477643557 28911386624 26319 33554432000 4194304 4196468 140720356139456 140720356122000 139932296347383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
/proc/16298/statm: 7058444 26319 3456 1 0 7019544 0
[pid=16298/tid=16299] ppid=16296 vsize=28233776 memory=279510298214064 CPUtime=0.67 cores=0-7
/proc/16298/task/16299/stat : 16299 (java) R 16296 16296 13731 0 -1 4202560 9161 0 0 0 62 5 0 0 20 0 20 0 477643557 28911386624 26319 33554432000 4194304 4196468 140720356139456 139932300585728 139931933786835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16300] ppid=16296 vsize=28233776 memory=139755149108080 CPUtime=0 cores=0-7
/proc/16298/task/16300/stat : 16300 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28911386624 26319 33554432000 4194304 4196468 140720356139456 139932252900240 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16301] ppid=16296 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/16298/task/16301/stat : 16301 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28911386624 26319 33554432000 4194304 4196468 140720356139456 139932251847440 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16302] ppid=16296 vsize=28233776 memory=6032 CPUtime=0 cores=0-7
/proc/16298/task/16302/stat : 16302 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28911386624 26319 33554432000 4194304 4196468 140720356139456 139932250795152 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0

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

[pid=16298/tid=16845] ppid=16296 vsize=28834900 memory=532 CPUtime=60.81 cores=0-7
/proc/16298/task/16845/stat : 16845 (java) R 16296 16296 13731 0 -1 4202560 3474 0 0 0 6074 7 0 0 20 0 28 0 477653574 29526937600 1452346 33554432000 4194304 4196468 140720356139456 139931391955120 139931936169913 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
Current children cumulated CPU time: 1252.06 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 5810836 KiB

[startup+222.311 s]
/proc/loadavg: 8.04 7.02 7.37 9/219 16851
/proc/meminfo: memFree=12339056/32770624 swapFree=66956784/67108860
[pid=16296] ppid=16293 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16296/stat : 16296 (xcsp3-exec) S 16293 16296 13731 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477643556 115843072 363 33554432000 4194304 5098028 140732840793040 140732840791144 139684995527292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14479360 140732840797015 140732840797274 140732840797274 140732840800198 0
/proc/16296/statm: 28282 363 304 221 0 87 0
[pid=16298] ppid=16296 vsize=28834900 memory=6344636 CPUtime=1730.53 cores=0-7
/proc/16298/stat : 16298 (java) S 16296 16296 13731 0 -1 1077944320 238219 0 0 0 172594 459 0 0 20 0 28 0 477643557 29526937600 1586159 33554432000 4194304 4196468 140720356139456 140720356122000 139932296347383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
/proc/16298/statm: 7208725 1586159 3543 1 0 7169825 0
[pid=16298/tid=16299] ppid=16296 vsize=28834900 memory=6344636 CPUtime=0.96 cores=0-7
/proc/16298/task/16299/stat : 16299 (java) S 16296 16296 13731 0 -1 1077944384 11404 0 0 0 89 7 0 0 20 0 28 0 477643557 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139932300588160 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16300] ppid=16296 vsize=28834900 memory=1452 CPUtime=2.17 cores=0-7
/proc/16298/task/16300/stat : 16300 (java) S 16296 16296 13731 0 -1 1077944384 2984 0 0 0 196 21 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139932252900240 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16301] ppid=16296 vsize=28834900 memory=6206008 CPUtime=2.14 cores=0-7
/proc/16298/task/16301/stat : 16301 (java) S 16296 16296 13731 0 -1 1077944384 4988 0 0 0 191 23 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139932251847440 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16302] ppid=16296 vsize=28834900 memory=6206008 CPUtime=2.17 cores=0-7
/proc/16298/task/16302/stat : 16302 (java) S 16296 16296 13731 0 -1 1077944384 3429 0 0 0 195 22 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139932250795152 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16303] ppid=16296 vsize=28834900 memory=6205872 CPUtime=2.16 cores=0-7
/proc/16298/task/16303/stat : 16303 (java) S 16296 16296 13731 0 -1 1077944384 4520 0 0 0 195 21 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931844467728 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16304] ppid=16296 vsize=28834900 memory=6344636 CPUtime=2.1 cores=0-7
/proc/16298/task/16304/stat : 16304 (java) S 16296 16296 13731 0 -1 1077944384 3542 0 0 0 189 21 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931843414416 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16305] ppid=16296 vsize=28834900 memory=6344636 CPUtime=2.15 cores=0-7
/proc/16298/task/16305/stat : 16305 (java) S 16296 16296 13731 0 -1 1077944384 7709 0 0 0 193 22 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931842361616 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16306] ppid=16296 vsize=28834900 memory=1452 CPUtime=2.19 cores=0-7
/proc/16298/task/16306/stat : 16306 (java) S 16296 16296 13731 0 -1 1077944384 7492 0 0 0 194 25 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931841309328 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16307] ppid=16296 vsize=28834900 memory=4872558044660077418 CPUtime=2.16 cores=0-7
/proc/16298/task/16307/stat : 16307 (java) S 16296 16296 13731 0 -1 1077944384 7051 0 0 0 194 22 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931840256528 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16308] ppid=16296 vsize=28834900 memory=1452 CPUtime=1.63 cores=0-7
/proc/16298/task/16308/stat : 16308 (java) S 16296 16296 13731 0 -1 1077944384 15226 0 0 0 160 3 0 0 20 0 28 0 477643559 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931412748912 139932296358530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16309] ppid=16296 vsize=28834900 memory=1452 CPUtime=0 cores=0-7
/proc/16298/task/16309/stat : 16309 (java) S 16296 16296 13731 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477643560 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931411694944 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16310] ppid=16296 vsize=28834900 memory=1452 CPUtime=0 cores=0-7
/proc/16298/task/16310/stat : 16310 (java) S 16296 16296 13731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477643560 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931410642560 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16311] ppid=16296 vsize=28834900 memory=5809384 CPUtime=0 cores=0-7
/proc/16298/task/16311/stat : 16311 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477643562 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931409590864 139932296365979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16312] ppid=16296 vsize=28834900 memory=1452 CPUtime=2.1 cores=0-7
/proc/16298/task/16312/stat : 16312 (java) S 16296 16296 13731 0 -1 1077944384 13749 0 0 0 207 3 0 0 20 0 28 0 477643562 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931408537712 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16313] ppid=16296 vsize=28834900 memory=140093243293544 CPUtime=2.13 cores=0-7
/proc/16298/task/16313/stat : 16313 (java) S 16296 16296 13731 0 -1 1077944384 9601 0 0 0 212 1 0 0 20 0 28 0 477643562 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931407484912 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16314] ppid=16296 vsize=28834900 memory=6944656592455359580 CPUtime=2.19 cores=0-7
/proc/16298/task/16314/stat : 16314 (java) S 16296 16296 13731 0 -1 1077944384 11269 0 0 0 217 2 0 0 20 0 28 0 477643562 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931406432624 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16315] ppid=16296 vsize=28834900 memory=1452 CPUtime=0.89 cores=0-7
/proc/16298/task/16315/stat : 16315 (java) S 16296 16296 13731 0 -1 1077944384 12148 0 0 0 87 2 0 0 20 0 28 0 477643562 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931405379824 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16316] ppid=16296 vsize=28834900 memory=3620 CPUtime=0 cores=0-7
/proc/16298/task/16316/stat : 16316 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477643563 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931404327776 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16317] ppid=16296 vsize=28834900 memory=6206008 CPUtime=0.06 cores=0-7
/proc/16298/task/16317/stat : 16317 (java) S 16296 16296 13731 0 -1 1077944384 1729 0 0 0 2 4 0 0 20 0 28 0 477643563 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931403275056 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16838] ppid=16296 vsize=28834900 memory=55180 CPUtime=120.08 cores=0-7
/proc/16298/task/16838/stat : 16838 (java) R 16296 16296 13731 0 -1 4202560 24145 0 0 0 11990 18 0 0 20 0 28 0 477653573 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931387744088 139931936167806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16839] ppid=16296 vsize=28834900 memory=1452 CPUtime=120.4 cores=0-7
/proc/16298/task/16839/stat : 16839 (java) R 16296 16296 13731 0 -1 4202560 1482 0 0 0 12038 2 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931388793880 139931939440016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16840] ppid=16296 vsize=28834900 memory=6206008 CPUtime=120.48 cores=0-7
/proc/16298/task/16840/stat : 16840 (java) R 16296 16296 13731 0 -1 4202560 5624 0 0 0 12045 3 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931394055864 139931937530912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16841] ppid=16296 vsize=28834900 memory=1452 CPUtime=120.43 cores=0-7
/proc/16298/task/16841/stat : 16841 (java) R 16296 16296 13731 0 -1 4202560 2613 0 0 0 12030 13 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931386691184 139931939549665 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16842] ppid=16296 vsize=28834900 memory=1452 CPUtime=120.31 cores=0-7
/proc/16298/task/16842/stat : 16842 (java) R 16296 16296 13731 0 -1 4202560 6568 0 0 0 12007 24 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931389846040 139931939548040 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16843] ppid=16296 vsize=28834900 memory=288230574492221466 CPUtime=119 cores=0-7
/proc/16298/task/16843/stat : 16843 (java) R 16296 16296 13731 0 -1 4202560 7486 0 0 0 11869 31 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931383537504 139931938737052 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16844] ppid=16296 vsize=28834900 memory=288230583166042426 CPUtime=120.07 cores=0-7
/proc/16298/task/16844/stat : 16844 (java) R 16296 16296 13731 0 -1 4202560 2561 0 0 0 12005 2 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931393008424 139932277189545 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16845] ppid=16296 vsize=28834900 memory=13847469322668657 CPUtime=120.48 cores=0-7
/proc/16298/task/16845/stat : 16845 (java) R 16296 16296 13731 0 -1 4202560 5067 0 0 0 12034 14 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931391953984 139931939549665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
Current children cumulated CPU time: 1730.53 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 6346088 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]
/proc/loadavg: 8.16 7.15 7.41 9/219 16854
/proc/meminfo: memFree=12325492/32770624 swapFree=66956784/67108860
[pid=16296] ppid=16293 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16296/stat : 16296 (xcsp3-exec) S 16293 16296 13731 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477643556 115843072 363 33554432000 4194304 5098028 140732840793040 140732840791144 139684995527292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14479360 140732840797015 140732840797274 140732840797274 140732840800198 0
/proc/16296/statm: 28282 363 304 221 0 87 0
[pid=16298] ppid=16296 vsize=28834900 memory=6393788 CPUtime=1967.39 cores=0-7
/proc/16298/stat : 16298 (java) S 16296 16296 13731 0 -1 1077944320 249388 0 0 0 196253 486 0 0 20 0 28 0 477643557 29526937600 1598447 33554432000 4194304 4196468 140720356139456 140720356122000 139932296347383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
/proc/16298/statm: 7208725 1598447 3543 1 0 7169825 0
[pid=16298/tid=16299] ppid=16296 vsize=28834900 memory=6791534058613427641 CPUtime=0.96 cores=0-7
/proc/16298/task/16299/stat : 16299 (java) S 16296 16296 13731 0 -1 1077944384 11404 0 0 0 89 7 0 0 20 0 28 0 477643557 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139932300588160 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16300] ppid=16296 vsize=28834900 memory=624 CPUtime=2.17 cores=0-7
/proc/16298/task/16300/stat : 16300 (java) S 16296 16296 13731 0 -1 1077944384 2984 0 0 0 196 21 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139932252900240 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16301] ppid=16296 vsize=28834900 memory=3636 CPUtime=2.14 cores=0-7
/proc/16298/task/16301/stat : 16301 (java) S 16296 16296 13731 0 -1 1077944384 4988 0 0 0 191 23 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139932251847440 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16302] ppid=16296 vsize=28834900 memory=2832 CPUtime=2.17 cores=0-7
/proc/16298/task/16302/stat : 16302 (java) S 16296 16296 13731 0 -1 1077944384 3429 0 0 0 195 22 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139932250795152 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16303] ppid=16296 vsize=28834900 memory=14012 CPUtime=2.16 cores=0-7
/proc/16298/task/16303/stat : 16303 (java) S 16296 16296 13731 0 -1 1077944384 4520 0 0 0 195 21 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931844467728 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16304] ppid=16296 vsize=28834900 memory=2112 CPUtime=2.1 cores=0-7
/proc/16298/task/16304/stat : 16304 (java) S 16296 16296 13731 0 -1 1077944384 3542 0 0 0 189 21 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931843414416 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16305] ppid=16296 vsize=28834900 memory=12040 CPUtime=2.15 cores=0-7
/proc/16298/task/16305/stat : 16305 (java) S 16296 16296 13731 0 -1 1077944384 7709 0 0 0 193 22 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931842361616 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16306] ppid=16296 vsize=28834900 memory=32164 CPUtime=2.19 cores=0-7
/proc/16298/task/16306/stat : 16306 (java) S 16296 16296 13731 0 -1 1077944384 7492 0 0 0 194 25 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931841309328 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16307] ppid=16296 vsize=28834900 memory=1556 CPUtime=2.16 cores=0-7
/proc/16298/task/16307/stat : 16307 (java) S 16296 16296 13731 0 -1 1077944384 7051 0 0 0 194 22 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931840256528 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16308] ppid=16296 vsize=28834900 memory=532 CPUtime=1.63 cores=0-7
/proc/16298/task/16308/stat : 16308 (java) S 16296 16296 13731 0 -1 1077944384 15242 0 0 0 160 3 0 0 20 0 28 0 477643559 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931412748912 139932296358530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16309] ppid=16296 vsize=28834900 memory=928 CPUtime=0 cores=0-7
/proc/16298/task/16309/stat : 16309 (java) S 16296 16296 13731 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477643560 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931411694944 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16310] ppid=16296 vsize=28834900 memory=6354876 CPUtime=0 cores=0-7
/proc/16298/task/16310/stat : 16310 (java) S 16296 16296 13731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477643560 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931410642560 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16311] ppid=16296 vsize=28834900 memory=1556 CPUtime=0 cores=0-7
/proc/16298/task/16311/stat : 16311 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477643562 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931409590864 139932296365979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16312] ppid=16296 vsize=28834900 memory=532 CPUtime=2.1 cores=0-7
/proc/16298/task/16312/stat : 16312 (java) S 16296 16296 13731 0 -1 1077944384 13759 0 0 0 207 3 0 0 20 0 28 0 477643562 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931408537712 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16313] ppid=16296 vsize=28834900 memory=928 CPUtime=2.13 cores=0-7
/proc/16298/task/16313/stat : 16313 (java) S 16296 16296 13731 0 -1 1077944384 9610 0 0 0 212 1 0 0 20 0 28 0 477643562 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931407484912 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16314] ppid=16296 vsize=28834900 memory=6791534058613427641 CPUtime=2.19 cores=0-7
/proc/16298/task/16314/stat : 16314 (java) S 16296 16296 13731 0 -1 1077944384 11280 0 0 0 217 2 0 0 20 0 28 0 477643562 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931406432624 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16315] ppid=16296 vsize=28834900 memory=1976 CPUtime=0.89 cores=0-7
/proc/16298/task/16315/stat : 16315 (java) S 16296 16296 13731 0 -1 1077944384 12545 0 0 0 87 2 0 0 20 0 28 0 477643562 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931405379824 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16316] ppid=16296 vsize=28834900 memory=2432 CPUtime=0 cores=0-7
/proc/16298/task/16316/stat : 16316 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477643563 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931404327776 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16317] ppid=16296 vsize=28834900 memory=1452 CPUtime=0.07 cores=0-7
/proc/16298/task/16317/stat : 16317 (java) S 16296 16296 13731 0 -1 1077944384 1819 0 0 0 2 5 0 0 20 0 28 0 477643563 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931403275056 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16838] ppid=16296 vsize=28834900 memory=1452 CPUtime=149.76 cores=0-7
/proc/16298/task/16838/stat : 16838 (java) R 16296 16296 13731 0 -1 4202560 25280 0 0 0 14953 23 0 0 20 0 28 0 477653573 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931387744088 139931936167948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16839] ppid=16296 vsize=28834900 memory=6344636 CPUtime=150.08 cores=0-7
/proc/16298/task/16839/stat : 16839 (java) R 16296 16296 13731 0 -1 4202560 2412 0 0 0 15005 3 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931388797360 139931937763540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16840] ppid=16296 vsize=28834900 memory=6344636 CPUtime=150.16 cores=0-7
/proc/16298/task/16840/stat : 16840 (java) R 16296 16296 13731 0 -1 4202560 6699 0 0 0 15013 3 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931394057816 140720356645064 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16841] ppid=16296 vsize=28834900 memory=780 CPUtime=150.1 cores=0-7
/proc/16298/task/16841/stat : 16841 (java) R 16296 16296 13731 0 -1 4202560 4102 0 0 0 14995 15 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931386691184 139931936170140 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16842] ppid=16296 vsize=28834900 memory=6032 CPUtime=149.39 cores=0-7
/proc/16298/task/16842/stat : 16842 (java) R 16296 16296 13731 0 -1 4202560 8766 0 0 0 14911 28 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931389846040 139931939549646 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16843] ppid=16296 vsize=28834900 memory=624 CPUtime=148.67 cores=0-7
/proc/16298/task/16843/stat : 16843 (java) R 16296 16296 13731 0 -1 4202560 9622 0 0 0 14829 38 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931383537504 139931937329253 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16844] ppid=16296 vsize=28834900 memory=3636 CPUtime=149.75 cores=0-7
/proc/16298/task/16844/stat : 16844 (java) R 16296 16296 13731 0 -1 4202560 3012 0 0 0 14972 3 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931393008424 139931936167898 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
[pid=16298/tid=16845] ppid=16296 vsize=28834900 memory=6791534058613427641 CPUtime=150.16 cores=0-7
/proc/16298/task/16845/stat : 16845 (java) R 16296 16296 13731 0 -1 4202560 6289 0 0 0 14996 20 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931391953984 139931936169778 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0
Current children cumulated CPU time: 1967.39 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 6395240 KiB

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

[startup+252.035 s]
# the end of solver process 16296 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002445 s, system=0 s

[startup+252.125 s]
# the end of solver process 16298 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1963.21 s, system=4.90605 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): 252.125
CPU time (s): 1968.12
CPU user time (s): 1963.21
CPU system time (s): 4.90605
CPU usage (%): 780.612
Max. virtual memory (cumulated for all children) (KiB): 28948028
Max. memory (cumulated for all children) (KiB): 6395240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1963.21
system time used= 4.90606
maximum resident set size= 6394508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18071
involuntary context switches= 23807


# summary of solver processes directly reported to runsolver:
#   pid: 16296,16298
#   total CPU time (s): 1968.12
#   total CPU user time (s): 1963.21
#   total CPU system time (s): 4.90605

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.81176 second user time and 2.27936 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-20 23:13:31
IDJOB=4405071
IDBENCH=141151
IDSOLVER=2866
FILE ID=node149/4405071-1569014049
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-4405071-1569014049/watcher-4405071-1569014049 -o /var/tmp/evaluation-result-4405071-1569014049/solver-4405071-1569014049 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569005174-13758 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1364756116 HOME/instance-4405071-1569014049.xml

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

MD5SUM BENCH= d33511db6974d661f2a7d715e96a1ecf
RANDOM SEED=1364756116

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:        18679624 kB
MemAvailable:   31813032 kB
Buffers:          128988 kB
Cached:         12980500 kB
SwapCached:        41740 kB
Active:          6534508 kB
Inactive:        6619276 kB
Active(anon):       1828 kB
Inactive(anon):    86184 kB
Active(file):    6532680 kB
Inactive(file):  6533092 kB
Unevictable:      110220 kB
Mlocked:          110220 kB
SwapTotal:      67108860 kB
SwapFree:       66956784 kB
Dirty:             26188 kB
Writeback:             0 kB
AnonPages:        113200 kB
Mapped:            51416 kB
Shmem:             35748 kB
Slab:             526128 kB
SReclaimable:     496096 kB
SUnreclaim:        30032 kB
KernelStack:        3376 kB
PageTables:         4924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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:17:43