Trace number 4309276

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-08-14SAT (TO)8723181 19879.4 2520.25

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-matching040_c18.xml
MD5SUMd33511db6974d661f2a7d715e96a1ecf
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12968875
Best CPU time to get the best result obtained on this benchmark20045.9
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.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1622710516
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
1.87/1.07	c Parsing done, starting search...
15.48/8.05	o 520652
15.48/8.07	o 779450
15.48/8.08	o 1017607
15.48/8.10	o 1051725
15.48/8.10	o 1055359
15.48/8.10	o 1089634
15.48/8.11	o 1624540
15.48/8.11	o 1933011
16.28/8.11	o 2240072
16.28/8.11	o 2312099
16.28/8.12	o 2346374
16.28/8.12	o 2459447
16.28/8.14	o 2531474
16.28/8.14	o 2560033
16.28/8.14	o 2840276
16.28/8.14	o 2912303
16.28/8.15	o 2928845
16.28/8.16	o 3062830
16.28/8.16	o 3197823
16.28/8.17	o 3350679
16.28/8.17	o 3387021
16.28/8.17	o 3478011
16.28/8.18	o 3656150
16.28/8.18	o 3760988
16.28/8.19	o 3883665
16.98/8.20	o 4095739
16.98/8.20	o 4323254
16.98/8.22	o 4537241
16.98/8.22	o 4751537
16.98/8.22	o 4809800
16.98/8.23	o 4874538
16.98/8.24	o 4946468
16.98/8.24	o 4983767
16.98/8.24	o 5017711
16.98/8.25	o 5017885
16.98/8.25	o 5055794
16.98/8.25	o 5114388
16.98/8.25	o 5240695
16.98/8.28	o 5469131
16.98/8.28	o 5505473
16.98/8.28	o 5563387
16.98/8.28	o 5599729
16.98/8.28	o 5601470
16.98/8.28	o 5790902
16.98/8.29	o 5809137
16.98/8.29	o 5824700
16.98/8.29	o 5839843
17.73/8.30	o 5930636
17.73/8.30	o 5949583
17.73/8.31	o 6004073
17.73/8.31	o 6075858
17.73/8.31	o 6181794
17.73/8.34	o 6311423
17.73/8.34	o 6326986
17.73/8.34	o 6342129
17.73/8.37	o 6388963
17.73/8.37	o 6432922
17.73/8.39	o 6535388
17.73/8.39	o 6589869
18.53/8.42	o 6615196
18.53/8.42	o 6630759
18.53/8.42	o 6692736
18.53/8.42	o 6736695
18.53/8.49	o 6810885
18.53/8.49	o 6841438
19.28/8.50	o 6891103
19.28/8.51	o 6986705
19.28/8.51	o 7015052
19.28/8.52	o 7041186
19.28/8.52	o 7069533
19.28/8.52	o 7085145
19.28/8.52	o 7113492
19.28/8.54	o 7208597
19.28/8.56	o 7216892
19.28/8.56	o 7256449
19.28/8.56	o 7300408
19.28/8.57	o 7365216
19.28/8.57	o 7365396
19.28/8.57	o 7367485
19.28/8.57	o 7369865
19.28/8.58	o 7476290
19.28/8.58	o 7654011
19.28/8.58	o 7702536
19.28/8.58	o 7824035
25.63/9.31	o 7825185
25.63/9.32	o 7931121
46.29/11.98	o 7968396
48.66/12.24	o 8104335
361.31/51.54	o 8169694
528.61/72.54	o 8221955
535.79/73.42	o 8267555
535.79/73.43	o 8373621
540.62/74.05	o 8385479
559.64/76.43	o 8404223
559.64/76.43	o 8510289
3766.93/482.34	o 8567700
5548.88/708.19	o 8579898
5548.88/708.20	o 8602650
5552.71/708.66	o 8608347
5683.76/725.29	o 8630121
5684.55/725.32	o 8652873
5697.19/726.98	o 8658570
6252.03/797.21	o 8662515
6270.27/799.53	o 8685267
6776.21/863.64	o 8717484
6780.93/864.25	o 8723181
19877.78/2520.03	s SATISFIABLE
19877.78/2520.03	v <instantiation>
19877.78/2520.03	v 	<list>
19877.78/2520.03	v 		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]
19877.78/2520.03	v 	</list>
19877.78/2520.03	v 	<values>
19877.78/2520.03	v 		0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 
19877.78/2520.03	v 	</values>
19877.78/2520.03	v </instantiation>

Verifier Data 

OK	8723181

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309276-1534360457/watcher-4309276-1534360457 -o /tmp/evaluation-result-4309276-1534360457/solver-4309276-1534360457 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1534352873-32632 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1622710516 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309276-1534360457.xml 

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

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


[startup+0.100175 s]*
/proc/loadavg: 8.47 8.65 8.69 4/200 953
/proc/meminfo: memFree=29005192/32770624 swapFree=67030680/67108860
[pid=931] ppid=928 vsize=26103420 memory=30136 CPUtime=0.11 cores=0-7
/proc/931/stat : 931 (java) S 928 931 32605 0 -1 1077944320 6500 0 0 0 10 1 0 0 20 0 20 0 253608859 26729902080 7534 33554432000 4194304 4196468 140730000846880 140730000829424 140540271652599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
/proc/931/statm: 6525855 7534 3135 1 0 6487932 0
[pid=931/tid=935] ppid=928 vsize=26103420 memory=8316850467074736180 CPUtime=0.08 cores=0-7
/proc/931/task/935/stat : 935 (java) R 928 931 32605 0 -1 4202560 4808 0 0 0 8 0 0 0 20 0 20 0 253608860 26729902080 7798 33554432000 4194304 4196468 140730000846880 140540275860760 140540251928413 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=936] ppid=928 vsize=26103420 memory=9271 CPUtime=0 cores=0-7
/proc/931/task/936/stat : 936 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 7798 33554432000 4194304 4196468 140730000846880 140540194233104 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=937] ppid=928 vsize=26103420 memory=288370010016495232 CPUtime=0 cores=0-7
/proc/931/task/937/stat : 937 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 7798 33554432000 4194304 4196468 140730000846880 140540193180560 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=938] ppid=928 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/931/task/938/stat : 938 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 7798 33554432000 4194304 4196468 140730000846880 140540192128016 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=939] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/939/stat : 939 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 7798 33554432000 4194304 4196468 140730000846880 140540191075472 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=940] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/940/stat : 940 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 7798 33554432000 4194304 4196468 140730000846880 140540190021904 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=941] ppid=928 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/931/task/941/stat : 941 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 7864 33554432000 4194304 4196468 140730000846880 140539824462224 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=942] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/942/stat : 942 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 7864 33554432000 4194304 4196468 140730000846880 140539823409680 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=943] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/943/stat : 943 (java) S 928 931 32605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 7864 33554432000 4194304 4196468 140730000846880 140539822357136 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=944] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/944/stat : 944 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608862 26729902080 7864 33554432000 4194304 4196468 140730000846880 140538947729904 140540271663746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=945] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/945/stat : 945 (java) S 928 931 32605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253608862 26729902080 7864 33554432000 4194304 4196468 140730000846880 140538946676128 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=946] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/946/stat : 946 (java) S 928 931 32605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253608863 26729902080 7864 33554432000 4194304 4196468 140730000846880 140538945623536 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=947] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/947/stat : 947 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 7864 33554432000 4194304 4196468 140730000846880 140538944572112 140540271671195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=948] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/948/stat : 948 (java) S 928 931 32605 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 7864 33554432000 4194304 4196468 140730000846880 140538943518704 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=949] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/949/stat : 949 (java) S 928 931 32605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 7864 33554432000 4194304 4196468 140730000846880 140538942466160 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=950] ppid=928 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/931/task/950/stat : 950 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 7864 33554432000 4194304 4196468 140730000846880 140538941413616 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=951] ppid=928 vsize=26103420 memory=-1 CPUtime=0.01 cores=0-7
/proc/931/task/951/stat : 951 (java) S 928 931 32605 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 20 0 253608865 26729902080 7864 33554432000 4194304 4196468 140730000846880 140538940361072 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=952] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/952/stat : 952 (java) S 928 931 32605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 7930 33554432000 4194304 4196468 140730000846880 140538939308768 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=953] ppid=928 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/931/task/953/stat : 953 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 7930 33554432000 4194304 4196468 140730000846880 140538938256304 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 30136 KiB

[startup+0.210241 s]*
/proc/loadavg: 8.47 8.65 8.69 3/200 953
/proc/meminfo: memFree=28992704/32770624 swapFree=67030680/67108860
[pid=931] ppid=928 vsize=26103420 memory=43736 CPUtime=0.29 cores=0-7
/proc/931/stat : 931 (java) S 928 931 32605 0 -1 1077944320 10078 0 0 0 27 2 0 0 20 0 20 0 253608859 26729902080 10934 33554432000 4194304 4196468 140730000846880 140730000829424 140540271652599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
/proc/931/statm: 6525855 10934 3348 1 0 6487932 0
[pid=931/tid=935] ppid=928 vsize=26103420 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/931/task/935/stat : 935 (java) R 928 931 32605 0 -1 4202560 7867 0 0 0 19 1 0 0 20 0 20 0 253608860 26729902080 10934 33554432000 4194304 4196468 140730000846880 140540275880944 140539869624656 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=936] ppid=928 vsize=26103420 memory=288230608969400658 CPUtime=0 cores=0-7
/proc/931/task/936/stat : 936 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 10934 33554432000 4194304 4196468 140730000846880 140540194233104 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=937] ppid=928 vsize=26103420 memory=139633864798832 CPUtime=0 cores=0-7
/proc/931/task/937/stat : 937 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 10934 33554432000 4194304 4196468 140730000846880 140540193180560 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=938] ppid=928 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/931/task/938/stat : 938 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 10934 33554432000 4194304 4196468 140730000846880 140540192128016 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=939] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/939/stat : 939 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 10934 33554432000 4194304 4196468 140730000846880 140540191075472 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=940] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/940/stat : 940 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 10934 33554432000 4194304 4196468 140730000846880 140540190021904 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=941] ppid=928 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/931/task/941/stat : 941 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 10934 33554432000 4194304 4196468 140730000846880 140539824462224 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=942] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/942/stat : 942 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 10934 33554432000 4194304 4196468 140730000846880 140539823409680 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=943] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/943/stat : 943 (java) S 928 931 32605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 10934 33554432000 4194304 4196468 140730000846880 140539822357136 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=944] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/944/stat : 944 (java) S 928 931 32605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 253608862 26729902080 10934 33554432000 4194304 4196468 140730000846880 140538947729904 140540271663746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=945] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/945/stat : 945 (java) S 928 931 32605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253608862 26729902080 10934 33554432000 4194304 4196468 140730000846880 140538946676128 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=946] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/946/stat : 946 (java) S 928 931 32605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253608863 26729902080 10934 33554432000 4194304 4196468 140730000846880 140538945623536 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=947] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/947/stat : 947 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 10934 33554432000 4194304 4196468 140730000846880 140538944572112 140540271671195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=948] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/948/stat : 948 (java) S 928 931 32605 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 10934 33554432000 4194304 4196468 140730000846880 140538943518704 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=949] ppid=928 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/931/task/949/stat : 949 (java) S 928 931 32605 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 20 0 253608865 26729902080 10934 33554432000 4194304 4196468 140730000846880 140538942466160 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=950] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/950/stat : 950 (java) S 928 931 32605 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 10934 33554432000 4194304 4196468 140730000846880 140538941413616 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=951] ppid=928 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/931/task/951/stat : 951 (java) R 928 931 32605 0 -1 4202560 287 0 0 0 6 0 0 0 20 0 20 0 253608865 26729902080 10934 33554432000 4194304 4196468 140730000846880 140538940358864 140540256818238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=952] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/952/stat : 952 (java) S 928 931 32605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 10934 33554432000 4194304 4196468 140730000846880 140538939308768 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=953] ppid=928 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/931/task/953/stat : 953 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 10934 33554432000 4194304 4196468 140730000846880 140538938256304 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43736 KiB

[startup+0.30947 s]*
/proc/loadavg: 8.47 8.65 8.69 2/200 953
/proc/meminfo: memFree=28989292/32770624 swapFree=67030680/67108860
[pid=931] ppid=928 vsize=26103420 memory=47288 CPUtime=0.43 cores=0-7
/proc/931/stat : 931 (java) S 928 931 32605 0 -1 1077944320 10490 0 0 0 40 3 0 0 20 0 20 0 253608859 26729902080 11822 33554432000 4194304 4196468 140730000846880 140730000829424 140540271652599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
/proc/931/statm: 6525855 11822 3377 1 0 6487932 0
[pid=931/tid=935] ppid=928 vsize=26103420 memory=7532 CPUtime=0.29 cores=0-7
/proc/931/task/935/stat : 935 (java) R 928 931 32605 0 -1 4202560 8193 0 0 0 28 1 0 0 20 0 20 0 253608860 26729902080 11822 33554432000 4194304 4196468 140730000846880 140540275814336 140540251931000 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=936] ppid=928 vsize=26103420 memory=792 CPUtime=0 cores=0-7
/proc/931/task/936/stat : 936 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 11822 33554432000 4194304 4196468 140730000846880 140540194233104 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=937] ppid=928 vsize=26103420 memory=279267613655412 CPUtime=0 cores=0-7
/proc/931/task/937/stat : 937 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 11822 33554432000 4194304 4196468 140730000846880 140540193180560 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=938] ppid=928 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/931/task/938/stat : 938 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 11822 33554432000 4194304 4196468 140730000846880 140540192128016 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=939] ppid=928 vsize=26103420 memory=5796 CPUtime=0 cores=0-7
/proc/931/task/939/stat : 939 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 11822 33554432000 4194304 4196468 140730000846880 140540191075472 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=940] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/940/stat : 940 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 11822 33554432000 4194304 4196468 140730000846880 140540190021904 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=941] ppid=928 vsize=26103420 memory=8938 CPUtime=0 cores=0-7
/proc/931/task/941/stat : 941 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 11822 33554432000 4194304 4196468 140730000846880 140539824462224 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=942] ppid=928 vsize=26103420 memory=288230376152889562 CPUtime=0 cores=0-7
/proc/931/task/942/stat : 942 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 11822 33554432000 4194304 4196468 140730000846880 140539823409680 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=943] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/943/stat : 943 (java) S 928 931 32605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253608860 26729902080 11822 33554432000 4194304 4196468 140730000846880 140539822357136 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=944] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/944/stat : 944 (java) S 928 931 32605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 253608862 26729902080 11822 33554432000 4194304 4196468 140730000846880 140538947729904 140540271663746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=945] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/945/stat : 945 (java) S 928 931 32605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253608862 26729902080 11822 33554432000 4194304 4196468 140730000846880 140538946676128 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=946] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/946/stat : 946 (java) S 928 931 32605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253608863 26729902080 11822 33554432000 4194304 4196468 140730000846880 140538945623536 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=947] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/947/stat : 947 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 11822 33554432000 4194304 4196468 140730000846880 140538944572112 140540271671195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=948] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/948/stat : 948 (java) S 928 931 32605 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 11822 33554432000 4194304 4196468 140730000846880 140538943518704 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=949] ppid=928 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/931/task/949/stat : 949 (java) S 928 931 32605 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 253608865 26729902080 11822 33554432000 4194304 4196468 140730000846880 140538942466160 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=950] ppid=928 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/931/task/950/stat : 950 (java) S 928 931 32605 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 253608865 26729902080 11822 33554432000 4194304 4196468 140730000846880 140538941413616 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=951] ppid=928 vsize=26103420 memory=0 CPUtime=0.08 cores=0-7
/proc/931/task/951/stat : 951 (java) S 928 931 32605 0 -1 1077944384 295 0 0 0 8 0 0 0 20 0 20 0 253608865 26729902080 11822 33554432000 4194304 4196468 140730000846880 140538940361072 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=952] ppid=928 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/931/task/952/stat : 952 (java) S 928 931 32605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 11822 33554432000 4194304 4196468 140730000846880 140538939308768 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=953] ppid=928 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/931/task/953/stat : 953 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608865 26729902080 11822 33554432000 4194304 4196468 140730000846880 140538938256304 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 47288 KiB

[startup+0.700821 s]
/proc/loadavg: 8.47 8.65 8.69 4/200 953
/proc/meminfo: memFree=28965604/32770624 swapFree=67030680/67108860
[pid=931] ppid=928 vsize=26105488 memory=87456 CPUtime=0.99 cores=0-7
/proc/931/stat : 931 (java) S 928 931 32605 0 -1 1077944320 17357 0 0 0 94 5 0 0 20 0 20 0 253608859 26732019712 21864 33554432000 4194304 4196468 140730000846880 140730000829424 140540271652599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
/proc/931/statm: 6526372 21864 3496 1 0 6488444 0
[pid=931/tid=935] ppid=928 vsize=26105488 memory=6081664265098913892 CPUtime=0.67 cores=0-7
/proc/931/task/935/stat : 935 (java) R 928 931 32605 0 -1 4202560 14572 0 0 0 63 4 0 0 20 0 20 0 253608860 26732019712 21864 33554432000 4194304 4196468 140730000846880 140540275878880 140540255733012 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=936] ppid=928 vsize=26105488 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/931/task/936/stat : 936 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26732019712 21864 33554432000 4194304 4196468 140730000846880 140540194233104 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=937] ppid=928 vsize=26105488 memory=279267498299760 CPUtime=0 cores=0-7
/proc/931/task/937/stat : 937 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608860 26732019712 21864 33554432000 4194304 4196468 140730000846880 140540193180560 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=938] ppid=928 vsize=26105488 memory=139633749154416 CPUtime=0 cores=0-7
/proc/931/task/938/stat : 938 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26732019712 21864 33554432000 4194304 4196468 140730000846880 140540192128016 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=939] ppid=928 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/931/task/939/stat : 939 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608860 26732019712 21864 33554432000 4194304 4196468 140730000846880 140540191075472 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=940] ppid=928 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/931/task/940/stat : 940 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26732019712 21864 33554432000 4194304 4196468 140730000846880 140540190021904 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=941] ppid=928 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/931/task/941/stat : 941 (java) S 928 931 32605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253608860 26732019712 21864 33554432000 4194304 4196468 140730000846880 140539824462224 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=942] ppid=928 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/931/task/942/stat : 942 (java) S 928 931 32605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253608860 26732019712 21864 33554432000 4194304 4196468 140730000846880 140539823409680 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=943] ppid=928 vsize=26105488 memory=1440 CPUtime=0 cores=0-7
/proc/931/task/943/stat : 943 (java) S 928 931 32605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253608860 26732019712 21864 33554432000 4194304 4196468 140730000846880 140539822357136 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=944] ppid=928 vsize=26105488 memory=1836 CPUtime=0 cores=0-7

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

/proc/931/task/957/stat : 957 (java) R 928 931 32605 0 -1 4202560 93514 0 0 0 247276 87 0 0 20 0 46 0 253609588 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538919552784 140539876926224 0 4 0 16800975 0 0 0 -1 4 0 0 45 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=958] ppid=928 vsize=27850524 memory=3343744 CPUtime=2470.95 cores=0-7
/proc/931/task/958/stat : 958 (java) S 928 931 32605 0 -1 1077944384 92400 0 0 0 247007 88 0 0 20 0 46 0 253609588 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538918501632 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=959] ppid=928 vsize=27850524 memory=6947385649911455296 CPUtime=2473.04 cores=0-7
/proc/931/task/959/stat : 959 (java) R 928 931 32605 0 -1 1077944384 92572 0 0 0 247213 91 0 0 20 0 46 0 253609596 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538915350592 140540271662805 0 4 0 16800975 0 0 0 -1 5 0 0 38 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=961] ppid=928 vsize=27850524 memory=768 CPUtime=0.06 cores=0-7
/proc/931/task/961/stat : 961 (java) S 928 931 32605 0 -1 1077944384 250 0 0 0 6 0 0 0 20 0 46 0 253609596 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538914305424 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=962] ppid=928 vsize=27850524 memory=5300 CPUtime=2471.94 cores=0-7
/proc/931/task/962/stat : 962 (java) S 928 931 32605 0 -1 1077944384 97925 0 0 0 247109 85 0 0 20 0 46 0 253609596 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538846105312 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=963] ppid=928 vsize=27850524 memory=11068 CPUtime=2471.6 cores=0-7
/proc/931/task/963/stat : 963 (java) R 928 931 32605 0 -1 4202560 93224 0 0 0 247081 79 0 0 20 0 46 0 253609596 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538845051328 140539876555612 0 4 0 16800975 0 0 0 -1 1 0 0 42 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=964] ppid=928 vsize=27850524 memory=1192 CPUtime=0.01 cores=0-7
/proc/931/task/964/stat : 964 (java) S 928 931 32605 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 46 0 253609596 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538844006160 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=965] ppid=928 vsize=27850524 memory=1520 CPUtime=0.06 cores=0-7
/proc/931/task/965/stat : 965 (java) S 928 931 32605 0 -1 1077944384 66 0 0 0 6 0 0 0 20 0 46 0 253609596 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538842952592 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=966] ppid=928 vsize=27850524 memory=2680 CPUtime=0 cores=0-7
/proc/931/task/966/stat : 966 (java) S 928 931 32605 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 46 0 253609596 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538841900048 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=967] ppid=928 vsize=27850524 memory=3160 CPUtime=2471.79 cores=0-7
/proc/931/task/967/stat : 967 (java) R 928 931 32605 0 -1 4202560 92684 0 0 0 247091 88 0 0 20 0 46 0 253609606 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538840840128 140539876928167 0 4 0 16800975 0 0 0 -1 6 0 0 41 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=968] ppid=928 vsize=27850524 memory=2120 CPUtime=2473.42 cores=0-7
/proc/931/task/968/stat : 968 (java) R 928 931 32605 0 -1 4202560 95503 0 0 0 247258 84 0 0 20 0 46 0 253609606 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538839787584 140539876849540 0 4 0 16800975 0 0 0 -1 0 0 0 48 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=969] ppid=928 vsize=27850524 memory=752 CPUtime=0 cores=0-7
/proc/931/task/969/stat : 969 (java) S 928 931 32605 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 46 0 253609665 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538836608400 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=970] ppid=928 vsize=27850524 memory=6947385649911455296 CPUtime=0 cores=0-7
/proc/931/task/970/stat : 970 (java) S 928 931 32605 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 46 0 253609666 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538835555856 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=971] ppid=928 vsize=27850524 memory=67412 CPUtime=0 cores=0-7
/proc/931/task/971/stat : 971 (java) S 928 931 32605 0 -1 1077944384 358 0 0 0 0 0 0 0 20 0 46 0 253609668 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538834503312 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=972] ppid=928 vsize=27850524 memory=776 CPUtime=0 cores=0-7
/proc/931/task/972/stat : 972 (java) S 928 931 32605 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 253609668 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538833450768 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=973] ppid=928 vsize=27850524 memory=3345792 CPUtime=0 cores=0-7
/proc/931/task/973/stat : 973 (java) S 928 931 32605 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 46 0 253609670 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538832397200 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=974] ppid=928 vsize=27850524 memory=303148748257886234 CPUtime=0 cores=0-7
/proc/931/task/974/stat : 974 (java) S 928 931 32605 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 253609671 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538831344656 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=975] ppid=928 vsize=27850524 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/931/task/975/stat : 975 (java) S 928 931 32605 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 46 0 253609671 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538830292112 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=976] ppid=928 vsize=27850524 memory=13847456420988230 CPUtime=0 cores=0-7
/proc/931/task/976/stat : 976 (java) S 928 931 32605 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 46 0 253609672 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538829239568 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=977] ppid=928 vsize=27850524 memory=1996 CPUtime=0 cores=0-7
/proc/931/task/977/stat : 977 (java) S 928 931 32605 0 -1 1077944384 563 0 0 0 0 0 0 0 20 0 46 0 253609672 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538828187024 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=978] ppid=928 vsize=27850524 memory=2428 CPUtime=0 cores=0-7
/proc/931/task/978/stat : 978 (java) S 928 931 32605 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 253609672 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538827134480 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=979] ppid=928 vsize=27850524 memory=832 CPUtime=0 cores=0-7
/proc/931/task/979/stat : 979 (java) S 928 931 32605 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 46 0 253609672 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538826081936 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=980] ppid=928 vsize=27850524 memory=303148748257886234 CPUtime=0 cores=0-7
/proc/931/task/980/stat : 980 (java) S 928 931 32605 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 253609673 28518936576 836448 33554432000 4194304 4196468 140730000846880 140538825029392 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
Current children cumulated CPU time: 19877.8 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 3345792 KiB

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

[startup+2520.25 s]
# the end of solver process 931 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19866.8 s, system=12.6051 s

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

[startup+2520.2 s]
/proc/loadavg: 9.17 8.93 8.82 9/224 1018
/proc/meminfo: memFree=25683176/32770624 swapFree=67030680/67108860
[pid=931] ppid=928 vsize=28050216 memory=3348068 CPUtime=19879.2 cores=0-7
/proc/931/stat : 931 (java) S 928 931 32605 0 -1 1077944320 2172557 0 0 0 1986663 1258 0 0 20 0 48 0 253608859 28723421184 837017 33554432000 4194304 4196468 140730000846880 140730000829424 140540271652599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
/proc/931/statm: 7012554 837017 3627 1 0 6974105 0
[pid=931/tid=935] ppid=928 vsize=28050216 memory=13847456420988230 CPUtime=7.18 cores=0-7
/proc/931/task/935/stat : 935 (java) S 928 931 32605 0 -1 1077944384 27940 0 0 0 710 8 0 0 20 0 48 0 253608860 28723421184 837017 33554432000 4194304 4196468 140730000846880 140540275890064 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=936] ppid=928 vsize=28050216 memory=1796 CPUtime=9.1 cores=0-7
/proc/931/task/936/stat : 936 (java) S 928 931 32605 0 -1 1077944384 129648 0 0 0 841 69 0 0 20 0 48 0 253608860 28723421184 837017 33554432000 4194304 4196468 140730000846880 140540194233104 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=937] ppid=928 vsize=28050216 memory=916 CPUtime=9.07 cores=0-7
/proc/931/task/937/stat : 937 (java) S 928 931 32605 0 -1 1077944384 137307 0 0 0 839 68 0 0 20 0 48 0 253608860 28723421184 837017 33554432000 4194304 4196468 140730000846880 140540193180560 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=938] ppid=928 vsize=28050216 memory=5796 CPUtime=9.06 cores=0-7
/proc/931/task/938/stat : 938 (java) S 928 931 32605 0 -1 1077944384 130953 0 0 0 836 70 0 0 20 0 48 0 253608860 28723421184 837017 33554432000 4194304 4196468 140730000846880 140540192128016 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=939] ppid=928 vsize=28050216 memory=6935054825532540783 CPUtime=9.1 cores=0-7
/proc/931/task/939/stat : 939 (java) S 928 931 32605 0 -1 1077944384 136243 0 0 0 842 68 0 0 20 0 48 0 253608860 28723421184 837017 33554432000 4194304 4196468 140730000846880 140540191075472 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=940] ppid=928 vsize=28050216 memory=4126316290023845779 CPUtime=9.1 cores=0-7
/proc/931/task/940/stat : 940 (java) S 928 931 32605 0 -1 1077944384 143575 0 0 0 837 73 0 0 20 0 48 0 253608860 28723421184 837017 33554432000 4194304 4196468 140730000846880 140540190021904 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=941] ppid=928 vsize=28050216 memory=1408 CPUtime=9.07 cores=0-7
/proc/931/task/941/stat : 941 (java) S 928 931 32605 0 -1 1077944384 140653 0 0 0 839 68 0 0 20 0 48 0 253608860 28723421184 837017 33554432000 4194304 4196468 140730000846880 140539824462224 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=942] ppid=928 vsize=28050216 memory=4440 CPUtime=9.08 cores=0-7
/proc/931/task/942/stat : 942 (java) S 928 931 32605 0 -1 1077944384 137782 0 0 0 839 69 0 0 20 0 48 0 253608860 28723421184 837017 33554432000 4194304 4196468 140730000846880 140539823409680 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=943] ppid=928 vsize=28050216 memory=3343744 CPUtime=9.11 cores=0-7
/proc/931/task/943/stat : 943 (java) S 928 931 32605 0 -1 1077944384 144097 0 0 0 841 70 0 0 20 0 48 0 253608860 28723421184 837017 33554432000 4194304 4196468 140730000846880 140539822357136 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=944] ppid=928 vsize=28050216 memory=492 CPUtime=9.76 cores=0-7
/proc/931/task/944/stat : 944 (java) S 928 931 32605 0 -1 1077944384 216504 0 0 0 877 99 0 0 20 0 48 0 253608862 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538947729904 140540271663746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=945] ppid=928 vsize=28050216 memory=1560 CPUtime=0 cores=0-7
/proc/931/task/945/stat : 945 (java) S 928 931 32605 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 48 0 253608862 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538946676192 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=946] ppid=928 vsize=28050216 memory=932 CPUtime=0 cores=0-7
/proc/931/task/946/stat : 946 (java) S 928 931 32605 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 48 0 253608863 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538945623552 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=947] ppid=928 vsize=28050216 memory=1156 CPUtime=0 cores=0-7
/proc/931/task/947/stat : 947 (java) S 928 931 32605 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 48 0 253608865 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538944572112 140540271671195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=948] ppid=928 vsize=28050216 memory=1572 CPUtime=1.44 cores=0-7
/proc/931/task/948/stat : 948 (java) R 928 931 32605 0 -1 4202560 7471 0 0 0 142 2 0 0 20 0 48 0 253608865 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538943508512 140540253196787 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=949] ppid=928 vsize=28050216 memory=1996 CPUtime=1.3 cores=0-7
/proc/931/task/949/stat : 949 (java) R 928 931 32605 0 -1 1077944384 4783 0 0 0 129 1 0 0 20 0 48 0 253608865 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538942466256 140540271662805 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=950] ppid=928 vsize=28050216 memory=2428 CPUtime=1.18 cores=0-7
/proc/931/task/950/stat : 950 (java) R 928 931 32605 0 -1 4202560 5359 0 0 0 117 1 0 0 20 0 48 0 253608865 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538941403408 140540256778534 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=951] ppid=928 vsize=28050216 memory=832 CPUtime=1.09 cores=0-7
/proc/931/task/951/stat : 951 (java) S 928 931 32605 0 -1 1077944384 16826 0 0 0 108 1 0 0 20 0 48 0 253608865 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538940361072 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=952] ppid=928 vsize=28050216 memory=1440 CPUtime=0 cores=0-7
/proc/931/task/952/stat : 952 (java) S 928 931 32605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 253608865 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538939308768 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=953] ppid=928 vsize=28050216 memory=1836 CPUtime=0.7 cores=0-7
/proc/931/task/953/stat : 953 (java) S 928 931 32605 0 -1 1077944384 9808 0 0 0 26 44 0 0 20 0 48 0 253608865 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538938256304 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=954] ppid=928 vsize=28050216 memory=7532 CPUtime=0 cores=0-7
/proc/931/task/954/stat : 954 (java) S 928 931 32605 0 -1 1077944384 663 0 0 0 0 0 0 0 20 0 48 0 253609545 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538926912800 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=955] ppid=928 vsize=28050216 memory=290763849282617370 CPUtime=3.26 cores=0-7
/proc/931/task/955/stat : 955 (java) S 928 931 32605 0 -1 1077944384 22762 0 0 0 97 229 0 0 20 0 48 0 253609562 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538923763248 140540271663746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=956] ppid=928 vsize=28050216 memory=288230583166042426 CPUtime=2472.68 cores=0-7
/proc/931/task/956/stat : 956 (java) R 928 931 32605 0 -1 4202560 96992 0 0 0 247187 81 0 0 20 0 48 0 253609587 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538920605368 140539875033441 0 4 0 16800975 0 0 0 -1 5 0 0 41 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=957] ppid=928 vsize=28050216 memory=13847456420988230 CPUtime=2473.78 cores=0-7
/proc/931/task/957/stat : 957 (java) R 928 931 32605 0 -1 4202560 93516 0 0 0 247291 87 0 0 20 0 48 0 253609588 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538919554312 140539876928739 0 4 0 16800975 0 0 0 -1 7 0 0 45 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=958] ppid=928 vsize=28050216 memory=3343744 CPUtime=2471.08 cores=0-7
/proc/931/task/958/stat : 958 (java) R 928 931 32605 0 -1 4202560 92401 0 0 0 247020 88 0 0 20 0 48 0 253609588 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538918501768 140730001313176 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=959] ppid=928 vsize=28050216 memory=832 CPUtime=2473.19 cores=0-7
/proc/931/task/959/stat : 959 (java) R 928 931 32605 0 -1 4202560 92572 0 0 0 247228 91 0 0 20 0 48 0 253609596 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538915352168 140539873237447 0 4 0 16800975 0 0 0 -1 7 0 0 38 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=961] ppid=928 vsize=28050216 memory=1440 CPUtime=0.09 cores=0-7
/proc/931/task/961/stat : 961 (java) R 928 931 32605 0 -1 4202560 889 0 0 0 9 0 0 0 20 0 48 0 253609596 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538914286896 140540255013489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=962] ppid=928 vsize=28050216 memory=1392 CPUtime=2472.06 cores=0-7
/proc/931/task/962/stat : 962 (java) R 928 931 32605 0 -1 4202560 97926 0 0 0 247121 85 0 0 20 0 48 0 253609596 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538846103872 140539876928087 0 4 0 16800975 0 0 0 -1 4 0 0 43 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=963] ppid=928 vsize=28050216 memory=1684 CPUtime=2471.77 cores=0-7
/proc/931/task/963/stat : 963 (java) R 928 931 32605 0 -1 4202560 93225 0 0 0 247098 79 0 0 20 0 48 0 253609596 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538845052808 140539876876257 0 4 0 16800975 0 0 0 -1 0 0 0 42 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=964] ppid=928 vsize=28050216 memory=768 CPUtime=0.01 cores=0-7
/proc/931/task/964/stat : 964 (java) S 928 931 32605 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 48 0 253609596 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538844006160 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=965] ppid=928 vsize=28050216 memory=5300 CPUtime=0.06 cores=0-7
/proc/931/task/965/stat : 965 (java) S 928 931 32605 0 -1 1077944384 68 0 0 0 6 0 0 0 20 0 48 0 253609596 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538842952592 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=966] ppid=928 vsize=28050216 memory=11068 CPUtime=0 cores=0-7
/proc/931/task/966/stat : 966 (java) S 928 931 32605 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 48 0 253609596 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538841900048 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=967] ppid=928 vsize=28050216 memory=1192 CPUtime=2471.95 cores=0-7
/proc/931/task/967/stat : 967 (java) R 928 931 32605 0 -1 4202560 92684 0 0 0 247107 88 0 0 20 0 48 0 253609606 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538840841568 140539870548360 0 4 0 16800975 0 0 0 -1 1 0 0 41 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=968] ppid=928 vsize=28050216 memory=1520 CPUtime=2473.59 cores=0-7
/proc/931/task/968/stat : 968 (java) R 928 931 32605 0 -1 4202560 95503 0 0 0 247275 84 0 0 20 0 48 0 253609606 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538839789064 140539876876114 0 4 0 16800975 0 0 0 -1 3 0 0 48 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=969] ppid=928 vsize=28050216 memory=2680 CPUtime=0.01 cores=0-7
/proc/931/task/969/stat : 969 (java) S 928 931 32605 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 48 0 253609665 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538836608400 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=970] ppid=928 vsize=28050216 memory=2120 CPUtime=0 cores=0-7
/proc/931/task/970/stat : 970 (java) S 928 931 32605 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 48 0 253609666 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538835555856 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=971] ppid=928 vsize=28050216 memory=752 CPUtime=0 cores=0-7
/proc/931/task/971/stat : 971 (java) S 928 931 32605 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 48 0 253609668 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538834503312 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=972] ppid=928 vsize=28050216 memory=972 CPUtime=0 cores=0-7
/proc/931/task/972/stat : 972 (java) S 928 931 32605 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 48 0 253609668 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538833450768 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=973] ppid=928 vsize=28050216 memory=13888 CPUtime=0 cores=0-7
/proc/931/task/973/stat : 973 (java) S 928 931 32605 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 48 0 253609670 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538832397200 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=974] ppid=928 vsize=28050216 memory=4104 CPUtime=0 cores=0-7
/proc/931/task/974/stat : 974 (java) S 928 931 32605 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 48 0 253609671 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538831344656 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=975] ppid=928 vsize=28050216 memory=2228 CPUtime=0 cores=0-7
/proc/931/task/975/stat : 975 (java) S 928 931 32605 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 48 0 253609671 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538830292112 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=976] ppid=928 vsize=28050216 memory=34636 CPUtime=0 cores=0-7
/proc/931/task/976/stat : 976 (java) S 928 931 32605 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 48 0 253609672 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538829239568 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=977] ppid=928 vsize=28050216 memory=11908 CPUtime=0 cores=0-7
/proc/931/task/977/stat : 977 (java) S 928 931 32605 0 -1 1077944384 585 0 0 0 0 0 0 0 20 0 48 0 253609672 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538828187024 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=978] ppid=928 vsize=28050216 memory=1408 CPUtime=0 cores=0-7
/proc/931/task/978/stat : 978 (java) S 928 931 32605 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 48 0 253609672 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538827134480 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=979] ppid=928 vsize=28050216 memory=4440 CPUtime=0 cores=0-7
/proc/931/task/979/stat : 979 (java) S 928 931 32605 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 48 0 253609672 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538826081936 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
[pid=931/tid=980] ppid=928 vsize=28050216 memory=3343744 CPUtime=0 cores=0-7
/proc/931/task/980/stat : 980 (java) S 928 931 32605 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 48 0 253609673 28723421184 837017 33554432000 4194304 4196468 140730000846880 140538825029392 140540271662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18878464 140730000847949 140730000848133 140730000848133 140730000850895 0
Current children cumulated CPU time: 19879.2 s
Current children cumulated vsize: 28050216 KiB
Current children cumulated memory: 3348068 KiB

Child status: 143
Real time (s): 2520.25
CPU time (s): 19879.4
CPU user time (s): 19866.8
CPU system time (s): 12.6051
CPU usage (%): 788.787
Max. virtual memory (cumulated for all children) (KiB): 28050216
Max. memory (cumulated for all children) (KiB): 3348068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19866.8
system time used= 12.6051
maximum resident set size= 3349516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2172676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 859744
involuntary context switches= 435393


# summary of solver processes directly reported to runsolver:
#   pid: 931
#   total CPU time (s): 19879.4
#   total CPU user time (s): 19866.8
#   total CPU system time (s): 12.6051

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.8701 second user time and 37.6267 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-15 21:14:17
IDJOB=4309276
IDBENCH=141151
IDSOLVER=2793
FILE ID=node102/4309276-1534360457
RUNJOBID= node102-1534352873-32632
PBS_JOBID= 21038256
Free space on /tmp= 43904 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-matching040_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309276-1534360457/watcher-4309276-1534360457 -o /tmp/evaluation-result-4309276-1534360457/solver-4309276-1534360457 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1534352873-32632 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1622710516 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309276-1534360457.xml

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

MD5SUM BENCH= d33511db6974d661f2a7d715e96a1ecf
RANDOM SEED=1622710516

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29023056 kB
MemAvailable:   31874212 kB
Buffers:          176988 kB
Cached:          2944624 kB
SwapCached:        51224 kB
Active:          1620560 kB
Inactive:        1582592 kB
Active(anon):       6240 kB
Inactive(anon):   135192 kB
Active(file):    1614320 kB
Inactive(file):  1447400 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67030680 kB
Dirty:             35952 kB
Writeback:             0 kB
AnonPages:        118924 kB
Mapped:            53600 kB
Shmem:             57196 kB
Slab:             239264 kB
SReclaimable:     210540 kB
SUnreclaim:        28724 kB
KernelStack:        3600 kB
PageTables:         5220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 43868 MiB
End job on node102 at 2018-08-15 21:56:17