Trace number 4291785

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-07-02SAT (TO)13212897 19912 2520.32

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-matching080_c18.xml
MD5SUM1c5d38a24e9bc38d89c13541019d4118
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35359936
Best CPU time to get the best result obtained on this benchmark20067.7
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints318
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":2000}]
Minimum constraint arity3
Maximum constraint arity76
Distribution of constraint arities[{"arity":3,"count":9},{"arity":5,"count":1},{"arity":6,"count":29},{"arity":8,"count":1},{"arity":9,"count":2},{"arity":10,"count":181},{"arity":11,"count":1},{"arity":15,"count":4},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":19,"count":2},{"arity":21,"count":1},{"arity":23,"count":3},{"arity":24,"count":3},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":2},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":3},{"arity":33,"count":2},{"arity":34,"count":1},{"arity":35,"count":2},{"arity":36,"count":5},"...",{"arity":45,"count":4}, {"arity":46,"count":6}, {"arity":47,"count":2}, {"arity":48,"count":3}, {"arity":49,"count":2}, {"arity":50,"count":1}, {"arity":51,"count":2}, {"arity":52,"count":2}, {"arity":54,"count":1}, {"arity":55,"count":2}, {"arity":56,"count":2}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":4}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":71,"count":1}, {"arity":76,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":318}]
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-07-02
0.67/0.55	c seed: 1081127856
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
1.87/1.08	c Parsing done, starting search...
14.89/6.50	o 409906
14.89/6.50	o 1116540
14.89/6.51	o 1716422
14.89/6.51	o 2321664
14.89/6.52	o 2687897
14.89/6.53	o 2758561
14.89/6.54	o 2837075
14.89/6.55	o 3251244
14.89/6.55	o 3358443
14.89/6.56	o 3743077
14.89/6.57	o 3875542
14.89/6.57	o 3946786
14.89/6.57	o 4107937
14.89/6.57	o 4179181
15.65/6.65	o 4183387
15.65/6.67	o 4239859
15.65/6.67	o 4254631
15.65/6.67	o 4311103
15.65/6.67	o 4604719
15.65/6.67	o 4675963
15.65/6.67	o 4712387
15.65/6.68	o 4743465
15.65/6.68	o 4805020
15.65/6.68	o 5010205
16.45/6.70	o 5049151
16.45/6.71	o 5315891
16.45/6.71	o 5378637
16.45/6.73	o 5448356
16.45/6.75	o 5652175
16.45/6.78	o 5684957
16.45/6.78	o 5708647
16.45/6.78	o 5741429
17.32/6.81	o 5778471
17.32/6.81	o 6106289
17.32/6.82	o 6142713
17.32/6.84	o 6177533
17.32/6.84	o 6213957
18.10/6.94	o 6254429
18.10/6.97	o 6321564
18.10/6.98	o 6365633
18.10/6.99	o 6462562
18.10/6.99	o 6667747
18.89/7.03	o 6801185
18.89/7.03	o 7249923
18.89/7.03	o 7416738
18.89/7.04	o 7621923
18.89/7.11	o 7966119
18.89/7.11	o 8171304
22.79/7.53	o 8191191
22.79/7.53	o 8369740
22.79/7.54	o 8396376
22.79/7.54	o 8437580
22.79/7.54	o 8574925
22.79/7.55	o 8608743
22.79/7.55	o 8642118
22.79/7.55	o 8813928
22.79/7.55	o 8847303
22.79/7.55	o 8884386
22.79/7.55	o 9062935
33.88/9.01	o 9088516
34.74/9.02	o 9166803
34.74/9.08	o 9311424
34.74/9.08	o 9389711
36.26/9.28	o 9516609
36.26/9.28	o 9553692
36.26/9.29	o 9594896
41.83/10.00	o 9732241
142.96/22.68	o 9844279
174.84/26.63	o 9899861
174.84/26.66	o 9929842
174.84/26.67	o 10067187
197.94/29.51	o 10105046
197.94/29.55	o 10272372
1246.30/161.48	o 10294888
1261.37/163.32	o 10324869
1261.37/163.33	o 10462214
1333.20/172.47	o 10498673
1335.54/172.70	o 10592814
1335.54/172.71	o 10627160
1335.54/172.71	o 10842792
1335.54/172.71	o 10888872
1335.54/172.71	o 11104504
1335.54/172.76	o 11236969
1355.35/175.29	o 11298249
1464.44/189.06	o 11334708
1761.34/226.62	o 11393299
1767.69/227.43	o 11429758
1787.40/229.97	o 11469364
1787.40/229.98	o 11505823
1787.40/229.98	o 11530644
1787.40/229.98	o 11567103
5265.51/670.89	o 11576403
5266.30/670.90	o 11617607
5266.30/670.90	o 11693672
5266.30/670.92	o 11754952
5266.30/670.94	o 11779447
5266.30/670.95	o 11896716
5266.30/670.95	o 11957996
5682.64/723.74	o 11987313
5682.64/723.78	o 12016664
5683.39/723.84	o 12027061
5684.18/723.99	o 12082363
5685.08/724.04	o 12158428
5685.08/724.05	o 12219708
11772.09/1493.28	o 12287958
19865.68/2514.48	o 12413878
19865.68/2514.49	o 12450961
19865.68/2514.49	o 12492165
19865.68/2514.49	o 12629510
19866.47/2514.54	o 12724887
19871.97/2515.25	o 12760170
19871.97/2515.25	o 12855547
19871.97/2515.29	o 12872706
19871.97/2515.30	o 12968083
19871.97/2515.30	o 12997265
19871.97/2515.30	o 13117520
19871.97/2515.30	o 13212897
19909.92/2520.10	s SATISFIABLE
19909.92/2520.10	v <instantiation>
19909.92/2520.10	v 	<list>
19909.92/2520.10	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]
19909.92/2520.10	v 	</list>
19909.92/2520.10	v 	<values>
19909.92/2520.10	v 		0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 
19909.92/2520.10	v 	</values>
19909.92/2520.10	v </instantiation>

Verifier Data 

OK	13212897

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291785-1532636421/watcher-4291785-1532636421 -o /tmp/evaluation-result-4291785-1532636421/solver-4291785-1532636421 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532633896-8548 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1081127856 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291785-1532636421.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=8740, runsolver pid=8737
Current StackSize limit: 8192 KiB


[startup+0.100121 s]*
/proc/loadavg: 8.36 8.75 8.71 2/199 8760
/proc/meminfo: memFree=23806616/32770624 swapFree=67108860/67108860
[pid=8740] ppid=8737 vsize=26103424 memory=30516 CPUtime=0.11 cores=0-7
/proc/8740/stat : 8740 (java) S 8737 8740 8521 0 -1 1077944320 7058 0 0 0 10 1 0 0 20 0 20 0 81205353 26729906176 7629 33554432000 4194304 4196468 140736252376144 140736252358688 140462067838711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
/proc/8740/statm: 6525856 7629 3140 1 0 6487932 0
[pid=8740/tid=8742] ppid=8737 vsize=26103424 memory=4427491924834939799 CPUtime=0.09 cores=0-7
/proc/8740/task/8742/stat : 8742 (java) R 8737 8740 8521 0 -1 4202560 5343 0 0 0 8 1 0 0 20 0 20 0 81205353 26729906176 7827 33554432000 4194304 4196468 140736252376144 140462072041840 140462048114460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8743] ppid=8737 vsize=26103424 memory=732370231058082789 CPUtime=0 cores=0-7
/proc/8740/task/8743/stat : 8743 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 7827 33554432000 4194304 4196468 140736252376144 140462020459152 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8744] ppid=8737 vsize=26103424 memory=140092720629376 CPUtime=0 cores=0-7
/proc/8740/task/8744/stat : 8744 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 7827 33554432000 4194304 4196468 140736252376144 140462019406352 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8745] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8745/stat : 8745 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 7827 33554432000 4194304 4196468 140736252376144 140462018353552 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8746] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8746/stat : 8746 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 7827 33554432000 4194304 4196468 140736252376144 140462017300752 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8747] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8747/stat : 8747 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 7827 33554432000 4194304 4196468 140736252376144 140462016248976 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8748] ppid=8737 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8740/task/8748/stat : 8748 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 7827 33554432000 4194304 4196468 140736252376144 140462015196176 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8749] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8749/stat : 8749 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 7893 33554432000 4194304 4196468 140736252376144 140462014143376 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8750] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8750/stat : 8750 (java) S 8737 8740 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 7893 33554432000 4194304 4196468 140736252376144 140462013090576 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8751] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8751/stat : 8751 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205356 26729906176 7893 33554432000 4194304 4196468 140736252376144 140461060622704 140462067849858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8752] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8752/stat : 8752 (java) S 8737 8740 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81205356 26729906176 7893 33554432000 4194304 4196468 140736252376144 140461059568672 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8753] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8753/stat : 8753 (java) S 8737 8740 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81205356 26729906176 7893 33554432000 4194304 4196468 140736252376144 140461058515824 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8754] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8754/stat : 8754 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 7893 33554432000 4194304 4196468 140736252376144 140461057464144 140462067857307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8755] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8755/stat : 8755 (java) S 8737 8740 8521 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 7893 33554432000 4194304 4196468 140736252376144 140461056412528 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8756] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8756/stat : 8756 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 7893 33554432000 4194304 4196468 140736252376144 140461055359728 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8757] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8757/stat : 8757 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 7893 33554432000 4194304 4196468 140736252376144 140461054306928 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8758] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8758/stat : 8758 (java) S 8737 8740 8521 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 7893 33554432000 4194304 4196468 140736252376144 140461053254128 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8759] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8759/stat : 8759 (java) S 8737 8740 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 7959 33554432000 4194304 4196468 140736252376144 140461052201568 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8760] ppid=8737 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8740/task/8760/stat : 8760 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 7959 33554432000 4194304 4196468 140736252376144 140461051148848 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 30516 KiB

[startup+0.210456 s]*
/proc/loadavg: 8.36 8.75 8.71 3/199 8760
/proc/meminfo: memFree=23793616/32770624 swapFree=67108860/67108860
[pid=8740] ppid=8737 vsize=26103424 memory=43344 CPUtime=0.3 cores=0-7
/proc/8740/stat : 8740 (java) S 8737 8740 8521 0 -1 1077944320 10496 0 0 0 27 3 0 0 20 0 20 0 81205353 26729906176 10836 33554432000 4194304 4196468 140736252376144 140736252358688 140462067838711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
/proc/8740/statm: 6525856 10836 3339 1 0 6487932 0
[pid=8740/tid=8742] ppid=8737 vsize=26103424 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/8740/task/8742/stat : 8742 (java) R 8737 8740 8521 0 -1 4202560 8288 0 0 0 18 2 0 0 20 0 20 0 81205353 26729906176 10836 33554432000 4194304 4196468 140736252376144 140462072067664 140462060075838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8743] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8743/stat : 8743 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 10836 33554432000 4194304 4196468 140736252376144 140462020459152 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8744] ppid=8737 vsize=26103424 memory=140092721098357 CPUtime=0 cores=0-7
/proc/8740/task/8744/stat : 8744 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 10836 33554432000 4194304 4196468 140736252376144 140462019406352 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8745] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8745/stat : 8745 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 10836 33554432000 4194304 4196468 140736252376144 140462018353552 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8746] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8746/stat : 8746 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 10836 33554432000 4194304 4196468 140736252376144 140462017300752 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8747] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8747/stat : 8747 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 10836 33554432000 4194304 4196468 140736252376144 140462016248976 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8748] ppid=8737 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8740/task/8748/stat : 8748 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 10836 33554432000 4194304 4196468 140736252376144 140462015196176 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8749] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8749/stat : 8749 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 10836 33554432000 4194304 4196468 140736252376144 140462014143376 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8750] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8750/stat : 8750 (java) S 8737 8740 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 10836 33554432000 4194304 4196468 140736252376144 140462013090576 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8751] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8751/stat : 8751 (java) S 8737 8740 8521 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81205356 26729906176 10836 33554432000 4194304 4196468 140736252376144 140461060622704 140462067849858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8752] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8752/stat : 8752 (java) S 8737 8740 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81205356 26729906176 10836 33554432000 4194304 4196468 140736252376144 140461059568672 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8753] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8753/stat : 8753 (java) S 8737 8740 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81205356 26729906176 10836 33554432000 4194304 4196468 140736252376144 140461058515824 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8754] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8754/stat : 8754 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 10836 33554432000 4194304 4196468 140736252376144 140461057464144 140462067857307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8755] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8755/stat : 8755 (java) S 8737 8740 8521 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 10836 33554432000 4194304 4196468 140736252376144 140461056412528 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8756] ppid=8737 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/8740/task/8756/stat : 8756 (java) S 8737 8740 8521 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 81205359 26729906176 10836 33554432000 4194304 4196468 140736252376144 140461055359728 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8757] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8757/stat : 8757 (java) S 8737 8740 8521 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 10836 33554432000 4194304 4196468 140736252376144 140461054306928 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8758] ppid=8737 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/8740/task/8758/stat : 8758 (java) R 8737 8740 8521 0 -1 4202560 281 0 0 0 6 0 0 0 20 0 20 0 81205359 26729906176 10836 33554432000 4194304 4196468 140736252376144 140461053252528 140462067860058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8759] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8759/stat : 8759 (java) S 8737 8740 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 10836 33554432000 4194304 4196468 140736252376144 140461052201568 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8760] ppid=8737 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8740/task/8760/stat : 8760 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 10836 33554432000 4194304 4196468 140736252376144 140461051148848 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43344 KiB

[startup+0.310811 s]*
/proc/loadavg: 8.36 8.75 8.71 3/199 8760
/proc/meminfo: memFree=23790204/32770624 swapFree=67108860/67108860
[pid=8740] ppid=8737 vsize=26103424 memory=46896 CPUtime=0.43 cores=0-7
/proc/8740/stat : 8740 (java) S 8737 8740 8521 0 -1 1077944320 10904 0 0 0 40 3 0 0 20 0 20 0 81205353 26729906176 11724 33554432000 4194304 4196468 140736252376144 140736252358688 140462067838711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
/proc/8740/statm: 6525856 11724 3366 1 0 6487932 0
[pid=8740/tid=8742] ppid=8737 vsize=26103424 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/8740/task/8742/stat : 8742 (java) R 8737 8740 8521 0 -1 4202560 8618 0 0 0 28 2 0 0 20 0 20 0 81205353 26729906176 11724 33554432000 4194304 4196468 140736252376144 140462072047440 140462051919198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8743] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8743/stat : 8743 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 11724 33554432000 4194304 4196468 140736252376144 140462020459152 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8744] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8744/stat : 8744 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 11724 33554432000 4194304 4196468 140736252376144 140462019406352 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8745] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8745/stat : 8745 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 11724 33554432000 4194304 4196468 140736252376144 140462018353552 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8746] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8746/stat : 8746 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 11724 33554432000 4194304 4196468 140736252376144 140462017300752 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8747] ppid=8737 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/8740/task/8747/stat : 8747 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 11724 33554432000 4194304 4196468 140736252376144 140462016248976 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8748] ppid=8737 vsize=26103424 memory=140092572267439 CPUtime=0 cores=0-7
/proc/8740/task/8748/stat : 8748 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 11724 33554432000 4194304 4196468 140736252376144 140462015196176 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8749] ppid=8737 vsize=26103424 memory=140092572269744 CPUtime=0 cores=0-7
/proc/8740/task/8749/stat : 8749 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 11724 33554432000 4194304 4196468 140736252376144 140462014143376 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8750] ppid=8737 vsize=26103424 memory=140092572272048 CPUtime=0 cores=0-7
/proc/8740/task/8750/stat : 8750 (java) S 8737 8740 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81205354 26729906176 11724 33554432000 4194304 4196468 140736252376144 140462013090576 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8751] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8751/stat : 8751 (java) S 8737 8740 8521 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81205356 26729906176 11724 33554432000 4194304 4196468 140736252376144 140461060622704 140462067849858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8752] ppid=8737 vsize=26103424 memory=280185144551056 CPUtime=0 cores=0-7
/proc/8740/task/8752/stat : 8752 (java) S 8737 8740 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81205356 26729906176 11724 33554432000 4194304 4196468 140736252376144 140461059568672 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8753] ppid=8737 vsize=26103424 memory=280185144557968 CPUtime=0 cores=0-7
/proc/8740/task/8753/stat : 8753 (java) S 8737 8740 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81205356 26729906176 11724 33554432000 4194304 4196468 140736252376144 140461058515824 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8754] ppid=8737 vsize=26103424 memory=280185144499248 CPUtime=0 cores=0-7
/proc/8740/task/8754/stat : 8754 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 11724 33554432000 4194304 4196468 140736252376144 140461057464144 140462067857307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8755] ppid=8737 vsize=26103424 memory=280185144571792 CPUtime=0.01 cores=0-7
/proc/8740/task/8755/stat : 8755 (java) S 8737 8740 8521 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 20 0 81205359 26729906176 11724 33554432000 4194304 4196468 140736252376144 140461056412528 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8756] ppid=8737 vsize=26103424 memory=280185144578704 CPUtime=0.01 cores=0-7
/proc/8740/task/8756/stat : 8756 (java) S 8737 8740 8521 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 81205359 26729906176 11724 33554432000 4194304 4196468 140736252376144 140461055359728 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8757] ppid=8737 vsize=26103424 memory=280185144576400 CPUtime=0 cores=0-7
/proc/8740/task/8757/stat : 8757 (java) S 8737 8740 8521 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 11724 33554432000 4194304 4196468 140736252376144 140461054306928 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8758] ppid=8737 vsize=26103424 memory=280185144592960 CPUtime=0.07 cores=0-7
/proc/8740/task/8758/stat : 8758 (java) S 8737 8740 8521 0 -1 1077944384 288 0 0 0 7 0 0 0 20 0 20 0 81205359 26729906176 11724 33554432000 4194304 4196468 140736252376144 140461053254128 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8759] ppid=8737 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8759/stat : 8759 (java) S 8737 8740 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 11724 33554432000 4194304 4196468 140736252376144 140461052201568 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8760] ppid=8737 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8740/task/8760/stat : 8760 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205359 26729906176 11724 33554432000 4194304 4196468 140736252376144 140461051148848 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46896 KiB

[startup+0.70089 s]
/proc/loadavg: 8.36 8.75 8.71 3/199 8760
/proc/meminfo: memFree=23766324/32770624 swapFree=67108860/67108860
[pid=8740] ppid=8737 vsize=26105492 memory=87676 CPUtime=0.98 cores=0-7
/proc/8740/stat : 8740 (java) S 8737 8740 8521 0 -1 1077944320 17880 0 0 0 93 5 0 0 20 0 20 0 81205353 26732023808 21919 33554432000 4194304 4196468 140736252376144 140736252358688 140462067838711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
/proc/8740/statm: 6526373 21919 3491 1 0 6488444 0
[pid=8740/tid=8742] ppid=8737 vsize=26105492 memory=7084271342066361172 CPUtime=0.67 cores=0-7
/proc/8740/task/8742/stat : 8742 (java) R 8737 8740 8521 0 -1 4202560 15074 0 0 0 63 4 0 0 20 0 20 0 81205353 26732023808 21919 33554432000 4194304 4196468 140736252376144 140462072058632 140462067860637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8743] ppid=8737 vsize=26105492 memory=37619618563182 CPUtime=0 cores=0-7
/proc/8740/task/8743/stat : 8743 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26732023808 21919 33554432000 4194304 4196468 140736252376144 140462020459152 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8744] ppid=8737 vsize=26105492 memory=140092572278365 CPUtime=0 cores=0-7
/proc/8740/task/8744/stat : 8744 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26732023808 21919 33554432000 4194304 4196468 140736252376144 140462019406352 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8745] ppid=8737 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8745/stat : 8745 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205354 26732023808 21919 33554432000 4194304 4196468 140736252376144 140462018353552 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8746] ppid=8737 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8746/stat : 8746 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26732023808 21919 33554432000 4194304 4196468 140736252376144 140462017300752 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8747] ppid=8737 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8747/stat : 8747 (java) S 8737 8740 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81205354 26732023808 21919 33554432000 4194304 4196468 140736252376144 140462016248976 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8748] ppid=8737 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8748/stat : 8748 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205354 26732023808 21919 33554432000 4194304 4196468 140736252376144 140462015196176 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8749] ppid=8737 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8749/stat : 8749 (java) S 8737 8740 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81205354 26732023808 21919 33554432000 4194304 4196468 140736252376144 140462014143376 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8750] ppid=8737 vsize=26105492 memory=1788 CPUtime=0 cores=0-7
/proc/8740/task/8750/stat : 8750 (java) S 8737 8740 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81205354 26732023808 21919 33554432000 4194304 4196468 140736252376144 140462013090576 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8751] ppid=8737 vsize=26105492 memory=872 CPUtime=0 cores=0-7
/proc/8740/task/8751/stat : 8751 (java) S 8737 8740 8521 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81205356 26732023808 21919 33554432000 4194304 4196468 140736252376144 140461060622704 140462067849858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0

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

[pid=8740/tid=8768] ppid=8737 vsize=27850528 memory=6660 CPUtime=0.08 cores=0-7
/proc/8740/task/8768/stat : 8768 (java) S 8737 8740 8521 0 -1 1077944384 344 0 0 0 8 0 0 0 20 0 46 0 81205924 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461026141328 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8769] ppid=8737 vsize=27850528 memory=5636 CPUtime=0.05 cores=0-7
/proc/8740/task/8769/stat : 8769 (java) S 8737 8740 8521 0 -1 1077944384 109 0 0 0 5 0 0 0 20 0 46 0 81205924 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461025088528 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8770] ppid=8737 vsize=27850528 memory=4588 CPUtime=0.06 cores=0-7
/proc/8740/task/8770/stat : 8770 (java) S 8737 8740 8521 0 -1 1077944384 385 0 0 0 6 0 0 0 20 0 46 0 81205924 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461024035728 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8771] ppid=8737 vsize=27850528 memory=1388 CPUtime=2476.41 cores=0-7
/proc/8740/task/8771/stat : 8771 (java) R 8737 8740 8521 0 -1 4202560 63854 0 0 0 247577 64 0 0 20 0 46 0 81205924 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461022976712 140461694818162 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8772] ppid=8737 vsize=27850528 memory=1224 CPUtime=2476.69 cores=0-7
/proc/8740/task/8772/stat : 8772 (java) R 8737 8740 8521 0 -1 4202560 63902 0 0 0 247605 64 0 0 20 0 46 0 81205926 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461021925088 140461696229166 0 4 0 16800975 0 0 0 -1 6 0 0 25 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8773] ppid=8737 vsize=27850528 memory=15816 CPUtime=2475.48 cores=0-7
/proc/8740/task/8773/stat : 8773 (java) R 8737 8740 8521 0 -1 4202560 62269 0 0 0 247484 64 0 0 20 0 46 0 81205928 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461020870824 140461699425898 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8774] ppid=8737 vsize=27850528 memory=4048 CPUtime=0 cores=0-7
/proc/8740/task/8774/stat : 8774 (java) S 8737 8740 8521 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 46 0 81205945 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461019825552 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8775] ppid=8737 vsize=27850528 memory=14336 CPUtime=0 cores=0-7
/proc/8740/task/8775/stat : 8775 (java) S 8737 8740 8521 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 46 0 81205946 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461016638736 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8776] ppid=8737 vsize=27850528 memory=14380 CPUtime=0 cores=0-7
/proc/8740/task/8776/stat : 8776 (java) S 8737 8740 8521 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 46 0 81205946 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461015585936 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8777] ppid=8737 vsize=27850528 memory=1180 CPUtime=0 cores=0-7
/proc/8740/task/8777/stat : 8777 (java) S 8737 8740 8521 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 46 0 81205946 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461014533136 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8778] ppid=8737 vsize=27850528 memory=504 CPUtime=0 cores=0-7
/proc/8740/task/8778/stat : 8778 (java) S 8737 8740 8521 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 46 0 81206003 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461013480336 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8779] ppid=8737 vsize=27850528 memory=3872 CPUtime=0 cores=0-7
/proc/8740/task/8779/stat : 8779 (java) S 8737 8740 8521 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 46 0 81206004 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461012428560 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8780] ppid=8737 vsize=27850528 memory=24144 CPUtime=0 cores=0-7
/proc/8740/task/8780/stat : 8780 (java) S 8737 8740 8521 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 46 0 81206004 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461011375760 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8781] ppid=8737 vsize=27850528 memory=1280 CPUtime=0 cores=0-7
/proc/8740/task/8781/stat : 8781 (java) S 8737 8740 8521 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 46 0 81206004 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461010322960 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8782] ppid=8737 vsize=27850528 memory=2272 CPUtime=0 cores=0-7
/proc/8740/task/8782/stat : 8782 (java) S 8737 8740 8521 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 46 0 81206004 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461009270160 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8783] ppid=8737 vsize=27850528 memory=1788 CPUtime=0 cores=0-7
/proc/8740/task/8783/stat : 8783 (java) S 8737 8740 8521 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 46 0 81206005 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461008217360 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8784] ppid=8737 vsize=27850528 memory=872 CPUtime=0 cores=0-7
/proc/8740/task/8784/stat : 8784 (java) S 8737 8740 8521 0 -1 1077944384 641 0 0 0 0 0 0 0 20 0 46 0 81206005 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461007164560 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8785] ppid=8737 vsize=27850528 memory=12724 CPUtime=0 cores=0-7
/proc/8740/task/8785/stat : 8785 (java) S 8737 8740 8521 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 46 0 81206005 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461006111760 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8786] ppid=8737 vsize=27850528 memory=756 CPUtime=0 cores=0-7
/proc/8740/task/8786/stat : 8786 (java) S 8737 8740 8521 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 46 0 81206005 28518940672 1112447 33554432000 4194304 4196468 140736252376144 140461005058960 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
Current children cumulated CPU time: 19909.9 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 4449788 KiB

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

[startup+2520.32 s]
# the end of solver process 8740 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19901.8 s, system=10.2621 s

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

[startup+2520.2 s]
/proc/loadavg: 8.58 8.77 8.78 9/226 8841
/proc/meminfo: memFree=19378264/32770624 swapFree=67108860/67108860
[pid=8740] ppid=8737 vsize=27984684 memory=4450612 CPUtime=19911.4 cores=0-7
/proc/8740/stat : 8740 (java) S 8737 8740 8521 0 -1 1077944320 1516279 0 0 0 1990122 1023 0 0 20 0 48 0 81205353 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140736252358688 140462067838711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
/proc/8740/statm: 6996171 1112653 3626 1 0 6957721 0
[pid=8740/tid=8742] ppid=8737 vsize=27984684 memory=1836 CPUtime=5.57 cores=0-7
/proc/8740/task/8742/stat : 8742 (java) S 8737 8740 8521 0 -1 1077944384 22124 0 0 0 549 8 0 0 20 0 48 0 81205353 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140462072076176 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8743] ppid=8737 vsize=27984684 memory=1132 CPUtime=9.1 cores=0-7
/proc/8740/task/8743/stat : 8743 (java) S 8737 8740 8521 0 -1 1077944384 92097 0 0 0 854 56 0 0 20 0 48 0 81205354 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140462020459152 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8744] ppid=8737 vsize=27984684 memory=301741373374332954 CPUtime=9.09 cores=0-7
/proc/8740/task/8744/stat : 8744 (java) S 8737 8740 8521 0 -1 1077944384 89409 0 0 0 856 53 0 0 20 0 48 0 81205354 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140462019406352 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8745] ppid=8737 vsize=27984684 memory=288230583166042426 CPUtime=9.16 cores=0-7
/proc/8740/task/8745/stat : 8745 (java) S 8737 8740 8521 0 -1 1077944384 92433 0 0 0 861 55 0 0 20 0 48 0 81205354 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140462018353552 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8746] ppid=8737 vsize=27984684 memory=15255943717849665 CPUtime=9.08 cores=0-7
/proc/8740/task/8746/stat : 8746 (java) S 8737 8740 8521 0 -1 1077944384 91786 0 0 0 856 52 0 0 20 0 48 0 81205354 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140462017300752 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8747] ppid=8737 vsize=27984684 memory=-8341965534556230502 CPUtime=9.13 cores=0-7
/proc/8740/task/8747/stat : 8747 (java) S 8737 8740 8521 0 -1 1077944384 91264 0 0 0 855 58 0 0 20 0 48 0 81205354 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140462016248976 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8748] ppid=8737 vsize=27984684 memory=9047017150487036571 CPUtime=9.12 cores=0-7
/proc/8740/task/8748/stat : 8748 (java) S 8737 8740 8521 0 -1 1077944384 94307 0 0 0 855 57 0 0 20 0 48 0 81205354 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140462015196176 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8749] ppid=8737 vsize=27984684 memory=-8253362762722141311 CPUtime=9.1 cores=0-7
/proc/8740/task/8749/stat : 8749 (java) S 8737 8740 8521 0 -1 1077944384 99724 0 0 0 851 59 0 0 20 0 48 0 81205354 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140462014143376 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8750] ppid=8737 vsize=27984684 memory=4715433313220523562 CPUtime=9.1 cores=0-7
/proc/8740/task/8750/stat : 8750 (java) S 8737 8740 8521 0 -1 1077944384 103428 0 0 0 854 56 0 0 20 0 48 0 81205354 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140462013090576 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8751] ppid=8737 vsize=27984684 memory=4427205132082312746 CPUtime=8.33 cores=0-7
/proc/8740/task/8751/stat : 8751 (java) S 8737 8740 8521 0 -1 1077944384 157003 0 0 0 749 84 0 0 20 0 48 0 81205356 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461060622704 140462067849858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8752] ppid=8737 vsize=27984684 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/8740/task/8752/stat : 8752 (java) S 8737 8740 8521 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 48 0 81205356 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461059568736 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8753] ppid=8737 vsize=27984684 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/8740/task/8753/stat : 8753 (java) S 8737 8740 8521 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 48 0 81205356 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461058515840 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8754] ppid=8737 vsize=27984684 memory=15255943717849665 CPUtime=0 cores=0-7
/proc/8740/task/8754/stat : 8754 (java) S 8737 8740 8521 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 48 0 81205359 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461057464144 140462067857307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8755] ppid=8737 vsize=27984684 memory=8112282956445269571 CPUtime=1.41 cores=0-7
/proc/8740/task/8755/stat : 8755 (java) S 8737 8740 8521 0 -1 1077944384 7708 0 0 0 139 2 0 0 20 0 48 0 81205359 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461056412528 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8756] ppid=8737 vsize=27984684 memory=-7003737579269690708 CPUtime=1.24 cores=0-7
/proc/8740/task/8756/stat : 8756 (java) S 8737 8740 8521 0 -1 1077944384 5276 0 0 0 123 1 0 0 20 0 48 0 81205359 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461055359728 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8757] ppid=8737 vsize=27984684 memory=5636 CPUtime=1.5 cores=0-7
/proc/8740/task/8757/stat : 8757 (java) S 8737 8740 8521 0 -1 1077944384 6836 0 0 0 149 1 0 0 20 0 48 0 81205359 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461054306928 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8758] ppid=8737 vsize=27984684 memory=4588 CPUtime=1.26 cores=0-7
/proc/8740/task/8758/stat : 8758 (java) R 8737 8740 8521 0 -1 4202560 19574 0 0 0 122 4 0 0 20 0 48 0 81205359 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461053254048 140462046523515 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8759] ppid=8737 vsize=27984684 memory=1388 CPUtime=0 cores=0-7
/proc/8740/task/8759/stat : 8759 (java) S 8737 8740 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 81205359 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461052201568 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8760] ppid=8737 vsize=27984684 memory=1224 CPUtime=0.72 cores=0-7
/proc/8740/task/8760/stat : 8760 (java) S 8737 8740 8521 0 -1 1077944384 7986 0 0 0 36 36 0 0 20 0 48 0 81205359 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461051148848 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8761] ppid=8737 vsize=27984684 memory=15816 CPUtime=0.01 cores=0-7
/proc/8740/task/8761/stat : 8761 (java) S 8737 8740 8521 0 -1 1077944384 765 0 0 0 1 0 0 0 20 0 48 0 81205877 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461039800992 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8762] ppid=8737 vsize=27984684 memory=4048 CPUtime=2.59 cores=0-7
/proc/8740/task/8762/stat : 8762 (java) S 8737 8740 8521 0 -1 1077944384 18343 0 0 0 83 176 0 0 20 0 48 0 81205899 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461036651184 140462067849858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8763] ppid=8737 vsize=27984684 memory=14336 CPUtime=2476.46 cores=0-7
/proc/8740/task/8763/stat : 8763 (java) R 8737 8740 8521 0 -1 4202560 68322 0 0 0 247583 63 0 0 20 0 48 0 81205916 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461033496744 140461694818221 0 4 0 16800975 0 0 0 -1 0 0 0 38 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8764] ppid=8737 vsize=27984684 memory=14380 CPUtime=2477.44 cores=0-7
/proc/8740/task/8764/stat : 8764 (java) R 8737 8740 8521 0 -1 4202560 66290 0 0 0 247673 71 0 0 20 0 48 0 81205917 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461032443696 140461694817842 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8765] ppid=8737 vsize=27984684 memory=1180 CPUtime=2476.84 cores=0-7
/proc/8740/task/8765/stat : 8765 (java) R 8737 8740 8521 0 -1 4202560 62617 0 0 0 247624 60 0 0 20 0 48 0 81205920 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461029294608 140461696234485 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8766] ppid=8737 vsize=27984684 memory=8112282956445269571 CPUtime=2476.3 cores=0-7
/proc/8740/task/8766/stat : 8766 (java) R 8737 8740 8521 0 -1 4202560 63440 0 0 0 247561 69 0 0 20 0 48 0 81205924 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461028238888 140461699425880 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8767] ppid=8737 vsize=27984684 memory=8112282956445269571 CPUtime=2479.2 cores=0-7
/proc/8740/task/8767/stat : 8767 (java) R 8737 8740 8521 0 -1 4202560 58518 0 0 0 247852 68 0 0 20 0 48 0 81205924 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461027186792 140462047563837 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8768] ppid=8737 vsize=27984684 memory=-7003737579269690708 CPUtime=0.08 cores=0-7
/proc/8740/task/8768/stat : 8768 (java) S 8737 8740 8521 0 -1 1077944384 344 0 0 0 8 0 0 0 20 0 48 0 81205924 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461026141328 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8769] ppid=8737 vsize=27984684 memory=1696 CPUtime=0.05 cores=0-7
/proc/8740/task/8769/stat : 8769 (java) S 8737 8740 8521 0 -1 1077944384 109 0 0 0 5 0 0 0 20 0 48 0 81205924 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461025088528 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8770] ppid=8737 vsize=27984684 memory=916 CPUtime=0.06 cores=0-7
/proc/8740/task/8770/stat : 8770 (java) S 8737 8740 8521 0 -1 1077944384 386 0 0 0 6 0 0 0 20 0 48 0 81205924 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461024035728 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8771] ppid=8737 vsize=27984684 memory=4192 CPUtime=2476.6 cores=0-7
/proc/8740/task/8771/stat : 8771 (java) R 8737 8740 8521 0 -1 4202560 63854 0 0 0 247596 64 0 0 20 0 48 0 81205924 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461022976712 140461694435271 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8772] ppid=8737 vsize=27984684 memory=31076 CPUtime=2476.88 cores=0-7
/proc/8740/task/8772/stat : 8772 (java) R 8737 8740 8521 0 -1 4202560 63902 0 0 0 247624 64 0 0 20 0 48 0 81205926 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461021925224 140461696739196 0 4 0 16800975 0 0 0 -1 6 0 0 25 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8773] ppid=8737 vsize=27984684 memory=288230376990843587 CPUtime=2475.66 cores=0-7
/proc/8740/task/8773/stat : 8773 (java) R 8737 8740 8521 0 -1 4202560 62269 0 0 0 247502 64 0 0 20 0 48 0 81205928 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461020870824 140461699425796 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8774] ppid=8737 vsize=27984684 memory=288284485106271915 CPUtime=0 cores=0-7
/proc/8740/task/8774/stat : 8774 (java) S 8737 8740 8521 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 48 0 81205945 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461019825552 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8775] ppid=8737 vsize=27984684 memory=-3472574944341025154 CPUtime=0.01 cores=0-7
/proc/8740/task/8775/stat : 8775 (java) S 8737 8740 8521 0 -1 1077944384 667 0 0 0 1 0 0 0 20 0 48 0 81205946 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461016638736 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8776] ppid=8737 vsize=27984684 memory=297272760600887579 CPUtime=0 cores=0-7
/proc/8740/task/8776/stat : 8776 (java) S 8737 8740 8521 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 48 0 81205946 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461015585936 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8777] ppid=8737 vsize=27984684 memory=288230376990843587 CPUtime=0 cores=0-7
/proc/8740/task/8777/stat : 8777 (java) D 8737 8740 8521 0 -1 4202560 489 0 0 0 0 0 0 0 20 0 48 0 81205946 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461014533352 140461687779025 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8778] ppid=8737 vsize=27984684 memory=288284485106271915 CPUtime=0 cores=0-7
/proc/8740/task/8778/stat : 8778 (java) S 8737 8740 8521 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 48 0 81206003 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461013480336 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8779] ppid=8737 vsize=27984684 memory=288283385594643674 CPUtime=0 cores=0-7
/proc/8740/task/8779/stat : 8779 (java) S 8737 8740 8521 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 48 0 81206004 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461012428560 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8780] ppid=8737 vsize=27984684 memory=288230376990843587 CPUtime=0 cores=0-7
/proc/8740/task/8780/stat : 8780 (java) S 8737 8740 8521 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 48 0 81206004 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461011375760 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8781] ppid=8737 vsize=27984684 memory=0 CPUtime=0 cores=0-7
/proc/8740/task/8781/stat : 8781 (java) S 8737 8740 8521 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 48 0 81206004 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461010322960 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8782] ppid=8737 vsize=27984684 memory=288283385594643674 CPUtime=0 cores=0-7
/proc/8740/task/8782/stat : 8782 (java) S 8737 8740 8521 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 48 0 81206004 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461009270160 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8783] ppid=8737 vsize=27984684 memory=288370014950785307 CPUtime=0 cores=0-7
/proc/8740/task/8783/stat : 8783 (java) S 8737 8740 8521 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 48 0 81206005 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461008217360 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8784] ppid=8737 vsize=27984684 memory=6943526294502006880 CPUtime=0.01 cores=0-7
/proc/8740/task/8784/stat : 8784 (java) D 8737 8740 8521 0 -1 4202560 741 0 0 0 1 0 0 0 20 0 48 0 81206005 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461007149000 140462060555863 0 4 0 16800975 18446744071582151463 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8785] ppid=8737 vsize=27984684 memory=304055647849423555 CPUtime=0 cores=0-7
/proc/8740/task/8785/stat : 8785 (java) S 8737 8740 8521 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 48 0 81206005 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461006111760 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
[pid=8740/tid=8786] ppid=8737 vsize=27984684 memory=288284485106271915 CPUtime=0 cores=0-7
/proc/8740/task/8786/stat : 8786 (java) S 8737 8740 8521 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 48 0 81206005 28656316416 1112653 33554432000 4194304 4196468 140736252376144 140461005058960 140462067848917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30867456 140736252380237 140736252380421 140736252380421 140736252383183 0
Current children cumulated CPU time: 19911.5 s
Current children cumulated vsize: 27984684 KiB
Current children cumulated memory: 4450612 KiB

[startup+2520.3 s]*
/proc/loadavg: 8.58 8.77 8.78 2/182 8844
/proc/meminfo: memFree=21793408/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.32
CPU time (s): 19912
CPU user time (s): 19901.8
CPU system time (s): 10.2621
CPU usage (%): 790.059
Max. virtual memory (cumulated for all children) (KiB): 27984684
Max. memory (cumulated for all children) (KiB): 4457416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19901.8
system time used= 10.2621
maximum resident set size= 4457444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1517568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 742408
involuntary context switches= 431856


# summary of solver processes directly reported to runsolver:
#   pid: 8740
#   total CPU time (s): 19912
#   total CPU user time (s): 19901.8
#   total CPU system time (s): 10.2621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.4186 second user time and 35.9193 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-26 22:20:21
IDJOB=4291785
IDBENCH=141163
IDSOLVER=2745
FILE ID=node149/4291785-1532636421
RUNJOBID= node149-1532633896-8548
PBS_JOBID= 21022184
Free space on /tmp= 43260 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-matching080_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-4291785-1532636421/watcher-4291785-1532636421 -o /tmp/evaluation-result-4291785-1532636421/solver-4291785-1532636421 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532633896-8548 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1081127856 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291785-1532636421.xml

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

MD5SUM BENCH= 1c5d38a24e9bc38d89c13541019d4118
RANDOM SEED=1081127856

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
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.60
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.60
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.60
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:        23824880 kB
MemAvailable:   31927032 kB
Buffers:          146400 kB
Cached:          8128392 kB
SwapCached:            0 kB
Active:          2434860 kB
Inactive:        5895140 kB
Active(anon):       3436 kB
Inactive(anon):    79440 kB
Active(file):    2431424 kB
Inactive(file):  5815700 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35852 kB
Writeback:             0 kB
AnonPages:        258744 kB
Mapped:            34356 kB
Shmem:             25224 kB
Slab:             311696 kB
SReclaimable:     283488 kB
SUnreclaim:        28208 kB
KernelStack:        3536 kB
PageTables:         4900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43224 MiB
End job on node149 at 2018-07-26 23:02:22