Trace number 4392008

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
Concrete 3.10OPT8 1948.92 1900.52

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-5-fullins-4.xml
MD5SUM9a110b3288dcdd83da8fcc132ac433c6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark75.1369
Satisfiable
(Un)Satisfiability was proved
Number of variables1085
Number of constraints11395
Number of domains1
Minimum domain size1085
Maximum domain size1085
Distribution of domain sizes[{"size":1085,"count":1085}]
Minimum variable degree7
Maximum variable degree161
Distribution of variable degrees[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":11395}]
Number of extensional constraints0
Number of intensional constraints11395
Distribution of constraint types[{"type":"intension","count":11395}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.73/0.55	c Concrete v3.10.1560635388952 running
19.39/9.23	o 1084
21.12/10.26	o 1083
21.74/10.57	o 1082
22.21/10.84	o 1081
22.62/11.13	o 1080
23.17/11.40	o 1079
23.61/11.66	o 1078
23.96/11.90	o 1077
24.47/12.13	o 1076
24.77/12.37	o 1075
25.32/12.66	o 1074
25.68/12.89	o 1073
26.10/13.15	o 1072
26.39/13.38	o 1071
26.62/13.58	o 1070
26.85/13.79	o 1069
27.21/14.01	o 1068
27.44/14.23	o 1067
27.69/14.44	o 1066
27.98/14.67	o 1065
28.33/14.90	o 1064
28.58/15.12	o 1063
28.85/15.33	o 1062
29.09/15.52	o 1061
29.33/15.75	o 1060
29.56/15.94	o 1059
29.80/16.14	o 1058
30.05/16.37	o 1057
30.30/16.57	o 1056
30.57/16.80	o 1055
30.94/17.01	o 1054
31.24/17.22	o 1053
31.47/17.40	o 1052
31.59/17.58	o 1051
31.82/17.79	o 1050
32.05/17.99	o 1049
32.31/18.18	o 1048
32.53/18.36	o 1047
32.75/18.52	o 1046
32.98/18.74	o 1045
33.22/18.93	o 1044
33.46/19.13	o 1043
33.68/19.30	o 1042
33.83/19.47	o 1041
34.05/19.64	o 1040
34.28/19.85	o 1039
34.51/20.02	o 1038
34.63/20.19	o 1037
34.94/20.37	o 1036
35.23/20.51	o 1035
35.38/20.68	o 1034
35.60/20.83	o 1033
35.93/21.04	o 1032
36.16/21.20	o 1031
36.28/21.36	o 1030
36.51/21.51	o 1029
36.65/21.67	o 1028
36.89/21.83	o 1027
37.00/21.98	o 1026
37.27/22.12	o 1025
37.37/22.26	o 1024
37.61/22.45	o 1023
37.84/22.64	o 1022
38.07/22.81	o 1021
38.19/22.97	o 1020
38.43/23.14	o 1019
38.67/23.30	o 1018
38.79/23.47	o 1017
39.01/23.63	o 1016
39.24/23.80	o 1015
39.37/23.96	o 1014
39.63/24.17	o 1013
39.86/24.38	o 1012
40.09/24.57	o 1011
40.34/24.77	o 1010
40.57/24.98	o 1009
40.79/25.15	o 1008
40.99/25.33	o 1007
41.09/25.49	o 1006
41.30/25.66	o 1005
41.50/25.81	o 1004
41.61/25.95	o 1003
41.72/26.09	o 1002
42.06/26.30	o 1001
42.16/26.47	o 1000
42.37/26.64	o 999
42.57/26.81	o 998
42.67/26.97	o 997
42.90/27.13	o 996
43.10/27.30	o 995
43.20/27.46	o 994
43.41/27.62	o 993
43.51/27.79	o 992
43.72/27.95	o 991
43.83/28.10	o 990
44.02/28.27	o 989
44.23/28.41	o 988
44.44/28.62	o 987
44.64/28.83	o 986
44.78/29.01	o 985
45.00/29.18	o 984
45.20/29.35	o 983
45.40/29.52	o 982
45.50/29.68	o 981
45.71/29.84	o 980
45.92/30.01	o 979
46.03/30.16	o 978
46.22/30.32	o 977
46.33/30.47	o 976
46.53/30.63	o 975
46.63/30.79	o 974
46.84/30.94	o 973
46.95/31.09	o 972
47.16/31.28	o 971
47.39/31.49	o 970
47.59/31.68	o 969
47.80/31.86	o 968
48.01/32.03	o 967
48.21/32.21	o 966
48.31/32.36	o 965
48.52/32.52	o 964
48.62/32.68	o 963
48.83/32.83	o 962
48.93/32.98	o 961
49.14/33.13	o 960
49.24/33.28	o 959
49.44/33.43	o 958
49.55/33.57	o 957
49.76/33.70	o 956
49.86/33.83	o 955
49.96/33.95	o 954
50.07/34.08	o 953
50.31/34.20	o 952
50.41/34.31	o 951
50.61/34.50	o 950
50.82/34.72	o 949
51.02/34.93	o 948
51.24/35.14	o 947
51.43/35.33	o 946
51.64/35.51	o 945
51.74/35.70	o 944
51.95/35.88	o 943
52.16/36.06	o 942
52.36/36.24	o 941
52.57/36.40	o 940
52.67/36.56	o 939
52.87/36.71	o 938
53.02/36.89	o 937
53.23/37.04	o 936
53.33/37.18	o 935
53.53/37.32	o 934
53.63/37.46	o 933
53.84/37.60	o 932
53.94/37.73	o 931
54.04/37.86	o 930
54.14/38.00	o 929
54.36/38.13	o 928
54.45/38.26	o 927
54.66/38.45	o 926
54.87/38.62	o 925
54.97/38.78	o 924
55.17/38.93	o 923
55.29/39.08	o 922
55.48/39.23	o 921
55.59/39.37	o 920
55.79/39.52	o 919
55.89/39.68	o 918
56.14/39.82	o 917
56.23/39.96	o 916
56.34/40.08	o 915
56.54/40.21	o 914
56.64/40.33	o 913
56.75/40.45	o 912
56.85/40.56	o 911
56.95/40.66	o 910
57.05/40.76	o 909
57.15/40.86	o 908
57.25/40.95	o 907
57.36/41.03	o 906
57.47/41.11	o 905
57.47/41.19	o 904
57.58/41.27	o 903
57.68/41.34	o 902
57.78/41.41	o 901
57.78/41.47	o 900
57.89/41.53	o 899
57.89/41.58	o 898
57.99/41.63	o 897
57.99/41.66	o 896
57.99/41.69	o 895
58.09/41.73	o 894
58.09/41.77	o 893
58.23/41.80	o 892
58.23/41.83	o 891
58.23/41.85	o 890
58.23/41.88	o 889
58.34/41.90	o 888
58.34/41.93	o 887
58.34/41.95	o 886
58.34/41.96	o 885
58.34/41.98	o 884
58.34/42.00	o 883
58.45/42.01	o 882
58.45/42.02	o 881
58.45/42.04	o 880
58.45/42.05	o 879
58.45/42.06	o 878
58.45/42.07	o 877
58.45/42.08	o 876
58.45/42.10	o 875
58.55/42.11	o 8
1948.79/1900.49	v <instantiation
1948.79/1900.49	v         cost = '8'>
1948.79/1900.49	v       <list>
1948.79/1900.49	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084]
1948.79/1900.49	v       </list>
1948.79/1900.49	v       <values>
1948.79/1900.49	v         2 0 2 5 3 3 4 4 2 2 3 3 2 2 3 4 2 5 6 7 0 2 0 2 0 0 0 0 0 0 0 0 0 2 2 3 8 8 5 8 8 0 2 3 2 3 2 3 2 2 2 2 3 3 2 2 3 4 2 2 2 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 7 5 8 2 3 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 1 4 1 4 1 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 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 4 4 0 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 4 4 1 0 1 5 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 2 2 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 6 0 5 3 4 1 2
1948.79/1900.49	v       </values>
1948.79/1900.49	v     </instantiation>
1948.79/1900.49	s OPTIMUM FOUND

Verifier Data 

OK	8

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392008-1568308362/watcher-4392008-1568308362 -o /tmp/evaluation-result-4392008-1568308362/solver-4392008-1568308362 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568301258-4657 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1264512914 HOME/instance-4392008-1568308362.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=6611, runsolver pid=6608

[startup+0.100124 s]*
/proc/loadavg: 1.40 1.45 1.44 3/219 6668
/proc/meminfo: memFree=23039192/32770624 swapFree=66997112/67108860
[pid=6611] ppid=6608 vsize=9972712 memory=16816 CPUtime=0.1 cores=0,2,4,6
/proc/6611/stat : 6611 (java) S 6608 6611 14487 0 -1 1077944320 4431 13017 0 0 1 1 5 3 20 0 6 0 407089260 10212057088 4204 33554432000 4194304 4196468 140731472814176 140731472796720 140155706601207 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
/proc/6611/statm: 2493178 4204 1935 1 0 2481616 0
[pid=6611/tid=6664] ppid=6608 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6664/stat : 6664 (java) R 6608 6611 14487 0 -1 4202560 2264 13017 0 0 0 0 5 3 20 0 6 0 407089269 10212057088 4204 33554432000 4194304 4196468 140731472814176 140155678437968 140155690681694 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6665] ppid=6608 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6665/stat : 6665 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 6 0 407089270 10212057088 4204 33554432000 4194304 4196468 140731472814176 140155710843664 140155706611413 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6666] ppid=6608 vsize=9972712 memory=15114244993312408 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6666/stat : 6666 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 6 0 407089270 10212057088 4204 33554432000 4194304 4196468 140731472814176 140155599117200 140155706611413 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6667] ppid=6608 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6667/stat : 6667 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 6 0 407089270 10212057088 4204 33554432000 4194304 4196468 140731472814176 140155598064656 140155706611413 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6668] ppid=6608 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6668/stat : 6668 (java) S 6608 6611 14487 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 6 0 407089270 10212057088 4204 33554432000 4194304 4196468 140731472814176 140155597012112 140155706611413 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB

[startup+0.210152 s]*
/proc/loadavg: 1.40 1.45 1.44 3/228 6677
/proc/meminfo: memFree=23020560/32770624 swapFree=66997112/67108860
[pid=6611] ppid=6608 vsize=10818940 memory=37544 CPUtime=0.27 cores=0,2,4,6
/proc/6611/stat : 6611 (java) S 6608 6611 14487 0 -1 1077944320 7216 13017 0 0 17 2 5 3 20 0 15 0 407089260 11078594560 9386 33554432000 4194304 4196468 140731472814176 140731472796720 140155706601207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
/proc/6611/statm: 2704735 9386 2969 1 0 2667149 0
[pid=6611/tid=6664] ppid=6608 vsize=10818940 memory=734403540614644017 CPUtime=0.2 cores=0,2,4,6
/proc/6611/task/6664/stat : 6664 (java) R 6608 6611 14487 0 -1 4202560 3698 13017 0 0 11 1 5 3 20 0 15 0 407089269 11078594560 9386 33554432000 4194304 4196468 140731472814176 140155678434224 140155690681694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6665] ppid=6608 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6665/stat : 6665 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089270 11078594560 9386 33554432000 4194304 4196468 140731472814176 140155710843664 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6666] ppid=6608 vsize=10818940 memory=15114244993312408 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6666/stat : 6666 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089270 11078594560 9386 33554432000 4194304 4196468 140731472814176 140155599117200 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6667] ppid=6608 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6667/stat : 6667 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089270 11078594560 9386 33554432000 4194304 4196468 140731472814176 140155598064656 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6668] ppid=6608 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6668/stat : 6668 (java) S 6608 6611 14487 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 407089270 11078594560 9386 33554432000 4194304 4196468 140731472814176 140155597012112 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6669] ppid=6608 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6669/stat : 6669 (java) S 6608 6611 14487 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 407089271 11078594560 9386 33554432000 4194304 4196468 140731472814176 140155166119920 140155706612354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6670] ppid=6608 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6670/stat : 6670 (java) S 6608 6611 14487 0 -1 1077944384 33 13017 0 0 0 0 5 3 20 0 15 0 407089271 11078594560 9386 33554432000 4194304 4196468 140731472814176 140155165066144 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6671] ppid=6608 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6671/stat : 6671 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089272 11078594560 9386 33554432000 4194304 4196468 140731472814176 140154580755440 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6672] ppid=6608 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6672/stat : 6672 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089274 11078594560 9386 33554432000 4194304 4196468 140731472814176 140154273355984 140155706619803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6673] ppid=6608 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6611/task/6673/stat : 6673 (java) S 6608 6611 14487 0 -1 1077944384 584 13017 0 0 1 0 5 3 20 0 15 0 407089274 11078594560 9386 33554432000 4194304 4196468 140731472814176 140155131509232 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6674] ppid=6608 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6674/stat : 6674 (java) S 6608 6611 14487 0 -1 1077944384 71 13017 0 0 0 0 5 3 20 0 15 0 407089274 11078594560 9386 33554432000 4194304 4196468 140731472814176 140155130456688 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6675] ppid=6608 vsize=10818940 memory=139784741447296 CPUtime=0.11 cores=0,2,4,6
/proc/6611/task/6675/stat : 6675 (java) S 6608 6611 14487 0 -1 1077944384 623 13017 0 0 3 0 5 3 20 0 15 0 407089274 11078594560 9386 33554432000 4194304 4196468 140731472814176 140155129404144 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6676] ppid=6608 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6676/stat : 6676 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089275 11078594560 9386 33554432000 4194304 4196468 140731472814176 140154239798368 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6677] ppid=6608 vsize=10818940 memory=139784741447296 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6677/stat : 6677 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089275 11078594560 9386 33554432000 4194304 4196468 140731472814176 140155128351024 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 37544 KiB

[startup+0.310473 s]*
/proc/loadavg: 1.40 1.45 1.44 4/228 6677
/proc/meminfo: memFree=23008924/32770624 swapFree=66997112/67108860
[pid=6611] ppid=6608 vsize=10820096 memory=48832 CPUtime=0.4 cores=0,2,4,6
/proc/6611/stat : 6611 (java) S 6608 6611 14487 0 -1 1077944320 10857 13017 0 0 29 3 5 3 20 0 15 0 407089260 11079778304 12208 33554432000 4194304 4196468 140731472814176 140731472796720 140155706601207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
/proc/6611/statm: 2705024 12208 3220 1 0 2667149 0
[pid=6611/tid=6664] ppid=6608 vsize=10820096 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/6611/task/6664/stat : 6664 (java) R 6608 6611 14487 0 -1 4202560 7314 13017 0 0 19 2 5 3 20 0 15 0 407089269 11079778304 12208 33554432000 4194304 4196468 140731472814176 140155678415720 140155706623133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6665] ppid=6608 vsize=10820096 memory=-7384621950708166502 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6665/stat : 6665 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089270 11079778304 12208 33554432000 4194304 4196468 140731472814176 140155710843664 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6666] ppid=6608 vsize=10820096 memory=4134692831991783777 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6666/stat : 6666 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089270 11079778304 12208 33554432000 4194304 4196468 140731472814176 140155599117200 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6667] ppid=6608 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6667/stat : 6667 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089270 11079778304 12208 33554432000 4194304 4196468 140731472814176 140155598064656 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6668] ppid=6608 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6668/stat : 6668 (java) S 6608 6611 14487 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 407089270 11079778304 12208 33554432000 4194304 4196468 140731472814176 140155597012112 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6669] ppid=6608 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6669/stat : 6669 (java) S 6608 6611 14487 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 407089271 11079778304 12208 33554432000 4194304 4196468 140731472814176 140155166119920 140155706612354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6670] ppid=6608 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6670/stat : 6670 (java) S 6608 6611 14487 0 -1 1077944384 33 13017 0 0 0 0 5 3 20 0 15 0 407089271 11079778304 12208 33554432000 4194304 4196468 140731472814176 140155165066144 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6671] ppid=6608 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6671/stat : 6671 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089272 11079778304 12208 33554432000 4194304 4196468 140731472814176 140154580755440 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6672] ppid=6608 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6672/stat : 6672 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089274 11079778304 12208 33554432000 4194304 4196468 140731472814176 140154273355984 140155706619803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6673] ppid=6608 vsize=10820096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6611/task/6673/stat : 6673 (java) S 6608 6611 14487 0 -1 1077944384 585 13017 0 0 2 0 5 3 20 0 15 0 407089274 11079778304 12208 33554432000 4194304 4196468 140731472814176 140155131509232 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6674] ppid=6608 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6611/task/6674/stat : 6674 (java) S 6608 6611 14487 0 -1 1077944384 71 13017 0 0 1 0 5 3 20 0 15 0 407089274 11079778304 12208 33554432000 4194304 4196468 140731472814176 140155130456688 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6675] ppid=6608 vsize=10820096 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6611/task/6675/stat : 6675 (java) S 6608 6611 14487 0 -1 1077944384 633 13017 0 0 5 0 5 3 20 0 15 0 407089274 11079778304 12208 33554432000 4194304 4196468 140731472814176 140155129404144 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6676] ppid=6608 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6676/stat : 6676 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089275 11079778304 12208 33554432000 4194304 4196468 140731472814176 140154239798368 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6677] ppid=6608 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6677/stat : 6677 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089275 11079778304 12208 33554432000 4194304 4196468 140731472814176 140155128351024 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 48832 KiB

[startup+0.700784 s]
/proc/loadavg: 1.40 1.45 1.44 7/228 6677
/proc/meminfo: memFree=22994208/32770624 swapFree=66997112/67108860
[pid=6611] ppid=6608 vsize=10824340 memory=78168 CPUtime=1.14 cores=0,2,4,6
/proc/6611/stat : 6611 (java) S 6608 6611 14487 0 -1 1077944320 14817 13017 0 0 100 6 5 3 20 0 15 0 407089260 11084124160 19542 33554432000 4194304 4196468 140731472814176 140731472796720 140155706601207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
/proc/6611/statm: 2706085 19542 3496 1 0 2668173 0
[pid=6611/tid=6664] ppid=6608 vsize=10824340 memory=3504 CPUtime=0.66 cores=0,2,4,6
/proc/6611/task/6664/stat : 6664 (java) R 6608 6611 14487 0 -1 4202560 10513 13017 0 0 54 4 5 3 20 0 15 0 407089269 11084124160 19542 33554432000 4194304 4196468 140731472814176 140155678430784 140155690681694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6665] ppid=6608 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6665/stat : 6665 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089270 11084124160 19542 33554432000 4194304 4196468 140731472814176 140155710843664 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6666] ppid=6608 vsize=10824340 memory=37744 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6666/stat : 6666 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089270 11084124160 19542 33554432000 4194304 4196468 140731472814176 140155599117200 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6667] ppid=6608 vsize=10824340 memory=3028 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6667/stat : 6667 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089270 11084124160 19542 33554432000 4194304 4196468 140731472814176 140155598064656 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6668] ppid=6608 vsize=10824340 memory=2012 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6668/stat : 6668 (java) S 6608 6611 14487 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 407089270 11084124160 19542 33554432000 4194304 4196468 140731472814176 140155597012112 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6669] ppid=6608 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6669/stat : 6669 (java) S 6608 6611 14487 0 -1 1077944384 6 13017 0 0 0 0 5 3 20 0 15 0 407089271 11084124160 19542 33554432000 4194304 4196468 140731472814176 140155166119920 140155706612354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6670] ppid=6608 vsize=10824340 memory=-6592860228303572950 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6670/stat : 6670 (java) S 6608 6611 14487 0 -1 1077944384 33 13017 0 0 0 0 5 3 20 0 15 0 407089271 11084124160 19542 33554432000 4194304 4196468 140731472814176 140155165066144 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6671] ppid=6608 vsize=10824340 memory=3470692292451393600 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6671/stat : 6671 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089272 11084124160 19542 33554432000 4194304 4196468 140731472814176 140154580755440 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6672] ppid=6608 vsize=10824340 memory=4207095701905760320 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6672/stat : 6672 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089274 11084124160 19542 33554432000 4194304 4196468 140731472814176 140154273355984 140155706619803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6673] ppid=6608 vsize=10824340 memory=7742969266734009136 CPUtime=0.23 cores=0,2,4,6
/proc/6611/task/6673/stat : 6673 (java) S 6608 6611 14487 0 -1 1077944384 915 13017 0 0 15 0 5 3 20 0 15 0 407089274 11084124160 19542 33554432000 4194304 4196468 140731472814176 140155131509232 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6674] ppid=6608 vsize=10824340 memory=6935649255911810368 CPUtime=0.2 cores=0,2,4,6
/proc/6611/task/6674/stat : 6674 (java) S 6608 6611 14487 0 -1 1077944384 350 13017 0 0 12 0 5 3 20 0 15 0 407089274 11084124160 19542 33554432000 4194304 4196468 140731472814176 140155130456688 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6675] ppid=6608 vsize=10824340 memory=7250080924377825376 CPUtime=0.25 cores=0,2,4,6
/proc/6611/task/6675/stat : 6675 (java) S 6608 6611 14487 0 -1 1077944384 782 13017 0 0 17 0 5 3 20 0 15 0 407089274 11084124160 19542 33554432000 4194304 4196468 140731472814176 140155129404144 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6676] ppid=6608 vsize=10824340 memory=4627829255015776352 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6676/stat : 6676 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089275 11084124160 19542 33554432000 4194304 4196468 140731472814176 140154239798368 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6677] ppid=6608 vsize=10824340 memory=6935649255759568960 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6677/stat : 6677 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089275 11084124160 19542 33554432000 4194304 4196468 140731472814176 140155128351024 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 78168 KiB

[startup+1.50082 s]
/proc/loadavg: 1.40 1.45 1.44 5/228 6677
/proc/meminfo: memFree=22946548/32770624 swapFree=66997112/67108860
[pid=6611] ppid=6608 vsize=10832608 memory=194816 CPUtime=3.21 cores=0,2,4,6
/proc/6611/stat : 6611 (java) S 6608 6611 14487 0 -1 1077944320 23694 13017 0 0 304 9 5 3 20 0 15 0 407089260 11092590592 48704 33554432000 4194304 4196468 140731472814176 140731472796720 140155706601207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
/proc/6611/statm: 2708152 48704 3552 1 0 2670221 0
[pid=6611/tid=6664] ppid=6608 vsize=10832608 memory=8 CPUtime=1.46 cores=0,2,4,6
/proc/6611/task/6664/stat : 6664 (java) R 6608 6611 14487 0 -1 4202560 14349 13017 0 0 131 7 5 3 20 0 15 0 407089269 11092590592 48704 33554432000 4194304 4196468 140731472814176 140155678418960 140155690681694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6665] ppid=6608 vsize=10832608 memory=37744 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6665/stat : 6665 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089270 11092590592 48704 33554432000 4194304 4196468 140731472814176 140155710843664 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6666] ppid=6608 vsize=10832608 memory=3028 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6666/stat : 6666 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089270 11092590592 48704 33554432000 4194304 4196468 140731472814176 140155599117200 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6667] ppid=6608 vsize=10832608 memory=2012 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6667/stat : 6667 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089270 11092590592 48704 33554432000 4194304 4196468 140731472814176 140155598064656 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6668] ppid=6608 vsize=10832608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6668/stat : 6668 (java) S 6608 6611 14487 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 407089270 11092590592 48704 33554432000 4194304 4196468 140731472814176 140155597012112 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6669] ppid=6608 vsize=10832608 memory=667680 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6669/stat : 6669 (java) S 6608 6611 14487 0 -1 1077944384 16 13017 0 0 0 0 5 3 20 0 15 0 407089271 11092590592 48704 33554432000 4194304 4196468 140731472814176 140155166119920 140155706612354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6670] ppid=6608 vsize=10832608 memory=10 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6670/stat : 6670 (java) S 6608 6611 14487 0 -1 1077944384 33 13017 0 0 0 0 5 3 20 0 15 0 407089271 11092590592 48704 33554432000 4194304 4196468 140731472814176 140155165066144 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6671] ppid=6608 vsize=10832608 memory=10 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6671/stat : 6671 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089272 11092590592 48704 33554432000 4194304 4196468 140731472814176 140154580755440 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6672] ppid=6608 vsize=10832608 memory=3471202396320837713 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6672/stat : 6672 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089274 11092590592 48704 33554432000 4194304 4196468 140731472814176 140154273355984 140155706619803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6673] ppid=6608 vsize=10832608 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/6611/task/6673/stat : 6673 (java) S 6608 6611 14487 0 -1 1077944384 2894 13017 0 0 67 0 5 3 20 0 15 0 407089274 11092590592 48704 33554432000 4194304 4196468 140731472814176 140155131509232 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6674] ppid=6608 vsize=10832608 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/6611/task/6674/stat : 6674 (java) S 6608 6611 14487 0 -1 1077944384 2274 13017 0 0 62 0 5 3 20 0 15 0 407089274 11092590592 48704 33554432000 4194304 4196468 140731472814176 140155130456688 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6675] ppid=6608 vsize=10832608 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/6611/task/6675/stat : 6675 (java) S 6608 6611 14487 0 -1 1077944384 1909 13017 0 0 42 0 5 3 20 0 15 0 407089274 11092590592 48704 33554432000 4194304 4196468 140731472814176 140155129404144 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6676] ppid=6608 vsize=10832608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6676/stat : 6676 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089275 11092590592 48704 33554432000 4194304 4196468 140731472814176 140154239798368 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6677] ppid=6608 vsize=10832608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6677/stat : 6677 (java) S 6608 6611 14487 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 407089275 11092590592 48704 33554432000 4194304 4196468 140731472814176 140155128351024 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
Current children cumulated CPU time: 3.21 s
Current children cumulated vsize: 10832608 KiB

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


[startup+1897.6 s]
/proc/loadavg: 1.53 1.48 1.42 3/231 7110
/proc/meminfo: memFree=19359336/32770624 swapFree=66997112/67108860
[pid=6611] ppid=6608 vsize=10846964 memory=2618496 CPUtime=1945.94 cores=0,2,4,6
/proc/6611/stat : 6611 (java) S 6608 6611 14487 0 -1 1077944320 311548 13017 0 0 194270 316 5 3 20 0 15 0 407089260 11107291136 654624 33554432000 4194304 4196468 140731472814176 140731472796720 140155706601207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
/proc/6611/statm: 2711741 654624 3634 1 0 2673805 0
[pid=6611/tid=6664] ppid=6608 vsize=10846964 memory=8488 CPUtime=1879.51 cores=0,2,4,6
/proc/6611/task/6664/stat : 6664 (java) R 6608 6611 14487 0 -1 4202560 94928 13017 0 0 187870 73 5 3 20 0 15 0 407089269 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155678437568 140155285142915 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6665] ppid=6608 vsize=10846964 memory=3028 CPUtime=9.94 cores=0,2,4,6
/proc/6611/task/6665/stat : 6665 (java) S 6608 6611 14487 0 -1 1077944384 24017 13017 0 0 943 43 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155710843664 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6666] ppid=6608 vsize=10846964 memory=2618496 CPUtime=9.94 cores=0,2,4,6
/proc/6611/task/6666/stat : 6666 (java) S 6608 6611 14487 0 -1 1077944384 32750 13017 0 0 946 40 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155599117200 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6667] ppid=6608 vsize=10846964 memory=2616448 CPUtime=9.94 cores=0,2,4,6
/proc/6611/task/6667/stat : 6667 (java) S 6608 6611 14487 0 -1 1077944384 29739 13017 0 0 943 43 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155598064656 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6668] ppid=6608 vsize=10846964 memory=776 CPUtime=9.94 cores=0,2,4,6
/proc/6611/task/6668/stat : 6668 (java) S 6608 6611 14487 0 -1 1077944384 34019 13017 0 0 942 44 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155597012112 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6669] ppid=6608 vsize=10846964 memory=3504 CPUtime=6.27 cores=0,2,4,6
/proc/6611/task/6669/stat : 6669 (java) S 6608 6611 14487 0 -1 1077944384 26519 13017 0 0 582 37 5 3 20 0 15 0 407089271 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155166119920 140155706612354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6670] ppid=6608 vsize=10846964 memory=37796 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6670/stat : 6670 (java) S 6608 6611 14487 0 -1 1077944384 49 13017 0 0 0 0 5 3 20 0 15 0 407089271 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155165066208 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6671] ppid=6608 vsize=10846964 memory=3028 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6671/stat : 6671 (java) S 6608 6611 14487 0 -1 1077944384 9 13017 0 0 0 0 5 3 20 0 15 0 407089272 11107291136 654624 33554432000 4194304 4196468 140731472814176 140154580755456 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6672] ppid=6608 vsize=10846964 memory=1112 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6672/stat : 6672 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140154273355984 140155706619803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6673] ppid=6608 vsize=10846964 memory=1020 CPUtime=8.05 cores=0,2,4,6
/proc/6611/task/6673/stat : 6673 (java) S 6608 6611 14487 0 -1 1077944384 21732 13017 0 0 792 5 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155131509232 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6674] ppid=6608 vsize=10846964 memory=5968 CPUtime=7.96 cores=0,2,4,6
/proc/6611/task/6674/stat : 6674 (java) S 6608 6611 14487 0 -1 1077944384 24159 13017 0 0 782 6 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155130456688 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6675] ppid=6608 vsize=10846964 memory=1388 CPUtime=3.86 cores=0,2,4,6
/proc/6611/task/6675/stat : 6675 (java) S 6608 6611 14487 0 -1 1077944384 19399 13017 0 0 373 5 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155129404144 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6676] ppid=6608 vsize=10846964 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6676/stat : 6676 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089275 11107291136 654624 33554432000 4194304 4196468 140731472814176 140154239798368 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6677] ppid=6608 vsize=10846964 memory=3500 CPUtime=1.14 cores=0,2,4,6
/proc/6611/task/6677/stat : 6677 (java) S 6608 6611 14487 0 -1 1077944384 2016 13017 0 0 53 53 5 3 20 0 15 0 407089275 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155128351024 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
Current children cumulated CPU time: 1945.94 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2618496 KiB

[startup+1899.2 s]
/proc/loadavg: 1.53 1.48 1.42 3/231 7110
/proc/meminfo: memFree=19362428/32770624 swapFree=66997112/67108860
[pid=6611] ppid=6608 vsize=10846964 memory=2618496 CPUtime=1947.56 cores=0,2,4,6
/proc/6611/stat : 6611 (java) S 6608 6611 14487 0 -1 1077944320 311557 13017 0 0 194432 316 5 3 20 0 15 0 407089260 11107291136 654624 33554432000 4194304 4196468 140731472814176 140731472796720 140155706601207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
/proc/6611/statm: 2711741 654624 3634 1 0 2673805 0
[pid=6611/tid=6664] ppid=6608 vsize=10846964 memory=2618496 CPUtime=1881.09 cores=0,2,4,6
/proc/6611/task/6664/stat : 6664 (java) R 6608 6611 14487 0 -1 4202560 94936 13017 0 0 188028 73 5 3 20 0 15 0 407089269 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155678436448 140155271482564 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6665] ppid=6608 vsize=10846964 memory=2618496 CPUtime=9.95 cores=0,2,4,6
/proc/6611/task/6665/stat : 6665 (java) S 6608 6611 14487 0 -1 1077944384 24017 13017 0 0 943 44 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155710843664 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6666] ppid=6608 vsize=10846964 memory=2618496 CPUtime=9.95 cores=0,2,4,6
/proc/6611/task/6666/stat : 6666 (java) S 6608 6611 14487 0 -1 1077944384 32750 13017 0 0 947 40 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155599117200 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6667] ppid=6608 vsize=10846964 memory=2618496 CPUtime=9.95 cores=0,2,4,6
/proc/6611/task/6667/stat : 6667 (java) S 6608 6611 14487 0 -1 1077944384 29740 13017 0 0 944 43 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155598064656 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6668] ppid=6608 vsize=10846964 memory=1704 CPUtime=9.95 cores=0,2,4,6
/proc/6611/task/6668/stat : 6668 (java) S 6608 6611 14487 0 -1 1077944384 34019 13017 0 0 943 44 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155597012112 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6669] ppid=6608 vsize=10846964 memory=8112282956445269571 CPUtime=6.28 cores=0,2,4,6
/proc/6611/task/6669/stat : 6669 (java) S 6608 6611 14487 0 -1 1077944384 26519 13017 0 0 583 37 5 3 20 0 15 0 407089271 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155166119920 140155706612354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6670] ppid=6608 vsize=10846964 memory=3500 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6670/stat : 6670 (java) S 6608 6611 14487 0 -1 1077944384 49 13017 0 0 0 0 5 3 20 0 15 0 407089271 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155165066208 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6671] ppid=6608 vsize=10846964 memory=2828 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6671/stat : 6671 (java) S 6608 6611 14487 0 -1 1077944384 9 13017 0 0 0 0 5 3 20 0 15 0 407089272 11107291136 654624 33554432000 4194304 4196468 140731472814176 140154580755456 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6672] ppid=6608 vsize=10846964 memory=676 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6672/stat : 6672 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140154273355984 140155706619803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6673] ppid=6608 vsize=10846964 memory=37796 CPUtime=8.05 cores=0,2,4,6
/proc/6611/task/6673/stat : 6673 (java) S 6608 6611 14487 0 -1 1077944384 21732 13017 0 0 792 5 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155131509232 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6674] ppid=6608 vsize=10846964 memory=3028 CPUtime=7.96 cores=0,2,4,6
/proc/6611/task/6674/stat : 6674 (java) S 6608 6611 14487 0 -1 1077944384 24159 13017 0 0 782 6 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155130456688 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6675] ppid=6608 vsize=10846964 memory=2012 CPUtime=3.86 cores=0,2,4,6
/proc/6611/task/6675/stat : 6675 (java) S 6608 6611 14487 0 -1 1077944384 19399 13017 0 0 373 5 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155129404144 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6676] ppid=6608 vsize=10846964 memory=1388 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6676/stat : 6676 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089275 11107291136 654624 33554432000 4194304 4196468 140731472814176 140154239798368 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6677] ppid=6608 vsize=10846964 memory=2618496 CPUtime=1.14 cores=0,2,4,6
/proc/6611/task/6677/stat : 6677 (java) S 6608 6611 14487 0 -1 1077944384 2016 13017 0 0 53 53 5 3 20 0 15 0 407089275 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155128351024 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
Current children cumulated CPU time: 1947.56 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2618496 KiB

[startup+1900 s]*
/proc/loadavg: 1.53 1.48 1.42 3/231 7110
/proc/meminfo: memFree=19362436/32770624 swapFree=66997112/67108860
[pid=6611] ppid=6608 vsize=10846964 memory=2618496 CPUtime=1948.39 cores=0,2,4,6
/proc/6611/stat : 6611 (java) S 6608 6611 14487 0 -1 1077944320 311561 13017 0 0 194515 316 5 3 20 0 15 0 407089260 11107291136 654624 33554432000 4194304 4196468 140731472814176 140731472796720 140155706601207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
/proc/6611/statm: 2711741 654624 3634 1 0 2673805 0
[pid=6611/tid=6664] ppid=6608 vsize=10846964 memory=8317482817917895235 CPUtime=1881.89 cores=0,2,4,6
/proc/6611/task/6664/stat : 6664 (java) R 6608 6611 14487 0 -1 4202560 94940 13017 0 0 188108 73 5 3 20 0 15 0 407089269 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155678437376 140155271404202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6665] ppid=6608 vsize=10846964 memory=8317482817917895235 CPUtime=9.96 cores=0,2,4,6
/proc/6611/task/6665/stat : 6665 (java) S 6608 6611 14487 0 -1 1077944384 24017 13017 0 0 944 44 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155710843664 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6666] ppid=6608 vsize=10846964 memory=8488 CPUtime=9.95 cores=0,2,4,6
/proc/6611/task/6666/stat : 6666 (java) S 6608 6611 14487 0 -1 1077944384 32750 13017 0 0 947 40 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155599117200 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6667] ppid=6608 vsize=10846964 memory=1704 CPUtime=9.96 cores=0,2,4,6
/proc/6611/task/6667/stat : 6667 (java) S 6608 6611 14487 0 -1 1077944384 29740 13017 0 0 945 43 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155598064656 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6668] ppid=6608 vsize=10846964 memory=1112 CPUtime=9.95 cores=0,2,4,6
/proc/6611/task/6668/stat : 6668 (java) S 6608 6611 14487 0 -1 1077944384 34019 13017 0 0 943 44 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155597012112 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6669] ppid=6608 vsize=10846964 memory=279569220982000 CPUtime=6.28 cores=0,2,4,6
/proc/6611/task/6669/stat : 6669 (java) S 6608 6611 14487 0 -1 1077944384 26519 13017 0 0 583 37 5 3 20 0 15 0 407089271 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155166119920 140155706612354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6670] ppid=6608 vsize=10846964 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6670/stat : 6670 (java) S 6608 6611 14487 0 -1 1077944384 49 13017 0 0 0 0 5 3 20 0 15 0 407089271 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155165066208 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6671] ppid=6608 vsize=10846964 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6671/stat : 6671 (java) S 6608 6611 14487 0 -1 1077944384 9 13017 0 0 0 0 5 3 20 0 15 0 407089272 11107291136 654624 33554432000 4194304 4196468 140731472814176 140154580755456 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6672] ppid=6608 vsize=10846964 memory=3640 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6672/stat : 6672 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140154273355984 140155706619803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6673] ppid=6608 vsize=10846964 memory=1980 CPUtime=8.05 cores=0,2,4,6
/proc/6611/task/6673/stat : 6673 (java) S 6608 6611 14487 0 -1 1077944384 21732 13017 0 0 792 5 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155131509232 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6674] ppid=6608 vsize=10846964 memory=8488 CPUtime=7.96 cores=0,2,4,6
/proc/6611/task/6674/stat : 6674 (java) S 6608 6611 14487 0 -1 1077944384 24159 13017 0 0 782 6 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155130456688 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6675] ppid=6608 vsize=10846964 memory=1704 CPUtime=3.86 cores=0,2,4,6
/proc/6611/task/6675/stat : 6675 (java) S 6608 6611 14487 0 -1 1077944384 19399 13017 0 0 373 5 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155129404144 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6676] ppid=6608 vsize=10846964 memory=1112 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6676/stat : 6676 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089275 11107291136 654624 33554432000 4194304 4196468 140731472814176 140154239798368 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6677] ppid=6608 vsize=10846964 memory=1020 CPUtime=1.14 cores=0,2,4,6
/proc/6611/task/6677/stat : 6677 (java) S 6608 6611 14487 0 -1 1077944384 2016 13017 0 0 53 53 5 3 20 0 15 0 407089275 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155128351024 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
Current children cumulated CPU time: 1948.39 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2618496 KiB

[startup+1900.4 s]
/proc/loadavg: 1.53 1.48 1.42 3/231 7110
/proc/meminfo: memFree=19362436/32770624 swapFree=66997112/67108860
[pid=6611] ppid=6608 vsize=10846964 memory=2618496 CPUtime=1948.79 cores=0,2,4,6
/proc/6611/stat : 6611 (java) S 6608 6611 14487 0 -1 1077944320 311564 13017 0 0 194555 316 5 3 20 0 15 0 407089260 11107291136 654624 33554432000 4194304 4196468 140731472814176 140731472796720 140155706601207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
/proc/6611/statm: 2711741 654624 3634 1 0 2673805 0
[pid=6611/tid=6664] ppid=6608 vsize=10846964 memory=1764 CPUtime=1882.28 cores=0,2,4,6
/proc/6611/task/6664/stat : 6664 (java) R 6608 6611 14487 0 -1 4202560 94943 13017 0 0 188147 73 5 3 20 0 15 0 407089269 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155678437312 140155277743617 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6665] ppid=6608 vsize=10846964 memory=111628 CPUtime=9.96 cores=0,2,4,6
/proc/6611/task/6665/stat : 6665 (java) S 6608 6611 14487 0 -1 1077944384 24017 13017 0 0 944 44 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155710843664 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6666] ppid=6608 vsize=10846964 memory=796 CPUtime=9.96 cores=0,2,4,6
/proc/6611/task/6666/stat : 6666 (java) S 6608 6611 14487 0 -1 1077944384 32750 13017 0 0 948 40 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155599117200 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6667] ppid=6608 vsize=10846964 memory=2604 CPUtime=9.96 cores=0,2,4,6
/proc/6611/task/6667/stat : 6667 (java) S 6608 6611 14487 0 -1 1077944384 29740 13017 0 0 945 43 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155598064656 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6668] ppid=6608 vsize=10846964 memory=2864 CPUtime=9.95 cores=0,2,4,6
/proc/6611/task/6668/stat : 6668 (java) S 6608 6611 14487 0 -1 1077944384 34019 13017 0 0 943 44 5 3 20 0 15 0 407089270 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155597012112 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6669] ppid=6608 vsize=10846964 memory=1408 CPUtime=6.28 cores=0,2,4,6
/proc/6611/task/6669/stat : 6669 (java) S 6608 6611 14487 0 -1 1077944384 26519 13017 0 0 583 37 5 3 20 0 15 0 407089271 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155166119920 140155706612354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6670] ppid=6608 vsize=10846964 memory=2618496 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6670/stat : 6670 (java) S 6608 6611 14487 0 -1 1077944384 49 13017 0 0 0 0 5 3 20 0 15 0 407089271 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155165066208 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6671] ppid=6608 vsize=10846964 memory=500 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6671/stat : 6671 (java) S 6608 6611 14487 0 -1 1077944384 9 13017 0 0 0 0 5 3 20 0 15 0 407089272 11107291136 654624 33554432000 4194304 4196468 140731472814176 140154580755456 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6672] ppid=6608 vsize=10846964 memory=1560 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6672/stat : 6672 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140154273355984 140155706619803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6673] ppid=6608 vsize=10846964 memory=932 CPUtime=8.05 cores=0,2,4,6
/proc/6611/task/6673/stat : 6673 (java) S 6608 6611 14487 0 -1 1077944384 21732 13017 0 0 792 5 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155131509232 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6674] ppid=6608 vsize=10846964 memory=3640 CPUtime=7.96 cores=0,2,4,6
/proc/6611/task/6674/stat : 6674 (java) S 6608 6611 14487 0 -1 1077944384 24159 13017 0 0 782 6 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155130456688 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6675] ppid=6608 vsize=10846964 memory=1980 CPUtime=3.86 cores=0,2,4,6
/proc/6611/task/6675/stat : 6675 (java) S 6608 6611 14487 0 -1 1077944384 19399 13017 0 0 373 5 5 3 20 0 15 0 407089274 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155129404144 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6676] ppid=6608 vsize=10846964 memory=2512 CPUtime=0.08 cores=0,2,4,6
/proc/6611/task/6676/stat : 6676 (java) S 6608 6611 14487 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 407089275 11107291136 654624 33554432000 4194304 4196468 140731472814176 140154239798368 140155706611413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
[pid=6611/tid=6677] ppid=6608 vsize=10846964 memory=1436 CPUtime=1.14 cores=0,2,4,6
/proc/6611/task/6677/stat : 6677 (java) S 6608 6611 14487 0 -1 1077944384 2016 13017 0 0 53 53 5 3 20 0 15 0 407089275 11107291136 654624 33554432000 4194304 4196468 140731472814176 140155128351024 140155706612354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 10096640 140731472820981 140731472823493 140731472823493 140731472826319 0
Current children cumulated CPU time: 1948.79 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2618496 KiB

[startup+1900.5 s]*
/proc/loadavg: 1.53 1.48 1.42 3/218 7111
/proc/meminfo: memFree=20286104/32770624 swapFree=66997112/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 1900.52
CPU time (s): 1948.92
CPU user time (s): 1945.69
CPU system time (s): 3.22571
CPU usage (%): 102.547
Max. virtual memory (cumulated for all children) (KiB): 10847540
Max. memory (cumulated for all children) (KiB): 2841388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1945.69
system time used= 3.22571
maximum resident set size= 2841388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 184486
involuntary context switches= 4954


# summary of solver processes directly reported to runsolver:
#   pid: 6611
#   total CPU time (s): 1948.92
#   total CPU user time (s): 1945.69
#   total CPU system time (s): 3.22571

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6867 second user time and 17.7172 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-12 19:11:43
IDJOB=4392008
IDBENCH=120658
IDSOLVER=2837
FILE ID=node103/4392008-1568308362
RUNJOBID= node103-1568301258-4657
PBS_JOBID= 21701108
Free space on /tmp= 57232 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-5-fullins-4.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392008-1568308362/watcher-4392008-1568308362 -o /tmp/evaluation-result-4392008-1568308362/solver-4392008-1568308362 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568301258-4657 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1264512914 HOME/instance-4392008-1568308362.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6
RANDOM SEED=1264512914

node103.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.74
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.74
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.74
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.74
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:        23045168 kB
MemAvailable:   31132352 kB
Buffers:          134976 kB
Cached:          8173036 kB
SwapCached:         8920 kB
Active:          2475316 kB
Inactive:        6564892 kB
Active(anon):     720832 kB
Inactive(anon):    53084 kB
Active(file):    1754484 kB
Inactive(file):  6511808 kB
Unevictable:      107416 kB
Mlocked:          107416 kB
SwapTotal:      67108860 kB
SwapFree:       66997112 kB
Dirty:             35624 kB
Writeback:             0 kB
AnonPages:        831688 kB
Mapped:            56548 kB
Shmem:             32812 kB
Slab:             279524 kB
SReclaimable:     249352 kB
SUnreclaim:        30172 kB
KernelStack:        3728 kB
PageTables:         7524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1974164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    647168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 57196 MiB
End job on node103 at 2019-09-12 19:43:24