Trace number 4304259

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.9.2OPT8 1429.03 1390.48

General information on the benchmark

NameGraphColoring/
GraphColoring-5-fullins-4_c18.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 benchmark141.733
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.09/0.74	c Concrete v3.9.2.1532736233296 running
23.26/10.69	o 1084
25.48/12.01	o 1083
25.94/12.27	o 1082
26.70/12.52	o 1081
27.24/12.80	o 1080
27.63/13.05	o 1079
28.12/13.30	o 1078
28.52/13.51	o 1077
28.81/13.71	o 1076
28.95/13.87	o 1075
29.22/14.06	o 1074
29.47/14.26	o 1073
29.75/14.44	o 1072
29.96/14.63	o 1071
30.16/14.81	o 1070
30.26/14.97	o 1069
30.48/15.16	o 1068
30.75/15.35	o 1067
31.01/15.59	o 1066
31.19/15.78	o 1065
31.45/15.98	o 1064
31.66/16.14	o 1063
31.86/16.32	o 1062
32.07/16.52	o 1061
32.26/16.70	o 1060
32.36/16.86	o 1059
32.56/17.05	o 1058
32.77/17.21	o 1057
32.87/17.37	o 1056
33.16/17.51	o 1055
33.35/17.70	o 1054
33.45/17.85	o 1053
33.65/18.02	o 1052
33.75/18.17	o 1051
33.98/18.34	o 1050
34.19/18.52	o 1049
34.29/18.70	o 1048
34.48/18.85	o 1047
34.68/19.01	o 1046
34.78/19.19	o 1045
34.98/19.37	o 1044
35.19/19.53	o 1043
35.30/19.67	o 1042
35.49/19.82	o 1041
35.59/19.98	o 1040
35.79/20.13	o 1039
35.89/20.30	o 1038
36.09/20.46	o 1037
36.46/20.63	o 1036
36.69/20.81	o 1035
36.79/20.98	o 1034
36.99/21.17	o 1033
37.36/21.39	o 1032
37.57/21.57	o 1031
37.80/21.73	o 1030
37.90/21.86	o 1029
38.00/21.99	o 1028
38.20/22.12	o 1027
38.31/22.23	o 1026
38.41/22.35	o 1025
38.63/22.52	o 1024
38.73/22.67	o 1023
38.92/22.82	o 1022
39.02/22.97	o 1021
39.12/23.10	o 1020
39.32/23.22	o 1019
39.42/23.36	o 1018
39.52/23.50	o 1017
39.73/23.64	o 1016
39.82/23.76	o 1015
40.02/23.93	o 1014
40.13/24.07	o 1013
40.33/24.23	o 1012
40.43/24.36	o 1011
40.53/24.48	o 1010
40.63/24.60	o 1009
40.82/24.71	o 1008
40.93/24.83	o 1007
41.06/24.93	o 1006
41.16/25.03	o 1005
41.26/25.13	o 1004
41.36/25.22	o 1003
41.46/25.31	o 1002
41.56/25.48	o 1001
41.77/25.62	o 1000
41.86/25.75	o 999
41.96/25.89	o 998
42.16/26.01	o 997
42.26/26.13	o 996
42.36/26.25	o 995
42.46/26.36	o 994
42.57/26.47	o 993
42.68/26.57	o 992
42.78/26.67	o 991
42.87/26.77	o 990
42.97/26.86	o 989
43.07/26.96	o 988
43.17/27.04	o 987
43.37/27.20	o 986
43.48/27.35	o 985
43.58/27.49	o 984
43.79/27.62	o 983
43.88/27.74	o 982
43.98/27.86	o 981
44.08/27.98	o 980
44.29/28.10	o 979
44.38/28.23	o 978
44.48/28.34	o 977
44.59/28.47	o 976
44.70/28.58	o 975
44.80/28.69	o 974
45.01/28.80	o 973
45.11/28.90	o 972
45.11/29.00	o 971
45.22/29.09	o 970
45.32/29.19	o 969
45.52/29.35	o 968
45.73/29.52	o 967
45.83/29.68	o 966
46.02/29.84	o 965
46.12/30.00	o 964
46.32/30.14	o 963
46.52/30.30	o 962
46.62/30.45	o 961
46.72/30.60	o 960
46.92/30.74	o 959
47.02/30.87	o 958
47.23/31.00	o 957
47.33/31.13	o 956
47.43/31.25	o 955
47.53/31.38	o 954
47.63/31.50	o 953
47.84/31.62	o 952
47.93/31.74	o 951
48.03/31.85	o 950
48.13/31.94	o 949
48.33/32.10	o 948
48.43/32.25	o 947
48.63/32.40	o 946
48.75/32.56	o 945
48.96/32.71	o 944
49.07/32.86	o 943
49.27/33.00	o 942
49.37/33.13	o 941
49.47/33.27	o 940
49.67/33.40	o 939
49.78/33.52	o 938
49.88/33.65	o 937
49.97/33.77	o 936
50.07/33.89	o 935
50.27/34.01	o 934
50.37/34.13	o 933
50.47/34.24	o 932
50.57/34.36	o 931
50.67/34.47	o 930
50.78/34.59	o 929
50.88/34.70	o 928
51.07/34.80	o 927
51.17/34.91	o 926
51.27/35.00	o 925
51.37/35.16	o 924
51.57/35.31	o 923
51.67/35.45	o 922
51.78/35.57	o 921
51.97/35.70	o 920
52.07/35.82	o 919
52.17/35.94	o 918
52.27/36.04	o 917
52.37/36.14	o 916
52.47/36.23	o 915
52.57/36.33	o 914
52.67/36.42	o 913
52.79/36.52	o 912
52.88/36.61	o 911
52.97/36.71	o 910
53.08/36.80	o 909
53.21/36.90	o 908
53.21/36.98	o 907
53.31/37.06	o 906
53.41/37.13	o 905
53.51/37.20	o 904
53.51/37.27	o 903
53.61/37.34	o 902
53.71/37.40	o 901
53.71/37.47	o 900
53.82/37.53	o 899
53.82/37.58	o 898
53.92/37.64	o 897
53.92/37.69	o 896
54.01/37.73	o 895
54.01/37.76	o 894
54.01/37.80	o 893
54.12/37.83	o 892
54.12/37.86	o 891
54.12/37.88	o 890
54.22/37.91	o 889
54.22/37.93	o 888
54.22/37.95	o 887
54.22/37.97	o 886
54.22/37.99	o 885
54.32/38.01	o 884
54.32/38.02	o 883
54.32/38.04	o 882
54.32/38.05	o 881
54.32/38.06	o 880
54.32/38.07	o 879
54.32/38.08	o 878
54.32/38.09	o 877
54.42/38.10	o 876
54.42/38.11	o 875
54.42/38.12	o 874
54.42/38.12	o 9
55.25/38.43	o 8
1428.93/1390.44	v <instantiation cost="8">
1428.93/1390.44	v       <list>
1428.93/1390.44	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]
1428.93/1390.44	v       </list>
1428.93/1390.44	v       <values>
1428.93/1390.44	v         3 0 3 2 0 0 3 3 5 5 8 0 1 1 0 6 7 5 4 1 8 8 2 8 8 6 4 2 2 2 2 2 2 2 2 0 6 2 5 4 2 3 3 6 0 3 6 3 3 3 5 5 8 0 1 6 8 6 1 5 8 1 1 8 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 8 3 3 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 7 2 2 2 2 5 2 2 7 5 2 2 2 2 2 2 2 4 1 7 0 2 6 3 3 0 1 1 0 0 1 8 1 0 0 0 1 1 0 6 7 5 4 1 3 8 4 8 8 8 8 8 3 7 7 3 3 7 3 3 6 7 5 4 3 3 3 6 0 3 1 0 0 3 1 0 0 1 8 8 0 1 1 1 1 8 1 1 8 1 1 8 4 8 8 1 1 8 8 4 4 4 7 4 5 7 7 4 1 1 1 1 1 1 1 1 3 1 1 1 1 1 1 1 1 1 1 3 1 1 1 1 1 8 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 1 1 1 1 1 1 1 1 1 7 1 1 8 1 7 5 5 5 8 2 0 2 2 2 0 2 2 2 2 2 2 2 8 0 2 2 2 8 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 6 0 2 2 2 8 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 3 0 2 2 2 8 2 2 3 3 3 2 3 3 3 0 0 0 0 0 0 8 0 0 8 0 0 0 0 0 8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 7 3 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 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 8 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 7 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 2 2 2 2 2 2 2 2 2 2 2 8 2 8 2 2 2 2 2 2 2 3 3 3 3 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 8 3 3 3 2 2 2 8 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 3 3 2 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 3 8 3 3 3 3 3 3 2 2 2 2 2 2 2 3 3 2 2 2 2 2 2 3 3 3 2 3 3 3 3 3 2 8 3 8 3 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 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 7 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 1 2 8 8 1 1 1 1 1 8 1 1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 8 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 8 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 8 3 3 3 3 8 1 2 1 1 1 1 1 1 1 8 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 1 3 6 2 1 0 5 8 4
1428.93/1390.44	v       </values>
1428.93/1390.44	v     </instantiation>
1428.93/1390.44	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 (6679 MiB free)
  memory of node 1: 16384 MiB (2712 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304259-1534051794/watcher-4304259-1534051794 -o /tmp/evaluation-result-4304259-1534051794/solver-4304259-1534051794 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17408 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1740287258 HOME/instance-4304259-1534051794.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=19179, runsolver pid=19176
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 4.57 4.21 3.01 3/206 19236
/proc/meminfo: memFree=9596504/32770624 swapFree=67108404/67108860
[pid=19179] ppid=19176 vsize=10005480 memory=18860 CPUtime=0.09 cores=0,2,4,6
/proc/19179/stat : 19179 (java) S 19176 19179 15321 0 -1 1077944320 4382 12813 0 0 1 1 5 2 20 0 6 0 222742555 10245611520 4715 33554432000 4194304 4196468 140723322403632 140723322386176 140465415425783 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
/proc/19179/statm: 2501370 4715 1934 1 0 2489808 0
[pid=19179/tid=19232] ppid=19176 vsize=10005480 memory=4279135703913235855 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19232/stat : 19232 (java) R 19176 19179 15321 0 -1 4202560 2187 12813 0 0 0 0 5 2 20 0 6 0 222742564 10245611520 4715 33554432000 4194304 4196468 140723322403632 140465387262544 140465401108275 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19233] ppid=19176 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19233/stat : 19233 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 6 0 222742565 10245611520 4715 33554432000 4194304 4196468 140723322403632 140465419668240 140465415435989 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19234] ppid=19176 vsize=10005480 memory=139768388609664 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19234/stat : 19234 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 6 0 222742565 10245611520 4715 33554432000 4194304 4196468 140723322403632 140465300933520 140465415435989 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19235] ppid=19176 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19235/stat : 19235 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 6 0 222742565 10245611520 4715 33554432000 4194304 4196468 140723322403632 140465299880976 140465415435989 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19236] ppid=19176 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19236/stat : 19236 (java) S 19176 19179 15321 0 -1 1077944384 2 12813 0 0 0 0 5 2 20 0 6 0 222742565 10245611520 4715 33554432000 4194304 4196468 140723322403632 140465298828432 140465415435989 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18860 KiB

[startup+0.749633 s]*
/proc/loadavg: 4.57 4.21 3.01 3/215 19245
/proc/meminfo: memFree=9538556/32770624 swapFree=67108404/67108860
[pid=19179] ppid=19176 vsize=10985240 memory=92272 CPUtime=1.06 cores=0,2,4,6
/proc/19179/stat : 19179 (java) S 19176 19179 15321 0 -1 1077944320 17141 12813 0 0 95 4 5 2 20 0 15 0 222742555 11248885760 23068 33554432000 4194304 4196468 140723322403632 140723322386176 140465415425783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
/proc/19179/statm: 2746310 23068 3259 1 0 2708621 0
[pid=19179/tid=19232] ppid=19176 vsize=10985240 memory=7022364594140610616 CPUtime=0.72 cores=0,2,4,6
/proc/19179/task/19232/stat : 19232 (java) R 19176 19179 15321 0 -1 4202560 12537 12813 0 0 62 3 5 2 20 0 15 0 222742564 11248885760 23068 33554432000 4194304 4196468 140723322403632 140465387257856 140465399506270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19233] ppid=19176 vsize=10985240 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19233/stat : 19233 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742565 11248885760 23068 33554432000 4194304 4196468 140723322403632 140465419668240 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19234] ppid=19176 vsize=10985240 memory=4120990839082804896 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19234/stat : 19234 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742565 11248885760 23068 33554432000 4194304 4196468 140723322403632 140465300933520 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19235] ppid=19176 vsize=10985240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19235/stat : 19235 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742565 11248885760 23068 33554432000 4194304 4196468 140723322403632 140465299880976 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19236] ppid=19176 vsize=10985240 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19236/stat : 19236 (java) S 19176 19179 15321 0 -1 1077944384 2 12813 0 0 0 0 5 2 20 0 15 0 222742565 11248885760 23068 33554432000 4194304 4196468 140723322403632 140465298828432 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19237] ppid=19176 vsize=10985240 memory=139768388609664 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19237/stat : 19237 (java) S 19176 19179 15321 0 -1 1077944384 6 12813 0 0 0 0 5 2 20 0 15 0 222742567 11248885760 23068 33554432000 4194304 4196468 140723322403632 140464908515312 140465415436930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19238] ppid=19176 vsize=10985240 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19238/stat : 19238 (java) S 19176 19179 15321 0 -1 1077944384 13 12813 0 0 0 0 5 2 20 0 15 0 222742567 11248885760 23068 33554432000 4194304 4196468 140723322403632 140464221053856 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19239] ppid=19176 vsize=10985240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19239/stat : 19239 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742567 11248885760 23068 33554432000 4194304 4196468 140723322403632 140464019727344 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19240] ppid=19176 vsize=10985240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19240/stat : 19240 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11248885760 23068 33554432000 4194304 4196468 140723322403632 140463712327888 140465415444379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19241] ppid=19176 vsize=10985240 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/19179/task/19241/stat : 19241 (java) R 19176 19179 15321 0 -1 4202560 700 12813 0 0 9 0 5 2 20 0 15 0 222742570 11248885760 23068 33554432000 4194304 4196468 140723322403632 140464907463152 140465401440160 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19242] ppid=19176 vsize=10985240 memory=-1 CPUtime=0.14 cores=0,2,4,6
/proc/19179/task/19242/stat : 19242 (java) S 19176 19179 15321 0 -1 1077944384 932 12813 0 0 7 0 5 2 20 0 15 0 222742570 11248885760 23068 33554432000 4194304 4196468 140723322403632 140464906410608 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19243] ppid=19176 vsize=10985240 memory=139768388609664 CPUtime=0.22 cores=0,2,4,6
/proc/19179/task/19243/stat : 19243 (java) R 19176 19179 15321 0 -1 1077944384 749 12813 0 0 15 0 5 2 20 0 15 0 222742570 11248885760 23068 33554432000 4194304 4196468 140723322403632 140464905358064 140465415436930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19244] ppid=19176 vsize=10985240 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19244/stat : 19244 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11248885760 23068 33554432000 4194304 4196468 140723322403632 140463281532000 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19245] ppid=19176 vsize=10985240 memory=139768388609664 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19245/stat : 19245 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742570 11248885760 23068 33554432000 4194304 4196468 140723322403632 140464904304944 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 10985240 KiB
Current children cumulated memory: 92272 KiB

[startup+0.810509 s]*
/proc/loadavg: 4.57 4.21 3.01 3/215 19245
/proc/meminfo: memFree=9535392/32770624 swapFree=67108404/67108860
[pid=19179] ppid=19176 vsize=10987380 memory=95688 CPUtime=1.18 cores=0,2,4,6
/proc/19179/stat : 19179 (java) S 19176 19179 15321 0 -1 1077944320 17634 12813 0 0 107 4 5 2 20 0 15 0 222742555 11251077120 23922 33554432000 4194304 4196468 140723322403632 140723322386176 140465415425783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
/proc/19179/statm: 2746845 23922 3285 1 0 2708621 0
[pid=19179/tid=19232] ppid=19176 vsize=10987380 memory=6791534058613427641 CPUtime=0.78 cores=0,2,4,6
/proc/19179/task/19232/stat : 19232 (java) R 19176 19179 15321 0 -1 4202560 12911 12813 0 0 68 3 5 2 20 0 15 0 222742564 11251077120 23922 33554432000 4194304 4196468 140723322403632 140465387250808 140465399506270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19233] ppid=19176 vsize=10987380 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19233/stat : 19233 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742565 11251077120 23922 33554432000 4194304 4196468 140723322403632 140465419668240 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19234] ppid=19176 vsize=10987380 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19234/stat : 19234 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742565 11251077120 23922 33554432000 4194304 4196468 140723322403632 140465300933520 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19235] ppid=19176 vsize=10987380 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19235/stat : 19235 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742565 11251077120 23922 33554432000 4194304 4196468 140723322403632 140465299880976 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19236] ppid=19176 vsize=10987380 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19236/stat : 19236 (java) S 19176 19179 15321 0 -1 1077944384 2 12813 0 0 0 0 5 2 20 0 15 0 222742565 11251077120 23922 33554432000 4194304 4196468 140723322403632 140465298828432 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19237] ppid=19176 vsize=10987380 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19237/stat : 19237 (java) S 19176 19179 15321 0 -1 1077944384 6 12813 0 0 0 0 5 2 20 0 15 0 222742567 11251077120 23922 33554432000 4194304 4196468 140723322403632 140464908515312 140465415436930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19238] ppid=19176 vsize=10987380 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19238/stat : 19238 (java) S 19176 19179 15321 0 -1 1077944384 13 12813 0 0 0 0 5 2 20 0 15 0 222742567 11251077120 23922 33554432000 4194304 4196468 140723322403632 140464221053856 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19239] ppid=19176 vsize=10987380 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19239/stat : 19239 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742567 11251077120 23922 33554432000 4194304 4196468 140723322403632 140464019727344 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19240] ppid=19176 vsize=10987380 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19240/stat : 19240 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11251077120 23922 33554432000 4194304 4196468 140723322403632 140463712327888 140465415444379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19241] ppid=19176 vsize=10987380 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/19179/task/19241/stat : 19241 (java) S 19176 19179 15321 0 -1 1077944384 710 12813 0 0 11 0 5 2 20 0 15 0 222742570 11251077120 23922 33554432000 4194304 4196468 140723322403632 140464907463152 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19242] ppid=19176 vsize=10987380 memory=-1 CPUtime=0.16 cores=0,2,4,6
/proc/19179/task/19242/stat : 19242 (java) S 19176 19179 15321 0 -1 1077944384 989 12813 0 0 9 0 5 2 20 0 15 0 222742570 11251077120 23922 33554432000 4194304 4196468 140723322403632 140464906410608 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19243] ppid=19176 vsize=10987380 memory=139768388609664 CPUtime=0.24 cores=0,2,4,6
/proc/19179/task/19243/stat : 19243 (java) S 19176 19179 15321 0 -1 1077944384 798 12813 0 0 17 0 5 2 20 0 15 0 222742570 11251077120 23922 33554432000 4194304 4196468 140723322403632 140464905358064 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19244] ppid=19176 vsize=10987380 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19244/stat : 19244 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11251077120 23922 33554432000 4194304 4196468 140723322403632 140463281532000 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19245] ppid=19176 vsize=10987380 memory=139768388609664 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19245/stat : 19245 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742570 11251077120 23922 33554432000 4194304 4196468 140723322403632 140464904304944 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 10987380 KiB
Current children cumulated memory: 95688 KiB

[startup+0.910098 s]*
/proc/loadavg: 4.57 4.21 3.01 3/215 19245
/proc/meminfo: memFree=9527700/32770624 swapFree=67108404/67108860
[pid=19179] ppid=19176 vsize=10989824 memory=104168 CPUtime=1.32 cores=0,2,4,6
/proc/19179/stat : 19179 (java) S 19176 19179 15321 0 -1 1077944320 18584 12813 0 0 120 5 5 2 20 0 15 0 222742555 11253579776 26042 33554432000 4194304 4196468 140723322403632 140723322386176 140465415425783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
/proc/19179/statm: 2747456 26042 3405 1 0 2709133 0
[pid=19179/tid=19232] ppid=19176 vsize=10989824 memory=7022364594140610616 CPUtime=0.88 cores=0,2,4,6
/proc/19179/task/19232/stat : 19232 (java) R 19176 19179 15321 0 -1 4202560 13789 12813 0 0 77 4 5 2 20 0 15 0 222742564 11253579776 26042 33554432000 4194304 4196468 140723322403632 140465387248256 140465401105936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19233] ppid=19176 vsize=10989824 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19233/stat : 19233 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742565 11253579776 26042 33554432000 4194304 4196468 140723322403632 140465419668240 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19234] ppid=19176 vsize=10989824 memory=4120990839082804896 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19234/stat : 19234 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742565 11253579776 26042 33554432000 4194304 4196468 140723322403632 140465300933520 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19235] ppid=19176 vsize=10989824 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19235/stat : 19235 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742565 11253579776 26042 33554432000 4194304 4196468 140723322403632 140465299880976 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19236] ppid=19176 vsize=10989824 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19236/stat : 19236 (java) S 19176 19179 15321 0 -1 1077944384 2 12813 0 0 0 0 5 2 20 0 15 0 222742565 11253579776 26042 33554432000 4194304 4196468 140723322403632 140465298828432 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19237] ppid=19176 vsize=10989824 memory=139768388609664 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19237/stat : 19237 (java) S 19176 19179 15321 0 -1 1077944384 6 12813 0 0 0 0 5 2 20 0 15 0 222742567 11253579776 26042 33554432000 4194304 4196468 140723322403632 140464908515312 140465415436930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19238] ppid=19176 vsize=10989824 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19238/stat : 19238 (java) S 19176 19179 15321 0 -1 1077944384 13 12813 0 0 0 0 5 2 20 0 15 0 222742567 11253579776 26042 33554432000 4194304 4196468 140723322403632 140464221053856 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19239] ppid=19176 vsize=10989824 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19239/stat : 19239 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742567 11253579776 26042 33554432000 4194304 4196468 140723322403632 140464019727344 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19240] ppid=19176 vsize=10989824 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19240/stat : 19240 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11253579776 26042 33554432000 4194304 4196468 140723322403632 140463712327888 140465415444379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19241] ppid=19176 vsize=10989824 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/19179/task/19241/stat : 19241 (java) S 19176 19179 15321 0 -1 1077944384 715 12813 0 0 12 0 5 2 20 0 15 0 222742570 11253579776 26042 33554432000 4194304 4196468 140723322403632 140464907463152 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19242] ppid=19176 vsize=10989824 memory=-1 CPUtime=0.17 cores=0,2,4,6
/proc/19179/task/19242/stat : 19242 (java) R 19176 19179 15321 0 -1 1077944384 1002 12813 0 0 10 0 5 2 20 0 15 0 222742570 11253579776 26042 33554432000 4194304 4196468 140723322403632 140464906410608 140465415436930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19243] ppid=19176 vsize=10989824 memory=139768388609664 CPUtime=0.26 cores=0,2,4,6
/proc/19179/task/19243/stat : 19243 (java) R 19176 19179 15321 0 -1 1077944384 853 12813 0 0 19 0 5 2 20 0 15 0 222742570 11253579776 26042 33554432000 4194304 4196468 140723322403632 140464905358064 140465415436930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19244] ppid=19176 vsize=10989824 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19244/stat : 19244 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11253579776 26042 33554432000 4194304 4196468 140723322403632 140463281532000 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19245] ppid=19176 vsize=10989824 memory=139768388609664 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19245/stat : 19245 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742570 11253579776 26042 33554432000 4194304 4196468 140723322403632 140464904304944 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 10989824 KiB
Current children cumulated memory: 104168 KiB

[startup+1.50063 s]*
/proc/loadavg: 4.57 4.21 3.01 5/215 19245
/proc/meminfo: memFree=9439532/32770624 swapFree=67108404/67108860
[pid=19179] ppid=19176 vsize=10993996 memory=192224 CPUtime=3.04 cores=0,2,4,6
/proc/19179/stat : 19179 (java) S 19176 19179 15321 0 -1 1077944320 22811 12813 0 0 290 7 5 2 20 0 15 0 222742555 11257851904 48056 33554432000 4194304 4196468 140723322403632 140723322386176 140465415425783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
/proc/19179/statm: 2748499 48056 3450 1 0 2710157 0
[pid=19179/tid=19232] ppid=19176 vsize=10993996 memory=6791534058613427641 CPUtime=1.46 cores=0,2,4,6
/proc/19179/task/19232/stat : 19232 (java) R 19176 19179 15321 0 -1 4202560 15396 12813 0 0 134 5 5 2 20 0 15 0 222742564 11257851904 48056 33554432000 4194304 4196468 140723322403632 140465387243520 140465415447709 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19233] ppid=19176 vsize=10993996 memory=4122819170707441977 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19233/stat : 19233 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742565 11257851904 48056 33554432000 4194304 4196468 140723322403632 140465419668240 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19234] ppid=19176 vsize=10993996 memory=3833044111231590320 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19234/stat : 19234 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742565 11257851904 48056 33554432000 4194304 4196468 140723322403632 140465300933520 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19235] ppid=19176 vsize=10993996 memory=-7023579799431922829 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19235/stat : 19235 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742565 11257851904 48056 33554432000 4194304 4196468 140723322403632 140465299880976 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19236] ppid=19176 vsize=10993996 memory=4122819170707441977 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19236/stat : 19236 (java) S 19176 19179 15321 0 -1 1077944384 2 12813 0 0 0 0 5 2 20 0 15 0 222742565 11257851904 48056 33554432000 4194304 4196468 140723322403632 140465298828432 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19237] ppid=19176 vsize=10993996 memory=3472468098992805552 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19237/stat : 19237 (java) S 19176 19179 15321 0 -1 1077944384 15 12813 0 0 0 0 5 2 20 0 15 0 222742567 11257851904 48056 33554432000 4194304 4196468 140723322403632 140464908515312 140465415436930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19238] ppid=19176 vsize=10993996 memory=7369419928300564527 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19238/stat : 19238 (java) S 19176 19179 15321 0 -1 1077944384 13 12813 0 0 0 0 5 2 20 0 15 0 222742567 11257851904 48056 33554432000 4194304 4196468 140723322403632 140464221053856 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19239] ppid=19176 vsize=10993996 memory=5495740422247797458 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19239/stat : 19239 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742567 11257851904 48056 33554432000 4194304 4196468 140723322403632 140464019727344 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19240] ppid=19176 vsize=10993996 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19240/stat : 19240 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11257851904 48056 33554432000 4194304 4196468 140723322403632 140463712327888 140465415444379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19241] ppid=19176 vsize=10993996 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/19179/task/19241/stat : 19241 (java) S 19176 19179 15321 0 -1 1077944384 1875 12813 0 0 57 0 5 2 20 0 15 0 222742570 11257851904 48056 33554432000 4194304 4196468 140723322403632 140464907463152 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19242] ppid=19176 vsize=10993996 memory=6873730494919109728 CPUtime=0.61 cores=0,2,4,6
/proc/19179/task/19242/stat : 19242 (java) S 19176 19179 15321 0 -1 1077944384 1785 12813 0 0 54 0 5 2 20 0 15 0 222742570 11257851904 48056 33554432000 4194304 4196468 140723322403632 140464906410608 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19243] ppid=19176 vsize=10993996 memory=139768388609664 CPUtime=0.5 cores=0,2,4,6
/proc/19179/task/19243/stat : 19243 (java) S 19176 19179 15321 0 -1 1077944384 1521 12813 0 0 43 0 5 2 20 0 15 0 222742570 11257851904 48056 33554432000 4194304 4196468 140723322403632 140464905358064 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19244] ppid=19176 vsize=10993996 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19244/stat : 19244 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11257851904 48056 33554432000 4194304 4196468 140723322403632 140463281532000 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19245] ppid=19176 vsize=10993996 memory=139768388609664 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19245/stat : 19245 (java) S 19176 19179 15321 0 -1 1077944384 1 12813 0 0 0 0 5 2 20 0 15 0 222742570 11257851904 48056 33554432000 4194304 4196468 140723322403632 140464904304944 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10993996 KiB

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

[pid=19179/tid=19244] ppid=19176 vsize=11077984 memory=2148 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19244/stat : 19244 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140463281532000 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19245] ppid=19176 vsize=11077984 memory=1160 CPUtime=0.82 cores=0,2,4,6
/proc/19179/task/19245/stat : 19245 (java) S 19176 19179 15321 0 -1 1077944384 1779 12813 0 0 37 38 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464904304944 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
Current children cumulated CPU time: 1426.18 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2729392 KiB

[startup+1389.3 s]
/proc/loadavg: 1.31 1.48 1.86 3/216 19545
/proc/meminfo: memFree=6828476/32770624 swapFree=67108404/67108860
[pid=19179] ppid=19176 vsize=11077984 memory=2729392 CPUtime=1427.81 cores=0,2,4,6
/proc/19179/stat : 19179 (java) S 19176 19179 15321 0 -1 1077944320 288313 12813 0 0 142551 223 5 2 20 0 15 0 222742555 11343855616 682348 33554432000 4194304 4196468 140723322403632 140723322386176 140465415425783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
/proc/19179/statm: 2769496 682348 3537 1 0 2731149 0
[pid=19179/tid=19232] ppid=19176 vsize=11077984 memory=2729392 CPUtime=1376.28 cores=0,2,4,6
/proc/19179/task/19232/stat : 19232 (java) R 19176 19179 15321 0 -1 4202560 97824 12813 0 0 137563 58 5 2 20 0 15 0 222742564 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465387260800 140464990321958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19233] ppid=19176 vsize=11077984 memory=3984 CPUtime=7.05 cores=0,2,4,6
/proc/19179/task/19233/stat : 19233 (java) S 19176 19179 15321 0 -1 1077944384 21398 12813 0 0 666 32 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465419668240 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19234] ppid=19176 vsize=11077984 memory=2729392 CPUtime=7.05 cores=0,2,4,6
/proc/19179/task/19234/stat : 19234 (java) S 19176 19179 15321 0 -1 1077944384 19726 12813 0 0 670 28 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465300933520 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19235] ppid=19176 vsize=11077984 memory=3684 CPUtime=7.07 cores=0,2,4,6
/proc/19179/task/19235/stat : 19235 (java) S 19176 19179 15321 0 -1 1077944384 24596 12813 0 0 674 26 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465299880976 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19236] ppid=19176 vsize=11077984 memory=2148 CPUtime=7.05 cores=0,2,4,6
/proc/19179/task/19236/stat : 19236 (java) S 19176 19179 15321 0 -1 1077944384 22839 12813 0 0 669 29 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465298828432 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19237] ppid=19176 vsize=11077984 memory=1160 CPUtime=4.39 cores=0,2,4,6
/proc/19179/task/19237/stat : 19237 (java) S 19176 19179 15321 0 -1 1077944384 19677 12813 0 0 412 20 5 2 20 0 15 0 222742567 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464908515312 140465415436930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19238] ppid=19176 vsize=11077984 memory=60692 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19238/stat : 19238 (java) S 19176 19179 15321 0 -1 1077944384 24 12813 0 0 0 0 5 2 20 0 15 0 222742567 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464221053920 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19239] ppid=19176 vsize=11077984 memory=2148 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19239/stat : 19239 (java) S 19176 19179 15321 0 -1 1077944384 18 12813 0 0 0 0 5 2 20 0 15 0 222742567 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464019727360 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19240] ppid=19176 vsize=11077984 memory=1160 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19240/stat : 19240 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140463712327888 140465415444379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19241] ppid=19176 vsize=11077984 memory=6791534058613427641 CPUtime=7.79 cores=0,2,4,6
/proc/19179/task/19241/stat : 19241 (java) S 19176 19179 15321 0 -1 1077944384 25663 12813 0 0 770 2 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464907463152 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19242] ppid=19176 vsize=11077984 memory=1616 CPUtime=8.16 cores=0,2,4,6
/proc/19179/task/19242/stat : 19242 (java) S 19176 19179 15321 0 -1 1077944384 26498 12813 0 0 805 4 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464906410608 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19243] ppid=19176 vsize=11077984 memory=756 CPUtime=2.66 cores=0,2,4,6
/proc/19179/task/19243/stat : 19243 (java) S 19176 19179 15321 0 -1 1077944384 26071 12813 0 0 255 4 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464905358064 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19244] ppid=19176 vsize=11077984 memory=2729392 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19244/stat : 19244 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140463281532000 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19245] ppid=19176 vsize=11077984 memory=1784 CPUtime=0.82 cores=0,2,4,6
/proc/19179/task/19245/stat : 19245 (java) S 19176 19179 15321 0 -1 1077944384 1779 12813 0 0 37 38 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464904304944 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
Current children cumulated CPU time: 1427.81 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2729392 KiB

[startup+1390.1 s]
/proc/loadavg: 1.31 1.48 1.86 3/216 19545
/proc/meminfo: memFree=6828476/32770624 swapFree=67108404/67108860
[pid=19179] ppid=19176 vsize=11077984 memory=2729392 CPUtime=1428.62 cores=0,2,4,6
/proc/19179/stat : 19179 (java) S 19176 19179 15321 0 -1 1077944320 288321 12813 0 0 142632 223 5 2 20 0 15 0 222742555 11343855616 682348 33554432000 4194304 4196468 140723322403632 140723322386176 140465415425783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
/proc/19179/statm: 2769496 682348 3537 1 0 2731149 0
[pid=19179/tid=19232] ppid=19176 vsize=11077984 memory=3684 CPUtime=1377.07 cores=0,2,4,6
/proc/19179/task/19232/stat : 19232 (java) R 19176 19179 15321 0 -1 4202560 97828 12813 0 0 137642 58 5 2 20 0 15 0 222742564 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465387261536 140464995507835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19233] ppid=19176 vsize=11077984 memory=60692 CPUtime=7.05 cores=0,2,4,6
/proc/19179/task/19233/stat : 19233 (java) S 19176 19179 15321 0 -1 1077944384 21400 12813 0 0 666 32 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465419668240 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19234] ppid=19176 vsize=11077984 memory=2148 CPUtime=7.06 cores=0,2,4,6
/proc/19179/task/19234/stat : 19234 (java) S 19176 19179 15321 0 -1 1077944384 19727 12813 0 0 671 28 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465300933520 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19235] ppid=19176 vsize=11077984 memory=6791534058613427641 CPUtime=7.08 cores=0,2,4,6
/proc/19179/task/19235/stat : 19235 (java) S 19176 19179 15321 0 -1 1077944384 24597 12813 0 0 675 26 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465299880976 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19236] ppid=19176 vsize=11077984 memory=288230596050944315 CPUtime=7.05 cores=0,2,4,6
/proc/19179/task/19236/stat : 19236 (java) S 19176 19179 15321 0 -1 1077944384 22839 12813 0 0 669 29 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465298828432 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19237] ppid=19176 vsize=11077984 memory=13850767857552039 CPUtime=4.39 cores=0,2,4,6
/proc/19179/task/19237/stat : 19237 (java) S 19176 19179 15321 0 -1 1077944384 19677 12813 0 0 412 20 5 2 20 0 15 0 222742567 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464908515312 140465415436930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19238] ppid=19176 vsize=11077984 memory=1924 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19238/stat : 19238 (java) S 19176 19179 15321 0 -1 1077944384 24 12813 0 0 0 0 5 2 20 0 15 0 222742567 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464221053920 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19239] ppid=19176 vsize=11077984 memory=1160 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19239/stat : 19239 (java) S 19176 19179 15321 0 -1 1077944384 18 12813 0 0 0 0 5 2 20 0 15 0 222742567 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464019727360 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19240] ppid=19176 vsize=11077984 memory=1784 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19240/stat : 19240 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140463712327888 140465415444379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19241] ppid=19176 vsize=11077984 memory=1616 CPUtime=7.79 cores=0,2,4,6
/proc/19179/task/19241/stat : 19241 (java) S 19176 19179 15321 0 -1 1077944384 25663 12813 0 0 770 2 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464907463152 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19242] ppid=19176 vsize=11077984 memory=756 CPUtime=8.16 cores=0,2,4,6
/proc/19179/task/19242/stat : 19242 (java) S 19176 19179 15321 0 -1 1077944384 26498 12813 0 0 805 4 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464906410608 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19243] ppid=19176 vsize=11077984 memory=9624 CPUtime=2.66 cores=0,2,4,6
/proc/19179/task/19243/stat : 19243 (java) S 19176 19179 15321 0 -1 1077944384 26071 12813 0 0 255 4 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464905358064 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19244] ppid=19176 vsize=11077984 memory=876 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19244/stat : 19244 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140463281532000 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19245] ppid=19176 vsize=11077984 memory=1924 CPUtime=0.82 cores=0,2,4,6
/proc/19179/task/19245/stat : 19245 (java) S 19176 19179 15321 0 -1 1077944384 1779 12813 0 0 37 38 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464904304944 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
Current children cumulated CPU time: 1428.62 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2729392 KiB

[startup+1390.3 s]
/proc/loadavg: 1.31 1.48 1.86 3/216 19545
/proc/meminfo: memFree=6828476/32770624 swapFree=67108404/67108860
[pid=19179] ppid=19176 vsize=11077984 memory=2729392 CPUtime=1428.82 cores=0,2,4,6
/proc/19179/stat : 19179 (java) S 19176 19179 15321 0 -1 1077944320 288322 12813 0 0 142652 223 5 2 20 0 15 0 222742555 11343855616 682348 33554432000 4194304 4196468 140723322403632 140723322386176 140465415425783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
/proc/19179/statm: 2769496 682348 3537 1 0 2731149 0
[pid=19179/tid=19232] ppid=19176 vsize=11077984 memory=1224 CPUtime=1377.27 cores=0,2,4,6
/proc/19179/task/19232/stat : 19232 (java) R 19176 19179 15321 0 -1 4202560 97829 12813 0 0 137662 58 5 2 20 0 15 0 222742564 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465387260880 140464995769856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19233] ppid=19176 vsize=11077984 memory=6791534058613427641 CPUtime=7.05 cores=0,2,4,6
/proc/19179/task/19233/stat : 19233 (java) S 19176 19179 15321 0 -1 1077944384 21400 12813 0 0 666 32 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465419668240 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19234] ppid=19176 vsize=11077984 memory=1404 CPUtime=7.06 cores=0,2,4,6
/proc/19179/task/19234/stat : 19234 (java) S 19176 19179 15321 0 -1 1077944384 19727 12813 0 0 671 28 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465300933520 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19235] ppid=19176 vsize=11077984 memory=4000 CPUtime=7.08 cores=0,2,4,6
/proc/19179/task/19235/stat : 19235 (java) S 19176 19179 15321 0 -1 1077944384 24597 12813 0 0 675 26 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465299880976 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19236] ppid=19176 vsize=11077984 memory=1156 CPUtime=7.06 cores=0,2,4,6
/proc/19179/task/19236/stat : 19236 (java) S 19176 19179 15321 0 -1 1077944384 22839 12813 0 0 670 29 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465298828432 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19237] ppid=19176 vsize=11077984 memory=15212 CPUtime=4.39 cores=0,2,4,6
/proc/19179/task/19237/stat : 19237 (java) S 19176 19179 15321 0 -1 1077944384 19677 12813 0 0 412 20 5 2 20 0 15 0 222742567 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464908515312 140465415436930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19238] ppid=19176 vsize=11077984 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19238/stat : 19238 (java) S 19176 19179 15321 0 -1 1077944384 24 12813 0 0 0 0 5 2 20 0 15 0 222742567 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464221053920 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19239] ppid=19176 vsize=11077984 memory=33448 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19239/stat : 19239 (java) S 19176 19179 15321 0 -1 1077944384 18 12813 0 0 0 0 5 2 20 0 15 0 222742567 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464019727360 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19240] ppid=19176 vsize=11077984 memory=14644 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19240/stat : 19240 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140463712327888 140465415444379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19241] ppid=19176 vsize=11077984 memory=1720 CPUtime=7.79 cores=0,2,4,6
/proc/19179/task/19241/stat : 19241 (java) S 19176 19179 15321 0 -1 1077944384 25663 12813 0 0 770 2 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464907463152 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19242] ppid=19176 vsize=11077984 memory=508 CPUtime=8.16 cores=0,2,4,6
/proc/19179/task/19242/stat : 19242 (java) S 19176 19179 15321 0 -1 1077944384 26498 12813 0 0 805 4 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464906410608 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19243] ppid=19176 vsize=11077984 memory=928 CPUtime=2.66 cores=0,2,4,6
/proc/19179/task/19243/stat : 19243 (java) S 19176 19179 15321 0 -1 1077944384 26071 12813 0 0 255 4 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464905358064 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19244] ppid=19176 vsize=11077984 memory=1172 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19244/stat : 19244 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140463281532000 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19245] ppid=19176 vsize=11077984 memory=2404 CPUtime=0.82 cores=0,2,4,6
/proc/19179/task/19245/stat : 19245 (java) S 19176 19179 15321 0 -1 1077944384 1779 12813 0 0 37 38 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464904304944 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
Current children cumulated CPU time: 1428.82 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2729392 KiB

[startup+1390.4 s]
/proc/loadavg: 1.31 1.48 1.86 3/216 19545
/proc/meminfo: memFree=6828476/32770624 swapFree=67108404/67108860
[pid=19179] ppid=19176 vsize=11077984 memory=2729392 CPUtime=1428.93 cores=0,2,4,6
/proc/19179/stat : 19179 (java) S 19176 19179 15321 0 -1 1077944320 288323 12813 0 0 142663 223 5 2 20 0 15 0 222742555 11343855616 682348 33554432000 4194304 4196468 140723322403632 140723322386176 140465415425783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
/proc/19179/statm: 2769496 682348 3537 1 0 2731149 0
[pid=19179/tid=19232] ppid=19176 vsize=11077984 memory=2729392 CPUtime=1377.37 cores=0,2,4,6
/proc/19179/task/19232/stat : 19232 (java) R 19176 19179 15321 0 -1 4202560 97830 12813 0 0 137672 58 5 2 20 0 15 0 222742564 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465387260608 140464990940397 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19233] ppid=19176 vsize=11077984 memory=2729392 CPUtime=7.05 cores=0,2,4,6
/proc/19179/task/19233/stat : 19233 (java) S 19176 19179 15321 0 -1 1077944384 21400 12813 0 0 666 32 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465419668240 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19234] ppid=19176 vsize=11077984 memory=2729392 CPUtime=7.06 cores=0,2,4,6
/proc/19179/task/19234/stat : 19234 (java) S 19176 19179 15321 0 -1 1077944384 19727 12813 0 0 671 28 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465300933520 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19235] ppid=19176 vsize=11077984 memory=2729392 CPUtime=7.08 cores=0,2,4,6
/proc/19179/task/19235/stat : 19235 (java) S 19176 19179 15321 0 -1 1077944384 24597 12813 0 0 675 26 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465299880976 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19236] ppid=19176 vsize=11077984 memory=2729392 CPUtime=7.06 cores=0,2,4,6
/proc/19179/task/19236/stat : 19236 (java) S 19176 19179 15321 0 -1 1077944384 22839 12813 0 0 670 29 5 2 20 0 15 0 222742565 11343855616 682348 33554432000 4194304 4196468 140723322403632 140465298828432 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19237] ppid=19176 vsize=11077984 memory=2729392 CPUtime=4.39 cores=0,2,4,6
/proc/19179/task/19237/stat : 19237 (java) S 19176 19179 15321 0 -1 1077944384 19677 12813 0 0 412 20 5 2 20 0 15 0 222742567 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464908515312 140465415436930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19238] ppid=19176 vsize=11077984 memory=2729392 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19238/stat : 19238 (java) S 19176 19179 15321 0 -1 1077944384 24 12813 0 0 0 0 5 2 20 0 15 0 222742567 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464221053920 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19239] ppid=19176 vsize=11077984 memory=2729392 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19239/stat : 19239 (java) S 19176 19179 15321 0 -1 1077944384 18 12813 0 0 0 0 5 2 20 0 15 0 222742567 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464019727360 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19240] ppid=19176 vsize=11077984 memory=2729392 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19240/stat : 19240 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140463712327888 140465415444379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19241] ppid=19176 vsize=11077984 memory=2729392 CPUtime=7.79 cores=0,2,4,6
/proc/19179/task/19241/stat : 19241 (java) S 19176 19179 15321 0 -1 1077944384 25663 12813 0 0 770 2 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464907463152 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19242] ppid=19176 vsize=11077984 memory=6791534058613427641 CPUtime=8.16 cores=0,2,4,6
/proc/19179/task/19242/stat : 19242 (java) S 19176 19179 15321 0 -1 1077944384 26498 12813 0 0 805 4 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464906410608 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19243] ppid=19176 vsize=11077984 memory=2729392 CPUtime=2.66 cores=0,2,4,6
/proc/19179/task/19243/stat : 19243 (java) S 19176 19179 15321 0 -1 1077944384 26071 12813 0 0 255 4 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464905358064 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19244] ppid=19176 vsize=11077984 memory=2729392 CPUtime=0.07 cores=0,2,4,6
/proc/19179/task/19244/stat : 19244 (java) S 19176 19179 15321 0 -1 1077944384 3 12813 0 0 0 0 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140463281532000 140465415435989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
[pid=19179/tid=19245] ppid=19176 vsize=11077984 memory=2729392 CPUtime=0.82 cores=0,2,4,6
/proc/19179/task/19245/stat : 19245 (java) S 19176 19179 15321 0 -1 1077944384 1779 12813 0 0 37 38 5 2 20 0 15 0 222742570 11343855616 682348 33554432000 4194304 4196468 140723322403632 140464904304944 140465415436930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20025344 140723322407532 140723322410332 140723322410332 140723322413007 0
Current children cumulated CPU time: 1428.93 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2729392 KiB

Child status: 0
Real time (s): 1390.48
CPU time (s): 1429.03
CPU user time (s): 1426.73
CPU system time (s): 2.29665
CPU usage (%): 102.773
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 2918452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1426.73
system time used= 2.29665
maximum resident set size= 2922548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303664
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123525
involuntary context switches= 5563


# summary of solver processes directly reported to runsolver:
#   pid: 19179
#   total CPU time (s): 1429.03
#   total CPU user time (s): 1426.73
#   total CPU system time (s): 2.29665

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74136 second user time and 13.369 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-12 07:29:54
IDJOB=4304259
IDBENCH=141142
IDSOLVER=2780
FILE ID=node148/4304259-1534051794
RUNJOBID= node148-1534041135-17408
PBS_JOBID= 21036960
Free space on /tmp= 33696 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/GraphColoring/GraphColoring-5-fullins-4_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304259-1534051794/watcher-4304259-1534051794 -o /tmp/evaluation-result-4304259-1534051794/solver-4304259-1534051794 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17408 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1740287258 HOME/instance-4304259-1534051794.xml

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

MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6
RANDOM SEED=1740287258

node148.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.50
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.50
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.50
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.50
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:         9618080 kB
MemAvailable:   29545736 kB
Buffers:          237240 kB
Cached:         19639208 kB
SwapCached:          352 kB
Active:         10860236 kB
Inactive:       11424252 kB
Active(anon):    1661596 kB
Inactive(anon):   798988 kB
Active(file):    9198640 kB
Inactive(file): 10625264 kB
Unevictable:        7340 kB
Mlocked:            7340 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:             26956 kB
Writeback:             0 kB
AnonPages:       2414844 kB
Mapped:            66820 kB
Shmem:             49592 kB
Slab:             560328 kB
SReclaimable:     532212 kB
SUnreclaim:        28116 kB
KernelStack:        3760 kB
PageTables:        10308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3286332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2181120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 33672 MiB
End job on node148 at 2018-08-12 07:53:05