Trace number 4387015

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 2068.92 2018.95

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.4372
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.75/0.54	c Concrete v3.10.1560635388952 running
19.70/8.90	o 1084
21.20/9.88	o 1083
21.78/10.17	o 1082
22.27/10.47	o 1081
22.70/10.77	o 1080
23.30/11.10	o 1079
23.75/11.37	o 1078
24.30/11.61	o 1077
24.64/11.88	o 1076
25.09/12.14	o 1075
25.53/12.41	o 1074
25.77/12.65	o 1073
26.20/12.90	o 1072
26.44/13.16	o 1071
26.70/13.38	o 1070
26.92/13.59	o 1069
27.28/13.83	o 1068
27.52/14.05	o 1067
27.89/14.31	o 1066
28.12/14.54	o 1065
28.47/14.82	o 1064
28.81/15.05	o 1063
29.05/15.29	o 1062
29.39/15.53	o 1061
29.62/15.75	o 1060
29.87/15.97	o 1059
30.11/16.19	o 1058
30.36/16.39	o 1057
30.71/16.60	o 1056
30.97/16.83	o 1055
31.24/17.07	o 1054
31.54/17.27	o 1053
31.79/17.47	o 1052
32.17/17.71	o 1051
32.40/17.93	o 1050
32.65/18.13	o 1049
32.89/18.33	o 1048
33.11/18.53	o 1047
33.34/18.79	o 1046
33.57/18.97	o 1045
33.81/19.17	o 1044
34.05/19.37	o 1043
34.30/19.56	o 1042
34.52/19.73	o 1041
34.75/19.96	o 1040
34.98/20.16	o 1039
35.22/20.37	o 1038
35.44/20.56	o 1037
35.79/20.78	o 1036
36.06/20.97	o 1035
36.30/21.18	o 1034
36.65/21.40	o 1033
37.01/21.64	o 1032
37.27/21.87	o 1031
37.62/22.10	o 1030
37.90/22.32	o 1029
38.12/22.52	o 1028
38.35/22.72	o 1027
38.57/22.91	o 1026
38.81/23.13	o 1025
39.05/23.36	o 1024
39.27/23.56	o 1023
39.49/23.75	o 1022
39.72/23.94	o 1021
39.95/24.12	o 1020
40.18/24.31	o 1019
40.44/24.50	o 1018
40.56/24.67	o 1017
40.78/24.83	o 1016
41.01/25.06	o 1015
41.24/25.27	o 1014
41.44/25.47	o 1013
41.65/25.65	o 1012
41.85/25.83	o 1011
42.07/26.02	o 1010
42.17/26.20	o 1009
42.39/26.37	o 1008
42.58/26.53	o 1007
42.68/26.68	o 1006
42.92/26.84	o 1005
43.02/26.99	o 1004
43.23/27.19	o 1003
43.53/27.40	o 1002
43.63/27.59	o 1001
43.84/27.77	o 1000
44.05/27.95	o 999
44.26/28.12	o 998
44.37/28.28	o 997
44.57/28.46	o 996
44.77/28.62	o 995
44.88/28.78	o 994
45.09/28.93	o 993
45.20/29.08	o 992
45.42/29.24	o 991
45.64/29.41	o 990
45.85/29.62	o 989
45.95/29.80	o 988
46.15/29.98	o 987
46.36/30.15	o 986
46.57/30.35	o 985
46.77/30.52	o 984
46.87/30.68	o 983
47.07/30.83	o 982
47.18/30.99	o 981
47.38/31.13	o 980
47.49/31.28	o 979
47.69/31.42	o 978
47.79/31.56	o 977
47.99/31.70	o 976
48.10/31.84	o 975
48.23/31.98	o 974
48.43/32.11	o 973
48.54/32.24	o 972
48.74/32.46	o 971
48.94/32.65	o 970
49.15/32.85	o 969
49.35/33.03	o 968
49.57/33.21	o 967
49.67/33.39	o 966
49.87/33.58	o 965
50.07/33.76	o 964
50.29/33.95	o 963
50.49/34.14	o 962
50.70/34.32	o 961
50.80/34.48	o 960
50.99/34.65	o 959
51.22/34.82	o 958
51.33/34.98	o 957
51.55/35.14	o 956
51.66/35.30	o 955
51.85/35.45	o 954
52.06/35.61	o 953
52.16/35.75	o 952
52.37/35.97	o 951
52.57/36.17	o 950
52.79/36.35	o 949
52.98/36.54	o 948
53.19/36.72	o 947
53.39/36.90	o 946
53.49/37.07	o 945
53.70/37.24	o 944
53.90/37.40	o 943
54.03/37.56	o 942
54.24/37.72	o 941
54.34/37.88	o 940
54.54/38.04	o 939
54.64/38.18	o 938
54.86/38.33	o 937
54.95/38.48	o 936
55.15/38.62	o 935
55.26/38.75	o 934
55.36/38.87	o 933
55.47/38.98	o 932
55.57/39.09	o 931
55.67/39.20	o 930
55.78/39.30	o 929
55.98/39.40	o 928
55.98/39.49	o 927
56.08/39.58	o 926
56.18/39.67	o 925
56.38/39.87	o 924
56.60/40.06	o 923
56.85/40.27	o 922
57.03/40.46	o 921
57.24/40.66	o 920
57.44/40.83	o 919
57.65/41.01	o 918
57.75/41.17	o 917
57.97/41.34	o 916
58.06/41.49	o 915
58.26/41.63	o 914
58.37/41.77	o 913
58.57/41.90	o 912
58.67/42.02	o 911
58.78/42.15	o 910
58.89/42.27	o 909
58.99/42.39	o 908
59.19/42.50	o 907
59.29/42.61	o 906
59.40/42.72	o 905
59.50/42.83	o 904
59.60/42.92	o 903
59.74/43.03	o 902
59.84/43.12	o 901
59.95/43.21	o 900
59.95/43.30	o 899
60.05/43.38	o 898
60.15/43.46	o 897
60.25/43.54	o 896
60.35/43.61	o 895
60.35/43.67	o 894
60.45/43.74	o 893
60.55/43.80	o 892
60.55/43.86	o 891
60.66/43.92	o 890
60.66/43.98	o 889
60.76/44.04	o 888
60.76/44.09	o 887
60.97/44.29	o 886
61.16/44.47	o 885
61.37/44.65	o 884
61.57/44.83	o 883
61.77/45.00	o 882
61.88/45.18	o 881
62.09/45.34	o 880
62.28/45.50	o 879
62.41/45.66	o 878
62.61/45.82	o 877
62.71/45.97	o 876
62.92/46.11	o 875
63.08/46.25	o 874
63.19/46.39	o 873
63.38/46.53	o 872
63.48/46.68	o 871
63.69/46.81	o 870
63.79/46.93	o 869
63.89/47.06	o 868
63.99/47.18	o 867
64.10/47.29	o 866
64.30/47.40	o 865
64.40/47.50	o 864
64.50/47.60	o 863
64.50/47.69	o 862
64.62/47.77	o 861
64.72/47.85	o 860
64.82/47.92	o 859
64.82/47.98	o 858
64.92/48.05	o 857
65.02/48.11	o 856
65.02/48.19	o 855
65.16/48.24	o 854
65.16/48.30	o 853
65.26/48.35	o 852
65.36/48.41	o 851
65.36/48.46	o 850
65.46/48.51	o 849
65.46/48.55	o 848
65.56/48.60	o 847
65.56/48.64	o 846
65.56/48.68	o 845
65.66/48.72	o 844
65.66/48.76	o 843
65.66/48.79	o 842
65.76/48.82	o 841
65.76/48.85	o 840
65.76/48.88	o 839
65.87/48.91	o 838
65.87/48.93	o 837
65.87/48.96	o 836
65.87/48.98	o 835
66.01/49.00	o 834
66.01/49.02	o 833
66.24/49.23	o 832
66.44/49.41	o 831
66.54/49.59	o 830
66.76/49.75	o 829
66.98/49.91	o 828
67.08/50.07	o 827
67.28/50.24	o 826
67.51/50.40	o 825
67.61/50.56	o 824
67.81/50.70	o 823
67.92/50.84	o 822
68.02/50.98	o 821
68.22/51.13	o 820
68.33/51.28	o 819
68.53/51.42	o 818
68.63/51.56	o 817
68.73/51.70	o 816
68.93/51.83	o 815
69.03/51.96	o 814
69.13/52.08	o 813
69.24/52.19	o 812
69.35/52.29	o 811
69.45/52.39	o 810
69.54/52.48	o 809
69.64/52.58	o 808
69.74/52.66	o 807
69.85/52.75	o 806
69.95/52.84	o 805
70.05/52.93	o 804
70.15/53.01	o 803
70.15/53.09	o 802
70.29/53.18	o 801
70.40/53.27	o 800
70.51/53.35	o 799
70.60/53.42	o 798
70.60/53.49	o 797
70.70/53.57	o 796
70.80/53.64	o 795
70.90/53.71	o 794
70.90/53.77	o 793
71.00/53.83	o 792
71.00/53.89	o 791
71.10/53.94	o 790
71.10/53.99	o 789
71.20/54.03	o 788
71.20/54.08	o 787
71.31/54.12	o 786
71.31/54.17	o 785
71.41/54.21	o 784
71.41/54.25	o 783
71.41/54.29	o 782
71.52/54.33	o 781
71.52/54.36	o 780
71.52/54.39	o 779
71.61/54.42	o 778
71.61/54.45	o 777
71.61/54.48	o 776
71.71/54.50	o 775
71.71/54.52	o 774
71.71/54.54	o 773
71.71/54.56	o 772
71.71/54.58	o 771
71.81/54.60	o 770
71.81/54.62	o 769
71.81/54.63	o 768
71.81/54.64	o 767
71.81/54.65	o 766
71.81/54.67	o 765
71.81/54.69	o 764
71.95/54.70	o 8
2068.86/2018.93	v <instantiation
2068.86/2018.93	v         cost = '8'>
2068.86/2018.93	v       <list>
2068.86/2018.93	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]
2068.86/2018.93	v       </list>
2068.86/2018.93	v       <values>
2068.86/2018.93	v         3 2 0 0 2 3 0 1 0 2 1 1 2 2 4 2 1 5 3 6 0 1 1 1 1 2 3 1 1 0 5 1 1 3 2 7 7 1 5 3 6 7 0 0 0 0 0 0 2 3 0 0 1 1 0 0 0 0 0 0 2 0 0 1 1 3 3 1 1 3 4 0 0 3 3 3 3 5 4 5 4 4 4 4 2 2 2 2 1 1 2 2 1 1 1 1 1 1 1 1 3 1 3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 4 5 2 6 3 8 3 2 4 4 2 2 4 3 2 2 3 4 2 2 4 2 8 5 3 6 8 3 2 5 5 2 3 6 3 5 5 3 3 2 2 7 7 7 5 3 6 7 2 2 2 3 2 2 2 3 2 2 7 2 2 2 8 2 8 2 2 2 8 3 3 3 3 4 4 3 3 4 4 3 3 3 3 4 4 4 4 4 4 4 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 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7 4 5 2 0 3 7 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 0 0 0 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 0 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 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 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 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 1 1 1 1 1 1 4 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 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 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 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 2 0 2 0 2 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 1 0 1 4 7 3 5 2
2068.86/2018.93	v       </values>
2068.86/2018.93	v     </instantiation>
2068.86/2018.93	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 (14676 MiB free)
  memory of node 1: 16384 MiB (11830 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387015-1568288398/watcher-4387015-1568288398 -o /tmp/evaluation-result-4387015-1568288398/solver-4387015-1568288398 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568285902-5056 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1890840304 HOME/instance-4387015-1568288398.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
Current StackSize limit: 8192 KiB

solver pid=5656, runsolver pid=5653

[startup+0.100175 s]*
/proc/loadavg: 1.55 1.63 1.62 3/225 5713
/proc/meminfo: memFree=27135072/32770624 swapFree=67008180/67108860
[pid=5656] ppid=5653 vsize=9972712 memory=18328 CPUtime=0.09 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5653 5656 3137 0 -1 1077944320 4335 13115 0 0 1 0 5 3 20 0 6 0 404762523 10212057088 4582 33554432000 4194304 4196468 140728791945056 140728791927600 140398380564215 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
/proc/5656/statm: 2493178 4582 1931 1 0 2481616 0
[pid=5656/tid=5709] ppid=5653 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/5656/task/5709/stat : 5709 (java) R 5653 5656 3137 0 -1 4202560 2159 13115 0 0 1 0 5 3 20 0 6 0 404762532 10212057088 4648 33554432000 4194304 4196468 140728791945056 140398352400976 140398365687152 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5710] ppid=5653 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5710/stat : 5710 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 6 0 404762532 10212057088 4648 33554432000 4194304 4196468 140728791945056 140398384807056 140398380574421 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5711] ppid=5653 vsize=9972712 memory=140059248592512 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5711/stat : 5711 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 6 0 404762532 10212057088 4648 33554432000 4194304 4196468 140728791945056 140398273080336 140398380574421 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5712] ppid=5653 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5712/stat : 5712 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 6 0 404762532 10212057088 4648 33554432000 4194304 4196468 140728791945056 140398272027536 140398380574421 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5713] ppid=5653 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5713/stat : 5713 (java) S 5653 5656 3137 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 6 0 404762532 10212057088 4648 33554432000 4194304 4196468 140728791945056 140398270974736 140398380574421 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB

[startup+0.210645 s]*
/proc/loadavg: 1.55 1.63 1.62 3/234 5722
/proc/meminfo: memFree=27118752/32770624 swapFree=67008180/67108860
[pid=5656] ppid=5653 vsize=10818940 memory=37464 CPUtime=0.26 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5653 5656 3137 0 -1 1077944320 6742 13115 0 0 17 1 5 3 20 0 15 0 404762523 11078594560 9366 33554432000 4194304 4196468 140728791945056 140728791927600 140398380564215 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
/proc/5656/statm: 2704735 9366 2955 1 0 2667149 0
[pid=5656/tid=5709] ppid=5653 vsize=10818940 memory=8514726395714820750 CPUtime=0.19 cores=0,2,4,6
/proc/5656/task/5709/stat : 5709 (java) R 5653 5656 3137 0 -1 4202560 3264 13115 0 0 11 0 5 3 20 0 15 0 404762532 11078594560 9366 33554432000 4194304 4196468 140728791945056 140398352397040 140398380586141 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5710] ppid=5653 vsize=10818940 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5710/stat : 5710 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762532 11078594560 9366 33554432000 4194304 4196468 140728791945056 140398384807056 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5711] ppid=5653 vsize=10818940 memory=140059248592512 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5711/stat : 5711 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762532 11078594560 9366 33554432000 4194304 4196468 140728791945056 140398273080336 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5712] ppid=5653 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5712/stat : 5712 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762532 11078594560 9366 33554432000 4194304 4196468 140728791945056 140398272027536 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5713] ppid=5653 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5713/stat : 5713 (java) S 5653 5656 3137 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 404762532 11078594560 9366 33554432000 4194304 4196468 140728791945056 140398270974736 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5714] ppid=5653 vsize=10818940 memory=140059248592512 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5714/stat : 5714 (java) S 5653 5656 3137 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 404762534 11078594560 9366 33554432000 4194304 4196468 140728791945056 140397839862128 140398380575362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5715] ppid=5653 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5715/stat : 5715 (java) S 5653 5656 3137 0 -1 1077944384 33 13115 0 0 0 0 5 3 20 0 15 0 404762534 11078594560 9366 33554432000 4194304 4196468 140728791945056 140397838808096 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5716] ppid=5653 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5716/stat : 5716 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762535 11078594560 9366 33554432000 4194304 4196468 140728791945056 140397246407536 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5717] ppid=5653 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5717/stat : 5717 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11078594560 9366 33554432000 4194304 4196468 140728791945056 140396939007824 140398380582811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5718] ppid=5653 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5656/task/5718/stat : 5718 (java) R 5653 5656 3137 0 -1 1077944384 362 13115 0 0 1 0 5 3 20 0 15 0 404762537 11078594560 9366 33554432000 4194304 4196468 140728791945056 140397805251440 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5719] ppid=5653 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/5656/task/5719/stat : 5719 (java) S 5653 5656 3137 0 -1 1077944384 263 13115 0 0 1 0 5 3 20 0 15 0 404762537 11078594560 9366 33554432000 4194304 4196468 140728791945056 140397804198640 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5720] ppid=5653 vsize=10818940 memory=140059248592512 CPUtime=0.11 cores=0,2,4,6
/proc/5656/task/5720/stat : 5720 (java) R 5653 5656 3137 0 -1 4202560 619 13115 0 0 3 0 5 3 20 0 15 0 404762537 11078594560 9366 33554432000 4194304 4196468 140728791945056 140397803145840 140398380585562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5721] ppid=5653 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5721/stat : 5721 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11078594560 9366 33554432000 4194304 4196468 140728791945056 140396905450208 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5722] ppid=5653 vsize=10818940 memory=140059248592512 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5722/stat : 5722 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762538 11078594560 9366 33554432000 4194304 4196468 140728791945056 140397802093232 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 37464 KiB

[startup+0.311301 s]*
/proc/loadavg: 1.55 1.63 1.62 3/234 5722
/proc/meminfo: memFree=27107952/32770624 swapFree=67008180/67108860
[pid=5656] ppid=5653 vsize=10820096 memory=48840 CPUtime=0.4 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5653 5656 3137 0 -1 1077944320 10502 13115 0 0 30 2 5 3 20 0 15 0 404762523 11079778304 12210 33554432000 4194304 4196468 140728791945056 140728791927600 140398380564215 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
/proc/5656/statm: 2705024 12210 3209 1 0 2667149 0
[pid=5656/tid=5709] ppid=5653 vsize=10820096 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/5656/task/5709/stat : 5709 (java) R 5653 5656 3137 0 -1 4202560 6994 13115 0 0 20 2 5 3 20 0 15 0 404762532 11079778304 12210 33554432000 4194304 4196468 140728791945056 140398352384432 140397934312704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5710] ppid=5653 vsize=10820096 memory=7740670068682616168 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5710/stat : 5710 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762532 11079778304 12210 33554432000 4194304 4196468 140728791945056 140398384807056 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5711] ppid=5653 vsize=10820096 memory=7667752630867157352 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5711/stat : 5711 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762532 11079778304 12210 33554432000 4194304 4196468 140728791945056 140398273080336 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5712] ppid=5653 vsize=10820096 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5712/stat : 5712 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762532 11079778304 12210 33554432000 4194304 4196468 140728791945056 140398272027536 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5713] ppid=5653 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5713/stat : 5713 (java) S 5653 5656 3137 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 404762532 11079778304 12210 33554432000 4194304 4196468 140728791945056 140398270974736 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5714] ppid=5653 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5714/stat : 5714 (java) S 5653 5656 3137 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 404762534 11079778304 12210 33554432000 4194304 4196468 140728791945056 140397839862128 140398380575362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5715] ppid=5653 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5715/stat : 5715 (java) S 5653 5656 3137 0 -1 1077944384 33 13115 0 0 0 0 5 3 20 0 15 0 404762534 11079778304 12210 33554432000 4194304 4196468 140728791945056 140397838808096 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5716] ppid=5653 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5716/stat : 5716 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762535 11079778304 12210 33554432000 4194304 4196468 140728791945056 140397246407536 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5717] ppid=5653 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5717/stat : 5717 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11079778304 12210 33554432000 4194304 4196468 140728791945056 140396939007824 140398380582811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5718] ppid=5653 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5656/task/5718/stat : 5718 (java) S 5653 5656 3137 0 -1 1077944384 363 13115 0 0 1 0 5 3 20 0 15 0 404762537 11079778304 12210 33554432000 4194304 4196468 140728791945056 140397805251440 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5719] ppid=5653 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5656/task/5719/stat : 5719 (java) S 5653 5656 3137 0 -1 1077944384 264 13115 0 0 1 0 5 3 20 0 15 0 404762537 11079778304 12210 33554432000 4194304 4196468 140728791945056 140397804198640 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5720] ppid=5653 vsize=10820096 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/5656/task/5720/stat : 5720 (java) R 5653 5656 3137 0 -1 4202560 631 13115 0 0 5 0 5 3 20 0 15 0 404762537 11079778304 12210 33554432000 4194304 4196468 140728791945056 140397803145840 140398365098848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5721] ppid=5653 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5721/stat : 5721 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11079778304 12210 33554432000 4194304 4196468 140728791945056 140396905450208 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5722] ppid=5653 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5722/stat : 5722 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762538 11079778304 12210 33554432000 4194304 4196468 140728791945056 140397802093232 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 48840 KiB

[startup+0.702584 s]
/proc/loadavg: 1.55 1.63 1.62 5/234 5722
/proc/meminfo: memFree=27092352/32770624 swapFree=67008180/67108860
[pid=5656] ppid=5653 vsize=10824340 memory=78548 CPUtime=1.15 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5653 5656 3137 0 -1 1077944320 14384 13115 0 0 102 5 5 3 20 0 15 0 404762523 11084124160 19637 33554432000 4194304 4196468 140728791945056 140728791927600 140398380564215 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
/proc/5656/statm: 2706085 19637 3506 1 0 2668173 0
[pid=5656/tid=5709] ppid=5653 vsize=10824340 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5656/task/5709/stat : 5709 (java) R 5653 5656 3137 0 -1 4202560 10100 13115 0 0 55 4 5 3 20 0 15 0 404762532 11084124160 19637 33554432000 4194304 4196468 140728791945056 140398352391200 140398380576150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5710] ppid=5653 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5710/stat : 5710 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762532 11084124160 19637 33554432000 4194304 4196468 140728791945056 140398384807056 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5711] ppid=5653 vsize=10824340 memory=8751464017575295285 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5711/stat : 5711 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762532 11084124160 19637 33554432000 4194304 4196468 140728791945056 140398273080336 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5712] ppid=5653 vsize=10824340 memory=4638797021879231313 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5712/stat : 5712 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762532 11084124160 19637 33554432000 4194304 4196468 140728791945056 140398272027536 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5713] ppid=5653 vsize=10824340 memory=7223879631928058176 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5713/stat : 5713 (java) S 5653 5656 3137 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 404762532 11084124160 19637 33554432000 4194304 4196468 140728791945056 140398270974736 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5714] ppid=5653 vsize=10824340 memory=3484 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5714/stat : 5714 (java) S 5653 5656 3137 0 -1 1077944384 5 13115 0 0 0 0 5 3 20 0 15 0 404762534 11084124160 19637 33554432000 4194304 4196468 140728791945056 140397839862128 140398380575362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5715] ppid=5653 vsize=10824340 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5715/stat : 5715 (java) S 5653 5656 3137 0 -1 1077944384 33 13115 0 0 0 0 5 3 20 0 15 0 404762534 11084124160 19637 33554432000 4194304 4196468 140728791945056 140397838808096 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5716] ppid=5653 vsize=10824340 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5716/stat : 5716 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762535 11084124160 19637 33554432000 4194304 4196468 140728791945056 140397246407536 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5717] ppid=5653 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5717/stat : 5717 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11084124160 19637 33554432000 4194304 4196468 140728791945056 140396939007824 140398380582811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5718] ppid=5653 vsize=10824340 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/5656/task/5718/stat : 5718 (java) S 5653 5656 3137 0 -1 1077944384 607 13115 0 0 13 0 5 3 20 0 15 0 404762537 11084124160 19637 33554432000 4194304 4196468 140728791945056 140397805251440 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5719] ppid=5653 vsize=10824340 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/5656/task/5719/stat : 5719 (java) S 5653 5656 3137 0 -1 1077944384 637 13115 0 0 14 0 5 3 20 0 15 0 404762537 11084124160 19637 33554432000 4194304 4196468 140728791945056 140397804198640 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5720] ppid=5653 vsize=10824340 memory=19265 CPUtime=0.26 cores=0,2,4,6
/proc/5656/task/5720/stat : 5720 (java) R 5653 5656 3137 0 -1 4202560 784 13115 0 0 18 0 5 3 20 0 15 0 404762537 11084124160 19637 33554432000 4194304 4196468 140728791945056 140397803145840 140398380585562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5721] ppid=5653 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5721/stat : 5721 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11084124160 19637 33554432000 4194304 4196468 140728791945056 140396905450208 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5722] ppid=5653 vsize=10824340 memory=664970774370811550 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5722/stat : 5722 (java) R 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762538 11084124160 19637 33554432000 4194304 4196468 140728791945056 140397802093232 140398380575362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 78548 KiB

[startup+1.50141 s]
/proc/loadavg: 1.55 1.63 1.62 5/234 5722
/proc/meminfo: memFree=27045108/32770624 swapFree=67008180/67108860
[pid=5656] ppid=5653 vsize=10830560 memory=194840 CPUtime=3.24 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5653 5656 3137 0 -1 1077944320 23115 13115 0 0 306 10 5 3 20 0 15 0 404762523 11090493440 48710 33554432000 4194304 4196468 140728791945056 140728791927600 140398380564215 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
/proc/5656/statm: 2707640 48710 3552 1 0 2669709 0
[pid=5656/tid=5709] ppid=5653 vsize=10830560 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/5656/task/5709/stat : 5709 (java) R 5653 5656 3137 0 -1 4202560 13763 13115 0 0 130 7 5 3 20 0 15 0 404762532 11090493440 48710 33554432000 4194304 4196468 140728791945056 140398352375872 140398303620033 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5710] ppid=5653 vsize=10830560 memory=2986067541234002793 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5710/stat : 5710 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762532 11090493440 48710 33554432000 4194304 4196468 140728791945056 140398384807056 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5711] ppid=5653 vsize=10830560 memory=8694381220145897481 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5711/stat : 5711 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762532 11090493440 48710 33554432000 4194304 4196468 140728791945056 140398273080336 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5712] ppid=5653 vsize=10830560 memory=-2746958450906831519 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5712/stat : 5712 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762532 11090493440 48710 33554432000 4194304 4196468 140728791945056 140398272027536 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5713] ppid=5653 vsize=10830560 memory=7019467088073864960 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5713/stat : 5713 (java) S 5653 5656 3137 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 404762532 11090493440 48710 33554432000 4194304 4196468 140728791945056 140398270974736 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5714] ppid=5653 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5714/stat : 5714 (java) S 5653 5656 3137 0 -1 1077944384 12 13115 0 0 0 0 5 3 20 0 15 0 404762534 11090493440 48710 33554432000 4194304 4196468 140728791945056 140397839862128 140398380575362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5715] ppid=5653 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5715/stat : 5715 (java) S 5653 5656 3137 0 -1 1077944384 33 13115 0 0 0 0 5 3 20 0 15 0 404762534 11090493440 48710 33554432000 4194304 4196468 140728791945056 140397838808096 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5716] ppid=5653 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5716/stat : 5716 (java) S 5653 5656 3137 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 404762535 11090493440 48710 33554432000 4194304 4196468 140728791945056 140397246407536 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5717] ppid=5653 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5717/stat : 5717 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11090493440 48710 33554432000 4194304 4196468 140728791945056 140396939007824 140398380582811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5718] ppid=5653 vsize=10830560 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/5656/task/5718/stat : 5718 (java) S 5653 5656 3137 0 -1 1077944384 2606 13115 0 0 65 0 5 3 20 0 15 0 404762537 11090493440 48710 33554432000 4194304 4196468 140728791945056 140397805251440 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5719] ppid=5653 vsize=10830560 memory=26 CPUtime=0.73 cores=0,2,4,6
/proc/5656/task/5719/stat : 5719 (java) S 5653 5656 3137 0 -1 1077944384 2514 13115 0 0 65 0 5 3 20 0 15 0 404762537 11090493440 48710 33554432000 4194304 4196468 140728791945056 140397804198640 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5720] ppid=5653 vsize=10830560 memory=29 CPUtime=0.52 cores=0,2,4,6
/proc/5656/task/5720/stat : 5720 (java) S 5653 5656 3137 0 -1 1077944384 1968 13115 0 0 44 0 5 3 20 0 15 0 404762537 11090493440 48710 33554432000 4194304 4196468 140728791945056 140397803145840 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5721] ppid=5653 vsize=10830560 memory=31 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5721/stat : 5721 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11090493440 48710 33554432000 4194304 4196468 140728791945056 140396905450208 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5722] ppid=5653 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5722/stat : 5722 (java) S 5653 5656 3137 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 404762538 11090493440 48710 33554432000 4194304 4196468 140728791945056 140397802093232 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
Current children cumulated CPU time: 3.24 s
Current children cumulated vsize: 10830560 KiB

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

[pid=5656/tid=5721] ppid=5653 vsize=10846964 memory=3312 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5721/stat : 5721 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140396905450208 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5722] ppid=5653 vsize=10846964 memory=2586096 CPUtime=1.25 cores=0,2,4,6
/proc/5656/task/5722/stat : 5722 (java) S 5653 5656 3137 0 -1 1077944384 1591 13115 0 0 60 57 5 3 20 0 15 0 404762538 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397802093232 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
Current children cumulated CPU time: 2066.11 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2586096 KiB

[startup+2017.8 s]
/proc/loadavg: 1.51 1.46 1.47 3/234 6701
/proc/meminfo: memFree=27424400/32770624 swapFree=67008220/67108860
[pid=5656] ppid=5653 vsize=10846964 memory=2586096 CPUtime=2067.74 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5653 5656 3137 0 -1 1077944320 314070 13115 0 0 206431 335 5 3 20 0 15 0 404762523 11107291136 646524 33554432000 4194304 4196468 140728791945056 140728791927600 140398380564215 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
/proc/5656/statm: 2711741 646524 3634 1 0 2673805 0
[pid=5656/tid=5709] ppid=5653 vsize=10846964 memory=8112282956445269571 CPUtime=1998.32 cores=0,2,4,6
/proc/5656/task/5709/stat : 5709 (java) R 5653 5656 3137 0 -1 4202560 94934 13115 0 0 199749 75 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398352400336 140397947991624 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5710] ppid=5653 vsize=10846964 memory=14852 CPUtime=10.79 cores=0,2,4,6
/proc/5656/task/5710/stat : 5710 (java) S 5653 5656 3137 0 -1 1077944384 29643 13115 0 0 1024 47 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398384807056 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5711] ppid=5653 vsize=10846964 memory=984 CPUtime=10.75 cores=0,2,4,6
/proc/5656/task/5711/stat : 5711 (java) S 5653 5656 3137 0 -1 1077944384 30612 13115 0 0 1019 48 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398273080336 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5712] ppid=5653 vsize=10846964 memory=1948 CPUtime=10.75 cores=0,2,4,6
/proc/5656/task/5712/stat : 5712 (java) S 5653 5656 3137 0 -1 1077944384 28499 13115 0 0 1021 46 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398272027536 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5713] ppid=5653 vsize=10846964 memory=2586096 CPUtime=10.76 cores=0,2,4,6
/proc/5656/task/5713/stat : 5713 (java) S 5653 5656 3137 0 -1 1077944384 33581 13115 0 0 1021 47 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398270974736 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5714] ppid=5653 vsize=10846964 memory=2200 CPUtime=6.61 cores=0,2,4,6
/proc/5656/task/5714/stat : 5714 (java) S 5653 5656 3137 0 -1 1077944384 29847 13115 0 0 620 33 5 3 20 0 15 0 404762534 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397839862128 140398380575362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5715] ppid=5653 vsize=10846964 memory=1600 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5715/stat : 5715 (java) S 5653 5656 3137 0 -1 1077944384 42 13115 0 0 0 0 5 3 20 0 15 0 404762534 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397838808224 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5716] ppid=5653 vsize=10846964 memory=6944656591801717918 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5716/stat : 5716 (java) S 5653 5656 3137 0 -1 1077944384 7 13115 0 0 0 0 5 3 20 0 15 0 404762535 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397246407552 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5717] ppid=5653 vsize=10846964 memory=8564 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5717/stat : 5717 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140396939007824 140398380582811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5718] ppid=5653 vsize=10846964 memory=1728 CPUtime=7.55 cores=0,2,4,6
/proc/5656/task/5718/stat : 5718 (java) S 5653 5656 3137 0 -1 1077944384 22667 13115 0 0 742 5 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397805251440 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5719] ppid=5653 vsize=10846964 memory=1196 CPUtime=7.65 cores=0,2,4,6
/proc/5656/task/5719/stat : 5719 (java) S 5653 5656 3137 0 -1 1077944384 22548 13115 0 0 751 6 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397804198640 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5720] ppid=5653 vsize=10846964 memory=1096 CPUtime=3.91 cores=0,2,4,6
/proc/5656/task/5720/stat : 5720 (java) S 5653 5656 3137 0 -1 1077944384 17888 13115 0 0 378 5 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397803145840 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5721] ppid=5653 vsize=10846964 memory=7892 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5721/stat : 5721 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140396905450208 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5722] ppid=5653 vsize=10846964 memory=2586092 CPUtime=1.25 cores=0,2,4,6
/proc/5656/task/5722/stat : 5722 (java) S 5653 5656 3137 0 -1 1077944384 1591 13115 0 0 60 57 5 3 20 0 15 0 404762538 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397802093232 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
Current children cumulated CPU time: 2067.74 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2586096 KiB

[startup+2018.61 s]
/proc/loadavg: 1.51 1.46 1.47 3/234 6701
/proc/meminfo: memFree=27425808/32770624 swapFree=67008220/67108860
[pid=5656] ppid=5653 vsize=10846964 memory=2586096 CPUtime=2068.56 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5653 5656 3137 0 -1 1077944320 314075 13115 0 0 206513 335 5 3 20 0 15 0 404762523 11107291136 646524 33554432000 4194304 4196468 140728791945056 140728791927600 140398380564215 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
/proc/5656/statm: 2711741 646524 3634 1 0 2673805 0
[pid=5656/tid=5709] ppid=5653 vsize=10846964 memory=2586096 CPUtime=1999.12 cores=0,2,4,6
/proc/5656/task/5709/stat : 5709 (java) R 5653 5656 3137 0 -1 4202560 94939 13115 0 0 199829 75 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398352399296 140397943999137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5710] ppid=5653 vsize=10846964 memory=15262532197681725 CPUtime=10.79 cores=0,2,4,6
/proc/5656/task/5710/stat : 5710 (java) S 5653 5656 3137 0 -1 1077944384 29643 13115 0 0 1024 47 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398384807056 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5711] ppid=5653 vsize=10846964 memory=1764 CPUtime=10.75 cores=0,2,4,6
/proc/5656/task/5711/stat : 5711 (java) S 5653 5656 3137 0 -1 1077944384 30612 13115 0 0 1019 48 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398273080336 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5712] ppid=5653 vsize=10846964 memory=111632 CPUtime=10.76 cores=0,2,4,6
/proc/5656/task/5712/stat : 5712 (java) S 5653 5656 3137 0 -1 1077944384 28499 13115 0 0 1022 46 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398272027536 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5713] ppid=5653 vsize=10846964 memory=1808 CPUtime=10.77 cores=0,2,4,6
/proc/5656/task/5713/stat : 5713 (java) S 5653 5656 3137 0 -1 1077944384 33581 13115 0 0 1022 47 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398270974736 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5714] ppid=5653 vsize=10846964 memory=2586096 CPUtime=6.62 cores=0,2,4,6
/proc/5656/task/5714/stat : 5714 (java) S 5653 5656 3137 0 -1 1077944384 29847 13115 0 0 621 33 5 3 20 0 15 0 404762534 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397839862128 140398380575362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5715] ppid=5653 vsize=10846964 memory=3484 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5715/stat : 5715 (java) S 5653 5656 3137 0 -1 1077944384 42 13115 0 0 0 0 5 3 20 0 15 0 404762534 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397838808224 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5716] ppid=5653 vsize=10846964 memory=14852 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5716/stat : 5716 (java) S 5653 5656 3137 0 -1 1077944384 7 13115 0 0 0 0 5 3 20 0 15 0 404762535 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397246407552 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5717] ppid=5653 vsize=10846964 memory=984 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5717/stat : 5717 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140396939007824 140398380582811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5718] ppid=5653 vsize=10846964 memory=1948 CPUtime=7.55 cores=0,2,4,6
/proc/5656/task/5718/stat : 5718 (java) S 5653 5656 3137 0 -1 1077944384 22667 13115 0 0 742 5 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397805251440 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5719] ppid=5653 vsize=10846964 memory=1336 CPUtime=7.65 cores=0,2,4,6
/proc/5656/task/5719/stat : 5719 (java) S 5653 5656 3137 0 -1 1077944384 22548 13115 0 0 751 6 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397804198640 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5720] ppid=5653 vsize=10846964 memory=8112282956445269571 CPUtime=3.91 cores=0,2,4,6
/proc/5656/task/5720/stat : 5720 (java) S 5653 5656 3137 0 -1 1077944384 17888 13115 0 0 378 5 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397803145840 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5721] ppid=5653 vsize=10846964 memory=546848 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5721/stat : 5721 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140396905450208 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5722] ppid=5653 vsize=10846964 memory=1792 CPUtime=1.25 cores=0,2,4,6
/proc/5656/task/5722/stat : 5722 (java) S 5653 5656 3137 0 -1 1077944384 1591 13115 0 0 60 57 5 3 20 0 15 0 404762538 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397802093232 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
Current children cumulated CPU time: 2068.56 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2586096 KiB

[startup+2018.8 s]
/proc/loadavg: 1.51 1.46 1.47 3/234 6701
/proc/meminfo: memFree=27425808/32770624 swapFree=67008220/67108860
[pid=5656] ppid=5653 vsize=10846964 memory=2586096 CPUtime=2068.76 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5653 5656 3137 0 -1 1077944320 314076 13115 0 0 206533 335 5 3 20 0 15 0 404762523 11107291136 646524 33554432000 4194304 4196468 140728791945056 140728791927600 140398380564215 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
/proc/5656/statm: 2711741 646524 3634 1 0 2673805 0
[pid=5656/tid=5709] ppid=5653 vsize=10846964 memory=-7175204567652784766 CPUtime=1999.31 cores=0,2,4,6
/proc/5656/task/5709/stat : 5709 (java) R 5653 5656 3137 0 -1 4202560 94940 13115 0 0 199848 75 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398352398656 140397937343758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5710] ppid=5653 vsize=10846964 memory=3054156605268465310 CPUtime=10.8 cores=0,2,4,6
/proc/5656/task/5710/stat : 5710 (java) S 5653 5656 3137 0 -1 1077944384 29643 13115 0 0 1025 47 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398384807056 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5711] ppid=5653 vsize=10846964 memory=8514726395714825349 CPUtime=10.75 cores=0,2,4,6
/proc/5656/task/5711/stat : 5711 (java) S 5653 5656 3137 0 -1 1077944384 30612 13115 0 0 1019 48 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398273080336 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5712] ppid=5653 vsize=10846964 memory=8112282956445269571 CPUtime=10.76 cores=0,2,4,6
/proc/5656/task/5712/stat : 5712 (java) S 5653 5656 3137 0 -1 1077944384 28499 13115 0 0 1022 46 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398272027536 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5713] ppid=5653 vsize=10846964 memory=1052 CPUtime=10.77 cores=0,2,4,6
/proc/5656/task/5713/stat : 5713 (java) S 5653 5656 3137 0 -1 1077944384 33581 13115 0 0 1022 47 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398270974736 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5714] ppid=5653 vsize=10846964 memory=776 CPUtime=6.62 cores=0,2,4,6
/proc/5656/task/5714/stat : 5714 (java) S 5653 5656 3137 0 -1 1077944384 29847 13115 0 0 621 33 5 3 20 0 15 0 404762534 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397839862128 140398380575362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5715] ppid=5653 vsize=10846964 memory=3940 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5715/stat : 5715 (java) S 5653 5656 3137 0 -1 1077944384 42 13115 0 0 0 0 5 3 20 0 15 0 404762534 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397838808224 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5716] ppid=5653 vsize=10846964 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5716/stat : 5716 (java) S 5653 5656 3137 0 -1 1077944384 7 13115 0 0 0 0 5 3 20 0 15 0 404762535 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397246407552 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5717] ppid=5653 vsize=10846964 memory=8564 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5717/stat : 5717 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140396939007824 140398380582811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5718] ppid=5653 vsize=10846964 memory=1728 CPUtime=7.55 cores=0,2,4,6
/proc/5656/task/5718/stat : 5718 (java) S 5653 5656 3137 0 -1 1077944384 22667 13115 0 0 742 5 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397805251440 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5719] ppid=5653 vsize=10846964 memory=1196 CPUtime=7.65 cores=0,2,4,6
/proc/5656/task/5719/stat : 5719 (java) S 5653 5656 3137 0 -1 1077944384 22548 13115 0 0 751 6 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397804198640 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5720] ppid=5653 vsize=10846964 memory=744 CPUtime=3.91 cores=0,2,4,6
/proc/5656/task/5720/stat : 5720 (java) S 5653 5656 3137 0 -1 1077944384 17888 13115 0 0 378 5 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397803145840 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5721] ppid=5653 vsize=10846964 memory=1052 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5721/stat : 5721 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140396905450208 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5722] ppid=5653 vsize=10846964 memory=776 CPUtime=1.25 cores=0,2,4,6
/proc/5656/task/5722/stat : 5722 (java) S 5653 5656 3137 0 -1 1077944384 1591 13115 0 0 60 57 5 3 20 0 15 0 404762538 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397802093232 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
Current children cumulated CPU time: 2068.76 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2586096 KiB

[startup+2018.9 s]
/proc/loadavg: 1.51 1.46 1.47 3/234 6701
/proc/meminfo: memFree=27425808/32770624 swapFree=67008220/67108860
[pid=5656] ppid=5653 vsize=10846964 memory=2586096 CPUtime=2068.86 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5653 5656 3137 0 -1 1077944320 314086 13115 0 0 206543 335 5 3 20 0 15 0 404762523 11107291136 646524 33554432000 4194304 4196468 140728791945056 140728791927600 140398380564215 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
/proc/5656/statm: 2711741 646524 3634 1 0 2673805 0
[pid=5656/tid=5709] ppid=5653 vsize=10846964 memory=1584 CPUtime=1999.41 cores=0,2,4,6
/proc/5656/task/5709/stat : 5709 (java) R 5653 5656 3137 0 -1 4202560 94950 13115 0 0 199858 75 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398352398544 140398358671548 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5710] ppid=5653 vsize=10846964 memory=2586096 CPUtime=10.8 cores=0,2,4,6
/proc/5656/task/5710/stat : 5710 (java) S 5653 5656 3137 0 -1 1077944384 29643 13115 0 0 1025 47 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398384807056 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5711] ppid=5653 vsize=10846964 memory=2574728 CPUtime=10.75 cores=0,2,4,6
/proc/5656/task/5711/stat : 5711 (java) S 5653 5656 3137 0 -1 1077944384 30612 13115 0 0 1019 48 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398273080336 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5712] ppid=5653 vsize=10846964 memory=0 CPUtime=10.76 cores=0,2,4,6
/proc/5656/task/5712/stat : 5712 (java) S 5653 5656 3137 0 -1 1077944384 28499 13115 0 0 1022 46 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398272027536 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5713] ppid=5653 vsize=10846964 memory=2586092 CPUtime=10.77 cores=0,2,4,6
/proc/5656/task/5713/stat : 5713 (java) S 5653 5656 3137 0 -1 1077944384 33581 13115 0 0 1022 47 5 3 20 0 15 0 404762532 11107291136 646524 33554432000 4194304 4196468 140728791945056 140398270974736 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5714] ppid=5653 vsize=10846964 memory=2586096 CPUtime=6.62 cores=0,2,4,6
/proc/5656/task/5714/stat : 5714 (java) S 5653 5656 3137 0 -1 1077944384 29847 13115 0 0 621 33 5 3 20 0 15 0 404762534 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397839862128 140398380575362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5715] ppid=5653 vsize=10846964 memory=2586092 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5715/stat : 5715 (java) S 5653 5656 3137 0 -1 1077944384 42 13115 0 0 0 0 5 3 20 0 15 0 404762534 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397838808224 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5716] ppid=5653 vsize=10846964 memory=2586096 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5716/stat : 5716 (java) S 5653 5656 3137 0 -1 1077944384 7 13115 0 0 0 0 5 3 20 0 15 0 404762535 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397246407552 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5717] ppid=5653 vsize=10846964 memory=2586096 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5717/stat : 5717 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140396939007824 140398380582811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5718] ppid=5653 vsize=10846964 memory=2586096 CPUtime=7.55 cores=0,2,4,6
/proc/5656/task/5718/stat : 5718 (java) S 5653 5656 3137 0 -1 1077944384 22667 13115 0 0 742 5 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397805251440 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5719] ppid=5653 vsize=10846964 memory=3484 CPUtime=7.65 cores=0,2,4,6
/proc/5656/task/5719/stat : 5719 (java) S 5653 5656 3137 0 -1 1077944384 22548 13115 0 0 751 6 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397804198640 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5720] ppid=5653 vsize=10846964 memory=14852 CPUtime=3.91 cores=0,2,4,6
/proc/5656/task/5720/stat : 5720 (java) S 5653 5656 3137 0 -1 1077944384 17888 13115 0 0 378 5 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397803145840 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5721] ppid=5653 vsize=10846964 memory=2586096 CPUtime=0.08 cores=0,2,4,6
/proc/5656/task/5721/stat : 5721 (java) S 5653 5656 3137 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 404762537 11107291136 646524 33554432000 4194304 4196468 140728791945056 140396905450208 140398380574421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
[pid=5656/tid=5722] ppid=5653 vsize=10846964 memory=2586096 CPUtime=1.25 cores=0,2,4,6
/proc/5656/task/5722/stat : 5722 (java) S 5653 5656 3137 0 -1 1077944384 1591 13115 0 0 60 57 5 3 20 0 15 0 404762538 11107291136 646524 33554432000 4194304 4196468 140728791945056 140397802093232 140398380575362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140728791948021 140728791950533 140728791950533 140728791953359 0
Current children cumulated CPU time: 2068.86 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2586096 KiB

Child status: 0
Real time (s): 2018.95
CPU time (s): 2068.92
CPU user time (s): 2065.52
CPU system time (s): 3.40012
CPU usage (%): 102.475
Max. virtual memory (cumulated for all children) (KiB): 10847580
Max. memory (cumulated for all children) (KiB): 2847756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2065.52
system time used= 3.40012
maximum resident set size= 2847756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195288
involuntary context switches= 7130


# summary of solver processes directly reported to runsolver:
#   pid: 5656
#   total CPU time (s): 2068.92
#   total CPU user time (s): 2065.52
#   total CPU system time (s): 3.40012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0746 second user time and 18.5645 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-12 13:39:08
IDJOB=4387015
IDBENCH=120658
IDSOLVER=2823
FILE ID=node132/4387015-1568288398
RUNJOBID= node132-1568285902-5056
PBS_JOBID= 21701076
Free space on /tmp= 57952 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-4387015-1568288398/watcher-4387015-1568288398 -o /tmp/evaluation-result-4387015-1568288398/solver-4387015-1568288398 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568285902-5056 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1890840304 HOME/instance-4387015-1568288398.xml

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

MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6
RANDOM SEED=1890840304

node132.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.95
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.95
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.95
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.95
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:        27142844 kB
MemAvailable:   28505264 kB
Buffers:           95164 kB
Cached:          1536220 kB
SwapCached:         9112 kB
Active:          3764460 kB
Inactive:        1273912 kB
Active(anon):    3406160 kB
Inactive(anon):    27660 kB
Active(file):     358300 kB
Inactive(file):  1246252 kB
Unevictable:      109512 kB
Mlocked:          109512 kB
SwapTotal:      67108860 kB
SwapFree:       67008180 kB
Dirty:             35668 kB
Writeback:             0 kB
AnonPages:       3517356 kB
Mapped:            43140 kB
Shmem:             18052 kB
Slab:             176312 kB
SReclaimable:     147404 kB
SUnreclaim:        28908 kB
KernelStack:        4096 kB
PageTables:        13008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4374872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3323904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 57920 MiB
End job on node132 at 2019-09-12 14:12:48