Trace number 4402729

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.12.3OPT3 139.14 123.555

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-ash608GPIA.xml
MD5SUM0df69417c613ef889e63c8df69e0b506
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1.33999
Satisfiable
(Un)Satisfiability was proved
Number of variables1216
Number of constraints7844
Number of domains1
Minimum domain size1216
Maximum domain size1216
Distribution of domain sizes[{"size":1216,"count":1216}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":1},{"degree":6,"count":2},{"degree":7,"count":13},{"degree":8,"count":18},{"degree":9,"count":26},{"degree":10,"count":54},{"degree":11,"count":102},{"degree":12,"count":128},{"degree":13,"count":194},{"degree":14,"count":189},{"degree":15,"count":154},{"degree":16,"count":130},{"degree":17,"count":97},{"degree":18,"count":66},{"degree":19,"count":22},{"degree":20,"count":10},{"degree":21,"count":10}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":7844}]
Number of extensional constraints0
Number of intensional constraints7844
Distribution of constraint types[{"type":"intension","count":7844}]
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.78/0.56	c Concrete v3.12.3.1568965526260 running
18.96/8.23	o 1215
20.24/8.96	o 1214
21.12/9.58	o 1213
21.88/10.15	o 1212
22.62/10.71	o 1211
23.31/11.28	o 1210
24.17/11.84	o 1209
24.74/12.37	o 1208
25.30/12.89	o 1207
26.10/13.41	o 1206
26.61/13.94	o 1205
27.20/14.46	o 1204
27.70/14.96	o 1203
28.20/15.48	o 1202
28.72/16.00	o 1201
29.32/16.51	o 1200
29.85/17.03	o 1199
30.45/17.61	o 1198
31.19/18.21	o 1197
31.69/18.79	o 1196
32.37/19.31	o 1195
32.87/19.83	o 1194
33.38/20.35	o 1193
33.88/20.86	o 1192
34.38/21.37	o 1191
35.00/21.90	o 1190
35.51/22.45	o 1189
36.01/22.92	o 1188
36.55/23.43	o 1187
37.05/23.94	o 1186
37.56/24.45	o 1185
38.06/24.96	o 1184
38.56/25.47	o 1183
39.07/25.98	o 1182
39.66/26.54	o 1181
40.17/27.08	o 1180
40.76/27.61	o 1179
41.27/28.18	o 1178
41.86/28.76	o 1177
42.47/29.34	o 1176
42.90/29.80	o 1175
43.40/30.29	o 1174
44.16/30.80	o 1173
44.56/31.29	o 1172
45.07/31.78	o 1171
45.57/32.24	o 1170
46.19/32.74	o 1169
46.69/33.27	o 1168
47.19/33.75	o 1167
47.69/34.25	o 1166
48.19/34.77	o 1165
48.80/35.30	o 1164
49.34/35.82	o 1163
49.74/36.30	o 1162
50.24/36.79	o 1161
50.74/37.29	o 1160
51.38/37.81	o 1159
51.78/38.26	o 1158
52.31/38.70	o 1157
52.77/39.11	o 1156
53.18/39.51	o 1155
53.48/39.86	o 1154
53.88/40.21	o 1153
54.39/40.70	o 1152
54.89/41.23	o 1151
55.39/41.76	o 1150
56.01/42.36	o 1149
56.61/42.91	o 1148
57.10/43.50	o 1147
57.71/44.06	o 1146
58.31/44.65	o 1145
58.78/45.07	o 1144
59.17/45.47	o 1143
59.67/45.97	o 1142
60.17/46.47	o 1141
60.67/46.94	o 1140
61.17/47.40	o 1139
61.57/47.86	o 1138
62.07/48.32	o 1137
62.47/48.78	o 1136
62.97/49.20	o 1135
63.38/49.61	o 1134
63.79/50.01	o 1133
64.18/50.41	o 1132
64.58/50.82	o 1131
64.90/51.19	o 1130
65.39/51.69	o 1129
65.99/52.21	o 1128
66.49/52.72	o 1127
66.99/53.23	o 1126
67.43/53.68	o 1125
67.94/54.13	o 1124
68.33/54.52	o 1123
68.63/54.89	o 1122
69.03/55.26	o 1121
69.43/55.60	o 1120
69.73/55.93	o 1119
70.03/56.24	o 1118
70.33/56.58	o 1117
70.73/56.91	o 1116
71.04/57.25	o 1115
71.33/57.52	o 1114
71.73/58.00	o 1113
72.24/58.49	o 1112
72.74/58.99	o 1111
73.34/59.50	o 1110
73.74/59.99	o 1109
74.24/60.46	o 1108
74.74/60.93	o 1107
75.14/61.36	o 1106
75.64/61.81	o 1105
76.04/62.24	o 1104
76.53/62.70	o 1103
77.04/63.21	o 1102
77.54/63.70	o 1101
78.03/64.21	o 1100
78.44/64.68	o 1099
78.96/65.13	o 1098
79.40/65.51	o 1097
79.70/65.83	o 1096
80.01/66.15	o 1095
80.51/66.63	o 1094
81.02/67.11	o 1093
81.41/67.59	o 1092
81.92/68.09	o 1091
82.41/68.55	o 1090
82.92/69.02	o 1089
83.32/69.47	o 1088
83.72/69.90	o 1087
84.22/70.34	o 1086
84.62/70.77	o 1085
85.12/71.27	o 1084
85.62/71.72	o 1083
86.03/72.17	o 1082
86.42/72.57	o 1081
86.93/73.02	o 1080
87.32/73.45	o 1079
87.72/73.88	o 1078
88.22/74.30	o 1077
88.62/74.73	o 1076
89.04/75.15	o 1075
89.43/75.55	o 1074
89.83/75.95	o 1073
90.33/76.48	o 1072
90.84/76.99	o 1071
91.48/77.51	o 1070
91.88/77.98	o 1069
92.38/78.44	o 1068
92.88/78.90	o 1067
93.29/79.34	o 1066
93.69/79.76	o 1065
94.10/80.19	o 1064
94.59/80.65	o 1063
95.00/81.09	o 1062
95.49/81.51	o 1061
95.89/81.93	o 1060
96.29/82.33	o 1059
96.59/82.70	o 1058
97.00/83.06	o 1057
97.39/83.42	o 1056
97.69/83.76	o 1055
98.00/84.09	o 1054
98.29/84.39	o 1053
98.69/84.70	o 1052
99.00/85.02	o 1051
99.29/85.32	o 1050
99.59/85.60	o 1049
99.79/85.87	o 1048
100.10/86.14	o 1047
100.39/86.41	o 1046
100.59/86.66	o 1045
101.10/87.19	o 1044
101.69/87.72	o 1043
102.19/88.23	o 1042
102.69/88.71	o 1041
103.10/89.17	o 1040
103.60/89.67	o 1039
104.19/90.21	o 1038
104.59/90.68	o 1037
105.26/91.13	o 1036
105.65/91.50	o 1035
105.95/91.85	o 1034
106.26/92.20	o 1033
106.65/92.54	o 1032
106.95/92.89	o 1031
107.35/93.23	o 1030
107.65/93.56	o 1029
107.96/93.85	o 1028
108.27/94.16	o 1027
108.56/94.43	o 1026
108.86/94.72	o 1025
109.06/94.97	o 1024
109.36/95.21	o 1023
109.56/95.44	o 1022
109.76/95.67	o 1021
110.06/95.92	o 1020
110.27/96.13	o 1019
110.46/96.33	o 1018
110.66/96.52	o 1017
110.86/96.71	o 1016
110.96/96.88	o 1015
111.17/97.05	o 1014
111.36/97.21	o 1013
111.46/97.35	o 1012
111.57/97.49	o 1011
111.67/97.59	o 1010
111.87/97.70	o 1009
111.97/97.81	o 1008
112.07/97.91	o 1007
112.07/98.00	o 1006
112.17/98.10	o 1005
112.37/98.20	o 1004
112.37/98.28	o 1003
112.87/98.79	o 1002
113.47/99.30	o 1001
113.87/99.79	o 1000
114.37/100.28	o 999
114.87/100.78	o 998
115.37/101.26	o 997
115.87/101.75	o 996
116.37/102.20	o 995
116.77/102.67	o 994
117.18/103.10	o 993
117.67/103.52	o 992
118.07/103.97	o 991
118.56/104.36	o 990
118.96/104.75	o 989
119.37/105.13	o 988
119.76/105.50	o 987
120.06/105.86	o 986
120.46/106.21	o 985
120.76/106.56	o 984
121.06/106.90	o 983
121.46/107.25	o 982
121.76/107.59	o 981
122.16/107.93	o 980
122.46/108.25	o 979
122.76/108.57	o 978
123.06/108.86	o 977
123.37/109.14	o 976
123.66/109.40	o 975
123.86/109.69	o 974
124.16/109.94	o 973
124.46/110.20	o 972
124.66/110.44	o 971
124.86/110.68	o 970
125.06/110.89	o 969
125.27/111.10	o 968
125.56/111.30	o 967
125.76/111.52	o 966
125.96/111.73	o 965
126.16/111.94	o 964
126.37/112.12	o 963
126.46/112.30	o 962
126.67/112.47	o 961
126.87/112.63	o 960
126.98/112.77	o 959
127.18/112.91	o 958
127.68/113.44	o 957
128.19/113.92	o 956
128.59/114.39	o 955
129.09/114.82	o 954
129.49/115.22	o 953
129.89/115.61	o 952
130.19/115.98	o 951
130.59/116.35	o 950
130.89/116.69	o 949
131.30/117.02	o 948
131.64/117.36	o 947
131.94/117.66	o 946
132.24/117.96	o 945
132.54/118.25	o 944
132.84/118.54	o 943
133.14/118.81	o 942
133.35/119.06	o 941
133.64/119.31	o 940
133.84/119.54	o 939
134.04/119.74	o 938
134.24/119.94	o 937
134.45/120.13	o 936
134.54/120.30	o 935
134.75/120.43	o 934
134.85/120.55	o 933
134.94/120.66	o 932
135.04/120.76	o 931
135.14/120.87	o 930
135.24/120.97	o 929
135.35/121.06	o 928
135.46/121.15	o 927
135.54/121.23	o 926
135.64/121.31	o 925
135.64/121.38	o 924
135.74/121.45	o 923
135.84/121.51	o 922
135.84/121.57	o 921
135.94/121.63	o 920
135.94/121.68	o 919
136.04/121.74	o 918
136.04/121.79	o 917
136.14/121.84	o 916
136.14/121.88	o 915
136.24/121.92	o 914
136.24/121.96	o 913
136.24/121.99	o 912
136.35/122.02	o 911
136.35/122.04	o 910
136.35/122.07	o 909
136.35/122.08	o 908
136.35/122.10	o 907
136.45/122.11	o 906
136.45/122.11	o 905
136.45/122.12	o 6
137.38/122.58	o 5
138.15/123.04	o 4
138.75/123.39	o 3
138.95/123.44	v <instantiation
138.95/123.44	v         cost = '3'>
138.95/123.44	v       <list>
138.95/123.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] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215]
138.95/123.44	v       </list>
138.95/123.44	v       <values>
138.95/123.44	v         0 2 1 2 0 3 2 1 0 3 2 1 3 0 1 2 2 1 3 1 2 1 0 2 0 3 0 2 2 3 2 0 1 0 1 2 3 0 1 0 2 0 2 3 0 3 1 2 0 3 1 3 3 2 0 1 3 2 1 2 1 2 3 0 2 1 0 3 2 1 0 3 0 1 2 3 3 2 1 2 1 2 0 1 0 3 1 3 1 3 2 3 2 0 1 0 2 3 2 0 3 1 2 1 1 3 0 3 0 2 1 2 0 2 3 2 0 1 0 2 2 3 0 1 2 1 0 1 0 3 2 3 0 1 3 1 2 1 2 0 2 0 1 0 1 3 2 0 1 0 2 0 2 3 1 0 0 2 1 3 2 0 3 0 3 1 2 1 1 0 3 2 3 2 1 0 1 2 2 0 3 0 2 1 1 0 1 2 3 2 1 0 1 3 2 3 0 1 3 1 0 2 3 2 3 0 1 2 3 2 1 2 1 2 1 3 0 3 2 1 2 1 0 3 2 3 2 1 0 3 1 3 1 2 1 2 3 2 1 2 1 0 3 1 3 0 2 0 3 0 3 1 2 0 0 1 0 2 3 1 3 2 2 1 0 3 0 3 1 0 2 3 1 0 1 3 3 0 2 1 3 0 2 1 2 3 3 2 3 1 0 2 3 2 0 1 0 3 1 0 1 3 2 0 0 2 3 2 0 2 3 1 0 1 0 3 0 3 0 1 3 1 2 0 2 1 3 1 2 1 2 1 3 1 1 3 2 3 2 0 2 1 3 0 3 1 1 3 1 0 2 3 2 0 2 0 3 0 3 0 2 0 2 1 0 3 0 3 2 3 0 1 0 3 2 3 1 3 1 3 2 3 0 2 0 1 3 1 3 2 0 1 0 3 2 1 2 1 0 3 1 0 1 2 2 0 2 1 2 1 3 0 3 1 3 1 3 1 0 1 3 2 2 1 0 3 0 2 1 2 1 3 0 2 2 0 3 1 3 0 0 3 0 2 1 2 0 2 3 0 3 2 1 2 1 0 3 2 1 0 3 2 3 0 1 0 2 0 1 3 1 3 0 3 0 1 0 2 3 2 3 0 1 2 1 0 2 1 2 0 2 1 2 0 0 2 1 3 1 0 2 3 3 0 1 2 3 0 3 2 1 2 1 0 3 0 3 2 3 2 0 1 3 2 1 2 1 2 1 3 1 3 0 3 0 2 0 1 0 2 0 1 0 2 2 1 1 2 1 2 3 2 3 0 3 1 3 0 2 0 0 1 3 2 0 1 1 0 2 3 0 1 2 1 2 1 0 3 2 1 2 0 1 3 2 0 2 3 1 0 1 0 1 2 0 3 1 3 0 3 1 3 1 2 0 2 3 2 0 2 2 0 3 1 3 0 1 0 2 0 1 0 1 3 0 3 0 3 0 3 2 1 0 2 1 3 1 2 0 3 1 2 1 3 0 2 1 2 1 3 0 2 1 3 2 3 2 3 1 2 1 2 1 0 3 2 3 0 3 1 3 0 2 0 2 3 0 3 0 1 1 3 2 3 3 0 3 0 1 2 3 0 0 3 1 2 1 3 3 0 3 0 2 1 2 1 2 0 1 3 1 3 2 0 2 1 2 0 3 0 3 1 0 1 2 1 1 0 3 2 1 0 3 0 0 1 2 3 0 3 3 1 3 2 3 2 3 2 3 2 0 1 2 1 1 3 2 0 2 3 1 3 0 3 0 3 2 3 2 1 2 0 3 0 3 1 0 1 0 2 0 2 3 2 2 1 3 0 3 1 3 0 1 0 3 2 3 2 3 0 1 2 3 2 0 2 0 2 3 1 1 0 3 1 3 1 3 2 0 1 1 0 2 0 1 2 0 3 1 3 0 2 3 2 0 1 2 1 3 0 3 1 2 0 1 2 3 2 0 3 1 3 0 2 1 2 1 0 1 0 3 2 1 2 3 2 0 1 3 2 0 1 0 1 2 1 0 3 1 0 2 0 1 3 1 0 2 0 1 0 1 3 2 3 0 3 1 2 2 3 0 1 2 3 0 3 1 2 1 0 3 1 3 1 2 0 2 1 0 1 0 1 0 3 2 0 1 3 1 3 1 3 0 2 1 3 1 2 0 3 3 0 2 0 0 3 2 3 0 1 1 3 2 0 1 0 3 2 1 0 1 0 0 1 2 3 0 3 2 1 0 1 0 3 2 1 2 3 2 0 1 3 2 3 1 0 1 0 1 2 0 3 1 3 1 2 2 1 3 0 2 0 1 0 1 0 3 2 3 0 2 1 3 0 2 0 3 0 3 1 1 2 3 2 1 2 0 3 0 1 0 3 2 1 2 0 2 1 3 1 3 1 0 1 0 3 0 3 0 2 1 2 2 1 3 1 3 0 3 0 3 0 1 0 0 1 1 0 2 1 1 2 0 1 2 3 0 2 3 2 3 1 0 1 3 1 2 3 0 1 2 1 0 3 2 1 1 3 2 0 2 3 3 0 3 2 1 0 2 3 2 0 1 0 2 0 1 0 3 0 3 2 1 0 2 3 2 1 2 3 0 3 3 0 1 2 1 3 1 2 1 3 1 2 2 0 3 0 3 2 1 0 0 3 1 3 1 2 3 1 2 1 0 1 0 1 2 3 0 1 0 3 1 3 1 0 3 2 3 2 3 2 3 2 3 2 0 1 3 1 2 3 0 1 0 1 2 3 0 1 2 1 3 0 2 0 1 0 1 3 2 0 1 3 3 1
138.95/123.44	v       </values>
138.95/123.44	v     </instantiation>
138.95/123.44	s OPTIMUM FOUND

Verifier Data

OK	3

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402729-1568968039/watcher-4402729-1568968039 -o /var/tmp/evaluation-result-4402729-1568968039/solver-4402729-1568968039 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568967597-29898 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1202144846 HOME/instance-4402729-1568968039.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=30542, runsolver pid=30539

[startup+0.100059 s]*
/proc/loadavg: 1.14 1.04 0.56 3/219 30599
/proc/meminfo: memFree=1482268/32770624 swapFree=66997136/67108860
[pid=30542] ppid=30539 vsize=9972712 memory=16808 CPUtime=0.09 cores=0,2,4,6
/proc/30542/stat : 30542 (java) S 30539 30542 29867 0 -1 1077944320 4445 13370 0 0 1 1 5 2 20 0 6 0 472742307 10212057088 4202 33554432000 4194304 4196468 140724209177968 140724209160512 140705353391863 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
/proc/30542/statm: 2493178 4202 1934 1 0 2481616 0
[pid=30542/tid=30595] ppid=30539 vsize=9972712 memory=4279135704047060365 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30595/stat : 30595 (java) R 30539 30542 29867 0 -1 4202560 2244 13370 0 0 0 0 5 2 20 0 6 0 472742316 10212057088 4202 33554432000 4194304 4196468 140724209177968 140705325228624 140705336578416 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30596] ppid=30539 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30596/stat : 30596 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 6 0 472742317 10212057088 4202 33554432000 4194304 4196468 140724209177968 140705357625744 140705353402069 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30597] ppid=30539 vsize=9972712 memory=139699829491328 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30597/stat : 30597 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 6 0 472742317 10212057088 4202 33554432000 4194304 4196468 140724209177968 140704926849296 140705353402069 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30598] ppid=30539 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30598/stat : 30598 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 6 0 472742317 10212057088 4202 33554432000 4194304 4196468 140724209177968 140704925797008 140705353402069 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30599] ppid=30539 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30599/stat : 30599 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 6 0 472742317 10212057088 4202 33554432000 4194304 4196468 140724209177968 140704924744208 140705353402069 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16808 KiB

[startup+0.216675 s]*
/proc/loadavg: 1.14 1.04 0.56 4/228 30608
/proc/meminfo: memFree=1455048/32770624 swapFree=66997136/67108860
[pid=30542] ppid=30539 vsize=10822180 memory=47736 CPUtime=0.27 cores=0,2,4,6
/proc/30542/stat : 30542 (java) S 30539 30542 29867 0 -1 1077944320 8344 13370 0 0 18 2 5 2 20 0 15 0 472742307 11081912320 11934 33554432000 4194304 4196468 140724209177968 140724209160512 140705353391863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
/proc/30542/statm: 2705545 11934 3296 1 0 2667645 0
[pid=30542/tid=30595] ppid=30539 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30542/task/30595/stat : 30595 (java) R 30539 30542 29867 0 -1 4202560 4834 13370 0 0 11 1 5 2 20 0 15 0 472742316 11079880704 11678 33554432000 4194304 4196468 140724209177968 140705325204224 140705346071085 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30596] ppid=30539 vsize=10820196 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30596/stat : 30596 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742317 11079880704 11678 33554432000 4194304 4196468 140724209177968 140705357625744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30597] ppid=30539 vsize=10820196 memory=3544534411988584096 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30597/stat : 30597 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742317 11079880704 11678 33554432000 4194304 4196468 140724209177968 140704926849296 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30598] ppid=30539 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30598/stat : 30598 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742317 11079880704 11678 33554432000 4194304 4196468 140724209177968 140704925797008 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30599] ppid=30539 vsize=10821220 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30599/stat : 30599 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742317 11080929280 11678 33554432000 4194304 4196468 140724209177968 140704924744208 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30600] ppid=30539 vsize=10821220 memory=139699829491328 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30600/stat : 30600 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742318 11080929280 11678 33554432000 4194304 4196468 140724209177968 140704880065136 140705353403010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30601] ppid=30539 vsize=10821220 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30601/stat : 30601 (java) S 30539 30542 29867 0 -1 1077944384 13 13370 0 0 0 0 5 2 20 0 15 0 472742319 11080929280 11678 33554432000 4194304 4196468 140724209177968 140704806331680 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30602] ppid=30539 vsize=10821220 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30602/stat : 30602 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742319 11080929280 11743 33554432000 4194304 4196468 140724209177968 140704672114288 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30603] ppid=30539 vsize=10821220 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30603/stat : 30603 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742322 11080929280 11743 33554432000 4194304 4196468 140724209177968 140704068135504 140705353410459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30604] ppid=30539 vsize=10821220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30542/task/30604/stat : 30604 (java) S 30539 30542 29867 0 -1 1077944384 487 13370 0 0 1 0 5 2 20 0 15 0 472742322 11080929280 11743 33554432000 4194304 4196468 140724209177968 140704879011952 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30605] ppid=30539 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30542/task/30605/stat : 30605 (java) S 30539 30542 29867 0 -1 1077944384 189 13370 0 0 1 0 5 2 20 0 15 0 472742322 11080929280 11809 33554432000 4194304 4196468 140724209177968 140704877959152 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30606] ppid=30539 vsize=10821220 memory=139699829491328 CPUtime=0.1 cores=0,2,4,6
/proc/30542/task/30606/stat : 30606 (java) S 30539 30542 29867 0 -1 1077944384 605 13370 0 0 3 0 5 2 20 0 15 0 472742322 11080929280 11809 33554432000 4194304 4196468 140724209177968 140704876906864 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30607] ppid=30539 vsize=10821220 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30607/stat : 30607 (java) S 30539 30542 29867 0 -1 1077944384 3 13370 0 0 0 0 5 2 20 0 15 0 472742322 11080929280 11809 33554432000 4194304 4196468 140724209177968 140703598373344 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30608] ppid=30539 vsize=10821220 memory=139699829491328 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30608/stat : 30608 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742322 11080929280 11875 33554432000 4194304 4196468 140724209177968 140704875854768 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10822180 KiB
Current children cumulated memory: 47736 KiB

[startup+0.310539 s]*
/proc/loadavg: 1.14 1.04 0.56 3/228 30608
/proc/meminfo: memFree=1444264/32770624 swapFree=66997136/67108860
[pid=30542] ppid=30539 vsize=10820196 memory=54656 CPUtime=0.39 cores=0,2,4,6
/proc/30542/stat : 30542 (java) S 30539 30542 29867 0 -1 1077944320 10866 13370 0 0 29 3 5 2 20 0 15 0 472742307 11079880704 13664 33554432000 4194304 4196468 140724209177968 140724209160512 140705353391863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
/proc/30542/statm: 2705049 13664 3308 1 0 2667149 0
[pid=30542/tid=30595] ppid=30539 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/30542/task/30595/stat : 30595 (java) R 30539 30542 29867 0 -1 4202560 7348 13370 0 0 19 2 5 2 20 0 15 0 472742316 11079880704 13664 33554432000 4194304 4196468 140724209177968 140705325202112 140705353413789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30596] ppid=30539 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30596/stat : 30596 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742317 11079880704 13664 33554432000 4194304 4196468 140724209177968 140705357625744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30597] ppid=30539 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30597/stat : 30597 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742317 11079880704 13664 33554432000 4194304 4196468 140724209177968 140704926849296 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30598] ppid=30539 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30598/stat : 30598 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742317 11079880704 13664 33554432000 4194304 4196468 140724209177968 140704925797008 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30599] ppid=30539 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30599/stat : 30599 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742317 11079880704 13664 33554432000 4194304 4196468 140724209177968 140704924744208 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30600] ppid=30539 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30600/stat : 30600 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742318 11079880704 13664 33554432000 4194304 4196468 140724209177968 140704880065136 140705353403010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30601] ppid=30539 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30601/stat : 30601 (java) S 30539 30542 29867 0 -1 1077944384 13 13370 0 0 0 0 5 2 20 0 15 0 472742319 11079880704 13664 33554432000 4194304 4196468 140724209177968 140704806331680 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30602] ppid=30539 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30602/stat : 30602 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742319 11079880704 13664 33554432000 4194304 4196468 140724209177968 140704672114288 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30603] ppid=30539 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30603/stat : 30603 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742322 11079880704 13664 33554432000 4194304 4196468 140724209177968 140704068135504 140705353410459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30604] ppid=30539 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30542/task/30604/stat : 30604 (java) S 30539 30542 29867 0 -1 1077944384 488 13370 0 0 2 0 5 2 20 0 15 0 472742322 11079880704 13664 33554432000 4194304 4196468 140724209177968 140704879011952 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30605] ppid=30539 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30542/task/30605/stat : 30605 (java) S 30539 30542 29867 0 -1 1077944384 189 13370 0 0 1 0 5 2 20 0 15 0 472742322 11079880704 13664 33554432000 4194304 4196468 140724209177968 140704877959152 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30606] ppid=30539 vsize=10820196 memory=139699829491328 CPUtime=0.12 cores=0,2,4,6
/proc/30542/task/30606/stat : 30606 (java) S 30539 30542 29867 0 -1 1077944384 612 13370 0 0 5 0 5 2 20 0 15 0 472742322 11079880704 13664 33554432000 4194304 4196468 140724209177968 140704876906864 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30607] ppid=30539 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30607/stat : 30607 (java) S 30539 30542 29867 0 -1 1077944384 3 13370 0 0 0 0 5 2 20 0 15 0 472742322 11079880704 13664 33554432000 4194304 4196468 140724209177968 140703598373344 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30608] ppid=30539 vsize=10820196 memory=139699829491328 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30608/stat : 30608 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742322 11079880704 13664 33554432000 4194304 4196468 140724209177968 140704875854768 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54656 KiB

[startup+0.700778 s]
/proc/loadavg: 1.14 1.04 0.56 3/228 30608
/proc/meminfo: memFree=1429420/32770624 swapFree=66997136/67108860
[pid=30542] ppid=30539 vsize=10824364 memory=87860 CPUtime=1.14 cores=0,2,4,6
/proc/30542/stat : 30542 (java) S 30539 30542 29867 0 -1 1077944320 15185 13370 0 0 101 6 5 2 20 0 15 0 472742307 11084148736 21965 33554432000 4194304 4196468 140724209177968 140724209160512 140705353391863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
/proc/30542/statm: 2706091 21965 3511 1 0 2668173 0
[pid=30542/tid=30595] ppid=30539 vsize=10824364 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/30542/task/30595/stat : 30595 (java) R 30539 30542 29867 0 -1 4202560 10479 13370 0 0 55 4 5 2 20 0 15 0 472742316 11084148736 21965 33554432000 4194304 4196468 140724209177968 140705325221408 140705337472350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30596] ppid=30539 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30596/stat : 30596 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742317 11084148736 21965 33554432000 4194304 4196468 140724209177968 140705357625744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30597] ppid=30539 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30597/stat : 30597 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742317 11084148736 21965 33554432000 4194304 4196468 140724209177968 140704926849296 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30598] ppid=30539 vsize=10824364 memory=139699717026576 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30598/stat : 30598 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742317 11084148736 21965 33554432000 4194304 4196468 140724209177968 140704925797008 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30599] ppid=30539 vsize=10824364 memory=139702401237596 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30599/stat : 30599 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742317 11084148736 21965 33554432000 4194304 4196468 140724209177968 140704924744208 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30600] ppid=30539 vsize=10824364 memory=612 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30600/stat : 30600 (java) S 30539 30542 29867 0 -1 1077944384 5 13370 0 0 0 0 5 2 20 0 15 0 472742318 11084148736 21965 33554432000 4194304 4196468 140724209177968 140704880065136 140705353403010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30601] ppid=30539 vsize=10824364 memory=7302135314614015845 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30601/stat : 30601 (java) S 30539 30542 29867 0 -1 1077944384 13 13370 0 0 0 0 5 2 20 0 15 0 472742319 11084148736 21965 33554432000 4194304 4196468 140724209177968 140704806331680 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30602] ppid=30539 vsize=10824364 memory=7235703887618402641 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30602/stat : 30602 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742319 11084148736 21965 33554432000 4194304 4196468 140724209177968 140704672114288 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30603] ppid=30539 vsize=10824364 memory=14060 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30603/stat : 30603 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742322 11084148736 21965 33554432000 4194304 4196468 140724209177968 140704068135504 140705353410459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30604] ppid=30539 vsize=10824364 memory=2116 CPUtime=0.23 cores=0,2,4,6
/proc/30542/task/30604/stat : 30604 (java) S 30539 30542 29867 0 -1 1077944384 1050 13370 0 0 16 0 5 2 20 0 15 0 472742322 11084148736 21965 33554432000 4194304 4196468 140724209177968 140704879011952 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30605] ppid=30539 vsize=10824364 memory=27356 CPUtime=0.19 cores=0,2,4,6
/proc/30542/task/30605/stat : 30605 (java) S 30539 30542 29867 0 -1 1077944384 642 13370 0 0 12 0 5 2 20 0 15 0 472742322 11084148736 21965 33554432000 4194304 4196468 140724209177968 140704877959152 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30606] ppid=30539 vsize=10824364 memory=532 CPUtime=0.24 cores=0,2,4,6
/proc/30542/task/30606/stat : 30606 (java) S 30539 30542 29867 0 -1 1077944384 783 13370 0 0 17 0 5 2 20 0 15 0 472742322 11084148736 21965 33554432000 4194304 4196468 140724209177968 140704876906864 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30607] ppid=30539 vsize=10824364 memory=1556 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30607/stat : 30607 (java) S 30539 30542 29867 0 -1 1077944384 3 13370 0 0 0 0 5 2 20 0 15 0 472742322 11084148736 21965 33554432000 4194304 4196468 140724209177968 140703598373344 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30608] ppid=30539 vsize=10824364 memory=932 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30608/stat : 30608 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742322 11084148736 21965 33554432000 4194304 4196468 140724209177968 140704875854768 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87860 KiB

[startup+1.50078 s]
/proc/loadavg: 1.14 1.04 0.56 5/228 30608
/proc/meminfo: memFree=1379760/32770624 swapFree=66997136/67108860
[pid=30542] ppid=30539 vsize=10832632 memory=237380 CPUtime=3.23 cores=0,2,4,6
/proc/30542/stat : 30542 (java) S 30539 30542 29867 0 -1 1077944320 26620 13370 0 0 305 11 5 2 20 0 15 0 472742307 11092615168 59345 33554432000 4194304 4196468 140724209177968 140724209160512 140705353391863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
/proc/30542/statm: 2708158 59345 3585 1 0 2670221 0
[pid=30542/tid=30595] ppid=30539 vsize=10832632 memory=72088 CPUtime=1.41 cores=0,2,4,6
/proc/30542/task/30595/stat : 30595 (java) R 30539 30542 29867 0 -1 4202560 14410 13370 0 0 128 6 5 2 20 0 15 0 472742316 11092615168 59345 33554432000 4194304 4196468 140724209177968 140705325216496 140705346488723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30596] ppid=30539 vsize=10832632 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/30542/task/30596/stat : 30596 (java) S 30539 30542 29867 0 -1 1077944384 69 13370 0 0 2 0 5 2 20 0 15 0 472742317 11092615168 59345 33554432000 4194304 4196468 140724209177968 140705357625744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30597] ppid=30539 vsize=10832632 memory=279399434084512 CPUtime=0.09 cores=0,2,4,6
/proc/30542/task/30597/stat : 30597 (java) S 30539 30542 29867 0 -1 1077944384 201 13370 0 0 2 0 5 2 20 0 15 0 472742317 11092615168 59345 33554432000 4194304 4196468 140724209177968 140704926849296 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30598] ppid=30539 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30542/task/30598/stat : 30598 (java) S 30539 30542 29867 0 -1 1077944384 26 13370 0 0 2 0 5 2 20 0 15 0 472742317 11092615168 59345 33554432000 4194304 4196468 140724209177968 140704925797008 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30599] ppid=30539 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30542/task/30599/stat : 30599 (java) S 30539 30542 29867 0 -1 1077944384 48 13370 0 0 2 0 5 2 20 0 15 0 472742317 11092615168 59345 33554432000 4194304 4196468 140724209177968 140704924744208 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30600] ppid=30539 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30542/task/30600/stat : 30600 (java) S 30539 30542 29867 0 -1 1077944384 741 13370 0 0 1 0 5 2 20 0 15 0 472742318 11092615168 59345 33554432000 4194304 4196468 140724209177968 140704880065136 140705353403010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30601] ppid=30539 vsize=10832632 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30601/stat : 30601 (java) S 30539 30542 29867 0 -1 1077944384 14 13370 0 0 0 0 5 2 20 0 15 0 472742319 11092615168 59345 33554432000 4194304 4196468 140724209177968 140704806331744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30602] ppid=30539 vsize=10832632 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30602/stat : 30602 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742319 11092615168 59345 33554432000 4194304 4196468 140724209177968 140704672114304 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30603] ppid=30539 vsize=10832632 memory=-2245088631185882904 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30603/stat : 30603 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742322 11092615168 59345 33554432000 4194304 4196468 140724209177968 140704068135504 140705353410459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30604] ppid=30539 vsize=10832632 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/30542/task/30604/stat : 30604 (java) S 30539 30542 29867 0 -1 1077944384 4239 13370 0 0 63 0 5 2 20 0 15 0 472742322 11092615168 59345 33554432000 4194304 4196468 140724209177968 140704879011952 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30605] ppid=30539 vsize=10832632 memory=10 CPUtime=0.67 cores=0,2,4,6
/proc/30542/task/30605/stat : 30605 (java) S 30539 30542 29867 0 -1 1077944384 2925 13370 0 0 59 1 5 2 20 0 15 0 472742322 11092615168 59345 33554432000 4194304 4196468 140724209177968 140704877959152 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30606] ppid=30539 vsize=10832632 memory=6791534058613427641 CPUtime=0.48 cores=0,2,4,6
/proc/30542/task/30606/stat : 30606 (java) S 30539 30542 29867 0 -1 1077944384 1737 13370 0 0 41 0 5 2 20 0 15 0 472742322 11092615168 59345 33554432000 4194304 4196468 140724209177968 140704876906864 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30607] ppid=30539 vsize=10832632 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30607/stat : 30607 (java) S 30539 30542 29867 0 -1 1077944384 3 13370 0 0 0 0 5 2 20 0 15 0 472742322 11092615168 59345 33554432000 4194304 4196468 140724209177968 140703598373344 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30608] ppid=30539 vsize=10832632 memory=279399434328960 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30608/stat : 30608 (java) S 30539 30542 29867 0 -1 1077944384 1 13370 0 0 0 0 5 2 20 0 15 0 472742322 11092615168 59345 33554432000 4194304 4196468 140724209177968 140704875854768 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
Current children cumulated CPU time: 3.23 s
Current children cumulated vsize: 10832632 KiB

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


[startup+121.601 s]
/proc/loadavg: 1.66 1.26 0.70 3/228 30620
/proc/meminfo: memFree=309296/32770624 swapFree=66997136/67108860
[pid=30542] ppid=30539 vsize=10846988 memory=2901848 CPUtime=135.94 cores=0,2,4,6
/proc/30542/stat : 30542 (java) S 30539 30542 29867 0 -1 1077944320 865923 13370 0 0 13332 255 5 2 20 0 15 0 472742307 11107315712 725462 33554432000 4194304 4196468 140724209177968 140724209160512 140705353391863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
/proc/30542/statm: 2711747 725462 3640 1 0 2673805 0
[pid=30542/tid=30595] ppid=30539 vsize=10846988 memory=3624 CPUtime=120.73 cores=0,2,4,6
/proc/30542/task/30595/stat : 30595 (java) R 30539 30542 29867 0 -1 4202560 762918 13370 0 0 11888 178 5 2 20 0 15 0 472742316 11107315712 725462 33554432000 4194304 4196468 140724209177968 140705325220960 140704975078629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30596] ppid=30539 vsize=10846988 memory=54004 CPUtime=0.74 cores=0,2,4,6
/proc/30542/task/30596/stat : 30596 (java) S 30539 30542 29867 0 -1 1077944384 11929 13370 0 0 53 14 5 2 20 0 15 0 472742317 11107315712 725462 33554432000 4194304 4196468 140724209177968 140705357625744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30597] ppid=30539 vsize=10846988 memory=988 CPUtime=0.74 cores=0,2,4,6
/proc/30542/task/30597/stat : 30597 (java) S 30539 30542 29867 0 -1 1077944384 10139 13370 0 0 52 15 5 2 20 0 15 0 472742317 11107315712 725462 33554432000 4194304 4196468 140724209177968 140704926849296 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30598] ppid=30539 vsize=10846988 memory=6791534058613427641 CPUtime=0.77 cores=0,2,4,6
/proc/30542/task/30598/stat : 30598 (java) S 30539 30542 29867 0 -1 1077944384 10657 13370 0 0 55 15 5 2 20 0 15 0 472742317 11107315712 725462 33554432000 4194304 4196468 140724209177968 140704925797008 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30599] ppid=30539 vsize=10846988 memory=2540 CPUtime=0.77 cores=0,2,4,6
/proc/30542/task/30599/stat : 30599 (java) S 30539 30542 29867 0 -1 1077944384 9971 13370 0 0 52 18 5 2 20 0 15 0 472742317 11107315712 725462 33554432000 4194304 4196468 140724209177968 140704924744208 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30600] ppid=30539 vsize=10846988 memory=1760 CPUtime=0.14 cores=0,2,4,6
/proc/30542/task/30600/stat : 30600 (java) S 30539 30542 29867 0 -1 1077944384 4143 13370 0 0 7 0 5 2 20 0 15 0 472742318 11107315712 725462 33554432000 4194304 4196468 140724209177968 140704880065136 140705353403010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30601] ppid=30539 vsize=10846988 memory=111636 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30601/stat : 30601 (java) S 30539 30542 29867 0 -1 1077944384 28 13370 0 0 0 0 5 2 20 0 15 0 472742319 11107315712 725462 33554432000 4194304 4196468 140724209177968 140704806331744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30602] ppid=30539 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30602/stat : 30602 (java) S 30539 30542 29867 0 -1 1077944384 19 13370 0 0 0 0 5 2 20 0 15 0 472742319 11107315712 725462 33554432000 4194304 4196468 140724209177968 140704672114304 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30603] ppid=30539 vsize=10846988 memory=988 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30603/stat : 30603 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742322 11107315712 725462 33554432000 4194304 4196468 140724209177968 140704068135504 140705353410459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30604] ppid=30539 vsize=10846988 memory=3644 CPUtime=5.09 cores=0,2,4,6
/proc/30542/task/30604/stat : 30604 (java) S 30539 30542 29867 0 -1 1077944384 18382 13370 0 0 500 2 5 2 20 0 15 0 472742322 11107315712 725462 33554432000 4194304 4196468 140724209177968 140704879011952 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30605] ppid=30539 vsize=10846988 memory=2828 CPUtime=5.2 cores=0,2,4,6
/proc/30542/task/30605/stat : 30605 (java) S 30539 30542 29867 0 -1 1077944384 14952 13370 0 0 510 3 5 2 20 0 15 0 472742322 11107315712 725462 33554432000 4194304 4196468 140724209177968 140704877959152 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30606] ppid=30539 vsize=10846988 memory=2901848 CPUtime=2.16 cores=0,2,4,6
/proc/30542/task/30606/stat : 30606 (java) S 30539 30542 29867 0 -1 1077944384 19505 13370 0 0 206 3 5 2 20 0 15 0 472742322 11107315712 725462 33554432000 4194304 4196468 140724209177968 140704876906864 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30607] ppid=30539 vsize=10846988 memory=2901848 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30607/stat : 30607 (java) S 30539 30542 29867 0 -1 1077944384 3 13370 0 0 0 0 5 2 20 0 15 0 472742322 11107315712 725462 33554432000 4194304 4196468 140724209177968 140703598373344 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30608] ppid=30539 vsize=10846988 memory=3644 CPUtime=0.12 cores=0,2,4,6
/proc/30542/task/30608/stat : 30608 (java) S 30539 30542 29867 0 -1 1077944384 1073 13370 0 0 3 2 5 2 20 0 15 0 472742322 11107315712 725462 33554432000 4194304 4196468 140724209177968 140704875854768 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
Current children cumulated CPU time: 135.94 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2901848 KiB

[startup+122.407 s]
/proc/loadavg: 1.66 1.26 0.70 3/228 30620
/proc/meminfo: memFree=309296/32770624 swapFree=66997136/67108860
[pid=30542] ppid=30539 vsize=10846988 memory=2902100 CPUtime=137.25 cores=0,2,4,6
/proc/30542/stat : 30542 (java) S 30539 30542 29867 0 -1 1077944320 876067 13370 0 0 13463 255 5 2 20 0 15 0 472742307 11107315712 725525 33554432000 4194304 4196468 140724209177968 140724209160512 140705353391863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
/proc/30542/statm: 2711747 725525 3640 1 0 2673805 0
[pid=30542/tid=30595] ppid=30539 vsize=10846988 memory=2828 CPUtime=121.54 cores=0,2,4,6
/proc/30542/task/30595/stat : 30595 (java) R 30539 30542 29867 0 -1 4202560 769060 13370 0 0 11969 178 5 2 20 0 15 0 472742316 11107315712 725525 33554432000 4194304 4196468 140724209177968 140705325223920 140704975628914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30596] ppid=30539 vsize=10846988 memory=1048 CPUtime=0.74 cores=0,2,4,6
/proc/30542/task/30596/stat : 30596 (java) S 30539 30542 29867 0 -1 1077944384 11929 13370 0 0 53 14 5 2 20 0 15 0 472742317 11107315712 725525 33554432000 4194304 4196468 140724209177968 140705357625744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30597] ppid=30539 vsize=10846988 memory=288230574492221466 CPUtime=0.74 cores=0,2,4,6
/proc/30542/task/30597/stat : 30597 (java) S 30539 30542 29867 0 -1 1077944384 10139 13370 0 0 52 15 5 2 20 0 15 0 472742317 11107315712 725525 33554432000 4194304 4196468 140724209177968 140704926849296 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30598] ppid=30539 vsize=10846988 memory=288230583166042425 CPUtime=0.77 cores=0,2,4,6
/proc/30542/task/30598/stat : 30598 (java) S 30539 30542 29867 0 -1 1077944384 10657 13370 0 0 55 15 5 2 20 0 15 0 472742317 11107315712 725525 33554432000 4194304 4196468 140724209177968 140704925797008 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30599] ppid=30539 vsize=10846988 memory=2901848 CPUtime=0.77 cores=0,2,4,6
/proc/30542/task/30599/stat : 30599 (java) S 30539 30542 29867 0 -1 1077944384 9971 13370 0 0 52 18 5 2 20 0 15 0 472742317 11107315712 725525 33554432000 4194304 4196468 140724209177968 140704924744208 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30600] ppid=30539 vsize=10846988 memory=111636 CPUtime=0.14 cores=0,2,4,6
/proc/30542/task/30600/stat : 30600 (java) S 30539 30542 29867 0 -1 1077944384 4207 13370 0 0 7 0 5 2 20 0 15 0 472742318 11107315712 725525 33554432000 4194304 4196468 140724209177968 140704880065136 140705353403010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30601] ppid=30539 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30601/stat : 30601 (java) S 30539 30542 29867 0 -1 1077944384 28 13370 0 0 0 0 5 2 20 0 15 0 472742319 11107315712 725525 33554432000 4194304 4196468 140724209177968 140704806331744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30602] ppid=30539 vsize=10846988 memory=14060 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30602/stat : 30602 (java) S 30539 30542 29867 0 -1 1077944384 19 13370 0 0 0 0 5 2 20 0 15 0 472742319 11107315712 725525 33554432000 4194304 4196468 140724209177968 140704672114304 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30603] ppid=30539 vsize=10846988 memory=2116 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30603/stat : 30603 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742322 11107315712 725525 33554432000 4194304 4196468 140724209177968 140704068135504 140705353410459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30604] ppid=30539 vsize=10846988 memory=27356 CPUtime=5.35 cores=0,2,4,6
/proc/30542/task/30604/stat : 30604 (java) S 30539 30542 29867 0 -1 1077944384 20063 13370 0 0 526 2 5 2 20 0 15 0 472742322 11107315712 725525 33554432000 4194304 4196468 140724209177968 140704879011952 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30605] ppid=30539 vsize=10846988 memory=532 CPUtime=5.43 cores=0,2,4,6
/proc/30542/task/30605/stat : 30605 (java) R 30539 30542 29867 0 -1 4202560 17022 13370 0 0 533 3 5 2 20 0 15 0 472742322 11107315712 725525 33554432000 4194304 4196468 140724209177968 140704877959448 140705334911938 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30606] ppid=30539 vsize=10846988 memory=6791534058613427641 CPUtime=2.18 cores=0,2,4,6
/proc/30542/task/30606/stat : 30606 (java) S 30539 30542 29867 0 -1 1077944384 19690 13370 0 0 208 3 5 2 20 0 15 0 472742322 11107315712 725525 33554432000 4194304 4196468 140724209177968 140704876906864 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30607] ppid=30539 vsize=10846988 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30607/stat : 30607 (java) S 30539 30542 29867 0 -1 1077944384 3 13370 0 0 0 0 5 2 20 0 15 0 472742322 11107315712 725525 33554432000 4194304 4196468 140724209177968 140703598373344 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30608] ppid=30539 vsize=10846988 memory=988 CPUtime=0.12 cores=0,2,4,6
/proc/30542/task/30608/stat : 30608 (java) S 30539 30542 29867 0 -1 1077944384 1075 13370 0 0 3 2 5 2 20 0 15 0 472742322 11107315712 725525 33554432000 4194304 4196468 140724209177968 140704875854768 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
Current children cumulated CPU time: 137.25 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2902100 KiB

[startup+123.201 s]
/proc/loadavg: 1.76 1.29 0.71 3/228 30620
/proc/meminfo: memFree=309056/32770624 swapFree=66997136/67108860
[pid=30542] ppid=30539 vsize=10846988 memory=2902128 CPUtime=138.51 cores=0,2,4,6
/proc/30542/stat : 30542 (java) S 30539 30542 29867 0 -1 1077944320 877764 13370 0 0 13589 255 5 2 20 0 15 0 472742307 11107315712 725532 33554432000 4194304 4196468 140724209177968 140724209160512 140705353391863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
/proc/30542/statm: 2711747 725532 3640 1 0 2673805 0
[pid=30542/tid=30595] ppid=30539 vsize=10846988 memory=1048 CPUtime=122.33 cores=0,2,4,6
/proc/30542/task/30595/stat : 30595 (java) R 30539 30542 29867 0 -1 4202560 770284 13370 0 0 12048 178 5 2 20 0 15 0 472742316 11107315712 725532 33554432000 4194304 4196468 140724209177968 140705325224432 140704960218740 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30596] ppid=30539 vsize=10846988 memory=2901848 CPUtime=0.74 cores=0,2,4,6
/proc/30542/task/30596/stat : 30596 (java) S 30539 30542 29867 0 -1 1077944384 11929 13370 0 0 53 14 5 2 20 0 15 0 472742317 11107315712 725532 33554432000 4194304 4196468 140724209177968 140705357625744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30597] ppid=30539 vsize=10846988 memory=2901848 CPUtime=0.74 cores=0,2,4,6
/proc/30542/task/30597/stat : 30597 (java) S 30539 30542 29867 0 -1 1077944384 10139 13370 0 0 52 15 5 2 20 0 15 0 472742317 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704926849296 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30598] ppid=30539 vsize=10846988 memory=54004 CPUtime=0.77 cores=0,2,4,6
/proc/30542/task/30598/stat : 30598 (java) S 30539 30542 29867 0 -1 1077944384 10657 13370 0 0 55 15 5 2 20 0 15 0 472742317 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704925797008 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30599] ppid=30539 vsize=10846988 memory=988 CPUtime=0.77 cores=0,2,4,6
/proc/30542/task/30599/stat : 30599 (java) S 30539 30542 29867 0 -1 1077944384 9971 13370 0 0 52 18 5 2 20 0 15 0 472742317 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704924744208 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30600] ppid=30539 vsize=10846988 memory=2016 CPUtime=0.14 cores=0,2,4,6
/proc/30542/task/30600/stat : 30600 (java) S 30539 30542 29867 0 -1 1077944384 4207 13370 0 0 7 0 5 2 20 0 15 0 472742318 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704880065136 140705353403010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30601] ppid=30539 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30601/stat : 30601 (java) S 30539 30542 29867 0 -1 1077944384 28 13370 0 0 0 0 5 2 20 0 15 0 472742319 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704806331744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30602] ppid=30539 vsize=10846988 memory=1540 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30602/stat : 30602 (java) S 30539 30542 29867 0 -1 1077944384 19 13370 0 0 0 0 5 2 20 0 15 0 472742319 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704672114304 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30603] ppid=30539 vsize=10846988 memory=772 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30603/stat : 30603 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742322 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704068135504 140705353410459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30604] ppid=30539 vsize=10846988 memory=10596 CPUtime=5.56 cores=0,2,4,6
/proc/30542/task/30604/stat : 30604 (java) R 30539 30542 29867 0 -1 4202560 20267 13370 0 0 547 2 5 2 20 0 15 0 472742322 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704879011872 140705338271446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30605] ppid=30539 vsize=10846988 memory=988 CPUtime=5.66 cores=0,2,4,6
/proc/30542/task/30605/stat : 30605 (java) R 30539 30542 29867 0 -1 4202560 17173 13370 0 0 556 3 5 2 20 0 15 0 472742322 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704877959152 140705338518273 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30606] ppid=30539 vsize=10846988 memory=3644 CPUtime=2.2 cores=0,2,4,6
/proc/30542/task/30606/stat : 30606 (java) S 30539 30542 29867 0 -1 1077944384 19808 13370 0 0 210 3 5 2 20 0 15 0 472742322 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704876906864 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30607] ppid=30539 vsize=10846988 memory=2828 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30607/stat : 30607 (java) S 30539 30542 29867 0 -1 1077944384 3 13370 0 0 0 0 5 2 20 0 15 0 472742322 11107315712 725532 33554432000 4194304 4196468 140724209177968 140703598373344 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30608] ppid=30539 vsize=10846988 memory=1048 CPUtime=0.12 cores=0,2,4,6
/proc/30542/task/30608/stat : 30608 (java) S 30539 30542 29867 0 -1 1077944384 1075 13370 0 0 3 2 5 2 20 0 15 0 472742322 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704875854768 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
Current children cumulated CPU time: 138.51 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2902128 KiB

[startup+123.408 s]
/proc/loadavg: 1.76 1.29 0.71 3/228 30620
/proc/meminfo: memFree=309056/32770624 swapFree=66997136/67108860
[pid=30542] ppid=30539 vsize=10846988 memory=2902128 CPUtime=138.95 cores=0,2,4,6
/proc/30542/stat : 30542 (java) S 30539 30542 29867 0 -1 1077944320 877893 13370 0 0 13633 255 5 2 20 0 15 0 472742307 11107315712 725532 33554432000 4194304 4196468 140724209177968 140724209160512 140705353391863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
/proc/30542/statm: 2711747 725532 3640 1 0 2673805 0
[pid=30542/tid=30595] ppid=30539 vsize=10846988 memory=6791534058613427641 CPUtime=122.54 cores=0,2,4,6
/proc/30542/task/30595/stat : 30595 (java) R 30539 30542 29867 0 -1 4202560 770292 13370 0 0 12069 178 5 2 20 0 15 0 472742316 11107315712 725532 33554432000 4194304 4196468 140724209177968 140705325224432 140704975628601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30596] ppid=30539 vsize=10846988 memory=1540 CPUtime=0.74 cores=0,2,4,6
/proc/30542/task/30596/stat : 30596 (java) S 30539 30542 29867 0 -1 1077944384 11929 13370 0 0 53 14 5 2 20 0 15 0 472742317 11107315712 725532 33554432000 4194304 4196468 140724209177968 140705357625744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30597] ppid=30539 vsize=10846988 memory=772 CPUtime=0.74 cores=0,2,4,6
/proc/30542/task/30597/stat : 30597 (java) S 30539 30542 29867 0 -1 1077944384 10139 13370 0 0 52 15 5 2 20 0 15 0 472742317 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704926849296 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30598] ppid=30539 vsize=10846988 memory=10596 CPUtime=0.77 cores=0,2,4,6
/proc/30542/task/30598/stat : 30598 (java) S 30539 30542 29867 0 -1 1077944384 10657 13370 0 0 55 15 5 2 20 0 15 0 472742317 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704925797008 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30599] ppid=30539 vsize=10846988 memory=1712 CPUtime=0.77 cores=0,2,4,6
/proc/30542/task/30599/stat : 30599 (java) S 30539 30542 29867 0 -1 1077944384 9971 13370 0 0 52 18 5 2 20 0 15 0 472742317 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704924744208 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30600] ppid=30539 vsize=10846988 memory=612 CPUtime=0.14 cores=0,2,4,6
/proc/30542/task/30600/stat : 30600 (java) S 30539 30542 29867 0 -1 1077944384 4207 13370 0 0 7 0 5 2 20 0 15 0 472742318 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704880065136 140705353403010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30601] ppid=30539 vsize=10846988 memory=1220 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30601/stat : 30601 (java) S 30539 30542 29867 0 -1 1077944384 28 13370 0 0 0 0 5 2 20 0 15 0 472742319 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704806331744 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30602] ppid=30539 vsize=10846988 memory=14004 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30602/stat : 30602 (java) S 30539 30542 29867 0 -1 1077944384 19 13370 0 0 0 0 5 2 20 0 15 0 472742319 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704672114304 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30603] ppid=30539 vsize=10846988 memory=14060 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30603/stat : 30603 (java) S 30539 30542 29867 0 -1 1077944384 2 13370 0 0 0 0 5 2 20 0 15 0 472742322 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704068135504 140705353410459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30604] ppid=30539 vsize=10846988 memory=2116 CPUtime=5.66 cores=0,2,4,6
/proc/30542/task/30604/stat : 30604 (java) R 30539 30542 29867 0 -1 4202560 20298 13370 0 0 557 2 5 2 20 0 15 0 472742322 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704879011872 140705336886102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30605] ppid=30539 vsize=10846988 memory=27356 CPUtime=5.79 cores=0,2,4,6
/proc/30542/task/30605/stat : 30605 (java) R 30539 30542 29867 0 -1 4202560 17252 13370 0 0 569 3 5 2 20 0 15 0 472742322 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704877959152 140705337499962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30606] ppid=30539 vsize=10846988 memory=532 CPUtime=2.21 cores=0,2,4,6
/proc/30542/task/30606/stat : 30606 (java) S 30539 30542 29867 0 -1 1077944384 19820 13370 0 0 211 3 5 2 20 0 15 0 472742322 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704876906864 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30607] ppid=30539 vsize=10846988 memory=1556 CPUtime=0.07 cores=0,2,4,6
/proc/30542/task/30607/stat : 30607 (java) S 30539 30542 29867 0 -1 1077944384 3 13370 0 0 0 0 5 2 20 0 15 0 472742322 11107315712 725532 33554432000 4194304 4196468 140724209177968 140703598373344 140705353402069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
[pid=30542/tid=30608] ppid=30539 vsize=10846988 memory=932 CPUtime=0.12 cores=0,2,4,6
/proc/30542/task/30608/stat : 30608 (java) S 30539 30542 29867 0 -1 1077944384 1075 13370 0 0 3 2 5 2 20 0 15 0 472742322 11107315712 725532 33554432000 4194304 4196468 140724209177968 140704875854768 140705353403010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 18223104 140724209179235 140724209181877 140724209181877 140724209184719 0
Current children cumulated CPU time: 138.95 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2902128 KiB

[startup+123.501 s]*
/proc/loadavg: 1.76 1.29 0.71 3/215 30621
/proc/meminfo: memFree=2176184/32770624 swapFree=66997136/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 123.555
CPU time (s): 139.14
CPU user time (s): 136.45
CPU system time (s): 2.68919
CPU usage (%): 112.614
Max. virtual memory (cumulated for all children) (KiB): 10847588
Max. memory (cumulated for all children) (KiB): 2902128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.45
system time used= 2.68919
maximum resident set size= 2902752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 891451
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11425
involuntary context switches= 421


# summary of solver processes directly reported to runsolver:
#   pid: 30542
#   total CPU time (s): 139.14
#   total CPU user time (s): 136.45
#   total CPU system time (s): 2.68919

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.71695 second user time and 1.26138 second system time

The end

Launcher Data

Begin job on node140 at 2019-09-20 10:26:38
IDJOB=4402729
IDBENCH=120628
IDSOLVER=2861
FILE ID=node140/4402729-1568968039
RUNJOBID= node140-1568967597-29898
PBS_JOBID= 21704617
Free space on /var/tmp= 13472 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-ash608GPIA.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402729-1568968039/watcher-4402729-1568968039 -o /var/tmp/evaluation-result-4402729-1568968039/solver-4402729-1568968039 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568967597-29898 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1202144846 HOME/instance-4402729-1568968039.xml

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

MD5SUM BENCH= 0df69417c613ef889e63c8df69e0b506
RANDOM SEED=1202144846

node140.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.43
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.43
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.43
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.43
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:         1486948 kB
MemAvailable:   30418356 kB
Buffers:          134900 kB
Cached:         28736876 kB
SwapCached:         2364 kB
Active:         14298832 kB
Inactive:       16016064 kB
Active(anon):    1135640 kB
Inactive(anon):   355052 kB
Active(file):   13163192 kB
Inactive(file): 15661012 kB
Unevictable:      106628 kB
Mlocked:          106628 kB
SwapTotal:      67108860 kB
SwapFree:       66997136 kB
Dirty:             35544 kB
Writeback:             0 kB
AnonPages:       1548800 kB
Mapped:            64880 kB
Shmem:             38240 kB
Slab:             564176 kB
SReclaimable:     535664 kB
SUnreclaim:        28512 kB
KernelStack:        3968 kB
PageTables:         8392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2558632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    741376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13440 MiB
End job on node140 at 2019-09-20 10:28:42