Trace number 4403029

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 110.509 96.3895

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.32046
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.75/0.58	c Concrete v3.12.3.1568965526260 running
17.59/7.85	o 1215
18.99/8.59	o 1214
19.79/9.19	o 1213
20.49/9.78	o 1212
21.34/10.34	o 1211
22.10/10.90	o 1210
22.75/11.45	o 1209
23.40/11.97	o 1208
23.98/12.49	o 1207
24.71/13.01	o 1206
25.23/13.50	o 1205
25.81/14.01	o 1204
26.30/14.50	o 1203
26.72/14.99	o 1202
27.23/15.49	o 1201
27.74/15.98	o 1200
28.25/16.49	o 1199
28.75/16.99	o 1198
29.38/17.56	o 1197
30.00/18.10	o 1196
30.59/18.60	o 1195
31.10/19.11	o 1194
31.60/19.60	o 1193
32.00/20.09	o 1192
32.50/20.57	o 1191
33.02/21.07	o 1190
33.53/21.52	o 1189
33.99/21.99	o 1188
34.49/22.48	o 1187
34.99/22.96	o 1186
35.50/23.46	o 1185
36.00/23.93	o 1184
36.50/24.42	o 1183
37.00/24.91	o 1182
37.40/25.39	o 1181
38.00/25.92	o 1180
38.50/26.43	o 1179
39.10/27.01	o 1178
39.59/27.58	o 1177
40.26/28.11	o 1176
40.65/28.59	o 1175
41.16/29.09	o 1174
41.77/29.56	o 1173
42.31/30.02	o 1172
42.81/30.50	o 1171
43.22/30.96	o 1170
43.83/31.43	o 1169
44.35/31.96	o 1168
44.84/32.47	o 1167
45.35/32.94	o 1166
45.85/33.41	o 1165
46.40/33.90	o 1164
46.80/34.34	o 1163
47.20/34.79	o 1162
47.70/35.27	o 1161
48.20/35.77	o 1160
48.74/36.24	o 1159
49.24/36.72	o 1158
49.68/37.12	o 1157
50.10/37.56	o 1156
50.51/37.94	o 1155
50.91/38.30	o 1154
51.22/38.66	o 1153
51.73/39.15	o 1152
52.22/39.67	o 1151
52.82/40.21	o 1150
53.33/40.73	o 1149
53.84/41.21	o 1148
54.41/41.70	o 1147
54.71/42.10	o 1146
55.20/42.50	o 1145
55.60/42.92	o 1144
56.01/43.32	o 1143
56.41/43.72	o 1142
56.91/44.21	o 1141
57.42/44.71	o 1140
57.84/45.16	o 1139
58.33/45.68	o 1138
58.84/46.15	o 1137
59.33/46.63	o 1136
59.74/47.07	o 1135
60.23/47.50	o 1134
60.63/47.91	o 1133
61.03/48.34	o 1132
61.43/48.73	o 1131
61.84/49.14	o 1130
62.39/49.65	o 1129
62.91/50.14	o 1128
63.40/50.61	o 1127
63.80/51.08	o 1126
64.30/51.52	o 1125
64.70/51.95	o 1124
65.10/52.37	o 1123
65.50/52.79	o 1122
66.00/53.22	o 1121
66.40/53.64	o 1120
66.81/54.01	o 1119
67.20/54.42	o 1118
67.60/54.80	o 1117
67.91/55.18	o 1116
68.31/55.54	o 1115
68.81/56.04	o 1114
69.31/56.50	o 1113
69.71/56.97	o 1112
70.31/57.52	o 1111
70.81/58.07	o 1110
71.40/58.67	o 1109
71.91/59.19	o 1108
72.50/59.79	o 1107
73.14/60.32	o 1106
73.54/60.72	o 1105
73.85/61.10	o 1104
74.24/61.48	o 1103
74.64/61.86	o 1102
75.04/62.22	o 1101
75.34/62.58	o 1100
75.74/62.93	o 1099
76.04/63.28	o 1098
76.44/63.63	o 1097
76.74/63.99	o 1096
77.34/64.54	o 1095
77.85/65.02	o 1094
78.25/65.49	o 1093
78.75/65.94	o 1092
79.15/66.37	o 1091
79.56/66.78	o 1090
79.97/67.20	o 1089
80.36/67.58	o 1088
80.76/67.96	o 1087
81.16/68.35	o 1086
81.56/68.77	o 1085
81.97/69.19	o 1084
82.37/69.53	o 1083
82.67/69.87	o 1082
82.98/70.19	o 1081
83.27/70.49	o 1080
83.71/70.83	o 1079
84.02/71.11	o 1078
84.21/71.36	o 1077
84.51/71.61	o 1076
84.71/71.85	o 1075
84.92/72.08	o 1074
85.12/72.30	o 1073
85.32/72.49	o 1072
85.52/72.69	o 1071
86.03/73.15	o 1070
86.52/73.63	o 1069
86.92/74.10	o 1068
87.52/74.60	o 1067
88.03/75.11	o 1066
88.52/75.60	o 1065
88.92/76.08	o 1064
89.42/76.55	o 1063
89.82/76.99	o 1062
90.32/77.44	o 1061
90.72/77.89	o 1060
91.24/78.35	o 1059
91.64/78.78	o 1058
92.13/79.24	o 1057
92.54/79.69	o 1056
93.04/80.13	o 1055
93.43/80.57	o 1054
93.83/80.97	o 1053
94.33/81.48	o 1052
94.84/81.93	o 1051
95.34/82.46	o 1050
95.90/82.92	o 1049
96.30/83.30	o 1048
96.60/83.65	o 1047
97.01/84.02	o 1046
97.30/84.38	o 1045
97.80/84.88	o 1044
98.30/85.34	o 1043
98.80/85.82	o 1042
99.20/86.27	o 1041
99.70/86.75	o 1040
100.20/87.24	o 1039
100.60/87.68	o 1038
101.01/88.07	o 1037
101.40/88.45	o 1036
101.80/88.82	o 1035
102.11/89.17	o 1034
102.50/89.52	o 1033
102.80/89.84	o 1032
103.11/90.13	o 1031
103.40/90.40	o 1030
103.60/90.65	o 1029
103.80/90.87	o 1028
104.01/91.05	o 1027
104.20/91.25	o 1026
104.40/91.43	o 1025
104.51/91.59	o 1024
104.71/91.76	o 1023
104.91/91.92	o 1022
105.02/92.08	o 1021
105.21/92.24	o 1020
105.31/92.37	o 1019
105.52/92.50	o 1018
105.61/92.63	o 1017
105.71/92.76	o 1016
105.81/92.88	o 1015
105.92/93.00	o 1014
106.02/93.10	o 1013
106.22/93.21	o 1012
106.32/93.33	o 1011
106.41/93.42	o 1010
106.51/93.51	o 1009
106.51/93.59	o 1008
106.62/93.67	o 1007
106.72/93.74	o 1006
106.82/93.81	o 1005
106.82/93.88	o 1004
106.91/93.95	o 1003
107.02/94.02	o 1002
107.02/94.07	o 1001
107.13/94.13	o 1000
107.13/94.17	o 999
107.22/94.21	o 998
107.22/94.24	o 997
107.22/94.28	o 996
107.32/94.32	o 995
107.32/94.35	o 994
107.32/94.36	o 993
107.32/94.37	o 992
107.32/94.38	o 991
107.32/94.38	o 990
107.32/94.39	o 989
107.32/94.39	o 988
107.32/94.40	o 987
107.43/94.40	o 986
107.43/94.40	o 985
107.43/94.40	o 984
107.43/94.41	o 983
107.43/94.41	o 7
108.43/94.97	o 6
109.23/95.52	o 5
109.73/95.96	o 4
110.14/96.23	o 3
110.38/96.31	v <instantiation
110.38/96.31	v         cost = '3'>
110.38/96.31	v       <list>
110.38/96.31	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]
110.38/96.31	v       </list>
110.38/96.31	v       <values>
110.38/96.31	v         0 1 0 1 0 2 1 3 2 3 1 0 3 0 2 1 1 0 3 0 1 0 2 1 2 3 0 3 1 3 0 3 1 2 0 2 0 1 3 2 2 1 3 0 1 2 1 0 3 0 1 0 2 3 2 1 0 1 2 3 0 3 0 3 0 1 0 2 3 2 0 1 0 2 3 1 1 2 0 3 0 2 1 3 2 3 2 1 3 1 3 0 3 1 2 1 3 0 3 0 3 2 1 0 2 0 1 0 2 3 2 0 0 3 1 3 0 2 0 3 3 1 0 2 3 2 3 1 0 1 3 2 0 1 3 2 1 2 3 0 3 2 1 0 1 3 1 0 2 3 1 0 1 3 2 0 1 2 3 0 3 0 3 1 2 1 3 0 2 1 0 1 2 3 2 1 0 1 2 0 1 3 1 0 0 3 2 3 0 3 1 2 1 0 3 0 1 2 1 2 1 3 1 2 3 0 2 0 3 0 3 1 0 1 0 1 0 3 3 2 1 2 3 0 1 2 3 0 2 1 0 3 2 1 3 1 2 0 3 1 3 1 1 3 0 2 1 3 0 2 0 2 0 3 3 1 2 0 3 0 3 0 2 1 2 3 1 3 1 3 1 0 1 3 1 3 0 2 3 2 0 2 3 0 3 1 1 3 0 3 1 2 0 2 2 3 1 0 3 0 1 0 1 2 1 3 1 2 1 2 1 2 0 2 2 0 2 0 3 0 3 2 0 1 0 2 3 2 0 2 0 2 3 2 0 1 0 3 0 1 1 3 2 3 2 3 3 1 0 1 0 2 0 1 3 2 0 2 0 3 0 2 1 3 1 0 2 3 1 0 1 3 1 0 2 3 2 0 3 0 2 1 3 2 0 1 3 2 0 2 3 0 3 0 2 1 3 0 2 0 0 1 2 3 3 2 3 2 3 1 0 2 0 2 1 0 1 3 2 0 1 3 0 1 3 2 3 0 1 2 1 2 3 2 0 3 0 1 2 3 3 1 3 1 2 0 3 0 2 1 3 0 1 3 2 0 1 0 1 0 1 0 1 0 2 1 0 3 3 2 3 0 1 2 1 0 1 3 1 2 3 2 3 0 3 0 2 3 0 3 0 3 2 1 0 3 3 0 3 0 3 0 0 2 0 2 3 2 0 1 3 2 3 0 1 2 1 0 1 2 1 3 1 3 1 2 1 3 2 0 2 1 2 0 1 0 3 0 1 2 3 2 1 0 0 2 2 3 1 3 2 0 3 0 1 0 2 3 0 3 3 1 2 0 2 1 2 0 2 3 3 2 0 1 3 1 0 2 0 2 2 3 2 1 0 1 2 1 0 1 0 1 3 2 0 2 3 1 3 1 0 1 3 1 0 1 1 2 0 2 3 1 2 1 3 0 3 2 0 2 3 2 0 2 2 3 0 1 2 1 3 1 2 1 3 0 3 1 2 1 3 0 1 0 2 3 1 0 2 0 2 3 3 2 3 0 3 2 0 3 0 2 1 3 0 3 3 0 2 1 3 0 3 0 1 2 0 2 1 2 0 1 2 1 3 2 1 0 3 2 3 0 2 0 1 3 2 3 2 0 2 3 2 0 1 3 1 0 0 3 1 2 2 1 2 1 3 0 2 0 3 0 3 2 3 1 0 2 1 2 0 3 1 2 0 1 2 1 2 1 3 0 3 2 1 0 3 0 3 2 2 3 1 0 3 0 3 0 3 0 1 2 0 1 0 1 2 1 2 0 2 0 2 0 2 3 2 1 0 1 0 3 0 3 2 0 1 3 2 3 0 2 1 3 0 3 0 3 0 2 1 2 0 2 0 3 0 2 0 2 1 2 3 1 0 1 3 2 0 1 3 2 3 0 0 2 0 3 1 2 0 1 0 1 0 1 2 3 1 3 1 0 2 3 1 0 1 0 0 3 1 2 0 2 1 3 2 0 3 0 3 1 2 0 3 1 0 1 2 3 3 2 3 2 0 1 0 2 0 1 0 1 0 1 0 1 2 1 1 0 1 3 2 0 2 1 0 1 1 0 2 0 2 0 2 0 1 3 1 2 2 1 3 1 3 0 3 1 2 1 3 1 2 0 3 2 1 2 1 0 2 3 1 3 2 0 2 3 1 3 0 1 0 1 2 3 2 3 1 0 2 0 2 0 1 3 3 0 1 0 2 3 3 2 0 1 0 2 0 1 0 1 0 2 3 1 3 2 2 3 1 3 2 0 1 0 2 0 3 2 3 0 1 2 1 0 2 1 2 0 3 0 1 2 1 3 0 3 2 3 2 0 2 0 1 0 2 0 1 0 1 3 1 3 0 3 1 0 1 0 1 0 0 2 3 2 3 2 3 1 2 1 0 3 1 3 0 3 1 2 0 2 0 2 3 2 0 2 0 1 0 1 0 1 1 2 2 1 3 2 1 3 3 0 3 2 0 3 2 1 0 3 0 1 0 3 3 1 1 3 0 2 0 3 0 2 0 1 0 2 3 2 0 3 0 1 1 0 1 3 1 3 1 0 1 0 2 3 2 0 3 0 2 3 0 3 3 2 0 1 0 1 1 0 3 2 2 3 0 1 2 1 0 1 2 0 1 3 2 0 1 3 3 1 2 1 2 0 1 2 3 2 0 1 3 1 0 1 3 2 3 1 2 0 1 0 1 0 2 3 0 1 0 1 3 2 0 1 3 1 3 0 3 2 0 2 3 2 3 0 3 0 2 0 2 1 0 1 0 3 1 3 0 3 1 0
110.38/96.31	v       </values>
110.38/96.31	v     </instantiation>
110.38/96.31	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 (1608 MiB free)
  memory of node 1: 16384 MiB (2047 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403029-1568970016/watcher-4403029-1568970016 -o /var/tmp/evaluation-result-4403029-1568970016/solver-4403029-1568970016 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568967596-32357 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1567823593 HOME/instance-4403029-1568970016.xml 

running on 4 cores: 1,3,5,7

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

solver pid=394, runsolver pid=391

[startup+0.100065 s]*
/proc/loadavg: 0.90 1.21 1.20 6/214 447
/proc/meminfo: memFree=3736088/32770624 swapFree=66988324/67108860
[pid=394] ppid=391 vsize=30192 memory=1320 CPUtime=0.08 cores=1,3,5,7
/proc/394/stat : 394 (java) R 391 394 32325 0 -1 4202496 1374 13217 0 1 0 0 5 3 20 0 1 0 473264201 30916608 264 33554432000 4194304 4196468 140732683028688 140732683009384 140532555257467 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
/proc/394/statm: 7548 330 258 1 0 160 0
[pid=394/tid=454] ppid=391 vsize=141156 memory=7883960649037381690 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/454/stat : 454 (java) D 391 394 32325 0 -1 4202560 320 13217 0 1 0 0 5 3 20 0 2 0 473264212 144543744 1324 33554432000 4194304 4196468 140732683028688 140532524878256 140532553057341 0 0 0 16784584 18446744071581152138 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 30192 KiB
Current children cumulated memory: 1320 KiB

[startup+0.209851 s]*
/proc/loadavg: 0.90 1.21 1.20 4/210 467
/proc/meminfo: memFree=3751568/32770624 swapFree=66988324/67108860
[pid=394] ppid=391 vsize=10819716 memory=35816 CPUtime=0.2 cores=1,3,5,7
/proc/394/stat : 394 (java) S 391 394 32325 0 -1 1077944320 6751 13217 0 1 11 1 5 3 20 0 15 0 473264201 11079389184 8954 33554432000 4194304 4196468 140732683028688 140732683011232 140532553035511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
/proc/394/statm: 2704929 8954 3122 1 0 2667149 0
[pid=394/tid=454] ppid=391 vsize=10819716 memory=7022364594140610616 CPUtime=0.16 cores=1,3,5,7
/proc/394/task/454/stat : 454 (java) R 391 394 32325 0 -1 4202560 3358 13217 0 1 8 0 5 3 20 0 15 0 473264212 11079389184 9466 33554432000 4194304 4196468 140732683028688 140532524868416 140532152140194 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=455] ppid=391 vsize=10819716 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/455/stat : 455 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264214 11079389184 9466 33554432000 4194304 4196468 140732683028688 140532557278096 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=456] ppid=391 vsize=10819716 memory=140263263100289 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/456/stat : 456 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264214 11079389184 9466 33554432000 4194304 4196468 140732683028688 140532472097552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=457] ppid=391 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/457/stat : 457 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264214 11079389184 9466 33554432000 4194304 4196468 140732683028688 140532125457552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=458] ppid=391 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/458/stat : 458 (java) S 391 394 32325 0 -1 1077944384 2 13217 0 1 0 0 5 3 20 0 15 0 473264214 11079389184 9466 33554432000 4194304 4196468 140732683028688 140532124404752 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=459] ppid=391 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/459/stat : 459 (java) S 391 394 32325 0 -1 1077944384 2 13217 0 1 0 0 5 3 20 0 15 0 473264216 11079389184 9466 33554432000 4194304 4196468 140732683028688 140532079724656 140532553046658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=460] ppid=391 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/460/stat : 460 (java) S 391 394 32325 0 -1 1077944384 13 13217 0 1 0 0 5 3 20 0 15 0 473264216 11079389184 9466 33554432000 4194304 4196468 140732683028688 140531531244320 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=461] ppid=391 vsize=10819716 memory=140263260104320 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/461/stat : 461 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264216 11079389184 9466 33554432000 4194304 4196468 140732683028688 140531329918064 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=462] ppid=391 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/462/stat : 462 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11079389184 9466 33554432000 4194304 4196468 140732683028688 140531089627216 140532553054107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=463] ppid=391 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/463/stat : 463 (java) R 391 394 32325 0 -1 1077944384 559 13217 0 1 0 0 5 3 20 0 15 0 473264219 11079389184 9466 33554432000 4194304 4196468 140732683028688 140532078672496 140532553046658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=464] ppid=391 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/464/stat : 464 (java) R 391 394 32325 0 -1 4202560 50 13217 0 1 0 0 5 3 20 0 15 0 473264219 11079389184 9466 33554432000 4194304 4196468 140732683028688 140532077619792 140532534556735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=465] ppid=391 vsize=10819716 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/394/task/465/stat : 465 (java) R 391 394 32325 0 -1 4202560 609 13217 0 1 2 0 5 3 20 0 15 0 473264219 11079389184 9466 33554432000 4194304 4196468 140732683028688 140532076567408 140532532392976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=466] ppid=391 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/466/stat : 466 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11079389184 9466 33554432000 4194304 4196468 140732683028688 140531056069600 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=467] ppid=391 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/467/stat : 467 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264219 11079389184 9466 33554432000 4194304 4196468 140732683028688 140532075514288 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 35816 KiB

[startup+0.310222 s]*
/proc/loadavg: 0.90 1.21 1.20 3/209 470
/proc/meminfo: memFree=3735184/32770624 swapFree=66988324/67108860
[pid=394] ppid=391 vsize=10820196 memory=47592 CPUtime=0.35 cores=1,3,5,7
/proc/394/stat : 394 (java) S 391 394 32325 0 -1 1077944320 10101 13217 0 1 25 2 5 3 20 0 15 0 473264201 11079880704 11898 33554432000 4194304 4196468 140732683028688 140732683011232 140532553035511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
/proc/394/statm: 2705049 11898 3307 1 0 2667149 0
[pid=394/tid=454] ppid=391 vsize=10820196 memory=6944656592455097440 CPUtime=0.26 cores=1,3,5,7
/proc/394/task/454/stat : 454 (java) R 391 394 32325 0 -1 1077944384 6793 13217 0 1 17 1 5 3 20 0 15 0 473264212 11079880704 12434 33554432000 4194304 4196468 140732683028688 140532524840800 140532545714733 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=455] ppid=391 vsize=10820196 memory=3471202400615804975 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/455/stat : 455 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264214 11079880704 12434 33554432000 4194304 4196468 140732683028688 140532557278096 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=456] ppid=391 vsize=10821220 memory=140263260104320 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/456/stat : 456 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264214 11080929280 12434 33554432000 4194304 4196468 140732683028688 140532472097552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=457] ppid=391 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/457/stat : 457 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264214 11080929280 12434 33554432000 4194304 4196468 140732683028688 140532125457552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=458] ppid=391 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/458/stat : 458 (java) S 391 394 32325 0 -1 1077944384 2 13217 0 1 0 0 5 3 20 0 15 0 473264214 11080929280 12434 33554432000 4194304 4196468 140732683028688 140532124404752 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=459] ppid=391 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/459/stat : 459 (java) S 391 394 32325 0 -1 1077944384 2 13217 0 1 0 0 5 3 20 0 15 0 473264216 11079880704 12434 33554432000 4194304 4196468 140732683028688 140532079724656 140532553046658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=460] ppid=391 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/460/stat : 460 (java) S 391 394 32325 0 -1 1077944384 13 13217 0 1 0 0 5 3 20 0 15 0 473264216 11079880704 12434 33554432000 4194304 4196468 140732683028688 140531531244320 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=461] ppid=391 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/461/stat : 461 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264216 11079880704 12434 33554432000 4194304 4196468 140732683028688 140531329918064 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=462] ppid=391 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/462/stat : 462 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11080929280 12434 33554432000 4194304 4196468 140732683028688 140531089627216 140532553054107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=463] ppid=391 vsize=10821220 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/394/task/463/stat : 463 (java) S 391 394 32325 0 -1 1077944384 583 13217 0 1 1 0 5 3 20 0 15 0 473264219 11080929280 12434 33554432000 4194304 4196468 140732683028688 140532078672496 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=464] ppid=391 vsize=10821220 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/394/task/464/stat : 464 (java) S 391 394 32325 0 -1 1077944384 72 13217 0 1 1 0 5 3 20 0 15 0 473264219 11080929280 12434 33554432000 4194304 4196468 140732683028688 140532077619696 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=465] ppid=391 vsize=10820196 memory=140263260104320 CPUtime=0.13 cores=1,3,5,7
/proc/394/task/465/stat : 465 (java) S 391 394 32325 0 -1 1077944384 630 13217 0 1 5 0 5 3 20 0 15 0 473264219 11079880704 12434 33554432000 4194304 4196468 140732683028688 140532076567408 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=466] ppid=391 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/466/stat : 466 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11079880704 12434 33554432000 4194304 4196468 140732683028688 140531056069600 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=467] ppid=391 vsize=10820196 memory=140263260104320 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/467/stat : 467 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264219 11079880704 12434 33554432000 4194304 4196468 140732683028688 140532075514288 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 47592 KiB

[startup+0.700701 s]
/proc/loadavg: 0.90 1.21 1.20 2/208 490
/proc/meminfo: memFree=3723068/32770624 swapFree=66988324/67108860
[pid=394] ppid=391 vsize=10822316 memory=81216 CPUtime=1.1 cores=1,3,5,7
/proc/394/stat : 394 (java) S 391 394 32325 0 -1 1077944320 15056 13217 0 1 98 4 5 3 20 0 15 0 473264201 11082051584 20304 33554432000 4194304 4196468 140732683028688 140732683011232 140532553035511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
/proc/394/statm: 2705579 20304 3502 1 0 2667661 0
[pid=394/tid=454] ppid=391 vsize=10822316 memory=1408 CPUtime=0.64 cores=1,3,5,7
/proc/394/task/454/stat : 454 (java) R 391 394 32325 0 -1 4202560 10366 13217 0 1 53 3 5 3 20 0 15 0 473264212 11082051584 20304 33554432000 4194304 4196468 140732683028688 140532524865664 140532553057437 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=455] ppid=391 vsize=10822316 memory=15479062137908 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/455/stat : 455 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264214 11082051584 20304 33554432000 4194304 4196468 140732683028688 140532557278096 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=456] ppid=391 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/456/stat : 456 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264214 11082051584 20304 33554432000 4194304 4196468 140732683028688 140532472097552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=457] ppid=391 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/457/stat : 457 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264214 11082051584 20304 33554432000 4194304 4196468 140732683028688 140532125457552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=458] ppid=391 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/458/stat : 458 (java) S 391 394 32325 0 -1 1077944384 2 13217 0 1 0 0 5 3 20 0 15 0 473264214 11082051584 20304 33554432000 4194304 4196468 140732683028688 140532124404752 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=459] ppid=391 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/459/stat : 459 (java) S 391 394 32325 0 -1 1077944384 5 13217 0 1 0 0 5 3 20 0 15 0 473264216 11082051584 20304 33554432000 4194304 4196468 140732683028688 140532079724656 140532553046658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=460] ppid=391 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/460/stat : 460 (java) S 391 394 32325 0 -1 1077944384 13 13217 0 1 0 0 5 3 20 0 15 0 473264216 11082051584 20304 33554432000 4194304 4196468 140732683028688 140531531244320 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=461] ppid=391 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/461/stat : 461 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264216 11082051584 20304 33554432000 4194304 4196468 140732683028688 140531329918064 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=462] ppid=391 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/462/stat : 462 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11082051584 20304 33554432000 4194304 4196468 140732683028688 140531089627216 140532553054107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=463] ppid=391 vsize=10822316 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/394/task/463/stat : 463 (java) R 391 394 32325 0 -1 4202560 1167 13217 0 1 14 0 5 3 20 0 15 0 473264219 11082051584 20304 33554432000 4194304 4196468 140732683028688 140532078672496 140532536529655 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=464] ppid=391 vsize=10822316 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/394/task/464/stat : 464 (java) R 391 394 32325 0 -1 4202560 483 13217 0 1 12 0 5 3 20 0 15 0 473264219 11082051584 20304 33554432000 4194304 4196468 140732683028688 140532077619696 140532553056858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=465] ppid=391 vsize=10822316 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/394/task/465/stat : 465 (java) S 391 394 32325 0 -1 1077944384 806 13217 0 1 16 0 5 3 20 0 15 0 473264219 11082051584 20304 33554432000 4194304 4196468 140732683028688 140532076567408 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=466] ppid=391 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/466/stat : 466 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11082051584 20304 33554432000 4194304 4196468 140732683028688 140531056069600 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=467] ppid=391 vsize=10822316 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/467/stat : 467 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264219 11082051584 20304 33554432000 4194304 4196468 140732683028688 140532075514288 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 81216 KiB

[startup+1.50253 s]
/proc/loadavg: 0.90 1.21 1.20 6/227 575
/proc/meminfo: memFree=3632512/32770624 swapFree=66988324/67108860
[pid=394] ppid=391 vsize=10835704 memory=237628 CPUtime=3.47 cores=1,3,5,7
/proc/394/stat : 394 (java) S 391 394 32325 0 -1 1077944320 32750 13217 0 1 328 11 5 3 20 0 15 0 473264201 11095760896 59407 33554432000 4194304 4196468 140732683028688 140732683011232 140532553035511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
/proc/394/statm: 2708926 59407 3555 1 0 2670989 0
[pid=394/tid=454] ppid=391 vsize=10835704 memory=280526325823520 CPUtime=1.43 cores=1,3,5,7
/proc/394/task/454/stat : 454 (java) S 391 394 32325 0 -1 1077944384 15778 13217 0 1 129 6 5 3 20 0 15 0 473264212 11095760896 59407 33554432000 4194304 4196468 140732683028688 140532524868224 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=455] ppid=391 vsize=10835704 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/455/stat : 455 (java) R 391 394 32325 0 -1 1077944384 58 13217 0 1 0 0 5 3 20 0 15 0 473264214 11095760896 59407 33554432000 4194304 4196468 140732683028688 140532557278096 140532553045717 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=456] ppid=391 vsize=10835704 memory=2416 CPUtime=0.09 cores=1,3,5,7
/proc/394/task/456/stat : 456 (java) R 391 394 32325 0 -1 4202560 17 13217 0 1 1 0 5 3 20 0 15 0 473264214 11095760896 59407 33554432000 4194304 4196468 140732683028688 140532472097448 140532545663719 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=457] ppid=391 vsize=10835704 memory=113256 CPUtime=0.09 cores=1,3,5,7
/proc/394/task/457/stat : 457 (java) R 391 394 32325 0 -1 4202560 211 13217 0 1 1 0 5 3 20 0 15 0 473264214 11095760896 59407 33554432000 4194304 4196468 140732683028688 140532125457552 140532545663719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=458] ppid=391 vsize=10835704 memory=38352 CPUtime=0.09 cores=1,3,5,7
/proc/394/task/458/stat : 458 (java) R 391 394 32325 0 -1 4202560 33 13217 0 1 1 0 5 3 20 0 15 0 473264214 11095760896 59407 33554432000 4194304 4196468 140732683028688 140532124404752 140532545663719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=459] ppid=391 vsize=10835704 memory=2004 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/459/stat : 459 (java) S 391 394 32325 0 -1 1077944384 32 13217 0 1 0 0 5 3 20 0 15 0 473264216 11095760896 59407 33554432000 4194304 4196468 140732683028688 140532079722944 140532553045717 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=460] ppid=391 vsize=10835704 memory=984 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/460/stat : 460 (java) S 391 394 32325 0 -1 1077944384 13 13217 0 1 0 0 5 3 20 0 15 0 473264216 11095760896 59407 33554432000 4194304 4196468 140732683028688 140531531244320 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=461] ppid=391 vsize=10835704 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/461/stat : 461 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264216 11095760896 59407 33554432000 4194304 4196468 140732683028688 140531329918064 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=462] ppid=391 vsize=10835704 memory=2288 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/462/stat : 462 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11095760896 59407 33554432000 4194304 4196468 140732683028688 140531089627216 140532553054107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=463] ppid=391 vsize=10835704 memory=54572 CPUtime=0.91 cores=1,3,5,7
/proc/394/task/463/stat : 463 (java) R 391 394 32325 0 -1 4202560 8606 13217 0 1 82 1 5 3 20 0 15 0 473264219 11095760896 59407 33554432000 4194304 4196468 140732683028688 140532078658656 140532534556793 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=464] ppid=391 vsize=10835704 memory=280526326239888 CPUtime=0.8 cores=1,3,5,7
/proc/394/task/464/stat : 464 (java) S 391 394 32325 0 -1 1077944384 3946 13217 0 1 71 1 5 3 20 0 15 0 473264219 11095760896 59407 33554432000 4194304 4196468 140732683028688 140532077619696 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=465] ppid=391 vsize=10835704 memory=2276 CPUtime=0.49 cores=1,3,5,7
/proc/394/task/465/stat : 465 (java) S 391 394 32325 0 -1 1077944384 1845 13217 0 1 41 0 5 3 20 0 15 0 473264219 11095760896 59407 33554432000 4194304 4196468 140732683028688 140532076567408 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=466] ppid=391 vsize=10835704 memory=2308 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/466/stat : 466 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11095760896 59407 33554432000 4194304 4196468 140732683028688 140531056069600 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=467] ppid=391 vsize=10835704 memory=140263163127104 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/467/stat : 467 (java) S 391 394 32325 0 -1 1077944384 1 13217 0 1 0 0 5 3 20 0 15 0 473264219 11095760896 59407 33554432000 4194304 4196468 140732683028688 140532075514288 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
Current children cumulated CPU time: 3.47 s
Current children cumulated vsize: 10835704 KiB
Current children cumulated memory: 237628 KiB

[startup+3.11032 s]
/proc/loadavg: 0.90 1.21 1.20 6/227 575
/proc/meminfo: memFree=3310468/32770624 swapFree=66988324/67108860
[pid=394] ppid=391 vsize=10840844 memory=308944 CPUtime=7.11 cores=1,3,5,7
/proc/394/stat : 394 (java) S 391 394 32325 0 -1 1077944320 40947 13217 0 1 687 16 5 3 20 0 15 0 473264201 11101024256 77236 33554432000 4194304 4196468 140732683028688 140732683011232 140532553035511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
/proc/394/statm: 2710211 77236 3604 1 0 2672269 0

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

[pid=394/tid=466] ppid=391 vsize=10846988 memory=-8707038579349950309 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/466/stat : 466 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11107315712 677568 33554432000 4194304 4196468 140732683028688 140531056069600 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=467] ppid=391 vsize=10846988 memory=-8341965534556230502 CPUtime=0.12 cores=1,3,5,7
/proc/394/task/467/stat : 467 (java) S 391 394 32325 0 -1 1077944384 623 13217 0 1 2 2 5 3 20 0 15 0 473264219 11107315712 677568 33554432000 4194304 4196468 140732683028688 140532075514288 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
Current children cumulated CPU time: 107.43 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2710272 KiB

[startup+95.2007 s]
/proc/loadavg: 1.86 1.51 1.31 7/228 886
/proc/meminfo: memFree=183972/32770624 swapFree=66988348/67108860
[pid=394] ppid=391 vsize=10846988 memory=2738856 CPUtime=108.86 cores=1,3,5,7
/proc/394/stat : 394 (java) S 391 394 32325 0 -1 1077944320 549276 13217 0 1 10657 221 5 3 20 0 15 0 473264201 11107315712 684714 33554432000 4194304 4196468 140732683028688 140732683011232 140532553035511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
/proc/394/statm: 2711747 684714 3639 1 0 2673805 0
[pid=394/tid=454] ppid=391 vsize=10846988 memory=3620 CPUtime=94.38 cores=1,3,5,7
/proc/394/task/454/stat : 454 (java) R 391 394 32325 0 -1 4202560 457802 13217 0 1 9269 161 5 3 20 0 15 0 473264212 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532524871760 140532155398136 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=455] ppid=391 vsize=10846988 memory=6947385649911455296 CPUtime=0.71 cores=1,3,5,7
/proc/394/task/455/stat : 455 (java) S 391 394 32325 0 -1 1077944384 8717 13217 0 1 52 11 5 3 20 0 15 0 473264214 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532557278096 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=456] ppid=391 vsize=10846988 memory=2828 CPUtime=0.7 cores=1,3,5,7
/proc/394/task/456/stat : 456 (java) S 391 394 32325 0 -1 1077944384 9121 13217 0 1 51 11 5 3 20 0 15 0 473264214 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532472097552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=457] ppid=391 vsize=10846988 memory=756 CPUtime=0.69 cores=1,3,5,7
/proc/394/task/457/stat : 457 (java) S 391 394 32325 0 -1 1077944384 8981 13217 0 1 50 11 5 3 20 0 15 0 473264214 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532125457552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=458] ppid=391 vsize=10846988 memory=1548 CPUtime=0.71 cores=1,3,5,7
/proc/394/task/458/stat : 458 (java) S 391 394 32325 0 -1 1077944384 11400 13217 0 1 52 11 5 3 20 0 15 0 473264214 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532124404752 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=459] ppid=391 vsize=10846988 memory=8104 CPUtime=0.15 cores=1,3,5,7
/proc/394/task/459/stat : 459 (java) S 391 394 32325 0 -1 1077944384 5029 13217 0 1 6 1 5 3 20 0 15 0 473264216 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532079724656 140532553046658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=460] ppid=391 vsize=10846988 memory=1164 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/460/stat : 460 (java) S 391 394 32325 0 -1 1077944384 18 13217 0 1 0 0 5 3 20 0 15 0 473264216 11107315712 684714 33554432000 4194304 4196468 140732683028688 140531531244448 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=461] ppid=391 vsize=10846988 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/461/stat : 461 (java) S 391 394 32325 0 -1 1077944384 10 13217 0 1 0 0 5 3 20 0 15 0 473264216 11107315712 684714 33554432000 4194304 4196468 140732683028688 140531329918080 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=462] ppid=391 vsize=10846988 memory=2828 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/462/stat : 462 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11107315712 684714 33554432000 4194304 4196468 140732683028688 140531089627216 140532553054107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=463] ppid=391 vsize=10846988 memory=756 CPUtime=5.02 cores=1,3,5,7
/proc/394/task/463/stat : 463 (java) S 391 394 32325 0 -1 1077944384 17704 13217 0 1 490 4 5 3 20 0 15 0 473264219 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532078672496 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=464] ppid=391 vsize=10846988 memory=1548 CPUtime=4.84 cores=1,3,5,7
/proc/394/task/464/stat : 464 (java) S 391 394 32325 0 -1 1077944384 12602 13217 0 1 473 3 5 3 20 0 15 0 473264219 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532077619696 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=465] ppid=391 vsize=10846988 memory=8104 CPUtime=2.16 cores=1,3,5,7
/proc/394/task/465/stat : 465 (java) S 391 394 32325 0 -1 1077944384 15060 13217 0 1 206 2 5 3 20 0 15 0 473264219 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532076567408 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=466] ppid=391 vsize=10846988 memory=1164 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/466/stat : 466 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11107315712 684714 33554432000 4194304 4196468 140732683028688 140531056069600 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=467] ppid=391 vsize=10846988 memory=9520 CPUtime=0.12 cores=1,3,5,7
/proc/394/task/467/stat : 467 (java) S 391 394 32325 0 -1 1077944384 623 13217 0 1 2 2 5 3 20 0 15 0 473264219 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532075514288 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
Current children cumulated CPU time: 108.86 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2738856 KiB

[startup+96.0007 s]*
/proc/loadavg: 1.86 1.51 1.31 3/228 886
/proc/meminfo: memFree=220896/32770624 swapFree=66988348/67108860
[pid=394] ppid=391 vsize=10846988 memory=2738856 CPUtime=109.83 cores=1,3,5,7
/proc/394/stat : 394 (java) S 391 394 32325 0 -1 1077944320 549557 13217 0 1 10754 221 5 3 20 0 15 0 473264201 11107315712 684714 33554432000 4194304 4196468 140732683028688 140732683011232 140532553035511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
/proc/394/statm: 2711747 684714 3639 1 0 2673805 0
[pid=394/tid=454] ppid=391 vsize=10846988 memory=3620 CPUtime=95.18 cores=1,3,5,7
/proc/394/task/454/stat : 454 (java) R 391 394 32325 0 -1 4202560 457806 13217 0 1 9349 161 5 3 20 0 15 0 473264212 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532524868896 140532169122957 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=455] ppid=391 vsize=10846988 memory=4126316290023845779 CPUtime=0.71 cores=1,3,5,7
/proc/394/task/455/stat : 455 (java) S 391 394 32325 0 -1 1077944384 8717 13217 0 1 52 11 5 3 20 0 15 0 473264214 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532557278096 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=456] ppid=391 vsize=10846988 memory=1398720917958146503 CPUtime=0.7 cores=1,3,5,7
/proc/394/task/456/stat : 456 (java) S 391 394 32325 0 -1 1077944384 9121 13217 0 1 51 11 5 3 20 0 15 0 473264214 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532472097552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=457] ppid=391 vsize=10846988 memory=4126316290023845779 CPUtime=0.69 cores=1,3,5,7
/proc/394/task/457/stat : 457 (java) S 391 394 32325 0 -1 1077944384 8981 13217 0 1 50 11 5 3 20 0 15 0 473264214 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532125457552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=458] ppid=391 vsize=10846988 memory=804 CPUtime=0.71 cores=1,3,5,7
/proc/394/task/458/stat : 458 (java) S 391 394 32325 0 -1 1077944384 11400 13217 0 1 52 11 5 3 20 0 15 0 473264214 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532124404752 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=459] ppid=391 vsize=10846988 memory=1720 CPUtime=0.15 cores=1,3,5,7
/proc/394/task/459/stat : 459 (java) S 391 394 32325 0 -1 1077944384 5029 13217 0 1 6 1 5 3 20 0 15 0 473264216 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532079724656 140532553046658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=460] ppid=391 vsize=10846988 memory=1804 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/460/stat : 460 (java) S 391 394 32325 0 -1 1077944384 18 13217 0 1 0 0 5 3 20 0 15 0 473264216 11107315712 684714 33554432000 4194304 4196468 140732683028688 140531531244448 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=461] ppid=391 vsize=10846988 memory=2738856 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/461/stat : 461 (java) S 391 394 32325 0 -1 1077944384 10 13217 0 1 0 0 5 3 20 0 15 0 473264216 11107315712 684714 33554432000 4194304 4196468 140732683028688 140531329918080 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=462] ppid=391 vsize=10846988 memory=15364 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/462/stat : 462 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11107315712 684714 33554432000 4194304 4196468 140732683028688 140531089627216 140532553054107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=463] ppid=391 vsize=10846988 memory=512 CPUtime=5.09 cores=1,3,5,7
/proc/394/task/463/stat : 463 (java) S 391 394 32325 0 -1 1077944384 17912 13217 0 1 497 4 5 3 20 0 15 0 473264219 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532078672496 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=464] ppid=391 vsize=10846988 memory=1564 CPUtime=4.92 cores=1,3,5,7
/proc/394/task/464/stat : 464 (java) S 391 394 32325 0 -1 1077944384 12651 13217 0 1 481 3 5 3 20 0 15 0 473264219 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532077619696 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=465] ppid=391 vsize=10846988 memory=928 CPUtime=2.17 cores=1,3,5,7
/proc/394/task/465/stat : 465 (java) S 391 394 32325 0 -1 1077944384 15079 13217 0 1 207 2 5 3 20 0 15 0 473264219 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532076567408 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=466] ppid=391 vsize=10846988 memory=3784 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/466/stat : 466 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11107315712 684714 33554432000 4194304 4196468 140732683028688 140531056069600 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=467] ppid=391 vsize=10846988 memory=1440 CPUtime=0.12 cores=1,3,5,7
/proc/394/task/467/stat : 467 (java) S 391 394 32325 0 -1 1077944384 624 13217 0 1 2 2 5 3 20 0 15 0 473264219 11107315712 684714 33554432000 4194304 4196468 140732683028688 140532075514288 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
Current children cumulated CPU time: 109.83 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2738856 KiB

[startup+96.2008 s]
/proc/loadavg: 1.86 1.51 1.31 3/228 886
/proc/meminfo: memFree=220896/32770624 swapFree=66988348/67108860
[pid=394] ppid=391 vsize=10846988 memory=2738880 CPUtime=110.14 cores=1,3,5,7
/proc/394/stat : 394 (java) S 391 394 32325 0 -1 1077944320 549829 13217 0 1 10785 221 5 3 20 0 15 0 473264201 11107315712 684720 33554432000 4194304 4196468 140732683028688 140732683011232 140532553035511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
/proc/394/statm: 2711747 684720 3639 1 0 2673805 0
[pid=394/tid=454] ppid=391 vsize=10846988 memory=6947385649911455296 CPUtime=95.38 cores=1,3,5,7
/proc/394/task/454/stat : 454 (java) R 391 394 32325 0 -1 4202560 457930 13217 0 1 9369 161 5 3 20 0 15 0 473264212 11107315712 684720 33554432000 4194304 4196468 140732683028688 140532524868896 140532553047446 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=455] ppid=391 vsize=10846988 memory=288230617509003574 CPUtime=0.71 cores=1,3,5,7
/proc/394/task/455/stat : 455 (java) S 391 394 32325 0 -1 1077944384 8717 13217 0 1 52 11 5 3 20 0 15 0 473264214 11107315712 684720 33554432000 4194304 4196468 140732683028688 140532557278096 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=456] ppid=391 vsize=10846988 memory=15824382622696894 CPUtime=0.7 cores=1,3,5,7
/proc/394/task/456/stat : 456 (java) S 391 394 32325 0 -1 1077944384 9121 13217 0 1 51 11 5 3 20 0 15 0 473264214 11107315712 684720 33554432000 4194304 4196468 140732683028688 140532472097552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=457] ppid=391 vsize=10846988 memory=8104 CPUtime=0.69 cores=1,3,5,7
/proc/394/task/457/stat : 457 (java) S 391 394 32325 0 -1 1077944384 8981 13217 0 1 50 11 5 3 20 0 15 0 473264214 11107315712 684720 33554432000 4194304 4196468 140732683028688 140532125457552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=458] ppid=391 vsize=10846988 memory=1164 CPUtime=0.71 cores=1,3,5,7
/proc/394/task/458/stat : 458 (java) S 391 394 32325 0 -1 1077944384 11400 13217 0 1 52 11 5 3 20 0 15 0 473264214 11107315712 684720 33554432000 4194304 4196468 140732683028688 140532124404752 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=459] ppid=391 vsize=10846988 memory=9520 CPUtime=0.15 cores=1,3,5,7
/proc/394/task/459/stat : 459 (java) S 391 394 32325 0 -1 1077944384 5029 13217 0 1 6 1 5 3 20 0 15 0 473264216 11107315712 684720 33554432000 4194304 4196468 140732683028688 140532079724656 140532553046658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=460] ppid=391 vsize=10846988 memory=14008 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/460/stat : 460 (java) S 391 394 32325 0 -1 1077944384 18 13217 0 1 0 0 5 3 20 0 15 0 473264216 11107315712 684720 33554432000 4194304 4196468 140732683028688 140531531244448 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=461] ppid=391 vsize=10846988 memory=1404 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/461/stat : 461 (java) S 391 394 32325 0 -1 1077944384 10 13217 0 1 0 0 5 3 20 0 15 0 473264216 11107315712 684720 33554432000 4194304 4196468 140732683028688 140531329918080 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=462] ppid=391 vsize=10846988 memory=2924 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/462/stat : 462 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11107315712 684720 33554432000 4194304 4196468 140732683028688 140531089627216 140532553054107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=463] ppid=391 vsize=10846988 memory=6947385649911455296 CPUtime=5.13 cores=1,3,5,7
/proc/394/task/463/stat : 463 (java) R 391 394 32325 0 -1 1077944384 17993 13217 0 1 501 4 5 3 20 0 15 0 473264219 11107315712 684720 33554432000 4194304 4196468 140732683028688 140532078672496 140532553046658 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=464] ppid=391 vsize=10846988 memory=1984 CPUtime=5 cores=1,3,5,7
/proc/394/task/464/stat : 464 (java) R 391 394 32325 0 -1 4202560 12706 13217 0 1 489 3 5 3 20 0 15 0 473264219 11107315712 684720 33554432000 4194304 4196468 140732683028688 140532077619696 140532531052523 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=465] ppid=391 vsize=10846988 memory=2528 CPUtime=2.18 cores=1,3,5,7
/proc/394/task/465/stat : 465 (java) S 391 394 32325 0 -1 1077944384 15091 13217 0 1 208 2 5 3 20 0 15 0 473264219 11107315712 684720 33554432000 4194304 4196468 140732683028688 140532076567408 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=466] ppid=391 vsize=10846988 memory=1764 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/466/stat : 466 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11107315712 684720 33554432000 4194304 4196468 140732683028688 140531056069600 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=467] ppid=391 vsize=10846988 memory=111632 CPUtime=0.12 cores=1,3,5,7
/proc/394/task/467/stat : 467 (java) S 391 394 32325 0 -1 1077944384 624 13217 0 1 2 2 5 3 20 0 15 0 473264219 11107315712 684720 33554432000 4194304 4196468 140732683028688 140532075514288 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
Current children cumulated CPU time: 110.14 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2738880 KiB

[startup+96.3008 s]
/proc/loadavg: 1.86 1.51 1.31 3/228 886
/proc/meminfo: memFree=220896/32770624 swapFree=66988348/67108860
[pid=394] ppid=391 vsize=10846988 memory=2738884 CPUtime=110.38 cores=1,3,5,7
/proc/394/stat : 394 (java) S 391 394 32325 0 -1 1077944320 556051 13217 0 1 10809 221 5 3 20 0 15 0 473264201 11107315712 684721 33554432000 4194304 4196468 140732683028688 140732683011232 140532553035511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
/proc/394/statm: 2711747 684721 3639 1 0 2673805 0
[pid=394/tid=454] ppid=391 vsize=10846988 memory=904 CPUtime=95.47 cores=1,3,5,7
/proc/394/task/454/stat : 454 (java) R 391 394 32325 0 -1 4202560 459633 13217 0 1 9378 161 5 3 20 0 15 0 473264212 11107315712 684721 33554432000 4194304 4196468 140732683028688 140532524868896 140532169789935 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=455] ppid=391 vsize=10846988 memory=2738856 CPUtime=0.71 cores=1,3,5,7
/proc/394/task/455/stat : 455 (java) S 391 394 32325 0 -1 1077944384 8717 13217 0 1 52 11 5 3 20 0 15 0 473264214 11107315712 684721 33554432000 4194304 4196468 140732683028688 140532557278096 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=456] ppid=391 vsize=10846988 memory=2924 CPUtime=0.7 cores=1,3,5,7
/proc/394/task/456/stat : 456 (java) S 391 394 32325 0 -1 1077944384 9121 13217 0 1 51 11 5 3 20 0 15 0 473264214 11107315712 684721 33554432000 4194304 4196468 140732683028688 140532472097552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=457] ppid=391 vsize=10846988 memory=2710136 CPUtime=0.69 cores=1,3,5,7
/proc/394/task/457/stat : 457 (java) S 391 394 32325 0 -1 1077944384 8981 13217 0 1 50 11 5 3 20 0 15 0 473264214 11107315712 684721 33554432000 4194304 4196468 140732683028688 140532125457552 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=458] ppid=391 vsize=10846988 memory=2738856 CPUtime=0.71 cores=1,3,5,7
/proc/394/task/458/stat : 458 (java) S 391 394 32325 0 -1 1077944384 11400 13217 0 1 52 11 5 3 20 0 15 0 473264214 11107315712 684721 33554432000 4194304 4196468 140732683028688 140532124404752 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=459] ppid=391 vsize=10846988 memory=2710136 CPUtime=0.15 cores=1,3,5,7
/proc/394/task/459/stat : 459 (java) S 391 394 32325 0 -1 1077944384 5029 13217 0 1 6 1 5 3 20 0 15 0 473264216 11107315712 684721 33554432000 4194304 4196468 140732683028688 140532079724656 140532553046658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=460] ppid=391 vsize=10846988 memory=2738880 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/460/stat : 460 (java) S 391 394 32325 0 -1 1077944384 18 13217 0 1 0 0 5 3 20 0 15 0 473264216 11107315712 684721 33554432000 4194304 4196468 140732683028688 140531531244448 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=461] ppid=391 vsize=10846988 memory=54 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/461/stat : 461 (java) S 391 394 32325 0 -1 1077944384 10 13217 0 1 0 0 5 3 20 0 15 0 473264216 11107315712 684721 33554432000 4194304 4196468 140732683028688 140531329918080 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=462] ppid=391 vsize=10846988 memory=2440144 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/462/stat : 462 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11107315712 684721 33554432000 4194304 4196468 140732683028688 140531089627216 140532553054107 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=463] ppid=391 vsize=10846988 memory=53 CPUtime=5.18 cores=1,3,5,7
/proc/394/task/463/stat : 463 (java) R 391 394 32325 0 -1 4202560 18969 13217 0 1 506 4 5 3 20 0 15 0 473264219 11107315712 684721 33554432000 4194304 4196468 140732683028688 140532078659056 140532536446402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=464] ppid=391 vsize=10846988 memory=2738856 CPUtime=5.08 cores=1,3,5,7
/proc/394/task/464/stat : 464 (java) R 391 394 32325 0 -1 4202560 16171 13217 0 1 497 3 5 3 20 0 15 0 473264219 11107315712 684721 33554432000 4194304 4196468 140732683028688 140532077619696 140532534554956 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=465] ppid=391 vsize=10846988 memory=2738856 CPUtime=2.18 cores=1,3,5,7
/proc/394/task/465/stat : 465 (java) S 391 394 32325 0 -1 1077944384 15165 13217 0 1 208 2 5 3 20 0 15 0 473264219 11107315712 684721 33554432000 4194304 4196468 140732683028688 140532076567408 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=466] ppid=391 vsize=10846988 memory=2710272 CPUtime=0.08 cores=1,3,5,7
/proc/394/task/466/stat : 466 (java) S 391 394 32325 0 -1 1077944384 3 13217 0 1 0 0 5 3 20 0 15 0 473264219 11107315712 684721 33554432000 4194304 4196468 140732683028688 140531056069600 140532553045717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
[pid=394/tid=467] ppid=391 vsize=10846988 memory=3620 CPUtime=0.12 cores=1,3,5,7
/proc/394/task/467/stat : 467 (java) S 391 394 32325 0 -1 1077944384 628 13217 0 1 2 2 5 3 20 0 15 0 473264219 11107315712 684721 33554432000 4194304 4196468 140732683028688 140532075514288 140532553046658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 30359552 140732683037283 140732683039925 140732683039925 140732683042767 0
Current children cumulated CPU time: 110.38 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2738884 KiB

Child status: 0
Real time (s): 96.3895
CPU time (s): 110.509
CPU user time (s): 108.191
CPU system time (s): 2.318
CPU usage (%): 114.648
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2738884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.191
system time used= 2.318
maximum resident set size= 2739300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 571225
page faults= 1
swaps= 0
block input operations= 40
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10856
involuntary context switches= 260


# summary of solver processes directly reported to runsolver:
#   pid: 394
#   total CPU time (s): 110.509
#   total CPU user time (s): 108.191
#   total CPU system time (s): 2.318

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.654648 second user time and 0.901606 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-20 10:59:33
IDJOB=4403029
IDBENCH=120628
IDSOLVER=2862
FILE ID=node121/4403029-1568970016
RUNJOBID= node121-1568967596-32357
PBS_JOBID= 21704626
Free space on /var/tmp= 13476 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-4403029-1568970016/watcher-4403029-1568970016 -o /var/tmp/evaluation-result-4403029-1568970016/solver-4403029-1568970016 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568967596-32357 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1567823593 HOME/instance-4403029-1568970016.xml

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

MD5SUM BENCH= 0df69417c613ef889e63c8df69e0b506
RANDOM SEED=1567823593

node121.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.75
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.75
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.75
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.75
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:         3745808 kB
MemAvailable:   31831920 kB
Buffers:          134444 kB
Cached:         27884552 kB
SwapCached:         5376 kB
Active:         13973004 kB
Inactive:       14081876 kB
Active(anon):      32148 kB
Inactive(anon):    41892 kB
Active(file):   13940856 kB
Inactive(file): 14039984 kB
Unevictable:      111188 kB
Mlocked:          111188 kB
SwapTotal:      67108860 kB
SwapFree:       66988324 kB
Dirty:             35808 kB
Writeback:             8 kB
AnonPages:        128584 kB
Mapped:            56904 kB
Shmem:             28892 kB
Slab:             562396 kB
SReclaimable:     533732 kB
SUnreclaim:        28664 kB
KernelStack:        3552 kB
PageTables:         5524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1462192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13444 MiB
End job on node121 at 2019-09-20 11:01:10