Trace number 4309267

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 19876.9 2520.26

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-matching040_c18.xml
MD5SUM5201675a76284a1676308ef0cdac3e36
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 benchmark20058.2
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":"count","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: 824811186
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.56	c nbcore: 8
0.67/0.58	c Parsing instance...
1.89/1.10	c Parsing done, starting search...
17.17/9.20	o 520652
17.17/9.20	o 779450
17.17/9.25	o 827713
17.17/9.26	o 1017607
17.17/9.26	o 1051725
17.17/9.26	o 1055359
17.17/9.26	o 1089634
17.17/9.26	o 1624540
17.17/9.26	o 1933011
17.17/9.26	o 2240072
17.17/9.28	o 2312099
17.17/9.28	o 2346374
17.17/9.28	o 2346548
17.17/9.28	o 2415278
17.17/9.30	o 2537547
17.17/9.30	o 2844608
18.00/9.31	o 3113613
18.00/9.31	o 3357721
18.00/9.32	o 3478011
18.00/9.32	o 3760988
18.00/9.34	o 3845756
18.00/9.34	o 3847323
18.00/9.34	o 3883665
18.00/9.37	o 3961524
18.00/9.38	o 4081028
18.00/9.38	o 4388089
18.00/9.38	o 4472918
18.00/9.38	o 4526823
18.00/9.39	o 4809800
18.00/9.40	o 4921223
18.77/9.40	o 4957565
18.77/9.41	o 5114420
18.77/9.41	o 5231756
18.77/9.43	o 5287251
18.77/9.43	o 5469131
18.77/9.43	o 5505473
18.77/9.45	o 5597705
18.77/9.45	o 5634047
18.77/9.45	o 5790902
18.77/9.46	o 5795884
18.77/9.46	o 5839843
18.77/9.46	o 5886677
18.77/9.46	o 5930636
18.77/9.48	o 6004073
18.77/9.50	o 6060295
18.77/9.50	o 6075858
18.77/9.50	o 6181794
19.55/9.50	o 6255201
19.55/9.50	o 6432922
20.37/9.65	o 6437475
20.37/9.65	o 6453038
20.37/9.65	o 6558974
20.37/9.67	o 6615196
20.37/9.67	o 6630759
20.37/9.67	o 6645902
20.37/9.67	o 6736695
21.13/9.74	o 6766926
21.13/9.77	o 6810885
21.13/9.77	o 6879492
21.13/9.78	o 6885637
21.93/9.81	o 6892191
21.93/9.82	o 6943445
21.93/9.83	o 6969477
21.93/9.83	o 6990828
21.93/9.83	o 7030773
21.93/9.83	o 7074344
21.93/9.84	o 7114289
21.93/9.85	o 7118303
21.93/9.86	o 7158248
21.93/9.88	o 7171818
21.93/9.89	o 7256449
21.93/9.89	o 7300408
21.93/9.89	o 7333359
21.93/9.89	o 7336897
21.93/9.89	o 7437750
21.93/9.89	o 7481709
22.69/9.91	o 7507207
22.69/9.91	o 7551166
22.69/9.92	o 7654011
22.69/9.93	o 7658577
22.69/9.93	o 7702536
22.69/9.93	o 7780076
22.69/9.93	o 7824035
30.65/10.95	o 7825185
30.65/10.96	o 7931121
60.82/14.79	o 7968396
64.76/15.24	o 8104335
458.37/64.63	o 8169694
684.06/93.03	o 8233813
691.12/93.92	o 8246842
694.26/94.32	o 8252557
695.06/94.46	o 8358623
752.09/101.61	o 8385479
752.88/101.73	o 8404223
752.88/101.74	o 8510289
5100.34/651.74	o 8567700
8327.63/1059.87	o 8574178
8328.43/1059.90	o 8638789
8341.90/1061.61	o 8699952
8421.92/1071.72	o 8717484
8425.16/1072.12	o 8723181
19875.22/2520.11	s SATISFIABLE
19875.22/2520.11	v <instantiation>
19875.22/2520.11	v 	<list>
19875.22/2520.11	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]
19875.22/2520.11	v 	</list>
19875.22/2520.11	v 	<values>
19875.22/2520.11	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 
19875.22/2520.11	v 	</values>
19875.22/2520.11	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 (10233 MiB free)
  memory of node 1: 16384 MiB (13225 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309267-1534362103/watcher-4309267-1534362103 -o /tmp/evaluation-result-4309267-1534362103/solver-4309267-1534362103 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1534362103-13579 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 824811186 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309267-1534362103.xml 

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

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


[startup+0.100151 s]*
/proc/loadavg: 7.22 8.28 8.52 2/200 13616
/proc/meminfo: memFree=24006660/32770624 swapFree=67108500/67108860
[pid=13596] ppid=13593 vsize=26103420 memory=29724 CPUtime=0.12 cores=0-7
/proc/13596/stat : 13596 (java) S 13593 13596 13552 0 -1 1077944320 6911 0 0 0 10 2 0 0 20 0 20 0 253773507 26729902080 7431 33554432000 4194304 4196468 140721920084976 140721920067520 139824942305015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
/proc/13596/statm: 6525855 7431 3118 1 0 6487932 0
[pid=13596/tid=13598] ppid=13593 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13596/task/13598/stat : 13598 (java) R 13593 13596 13552 0 -1 4202560 5107 0 0 0 8 1 0 0 20 0 20 0 253773508 26729902080 7563 33554432000 4194304 4196468 140721920084976 139824946504008 139824922581840 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13599] ppid=13593 vsize=26103420 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13596/task/13599/stat : 13599 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 7563 33554432000 4194304 4196468 140721920084976 139824894925456 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13600] ppid=13593 vsize=26103420 memory=139884719670912 CPUtime=0 cores=0-7
/proc/13596/task/13600/stat : 13600 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 7629 33554432000 4194304 4196468 140721920084976 139824893872656 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13601] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13601/stat : 13601 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 7629 33554432000 4194304 4196468 140721920084976 139824892819856 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13602] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13602/stat : 13602 (java) S 13593 13596 13552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 7629 33554432000 4194304 4196468 140721920084976 139824891767056 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13603] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13603/stat : 13603 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 7629 33554432000 4194304 4196468 140721920084976 139824890715280 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13604] ppid=13593 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/13596/task/13604/stat : 13604 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 7629 33554432000 4194304 4196468 140721920084976 139824889662480 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13605] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13605/stat : 13605 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 7629 33554432000 4194304 4196468 140721920084976 139824888609680 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13606] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13606/stat : 13606 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 7629 33554432000 4194304 4196468 140721920084976 139824887556880 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13607] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13607/stat : 13607 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773510 26729902080 7629 33554432000 4194304 4196468 140721920084976 139823349246320 139824942316162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13608] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13608/stat : 13608 (java) S 13593 13596 13552 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253773511 26729902080 7629 33554432000 4194304 4196468 140721920084976 139823348192288 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13609] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13609/stat : 13609 (java) S 13593 13596 13552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253773511 26729902080 7629 33554432000 4194304 4196468 140721920084976 139823347139440 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13610] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13610/stat : 13610 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773513 26729902080 7629 33554432000 4194304 4196468 140721920084976 139823346087760 139824942323611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13611] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13611/stat : 13611 (java) S 13593 13596 13552 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 253773513 26729902080 7695 33554432000 4194304 4196468 140721920084976 139823345036144 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13612] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13612/stat : 13612 (java) S 13593 13596 13552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253773513 26729902080 7695 33554432000 4194304 4196468 140721920084976 139823343983344 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13613] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13613/stat : 13613 (java) S 13593 13596 13552 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 20 0 253773513 26729902080 7695 33554432000 4194304 4196468 140721920084976 139823342930544 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13614] ppid=13593 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/13596/task/13614/stat : 13614 (java) S 13593 13596 13552 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 20 0 253773513 26729902080 7695 33554432000 4194304 4196468 140721920084976 139823341877744 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13615] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13615/stat : 13615 (java) S 13593 13596 13552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253773513 26729902080 7695 33554432000 4194304 4196468 140721920084976 139823340825184 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13616] ppid=13593 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/13596/task/13616/stat : 13616 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773514 26729902080 7695 33554432000 4194304 4196468 140721920084976 139823339772464 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 29724 KiB

[startup+0.209707 s]*
/proc/loadavg: 7.22 8.28 8.52 3/200 13616
/proc/meminfo: memFree=23992704/32770624 swapFree=67108500/67108860
[pid=13596] ppid=13593 vsize=26103420 memory=43028 CPUtime=0.3 cores=0-7
/proc/13596/stat : 13596 (java) S 13593 13596 13552 0 -1 1077944320 10405 0 0 0 27 3 0 0 20 0 20 0 253773507 26729902080 10757 33554432000 4194304 4196468 140721920084976 140721920067520 139824942305015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
/proc/13596/statm: 6525855 10757 3331 1 0 6487932 0
[pid=13596/tid=13598] ppid=13593 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/13596/task/13598/stat : 13598 (java) R 13593 13596 13552 0 -1 4202560 8168 0 0 0 18 1 0 0 20 0 20 0 253773508 26729902080 10757 33554432000 4194304 4196468 140721920084976 139824946530464 139824942316950 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13599] ppid=13593 vsize=26103420 memory=11931 CPUtime=0 cores=0-7
/proc/13596/task/13599/stat : 13599 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 10757 33554432000 4194304 4196468 140721920084976 139824894925456 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13600] ppid=13593 vsize=26103420 memory=139884721025143 CPUtime=0 cores=0-7
/proc/13596/task/13600/stat : 13600 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 10757 33554432000 4194304 4196468 140721920084976 139824893872656 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13601] ppid=13593 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/13596/task/13601/stat : 13601 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 10757 33554432000 4194304 4196468 140721920084976 139824892819856 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13602] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13602/stat : 13602 (java) S 13593 13596 13552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 10757 33554432000 4194304 4196468 140721920084976 139824891767056 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13603] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13603/stat : 13603 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 10757 33554432000 4194304 4196468 140721920084976 139824890715280 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13604] ppid=13593 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/13596/task/13604/stat : 13604 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 10757 33554432000 4194304 4196468 140721920084976 139824889662480 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13605] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13605/stat : 13605 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 10757 33554432000 4194304 4196468 140721920084976 139824888609680 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13606] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13606/stat : 13606 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 10757 33554432000 4194304 4196468 140721920084976 139824887556880 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13607] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13607/stat : 13607 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773510 26729902080 10757 33554432000 4194304 4196468 140721920084976 139823349246320 139824942316162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13608] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13608/stat : 13608 (java) S 13593 13596 13552 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253773511 26729902080 10757 33554432000 4194304 4196468 140721920084976 139823348192288 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13609] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13609/stat : 13609 (java) S 13593 13596 13552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253773511 26729902080 10757 33554432000 4194304 4196468 140721920084976 139823347139440 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13610] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13610/stat : 13610 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773513 26729902080 10757 33554432000 4194304 4196468 140721920084976 139823346087760 139824942323611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13611] ppid=13593 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/13596/task/13611/stat : 13611 (java) S 13593 13596 13552 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 253773513 26729902080 10757 33554432000 4194304 4196468 140721920084976 139823345036144 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13612] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13612/stat : 13612 (java) S 13593 13596 13552 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 253773513 26729902080 10757 33554432000 4194304 4196468 140721920084976 139823343983344 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13613] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13613/stat : 13613 (java) S 13593 13596 13552 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 253773513 26729902080 10757 33554432000 4194304 4196468 140721920084976 139823342930544 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13614] ppid=13593 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/13596/task/13614/stat : 13614 (java) R 13593 13596 13552 0 -1 4202560 306 0 0 0 6 0 0 0 20 0 20 0 253773513 26729902080 10757 33554432000 4194304 4196468 140721920084976 139823341876928 139824927985717 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13615] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13615/stat : 13615 (java) S 13593 13596 13552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253773513 26729902080 10757 33554432000 4194304 4196468 140721920084976 139823340825184 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13616] ppid=13593 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/13596/task/13616/stat : 13616 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773514 26729902080 10757 33554432000 4194304 4196468 140721920084976 139823339772464 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43028 KiB

[startup+0.309567 s]*
/proc/loadavg: 7.22 8.28 8.52 2/200 13616
/proc/meminfo: memFree=23988860/32770624 swapFree=67108500/67108860
[pid=13596] ppid=13593 vsize=26103420 memory=46544 CPUtime=0.43 cores=0-7
/proc/13596/stat : 13596 (java) S 13593 13596 13552 0 -1 1077944320 10852 0 0 0 40 3 0 0 20 0 20 0 253773507 26729902080 11636 33554432000 4194304 4196468 140721920084976 140721920067520 139824942305015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
/proc/13596/statm: 6525855 11636 3357 1 0 6487932 0
[pid=13596/tid=13598] ppid=13593 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13596/task/13598/stat : 13598 (java) R 13593 13596 13552 0 -1 4202560 8519 0 0 0 28 1 0 0 20 0 20 0 253773508 26729902080 11636 33554432000 4194304 4196468 140721920084976 139824946466752 139824942318919 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13599] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13599/stat : 13599 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 11636 33554432000 4194304 4196468 140721920084976 139824894925456 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13600] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13600/stat : 13600 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 11636 33554432000 4194304 4196468 140721920084976 139824893872656 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13601] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13601/stat : 13601 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 11636 33554432000 4194304 4196468 140721920084976 139824892819856 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13602] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13602/stat : 13602 (java) S 13593 13596 13552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 11636 33554432000 4194304 4196468 140721920084976 139824891767056 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13603] ppid=13593 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/13596/task/13603/stat : 13603 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 11636 33554432000 4194304 4196468 140721920084976 139824890715280 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13604] ppid=13593 vsize=26103420 memory=139884601897903 CPUtime=0 cores=0-7
/proc/13596/task/13604/stat : 13604 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 11636 33554432000 4194304 4196468 140721920084976 139824889662480 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13605] ppid=13593 vsize=26103420 memory=139884601900208 CPUtime=0 cores=0-7
/proc/13596/task/13605/stat : 13605 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 11636 33554432000 4194304 4196468 140721920084976 139824888609680 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13606] ppid=13593 vsize=26103420 memory=139884601902512 CPUtime=0 cores=0-7
/proc/13596/task/13606/stat : 13606 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773509 26729902080 11636 33554432000 4194304 4196468 140721920084976 139824887556880 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13607] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13607/stat : 13607 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773510 26729902080 11636 33554432000 4194304 4196468 140721920084976 139823349246320 139824942316162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13608] ppid=13593 vsize=26103420 memory=279769203811984 CPUtime=0 cores=0-7
/proc/13596/task/13608/stat : 13608 (java) S 13593 13596 13552 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253773511 26729902080 11636 33554432000 4194304 4196468 140721920084976 139823348192288 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13609] ppid=13593 vsize=26103420 memory=279769203818896 CPUtime=0 cores=0-7
/proc/13596/task/13609/stat : 13609 (java) S 13593 13596 13552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253773511 26729902080 11636 33554432000 4194304 4196468 140721920084976 139823347139440 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13610] ppid=13593 vsize=26103420 memory=279769203760176 CPUtime=0 cores=0-7
/proc/13596/task/13610/stat : 13610 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773513 26729902080 11636 33554432000 4194304 4196468 140721920084976 139823346087760 139824942323611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13611] ppid=13593 vsize=26103420 memory=279769203832720 CPUtime=0.01 cores=0-7
/proc/13596/task/13611/stat : 13611 (java) S 13593 13596 13552 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 253773513 26729902080 11636 33554432000 4194304 4196468 140721920084976 139823345036144 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13612] ppid=13593 vsize=26103420 memory=279769203839632 CPUtime=0.01 cores=0-7
/proc/13596/task/13612/stat : 13612 (java) S 13593 13596 13552 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 253773513 26729902080 11636 33554432000 4194304 4196468 140721920084976 139823343983344 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13613] ppid=13593 vsize=26103420 memory=279769203837328 CPUtime=0 cores=0-7
/proc/13596/task/13613/stat : 13613 (java) S 13593 13596 13552 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 253773513 26729902080 11636 33554432000 4194304 4196468 140721920084976 139823342930544 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13614] ppid=13593 vsize=26103420 memory=279769203853936 CPUtime=0.07 cores=0-7
/proc/13596/task/13614/stat : 13614 (java) S 13593 13596 13552 0 -1 1077944384 324 0 0 0 7 0 0 0 20 0 20 0 253773513 26729902080 11636 33554432000 4194304 4196468 140721920084976 139823341877744 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13615] ppid=13593 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13615/stat : 13615 (java) S 13593 13596 13552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253773513 26729902080 11636 33554432000 4194304 4196468 140721920084976 139823340825184 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13616] ppid=13593 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/13596/task/13616/stat : 13616 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773514 26729902080 11636 33554432000 4194304 4196468 140721920084976 139823339772464 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46544 KiB

[startup+0.700849 s]
/proc/loadavg: 7.22 8.28 8.52 3/200 13616
/proc/meminfo: memFree=23964800/32770624 swapFree=67108500/67108860
[pid=13596] ppid=13593 vsize=26105488 memory=85944 CPUtime=0.99 cores=0-7
/proc/13596/stat : 13596 (java) S 13593 13596 13552 0 -1 1077944320 17848 0 0 0 94 5 0 0 20 0 20 0 253773507 26732019712 21486 33554432000 4194304 4196468 140721920084976 140721920067520 139824942305015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
/proc/13596/statm: 6526372 21486 3490 1 0 6488444 0
[pid=13596/tid=13598] ppid=13593 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/13596/task/13598/stat : 13598 (java) R 13593 13596 13552 0 -1 4202560 15011 0 0 0 64 3 0 0 20 0 20 0 253773508 26732019712 21486 33554432000 4194304 4196468 140721920084976 139824946519984 139824926385502 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13599] ppid=13593 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13599/stat : 13599 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26732019712 21486 33554432000 4194304 4196468 140721920084976 139824894925456 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13600] ppid=13593 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13600/stat : 13600 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26732019712 21486 33554432000 4194304 4196468 140721920084976 139824893872656 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13601] ppid=13593 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/13596/task/13601/stat : 13601 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773509 26732019712 21486 33554432000 4194304 4196468 140721920084976 139824892819856 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13602] ppid=13593 vsize=26105488 memory=6388 CPUtime=0 cores=0-7
/proc/13596/task/13602/stat : 13602 (java) S 13593 13596 13552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253773509 26732019712 21486 33554432000 4194304 4196468 140721920084976 139824891767056 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13603] ppid=13593 vsize=26105488 memory=864 CPUtime=0 cores=0-7
/proc/13596/task/13603/stat : 13603 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26732019712 21486 33554432000 4194304 4196468 140721920084976 139824890715280 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13604] ppid=13593 vsize=26105488 memory=1296 CPUtime=0 cores=0-7
/proc/13596/task/13604/stat : 13604 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773509 26732019712 21486 33554432000 4194304 4196468 140721920084976 139824889662480 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13605] ppid=13593 vsize=26105488 memory=1068 CPUtime=0 cores=0-7
/proc/13596/task/13605/stat : 13605 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773509 26732019712 21486 33554432000 4194304 4196468 140721920084976 139824888609680 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13606] ppid=13593 vsize=26105488 memory=15084 CPUtime=0 cores=0-7
/proc/13596/task/13606/stat : 13606 (java) S 13593 13596 13552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253773509 26732019712 21486 33554432000 4194304 4196468 140721920084976 139824887556880 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13607] ppid=13593 vsize=26105488 memory=38976 CPUtime=0 cores=0-7
/proc/13596/task/13607/stat : 13607 (java) S 13593 13596 13552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253773510 26732019712 21486 33554432000 4194304 4196468 140721920084976 139823349246320 139824942316162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0

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

/proc/13596/task/13620/stat : 13620 (java) S 13593 13596 13552 0 -1 1077944384 555 0 0 0 8 0 0 0 20 0 46 0 253774347 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823253800592 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13621] ppid=13593 vsize=27850524 memory=4104 CPUtime=2471.16 cores=0-7
/proc/13596/task/13621/stat : 13621 (java) R 13593 13596 13552 0 -1 4202560 97822 0 0 0 247059 57 0 0 20 0 46 0 253774347 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823252741960 139824563586789 0 4 0 16800975 0 0 0 -1 6 0 0 40 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13622] ppid=13593 vsize=27850524 memory=2108 CPUtime=2470.39 cores=0-7
/proc/13596/task/13622/stat : 13622 (java) R 13593 13596 13552 0 -1 4202560 101323 0 0 0 246977 62 0 0 20 0 46 0 253774354 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823249591664 139824562734864 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13623] ppid=13593 vsize=27850524 memory=39020 CPUtime=2471.29 cores=0-7
/proc/13596/task/13623/stat : 13623 (java) R 13593 13596 13552 0 -1 4202560 92997 0 0 0 247066 63 0 0 20 0 46 0 253774354 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823248537752 139824563483156 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13624] ppid=13593 vsize=27850524 memory=13468 CPUtime=2469.15 cores=0-7
/proc/13596/task/13624/stat : 13624 (java) R 13593 13596 13552 0 -1 4202560 100930 0 0 0 246854 61 0 0 20 0 46 0 253774354 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823247484688 139824562734511 0 4 0 16800975 0 0 0 -1 0 0 0 38 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13625] ppid=13593 vsize=27850524 memory=3356 CPUtime=0.06 cores=0-7
/proc/13596/task/13625/stat : 13625 (java) S 13593 13596 13552 0 -1 1077944384 60 0 0 0 6 0 0 0 20 0 46 0 253774354 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823246439440 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13626] ppid=13593 vsize=27850524 memory=492 CPUtime=2470.86 cores=0-7
/proc/13596/task/13626/stat : 13626 (java) R 13593 13596 13552 0 -1 4202560 93069 0 0 0 247025 61 0 0 20 0 46 0 253774354 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823245382000 139824560779268 0 4 0 16800975 0 0 0 -1 4 0 0 44 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13627] ppid=13593 vsize=27850524 memory=1616 CPUtime=2469.11 cores=0-7
/proc/13596/task/13627/stat : 13627 (java) R 13593 13596 13552 0 -1 4202560 89050 0 0 0 246845 66 0 0 20 0 46 0 253774354 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823244327576 139824557280413 0 4 0 16800975 0 0 0 -1 5 0 0 46 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13628] ppid=13593 vsize=27850524 memory=932 CPUtime=2469.43 cores=0-7
/proc/13596/task/13628/stat : 13628 (java) R 13593 13596 13552 0 -1 4202560 91902 0 0 0 246887 56 0 0 20 0 46 0 253774354 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823243274688 139824557280431 0 4 0 16800975 0 0 0 -1 1 0 0 49 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13629] ppid=13593 vsize=27850524 memory=1168 CPUtime=0 cores=0-7
/proc/13596/task/13629/stat : 13629 (java) S 13593 13596 13552 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 46 0 253774354 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823242229264 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13630] ppid=13593 vsize=27850524 memory=2108 CPUtime=0 cores=0-7
/proc/13596/task/13630/stat : 13630 (java) S 13593 13596 13552 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 46 0 253774428 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823239042448 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13631] ppid=13593 vsize=27850524 memory=924 CPUtime=0 cores=0-7
/proc/13596/task/13631/stat : 13631 (java) S 13593 13596 13552 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 253774430 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823237989648 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13632] ppid=13593 vsize=27850524 memory=1576 CPUtime=0 cores=0-7
/proc/13596/task/13632/stat : 13632 (java) S 13593 13596 13552 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 46 0 253774431 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823236936848 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13633] ppid=13593 vsize=27850524 memory=2180 CPUtime=0 cores=0-7
/proc/13596/task/13633/stat : 13633 (java) S 13593 13596 13552 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 46 0 253774431 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823235884048 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13634] ppid=13593 vsize=27850524 memory=3992 CPUtime=0 cores=0-7
/proc/13596/task/13634/stat : 13634 (java) S 13593 13596 13552 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 46 0 253774431 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823234831248 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13635] ppid=13593 vsize=27850524 memory=1928 CPUtime=0 cores=0-7
/proc/13596/task/13635/stat : 13635 (java) S 13593 13596 13552 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 253774432 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823233779472 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13636] ppid=13593 vsize=27850524 memory=7532 CPUtime=0 cores=0-7
/proc/13596/task/13636/stat : 13636 (java) S 13593 13596 13552 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 46 0 253774432 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823232726672 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13637] ppid=13593 vsize=27850524 memory=6388 CPUtime=0 cores=0-7
/proc/13596/task/13637/stat : 13637 (java) S 13593 13596 13552 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 46 0 253774433 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823231673872 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13638] ppid=13593 vsize=27850524 memory=864 CPUtime=0 cores=0-7
/proc/13596/task/13638/stat : 13638 (java) S 13593 13596 13552 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 253774433 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823230621072 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13639] ppid=13593 vsize=27850524 memory=1296 CPUtime=0 cores=0-7
/proc/13596/task/13639/stat : 13639 (java) S 13593 13596 13552 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 46 0 253774435 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823229568272 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13640] ppid=13593 vsize=27850524 memory=1068 CPUtime=0 cores=0-7
/proc/13596/task/13640/stat : 13640 (java) S 13593 13596 13552 0 -1 1077944384 747 0 0 0 0 0 0 0 20 0 46 0 253774435 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823228515472 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13641] ppid=13593 vsize=27850524 memory=15084 CPUtime=0 cores=0-7
/proc/13596/task/13641/stat : 13641 (java) S 13593 13596 13552 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 253774436 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823227462672 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13642] ppid=13593 vsize=27850524 memory=39020 CPUtime=0 cores=0-7
/proc/13596/task/13642/stat : 13642 (java) S 13593 13596 13552 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 253774436 28518936576 811267 33554432000 4194304 4196468 140721920084976 139823226409872 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
Current children cumulated CPU time: 19875.2 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 3245068 KiB

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

[startup+2520.26 s]
# the end of solver process 13596 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19866.9 s, system=9.96548 s

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

[startup+2520.21 s]
/proc/loadavg: 8.52 8.68 8.74 10/225 13697
/proc/meminfo: memFree=20778168/32770624 swapFree=67108500/67108860
[pid=13596] ppid=13593 vsize=27984680 memory=3246900 CPUtime=19876.7 cores=0-7
/proc/13596/stat : 13596 (java) S 13593 13596 13552 0 -1 1077944320 1803782 0 0 0 1986677 994 0 0 20 0 48 0 253773507 28656312320 811725 33554432000 4194304 4196468 140721920084976 140721920067520 139824942305015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
/proc/13596/statm: 6996170 811725 3627 1 0 6957721 0
[pid=13596/tid=13598] ppid=13593 vsize=27984680 memory=3356 CPUtime=7.89 cores=0-7
/proc/13596/task/13598/stat : 13598 (java) S 13593 13596 13552 0 -1 1077944384 21852 0 0 0 782 7 0 0 20 0 48 0 253773508 28656312320 811725 33554432000 4194304 4196468 140721920084976 139824946542480 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13599] ppid=13593 vsize=27984680 memory=492 CPUtime=10.64 cores=0-7
/proc/13596/task/13599/stat : 13599 (java) S 13593 13596 13552 0 -1 1077944384 98366 0 0 0 1010 54 0 0 20 0 48 0 253773509 28656312320 811725 33554432000 4194304 4196468 140721920084976 139824894925456 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13600] ppid=13593 vsize=27984680 memory=1616 CPUtime=10.63 cores=0-7
/proc/13596/task/13600/stat : 13600 (java) S 13593 13596 13552 0 -1 1077944384 90647 0 0 0 1012 51 0 0 20 0 48 0 253773509 28656312320 811725 33554432000 4194304 4196468 140721920084976 139824893872656 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13601] ppid=13593 vsize=27984680 memory=932 CPUtime=10.59 cores=0-7
/proc/13596/task/13601/stat : 13601 (java) S 13593 13596 13552 0 -1 1077944384 96316 0 0 0 1008 51 0 0 20 0 48 0 253773509 28656312320 811725 33554432000 4194304 4196468 140721920084976 139824892819856 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13602] ppid=13593 vsize=27984680 memory=1168 CPUtime=10.6 cores=0-7
/proc/13596/task/13602/stat : 13602 (java) S 13593 13596 13552 0 -1 1077944384 97892 0 0 0 1007 53 0 0 20 0 48 0 253773509 28656312320 811725 33554432000 4194304 4196468 140721920084976 139824891767056 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13603] ppid=13593 vsize=27984680 memory=2108 CPUtime=10.62 cores=0-7
/proc/13596/task/13603/stat : 13603 (java) S 13593 13596 13552 0 -1 1077944384 103401 0 0 0 1007 55 0 0 20 0 48 0 253773509 28656312320 811725 33554432000 4194304 4196468 140721920084976 139824890715280 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13604] ppid=13593 vsize=27984680 memory=924 CPUtime=10.68 cores=0-7
/proc/13596/task/13604/stat : 13604 (java) S 13593 13596 13552 0 -1 1077944384 99808 0 0 0 1013 55 0 0 20 0 48 0 253773509 28656312320 811725 33554432000 4194304 4196468 140721920084976 139824889662480 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13605] ppid=13593 vsize=27984680 memory=4872558044660077418 CPUtime=10.66 cores=0-7
/proc/13596/task/13605/stat : 13605 (java) S 13593 13596 13552 0 -1 1077944384 87701 0 0 0 1014 52 0 0 20 0 48 0 253773509 28656312320 811725 33554432000 4194304 4196468 140721920084976 139824888609680 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13606] ppid=13593 vsize=27984680 memory=3992 CPUtime=10.54 cores=0-7
/proc/13596/task/13606/stat : 13606 (java) S 13593 13596 13552 0 -1 1077944384 97450 0 0 0 1003 51 0 0 20 0 48 0 253773509 28656312320 811725 33554432000 4194304 4196468 140721920084976 139824887556880 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13607] ppid=13593 vsize=27984680 memory=1928 CPUtime=9.57 cores=0-7
/proc/13596/task/13607/stat : 13607 (java) S 13593 13596 13552 0 -1 1077944384 185817 0 0 0 859 98 0 0 20 0 48 0 253773510 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823349246320 139824942316162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13608] ppid=13593 vsize=27984680 memory=7532 CPUtime=0 cores=0-7
/proc/13596/task/13608/stat : 13608 (java) S 13593 13596 13552 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 48 0 253773511 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823348192352 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13609] ppid=13593 vsize=27984680 memory=808 CPUtime=0 cores=0-7
/proc/13596/task/13609/stat : 13609 (java) S 13593 13596 13552 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 48 0 253773511 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823347139456 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13610] ppid=13593 vsize=27984680 memory=1796 CPUtime=0 cores=0-7
/proc/13596/task/13610/stat : 13610 (java) S 13593 13596 13552 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 48 0 253773513 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823346087760 139824942323611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13611] ppid=13593 vsize=27984680 memory=916 CPUtime=1.48 cores=0-7
/proc/13596/task/13611/stat : 13611 (java) S 13593 13596 13552 0 -1 1077944384 4791 0 0 0 146 2 0 0 20 0 48 0 253773513 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823345036144 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13612] ppid=13593 vsize=27984680 memory=3904 CPUtime=1.67 cores=0-7
/proc/13596/task/13612/stat : 13612 (java) S 13593 13596 13552 0 -1 1077944384 6622 0 0 0 166 1 0 0 20 0 48 0 253773513 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823343983344 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13613] ppid=13593 vsize=27984680 memory=1408 CPUtime=1.61 cores=0-7
/proc/13596/task/13613/stat : 13613 (java) R 13593 13596 13552 0 -1 4202560 7366 0 0 0 159 2 0 0 20 0 48 0 253773513 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823342910664 139824927431105 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13614] ppid=13593 vsize=27984680 memory=6791534058613427641 CPUtime=1.12 cores=0-7
/proc/13596/task/13614/stat : 13614 (java) S 13593 13596 13552 0 -1 1077944384 13784 0 0 0 110 2 0 0 20 0 48 0 253773513 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823341877744 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13615] ppid=13593 vsize=27984680 memory=69160 CPUtime=0 cores=0-7
/proc/13596/task/13615/stat : 13615 (java) S 13593 13596 13552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 253773513 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823340825184 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13616] ppid=13593 vsize=27984680 memory=1116 CPUtime=0.71 cores=0-7
/proc/13596/task/13616/stat : 13616 (java) S 13593 13596 13552 0 -1 1077944384 8301 0 0 0 28 43 0 0 20 0 48 0 253773514 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823339772464 139824942316162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13617] ppid=13593 vsize=27984680 memory=2132 CPUtime=0 cores=0-7
/proc/13596/task/13617/stat : 13617 (java) S 13593 13596 13552 0 -1 1077944384 661 0 0 0 0 0 0 0 20 0 48 0 253774307 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823332623008 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13618] ppid=13593 vsize=27984680 memory=1752 CPUtime=2.48 cores=0-7
/proc/13596/task/13618/stat : 13618 (java) R 13593 13596 13552 0 -1 4202560 18309 0 0 0 102 146 0 0 20 0 48 0 253774324 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823258002096 139824942326362 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13619] ppid=13593 vsize=27984680 memory=288230574492221466 CPUtime=2472.19 cores=0-7
/proc/13596/task/13619/stat : 13619 (java) R 13593 13596 13552 0 -1 4202560 90734 0 0 0 247148 71 0 0 20 0 48 0 253774346 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823254847328 139824563367385 0 4 0 16800975 0 0 0 -1 0 0 0 35 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13620] ppid=13593 vsize=27984680 memory=288230596050944315 CPUtime=0.08 cores=0-7
/proc/13596/task/13620/stat : 13620 (java) S 13593 13596 13552 0 -1 1077944384 608 0 0 0 8 0 0 0 20 0 48 0 253774347 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823253800592 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13621] ppid=13593 vsize=27984680 memory=13851867369180031 CPUtime=2471.32 cores=0-7
/proc/13596/task/13621/stat : 13621 (java) S 13593 13596 13552 0 -1 1077944384 97825 0 0 0 247075 57 0 0 20 0 48 0 253774347 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823252741824 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13622] ppid=13593 vsize=27984680 memory=1398720917958146503 CPUtime=2470.55 cores=0-7
/proc/13596/task/13622/stat : 13622 (java) R 13593 13596 13552 0 -1 4202560 101326 0 0 0 246993 62 0 0 20 0 48 0 253774354 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823249591776 139824557280427 0 4 0 16800975 0 0 0 -1 5 0 0 38 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13623] ppid=13593 vsize=27984680 memory=4872558044660077418 CPUtime=2471.47 cores=0-7
/proc/13596/task/13623/stat : 13623 (java) R 13593 13596 13552 0 -1 4202560 92999 0 0 0 247084 63 0 0 20 0 48 0 253774354 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823248539072 139824564816247 0 4 0 16800975 0 0 0 -1 4 0 0 43 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13624] ppid=13593 vsize=27984680 memory=1796 CPUtime=2469.32 cores=0-7
/proc/13596/task/13624/stat : 13624 (java) S 13593 13596 13552 0 -1 1077944384 100930 0 0 0 246871 61 0 0 20 0 48 0 253774354 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823247486176 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13625] ppid=13593 vsize=27984680 memory=916 CPUtime=0.07 cores=0-7
/proc/13596/task/13625/stat : 13625 (java) S 13593 13596 13552 0 -1 1077944384 502 0 0 0 7 0 0 0 20 0 48 0 253774354 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823246439440 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13626] ppid=13593 vsize=27984680 memory=3904 CPUtime=2470.99 cores=0-7
/proc/13596/task/13626/stat : 13626 (java) R 13593 13596 13552 0 -1 1077944384 93072 0 0 0 247038 61 0 0 20 0 48 0 253774354 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823245380672 139824942315221 0 4 0 16800975 0 0 0 -1 0 0 0 44 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13627] ppid=13593 vsize=27984680 memory=1408 CPUtime=2469.28 cores=0-7
/proc/13596/task/13627/stat : 13627 (java) S 13593 13596 13552 0 -1 1077944384 89054 0 0 0 246862 66 0 0 20 0 48 0 253774354 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823244328896 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13628] ppid=13593 vsize=27984680 memory=3245068 CPUtime=2469.58 cores=0-7
/proc/13596/task/13628/stat : 13628 (java) R 13593 13596 13552 0 -1 4202560 91904 0 0 0 246902 56 0 0 20 0 48 0 253774354 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823243276096 139824562586060 0 4 0 16800975 0 0 0 -1 6 0 0 49 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13629] ppid=13593 vsize=27984680 memory=3245068 CPUtime=0.01 cores=0-7
/proc/13596/task/13629/stat : 13629 (java) S 13593 13596 13552 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 48 0 253774354 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823242229264 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13630] ppid=13593 vsize=27984680 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13596/task/13630/stat : 13630 (java) S 13593 13596 13552 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 48 0 253774428 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823239042448 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13631] ppid=13593 vsize=27984680 memory=3245068 CPUtime=0 cores=0-7
/proc/13596/task/13631/stat : 13631 (java) S 13593 13596 13552 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 48 0 253774430 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823237989648 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13632] ppid=13593 vsize=27984680 memory=69160 CPUtime=0 cores=0-7
/proc/13596/task/13632/stat : 13632 (java) S 13593 13596 13552 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 48 0 253774431 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823236936848 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13633] ppid=13593 vsize=27984680 memory=3245068 CPUtime=0 cores=0-7
/proc/13596/task/13633/stat : 13633 (java) S 13593 13596 13552 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 48 0 253774431 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823235884048 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13634] ppid=13593 vsize=27984680 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/13596/task/13634/stat : 13634 (java) S 13593 13596 13552 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 48 0 253774431 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823234831248 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13635] ppid=13593 vsize=27984680 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/13596/task/13635/stat : 13635 (java) S 13593 13596 13552 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 48 0 253774432 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823233779472 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13636] ppid=13593 vsize=27984680 memory=13851867369180031 CPUtime=0.01 cores=0-7
/proc/13596/task/13636/stat : 13636 (java) S 13593 13596 13552 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 48 0 253774432 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823232726672 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13637] ppid=13593 vsize=27984680 memory=39020 CPUtime=0.01 cores=0-7
/proc/13596/task/13637/stat : 13637 (java) S 13593 13596 13552 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 48 0 253774433 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823231673872 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13638] ppid=13593 vsize=27984680 memory=13468 CPUtime=0 cores=0-7
/proc/13596/task/13638/stat : 13638 (java) S 13593 13596 13552 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 48 0 253774433 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823230621072 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13639] ppid=13593 vsize=27984680 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13596/task/13639/stat : 13639 (java) S 13593 13596 13552 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 48 0 253774435 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823229568272 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13640] ppid=13593 vsize=27984680 memory=492 CPUtime=0.01 cores=0-7
/proc/13596/task/13640/stat : 13640 (java) R 13593 13596 13552 0 -1 4202560 1058 0 0 0 1 0 0 0 20 0 48 0 253774435 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823228513136 139824942316950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13641] ppid=13593 vsize=27984680 memory=1616 CPUtime=0 cores=0-7
/proc/13596/task/13641/stat : 13641 (java) S 13593 13596 13552 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 48 0 253774436 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823227462672 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
[pid=13596/tid=13642] ppid=13593 vsize=27984680 memory=932 CPUtime=0 cores=0-7
/proc/13596/task/13642/stat : 13642 (java) S 13593 13596 13552 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 48 0 253774436 28656312320 811725 33554432000 4194304 4196468 140721920084976 139823226409872 139824942315221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18206720 140721920087118 140721920087301 140721920087301 140721920090063 0
Current children cumulated CPU time: 19876.7 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 3246900 KiB

Child status: 143
Real time (s): 2520.26
CPU time (s): 19876.9
CPU user time (s): 19866.9
CPU system time (s): 9.96548
CPU usage (%): 788.684
Max. virtual memory (cumulated for all children) (KiB): 27984680
Max. memory (cumulated for all children) (KiB): 3249092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19866.9
system time used= 9.96548
maximum resident set size= 3249168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1803921
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 812788
involuntary context switches= 432005


# summary of solver processes directly reported to runsolver:
#   pid: 13596
#   total CPU time (s): 19876.9
#   total CPU user time (s): 19866.9
#   total CPU system time (s): 9.96548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.9135 second user time and 37.5683 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-15 21:41:43
IDJOB=4309267
IDBENCH=141164
IDSOLVER=2793
FILE ID=node104/4309267-1534362103
RUNJOBID= node104-1534362103-13579
PBS_JOBID= 21038268
Free space on /tmp= 44476 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-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-4309267-1534362103/watcher-4309267-1534362103 -o /tmp/evaluation-result-4309267-1534362103/solver-4309267-1534362103 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1534362103-13579 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 824811186 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309267-1534362103.xml

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

MD5SUM BENCH= 5201675a76284a1676308ef0cdac3e36
RANDOM SEED=824811186

node104.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.11
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.11
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.11
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.11
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:        24023128 kB
MemAvailable:   31893468 kB
Buffers:          186372 kB
Cached:          7902852 kB
SwapCached:            4 kB
Active:          4025660 kB
Inactive:        4115788 kB
Active(anon):       3132 kB
Inactive(anon):   109708 kB
Active(file):    4022528 kB
Inactive(file):  4006080 kB
Unevictable:        7320 kB
Mlocked:            7320 kB
SwapTotal:      67108860 kB
SwapFree:       67108500 kB
Dirty:             35816 kB
Writeback:             0 kB
AnonPages:         59804 kB
Mapped:            55384 kB
Shmem:             57828 kB
Slab:             298416 kB
SReclaimable:     270192 kB
SUnreclaim:        28224 kB
KernelStack:        3184 kB
PageTables:         4736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     357084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 44440 MiB
End job on node104 at 2018-08-15 22:23:44