Trace number 4401229

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.2OPT3 124.199 108.511

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.55	c Concrete v3.12.2.1568631193530 running
18.95/8.47	o 1215
20.41/9.21	o 1214
21.21/9.81	o 1213
21.86/10.38	o 1212
22.64/10.96	o 1211
23.41/11.51	o 1210
24.11/12.07	o 1209
24.93/12.62	o 1208
25.60/13.16	o 1207
26.29/13.69	o 1206
27.03/14.21	o 1205
27.58/14.73	o 1204
28.08/15.26	o 1203
28.74/15.80	o 1202
29.24/16.32	o 1201
29.75/16.82	o 1200
30.26/17.34	o 1199
30.86/17.84	o 1198
31.37/18.36	o 1197
31.90/18.88	o 1196
32.40/19.39	o 1195
33.01/19.91	o 1194
33.51/20.43	o 1193
34.01/20.94	o 1192
34.51/21.45	o 1191
35.02/21.99	o 1190
35.67/22.50	o 1189
36.07/23.00	o 1188
36.67/23.50	o 1187
37.18/24.02	o 1186
37.68/24.50	o 1185
38.08/24.99	o 1184
38.68/25.50	o 1183
39.24/26.01	o 1182
39.73/26.50	o 1181
40.13/26.97	o 1180
40.63/27.46	o 1179
41.13/27.97	o 1178
41.63/28.46	o 1177
42.13/28.94	o 1176
42.63/29.44	o 1175
43.13/29.98	o 1174
43.92/30.52	o 1173
44.33/30.98	o 1172
44.74/31.36	o 1171
45.14/31.72	o 1170
45.55/32.09	o 1169
45.94/32.45	o 1168
46.44/32.94	o 1167
46.96/33.41	o 1166
47.36/33.86	o 1165
47.86/34.31	o 1164
48.26/34.79	o 1163
48.82/35.21	o 1162
49.22/35.61	o 1161
49.76/36.11	o 1160
50.15/36.58	o 1159
50.68/37.08	o 1158
51.21/37.55	o 1157
51.72/38.02	o 1156
52.12/38.48	o 1155
52.66/38.94	o 1154
53.06/39.39	o 1153
53.56/39.84	o 1152
54.12/40.34	o 1151
54.62/40.83	o 1150
55.03/41.29	o 1149
55.53/41.74	o 1148
55.94/42.18	o 1147
56.43/42.62	o 1146
56.84/43.05	o 1145
57.23/43.49	o 1144
57.73/43.91	o 1143
58.13/44.35	o 1142
58.63/44.84	o 1141
59.14/45.32	o 1140
59.57/45.79	o 1139
60.07/46.25	o 1138
60.57/46.72	o 1137
60.98/47.16	o 1136
61.47/47.60	o 1135
61.77/48.00	o 1134
62.17/48.39	o 1133
62.57/48.75	o 1132
62.98/49.11	o 1131
63.28/49.45	o 1130
63.58/49.79	o 1129
64.08/50.29	o 1128
64.58/50.78	o 1127
65.08/51.29	o 1126
65.62/51.78	o 1125
66.12/52.25	o 1124
66.52/52.69	o 1123
67.03/53.13	o 1122
67.42/53.55	o 1121
67.82/53.96	o 1120
68.22/54.38	o 1119
68.62/54.78	o 1118
69.03/55.15	o 1117
69.42/55.51	o 1116
69.72/55.86	o 1115
70.12/56.21	o 1114
70.63/56.70	o 1113
71.04/57.17	o 1112
71.59/57.66	o 1111
72.10/58.14	o 1110
72.59/58.61	o 1109
73.00/59.07	o 1108
73.49/59.54	o 1107
73.89/60.00	o 1106
74.40/60.46	o 1105
74.90/60.91	o 1104
75.30/61.37	o 1103
75.80/61.83	o 1102
76.20/62.27	o 1101
76.60/62.70	o 1100
77.01/63.10	o 1099
77.50/63.50	o 1098
77.80/63.89	o 1097
78.26/64.27	o 1096
78.76/64.76	o 1095
79.26/65.25	o 1094
79.76/65.73	o 1093
80.17/66.20	o 1092
80.66/66.67	o 1091
81.17/67.13	o 1090
81.57/67.59	o 1089
82.08/68.04	o 1088
82.47/68.49	o 1087
82.97/68.93	o 1086
83.37/69.36	o 1085
83.87/69.80	o 1084
84.28/70.24	o 1083
84.75/70.64	o 1082
85.16/71.03	o 1081
85.55/71.40	o 1080
85.85/71.76	o 1079
86.26/72.13	o 1078
86.55/72.48	o 1077
86.95/72.82	o 1076
87.26/73.17	o 1075
87.65/73.51	o 1074
88.05/74.00	o 1073
88.55/74.47	o 1072
89.05/74.96	o 1071
89.55/75.42	o 1070
89.95/75.86	o 1069
90.46/76.32	o 1068
90.86/76.71	o 1067
91.26/77.12	o 1066
91.65/77.52	o 1065
92.10/77.94	o 1064
92.50/78.30	o 1063
92.80/78.64	o 1062
93.10/79.00	o 1061
93.50/79.35	o 1060
93.80/79.67	o 1059
94.10/79.98	o 1058
94.41/80.29	o 1057
94.71/80.58	o 1056
95.01/80.86	o 1055
95.31/81.14	o 1054
95.61/81.43	o 1053
95.91/81.70	o 1052
96.11/81.92	o 1051
96.32/82.13	o 1050
96.51/82.35	o 1049
96.71/82.56	o 1048
96.91/82.74	o 1047
97.11/82.92	o 1046
97.22/83.07	o 1045
97.41/83.23	o 1044
97.51/83.37	o 1043
98.01/83.84	o 1042
98.51/84.34	o 1041
99.06/84.80	o 1040
99.46/85.25	o 1039
99.86/85.69	o 1038
100.37/86.12	o 1037
100.76/86.54	o 1036
101.16/86.97	o 1035
101.56/87.38	o 1034
101.96/87.78	o 1033
102.37/88.16	o 1032
102.76/88.53	o 1031
103.06/88.87	o 1030
103.46/89.22	o 1029
103.76/89.55	o 1028
104.06/89.89	o 1027
104.46/90.22	o 1026
104.77/90.54	o 1025
105.07/90.86	o 1024
105.38/91.16	o 1023
105.67/91.46	o 1022
105.97/91.76	o 1021
106.28/92.09	o 1020
106.65/92.38	o 1019
106.95/92.66	o 1018
107.25/92.93	o 1017
107.46/93.19	o 1016
107.75/93.46	o 1015
108.05/93.70	o 1014
108.25/93.94	o 1013
108.46/94.16	o 1012
108.65/94.36	o 1011
108.85/94.56	o 1010
109.05/94.77	o 1009
109.25/94.97	o 1008
109.46/95.17	o 1007
109.95/95.66	o 1006
110.46/96.16	o 1005
110.95/96.62	o 1004
111.36/97.07	o 1003
111.85/97.52	o 1002
112.25/97.95	o 1001
112.65/98.37	o 1000
113.05/98.78	o 999
113.46/99.19	o 998
113.85/99.60	o 997
114.32/99.99	o 996
114.72/100.35	o 995
115.12/100.70	o 994
115.43/101.05	o 993
115.82/101.40	o 992
116.12/101.75	o 991
116.43/102.05	o 990
116.72/102.31	o 989
116.92/102.59	o 988
117.22/102.86	o 987
117.43/103.09	o 986
117.72/103.32	o 985
117.92/103.54	o 984
118.12/103.76	o 983
118.32/103.96	o 982
118.53/104.13	o 981
118.72/104.30	o 980
118.82/104.47	o 979
119.02/104.64	o 978
119.22/104.80	o 977
119.32/104.95	o 976
119.43/105.08	o 975
119.62/105.22	o 974
119.72/105.34	o 973
119.82/105.46	o 972
119.92/105.58	o 971
120.02/105.69	o 970
120.22/105.80	o 969
120.22/105.89	o 968
120.32/105.99	o 967
120.43/106.05	o 966
120.53/106.12	o 965
120.53/106.18	o 964
120.62/106.24	o 963
120.62/106.29	o 962
120.73/106.33	o 961
120.73/106.38	o 960
120.84/106.42	o 959
120.84/106.45	o 958
120.84/106.48	o 957
120.94/106.54	o 956
120.94/106.56	o 955
120.94/106.59	o 954
121.11/106.61	o 953
121.11/106.63	o 952
121.11/106.65	o 951
121.11/106.67	o 950
121.11/106.68	o 949
121.21/106.70	o 948
121.21/106.72	o 947
121.21/106.73	o 946
121.21/106.74	o 945
121.21/106.75	o 944
121.21/106.77	o 943
121.21/106.78	o 942
121.21/106.79	o 941
121.21/106.79	o 940
121.21/106.80	o 939
121.31/106.80	o 938
121.31/106.80	o 7
121.76/107.01	o 6
122.86/107.62	o 5
123.37/108.10	o 4
123.76/108.38	o 3
123.99/108.48	v <instantiation
123.99/108.48	v         cost = '3'>
123.99/108.48	v       <list>
123.99/108.48	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]
123.99/108.48	v       </list>
123.99/108.48	v       <values>
123.99/108.48	v         0 1 0 1 0 2 1 3 2 3 2 0 2 1 2 1 3 0 1 2 3 0 0 3 1 2 0 3 3 0 2 0 3 1 0 3 2 3 0 1 1 0 1 2 0 2 3 2 3 1 0 2 1 0 2 0 1 3 3 0 2 1 3 1 0 1 2 1 0 1 2 3 0 1 2 1 0 3 1 3 1 2 2 1 2 0 1 0 1 0 3 0 3 2 3 0 3 2 3 1 0 1 3 1 2 0 2 0 2 3 1 3 0 3 1 3 1 2 0 2 2 0 2 1 2 1 3 0 3 1 3 0 2 1 1 0 2 3 2 0 2 0 0 1 0 3 2 1 0 3 2 1 0 3 2 3 2 0 1 3 0 2 1 2 1 3 0 2 1 3 1 0 1 3 1 0 1 3 3 2 0 2 3 1 0 3 0 2 0 3 1 2 3 2 1 0 0 1 3 1 0 2 3 1 3 0 3 2 3 0 3 2 1 3 0 2 0 3 2 1 2 1 2 0 2 1 2 0 1 3 0 3 1 0 3 2 1 2 1 0 3 0 0 2 3 1 0 2 3 2 0 1 0 1 3 2 1 0 3 0 3 2 2 0 2 0 1 3 1 0 2 0 1 3 1 0 3 2 3 1 0 2 2 0 2 1 2 1 3 0 2 1 3 0 0 3 2 1 3 0 2 1 2 0 0 1 0 3 0 1 2 3 2 3 3 1 3 1 2 1 2 0 2 3 1 0 2 0 2 3 2 3 2 0 0 2 1 2 0 3 1 0 2 3 1 3 2 0 2 0 3 0 2 1 2 1 3 1 0 1 3 1 0 2 0 3 1 3 0 2 1 2 0 2 0 2 0 1 2 1 0 3 2 3 1 3 2 0 1 0 2 1 2 1 0 3 2 1 2 3 0 3 1 3 0 1 3 1 0 2 0 2 0 2 3 0 3 2 1 2 3 2 3 0 1 0 0 1 2 3 0 1 0 3 1 0 1 2 3 2 0 1 0 2 0 2 3 1 2 3 2 3 3 2 1 2 1 0 3 2 3 0 1 0 0 2 0 1 3 0 1 2 1 0 0 2 1 2 3 1 2 1 2 1 2 0 3 2 1 0 3 2 1 0 0 2 1 3 2 3 1 3 1 3 1 0 1 3 2 0 2 3 1 3 1 3 1 0 0 1 3 2 3 1 2 1 3 0 1 0 2 0 1 3 1 2 1 3 0 3 0 2 0 2 3 1 1 0 2 3 2 0 3 1 0 1 0 2 0 1 1 2 3 2 3 0 3 1 3 0 2 0 2 0 2 0 2 3 1 3 1 3 1 2 0 2 1 2 0 2 0 2 3 1 3 2 0 2 3 2 0 2 0 2 0 1 2 1 3 0 2 3 0 1 2 1 2 3 2 3 2 1 0 1 3 0 3 2 1 0 2 3 3 1 3 1 3 2 0 2 3 1 3 1 3 1 3 1 3 2 0 2 1 2 1 3 0 2 0 1 0 2 3 1 3 2 3 0 3 0 1 2 3 2 1 2 0 2 0 3 3 2 1 0 0 3 0 2 0 2 1 3 3 0 2 1 3 1 2 0 3 1 2 0 3 1 3 0 0 1 3 2 3 2 3 0 3 0 1 0 1 2 2 3 2 3 0 3 0 3 0 1 2 1 0 3 1 2 0 2 2 0 1 3 2 3 1 3 2 3 2 1 3 1 3 0 3 0 1 0 1 0 0 2 1 2 1 3 1 3 2 0 1 3 1 0 1 3 1 0 1 3 2 0 0 3 2 1 2 3 3 1 3 1 3 1 2 0 3 1 2 1 2 1 0 3 2 3 0 1 2 0 1 2 1 2 0 2 1 3 0 1 0 3 3 1 2 0 3 0 0 1 0 1 2 3 1 3 2 3 2 0 1 3 0 1 2 1 0 1 3 2 0 1 3 1 1 3 1 0 2 3 2 0 2 3 0 1 2 3 0 2 0 1 3 2 3 2 2 1 3 1 3 0 2 1 3 1 3 0 3 2 1 2 1 2 0 3 3 0 3 2 3 2 1 0 2 3 2 1 3 2 0 1 3 1 0 2 1 3 0 2 0 3 3 1 0 1 0 1 1 0 2 3 2 3 2 0 1 3 3 2 1 2 1 0 1 0 2 0 2 3 1 0 1 0 3 1 0 1 0 3 3 0 1 0 1 2 0 2 0 3 0 2 0 3 1 3 3 2 3 2 1 2 1 0 3 0 1 0 1 3 2 0 2 0 1 3 2 0 1 3 2 0 2 1 2 1 2 1 0 1 2 1 2 3 0 1 2 3 2 3 1 3 2 3 1 0 1 0 1 0 0 1 3 1 3 2 0 2 1 2 0 3 2 1 2 3 2 1 2 3 1 2 3 0 1 0 3 2 3 0 1 2 0 3 2 1 0 2 2 0 3 1 1 3 0 2 3 1 3 1 3 2 0 1 1 0 1 0 2 3 1 3 2 0 0 2 3 1 3 2 2 1 0 3 3 1 2 1 3 1 3 1 2 0 2 1 3 2 3 0 0 2 1 2 1 0 1 0 1 3 2 3 0 3 0 2 0 1 0 2 0 2 3 1 0 1 2 1 0 3 1 0 1 2 1 2 2 1 3 0 3 0 2 0 3 0 2 0 1 2 0 2 0 1 2 3 2 1 2 3 2 0 2 0 1 0 2 3 3 2 3 2 1 0 1 2 1 3 0 3 2 3 0 1 3 2 1 2 0 2 1 2 0 1
123.99/108.48	v       </values>
123.99/108.48	v     </instantiation>
123.99/108.48	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 (13802 MiB free)
  memory of node 1: 16384 MiB (15744 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401229-1568675702/watcher-4401229-1568675702 -o /tmp/evaluation-result-4401229-1568675702/solver-4401229-1568675702 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568673443-12496 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1397057242 HOME/instance-4401229-1568675702.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=13091, runsolver pid=13088


[startup+0.10014 s]*
/proc/loadavg: 1.77 1.72 1.76 3/216 13148
/proc/meminfo: memFree=30247376/32770624 swapFree=66922424/67108860
[pid=13091] ppid=13088 vsize=9972712 memory=18956 CPUtime=0.09 cores=1,3,5,7
/proc/13091/stat : 13091 (java) S 13088 13091 12464 0 -1 1077944320 4474 12991 0 0 1 1 5 2 20 0 6 0 443838962 10212057088 4739 33554432000 4194304 4196468 140737042598848 140737042581392 140221497810679 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
/proc/13091/statm: 2493178 4739 1935 1 0 2481616 0
[pid=13091/tid=13144] ppid=13088 vsize=9972712 memory=4279135704013833871 CPUtime=0.08 cores=1,3,5,7
/proc/13091/task/13144/stat : 13144 (java) R 13088 13091 12464 0 -1 4202560 2278 12991 0 0 1 0 5 2 20 0 6 0 443838971 10212057088 4739 33554432000 4194304 4196468 140737042598848 140221469647440 140221477112208 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13145] ppid=13088 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13145/stat : 13145 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 6 0 443838972 10212057088 4739 33554432000 4194304 4196468 140737042598848 140221502053136 140221497820885 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13146] ppid=13088 vsize=9972712 memory=140219472856704 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13146/stat : 13146 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 6 0 443838972 10212057088 4739 33554432000 4194304 4196468 140737042598848 140221423012752 140221497820885 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13147] ppid=13088 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13147/stat : 13147 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 6 0 443838972 10212057088 4739 33554432000 4194304 4196468 140737042598848 140221069732880 140221497820885 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13148] ppid=13088 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13148/stat : 13148 (java) S 13088 13091 12464 0 -1 1077944384 2 12991 0 0 0 0 5 2 20 0 6 0 443838972 10212057088 4739 33554432000 4194304 4196468 140737042598848 140221068680336 140221497820885 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18956 KiB

[startup+0.210137 s]*
/proc/loadavg: 1.77 1.72 1.76 4/225 13157
/proc/meminfo: memFree=30229724/32770624 swapFree=66922424/67108860
[pid=13091] ppid=13088 vsize=10820196 memory=41584 CPUtime=0.26 cores=1,3,5,7
/proc/13091/stat : 13091 (java) S 13088 13091 12464 0 -1 1077944320 7271 12991 0 0 18 1 5 2 20 0 15 0 443838962 11079880704 10396 33554432000 4194304 4196468 140737042598848 140737042581392 140221497810679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
/proc/13091/statm: 2705049 10396 3276 1 0 2667149 0
[pid=13091/tid=13144] ppid=13088 vsize=10820196 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/13091/task/13144/stat : 13144 (java) R 13088 13091 12464 0 -1 4202560 3754 12991 0 0 11 0 5 2 20 0 15 0 443838971 11079880704 10462 33554432000 4194304 4196468 140737042598848 140221469627792 140221479204410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13145] ppid=13088 vsize=10820196 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13145/stat : 13145 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838972 11079880704 10462 33554432000 4194304 4196468 140737042598848 140221502053136 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13146] ppid=13088 vsize=10820196 memory=140219472856704 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13146/stat : 13146 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838972 11079880704 10462 33554432000 4194304 4196468 140737042598848 140221423012752 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13147] ppid=13088 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13147/stat : 13147 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838972 11079880704 10462 33554432000 4194304 4196468 140737042598848 140221069732880 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13148] ppid=13088 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13148/stat : 13148 (java) S 13088 13091 12464 0 -1 1077944384 2 12991 0 0 0 0 5 2 20 0 15 0 443838972 11079880704 10462 33554432000 4194304 4196468 140737042598848 140221068680336 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13149] ppid=13088 vsize=10820196 memory=140219472856704 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13149/stat : 13149 (java) S 13088 13091 12464 0 -1 1077944384 2 12991 0 0 0 0 5 2 20 0 15 0 443838973 11079880704 10462 33554432000 4194304 4196468 140737042598848 140221024425968 140221497821826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13150] ppid=13088 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13150/stat : 13150 (java) S 13088 13091 12464 0 -1 1077944384 13 12991 0 0 0 0 5 2 20 0 15 0 443838974 11079880704 10462 33554432000 4194304 4196468 140737042598848 140220951421856 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13151] ppid=13088 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13151/stat : 13151 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838974 11079880704 10462 33554432000 4194304 4196468 140737042598848 140220347442160 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13152] ppid=13088 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13152/stat : 13152 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11079880704 10462 33554432000 4194304 4196468 140737042598848 140220040042704 140221497829275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13153] ppid=13088 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13091/task/13153/stat : 13153 (java) S 13088 13091 12464 0 -1 1077944384 483 12991 0 0 1 0 5 2 20 0 15 0 443838977 11079880704 10462 33554432000 4194304 4196468 140737042598848 140221023373808 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13154] ppid=13088 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13091/task/13154/stat : 13154 (java) R 13088 13091 12464 0 -1 4202560 194 12991 0 0 1 0 5 2 20 0 15 0 443838977 11079880704 10462 33554432000 4194304 4196468 140737042598848 140221022321264 140221479355969 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13155] ppid=13088 vsize=10820196 memory=140219472856704 CPUtime=0.1 cores=1,3,5,7
/proc/13091/task/13155/stat : 13155 (java) S 13088 13091 12464 0 -1 1077944384 620 12991 0 0 3 0 5 2 20 0 15 0 443838977 11079880704 10462 33554432000 4194304 4196468 140737042598848 140221021268720 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13156] ppid=13088 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13156/stat : 13156 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11079880704 10462 33554432000 4194304 4196468 140737042598848 140220006485088 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13157] ppid=13088 vsize=10820196 memory=140219472856704 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13157/stat : 13157 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838977 11079880704 10462 33554432000 4194304 4196468 140737042598848 140221020215600 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41584 KiB

[startup+0.310388 s]*
/proc/loadavg: 1.77 1.72 1.76 3/225 13157
/proc/meminfo: memFree=30216792/32770624 swapFree=66922424/67108860
[pid=13091] ppid=13088 vsize=10820196 memory=50064 CPUtime=0.4 cores=1,3,5,7
/proc/13091/stat : 13091 (java) S 13088 13091 12464 0 -1 1077944320 10792 12991 0 0 30 3 5 2 20 0 15 0 443838962 11079880704 12516 33554432000 4194304 4196468 140737042598848 140737042581392 140221497810679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
/proc/13091/statm: 2705049 12516 3320 1 0 2667149 0
[pid=13091/tid=13144] ppid=13088 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/13091/task/13144/stat : 13144 (java) R 13088 13091 12464 0 -1 4202560 7236 12991 0 0 19 2 5 2 20 0 15 0 443838971 11079880704 12516 33554432000 4194304 4196468 140737042598848 140221469633072 140221483490839 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13145] ppid=13088 vsize=10820196 memory=7451321480649337196 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13145/stat : 13145 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838972 11079880704 12516 33554432000 4194304 4196468 140737042598848 140221502053136 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13146] ppid=13088 vsize=10820196 memory=5787233549803348032 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13146/stat : 13146 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838972 11079880704 12516 33554432000 4194304 4196468 140737042598848 140221423012752 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13147] ppid=13088 vsize=10820196 memory=7649539582214684865 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13147/stat : 13147 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838972 11079880704 12516 33554432000 4194304 4196468 140737042598848 140221069732880 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13148] ppid=13088 vsize=10820196 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13148/stat : 13148 (java) S 13088 13091 12464 0 -1 1077944384 2 12991 0 0 0 0 5 2 20 0 15 0 443838972 11079880704 12516 33554432000 4194304 4196468 140737042598848 140221068680336 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13149] ppid=13088 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13149/stat : 13149 (java) S 13088 13091 12464 0 -1 1077944384 2 12991 0 0 0 0 5 2 20 0 15 0 443838973 11079880704 12516 33554432000 4194304 4196468 140737042598848 140221024425968 140221497821826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13150] ppid=13088 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13150/stat : 13150 (java) S 13088 13091 12464 0 -1 1077944384 13 12991 0 0 0 0 5 2 20 0 15 0 443838974 11079880704 12516 33554432000 4194304 4196468 140737042598848 140220951421856 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13151] ppid=13088 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13151/stat : 13151 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838974 11079880704 12516 33554432000 4194304 4196468 140737042598848 140220347442160 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13152] ppid=13088 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13152/stat : 13152 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11079880704 12516 33554432000 4194304 4196468 140737042598848 140220040042704 140221497829275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13153] ppid=13088 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13091/task/13153/stat : 13153 (java) S 13088 13091 12464 0 -1 1077944384 483 12991 0 0 2 0 5 2 20 0 15 0 443838977 11079880704 12516 33554432000 4194304 4196468 140737042598848 140221023373808 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13154] ppid=13088 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13091/task/13154/stat : 13154 (java) S 13088 13091 12464 0 -1 1077944384 196 12991 0 0 2 0 5 2 20 0 15 0 443838977 11079880704 12516 33554432000 4194304 4196468 140737042598848 140221022321264 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13155] ppid=13088 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/13091/task/13155/stat : 13155 (java) S 13088 13091 12464 0 -1 1077944384 638 12991 0 0 5 0 5 2 20 0 15 0 443838977 11079880704 12516 33554432000 4194304 4196468 140737042598848 140221021268720 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13156] ppid=13088 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13156/stat : 13156 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11079880704 12516 33554432000 4194304 4196468 140737042598848 140220006485088 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13157] ppid=13088 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13157/stat : 13157 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838977 11079880704 12516 33554432000 4194304 4196468 140737042598848 140221020215600 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50064 KiB

[startup+0.70512 s]
/proc/loadavg: 1.77 1.72 1.76 4/225 13157
/proc/meminfo: memFree=30202368/32770624 swapFree=66922424/67108860
[pid=13091] ppid=13088 vsize=10824364 memory=83596 CPUtime=1.13 cores=1,3,5,7
/proc/13091/stat : 13091 (java) S 13088 13091 12464 0 -1 1077944320 15113 12991 0 0 101 5 5 2 20 0 15 0 443838962 11084148736 20886 33554432000 4194304 4196468 140737042598848 140737042581392 140221497810679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
/proc/13091/statm: 2706091 20899 3505 1 0 2668173 0
[pid=13091/tid=13144] ppid=13088 vsize=10824364 memory=2241 CPUtime=0.66 cores=1,3,5,7
/proc/13091/task/13144/stat : 13144 (java) R 13088 13091 12464 0 -1 4202560 10567 12991 0 0 56 3 5 2 20 0 15 0 443838971 11084148736 20899 33554432000 4194304 4196468 140737042598848 140221469635856 140221497832605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13145] ppid=13088 vsize=10824364 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13145/stat : 13145 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838972 11084148736 20899 33554432000 4194304 4196468 140737042598848 140221502053136 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13146] ppid=13088 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13146/stat : 13146 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838972 11084148736 20899 33554432000 4194304 4196468 140737042598848 140221423012752 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13147] ppid=13088 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13147/stat : 13147 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838972 11084148736 20899 33554432000 4194304 4196468 140737042598848 140221069732880 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13148] ppid=13088 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13148/stat : 13148 (java) S 13088 13091 12464 0 -1 1077944384 2 12991 0 0 0 0 5 2 20 0 15 0 443838972 11084148736 20899 33554432000 4194304 4196468 140737042598848 140221068680336 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13149] ppid=13088 vsize=10824364 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13149/stat : 13149 (java) S 13088 13091 12464 0 -1 1077944384 6 12991 0 0 0 0 5 2 20 0 15 0 443838973 11084148736 20899 33554432000 4194304 4196468 140737042598848 140221024425968 140221497821826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13150] ppid=13088 vsize=10824364 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13150/stat : 13150 (java) S 13088 13091 12464 0 -1 1077944384 13 12991 0 0 0 0 5 2 20 0 15 0 443838974 11084148736 20899 33554432000 4194304 4196468 140737042598848 140220951421856 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13151] ppid=13088 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13151/stat : 13151 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838974 11084148736 20899 33554432000 4194304 4196468 140737042598848 140220347442160 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13152] ppid=13088 vsize=10824364 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13152/stat : 13152 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11084148736 20899 33554432000 4194304 4196468 140737042598848 140220040042704 140221497829275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13153] ppid=13088 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/13091/task/13153/stat : 13153 (java) R 13088 13091 12464 0 -1 4202560 888 12991 0 0 13 0 5 2 20 0 15 0 443838977 11084148736 20899 33554432000 4194304 4196468 140737042598848 140221023360624 140221477068608 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13154] ppid=13088 vsize=10824364 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/13091/task/13154/stat : 13154 (java) R 13088 13091 12464 0 -1 4202560 616 12991 0 0 12 0 5 2 20 0 15 0 443838977 11084148736 20899 33554432000 4194304 4196468 140737042598848 140221022321264 140221497832026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13155] ppid=13088 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/13091/task/13155/stat : 13155 (java) R 13088 13091 12464 0 -1 4202560 807 12991 0 0 17 0 5 2 20 0 15 0 443838977 11084148736 20899 33554432000 4194304 4196468 140737042598848 140221021268720 140221490047806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13156] ppid=13088 vsize=10824364 memory=280438681633008 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13156/stat : 13156 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11084148736 20899 33554432000 4194304 4196468 140737042598848 140220006485088 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13157] ppid=13088 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13157/stat : 13157 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838977 11084148736 20899 33554432000 4194304 4196468 140737042598848 140221020215600 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83596 KiB

[startup+1.50071 s]
/proc/loadavg: 1.77 1.72 1.76 5/225 13157
/proc/meminfo: memFree=30147460/32770624 swapFree=66922424/67108860
[pid=13091] ppid=13088 vsize=10835712 memory=244628 CPUtime=3.51 cores=1,3,5,7
/proc/13091/stat : 13091 (java) S 13088 13091 12464 0 -1 1077944320 32944 12991 0 0 334 10 5 2 20 0 15 0 443838962 11095769088 61157 33554432000 4194304 4196468 140737042598848 140737042581392 140221497810679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
/proc/13091/statm: 2708928 61157 3579 1 0 2670991 0
[pid=13091/tid=13144] ppid=13088 vsize=10835712 memory=27 CPUtime=1.41 cores=1,3,5,7
/proc/13091/task/13144/stat : 13144 (java) S 13088 13091 12464 0 -1 1077944384 15436 12991 0 0 129 5 5 2 20 0 15 0 443838971 11095769088 61157 33554432000 4194304 4196468 140737042598848 140221469621712 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13145] ppid=13088 vsize=10835712 memory=31 CPUtime=0.08 cores=1,3,5,7
/proc/13091/task/13145/stat : 13145 (java) R 13088 13091 12464 0 -1 1077944384 75 12991 0 0 1 0 5 2 20 0 15 0 443838972 11095769088 61157 33554432000 4194304 4196468 140737042598848 140221502053136 140221497820885 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13146] ppid=13088 vsize=10835712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13146/stat : 13146 (java) R 13088 13091 12464 0 -1 4202560 4 12991 0 0 0 0 5 2 20 0 15 0 443838972 11095769088 61157 33554432000 4194304 4196468 140737042598848 140221423012752 140221490910379 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13147] ppid=13088 vsize=10835712 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13091/task/13147/stat : 13147 (java) R 13088 13091 12464 0 -1 4202560 207 12991 0 0 2 0 5 2 20 0 15 0 443838972 11095769088 61157 33554432000 4194304 4196468 140737042598848 140221069732880 140221482511312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13148] ppid=13088 vsize=10835712 memory=102584 CPUtime=0.09 cores=1,3,5,7
/proc/13091/task/13148/stat : 13148 (java) R 13088 13091 12464 0 -1 4202560 41 12991 0 0 2 0 5 2 20 0 15 0 443838972 11095769088 61669 33554432000 4194304 4196468 140737042598848 140221068680536 140221482511367 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13149] ppid=13088 vsize=10835712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13091/task/13149/stat : 13149 (java) S 13088 13091 12464 0 -1 1077944384 431 12991 0 0 1 0 5 2 20 0 15 0 443838973 11095769088 61669 33554432000 4194304 4196468 140737042598848 140221024424480 140221497820885 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13150] ppid=13088 vsize=10835712 memory=7234844112153764185 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13150/stat : 13150 (java) S 13088 13091 12464 0 -1 1077944384 13 12991 0 0 0 0 5 2 20 0 15 0 443838974 11095769088 61669 33554432000 4194304 4196468 140737042598848 140220951421856 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13151] ppid=13088 vsize=10835712 memory=7812448313770732113 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13151/stat : 13151 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838974 11095769088 61669 33554432000 4194304 4196468 140737042598848 140220347442160 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13152] ppid=13088 vsize=10835712 memory=7013340884970529892 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13152/stat : 13152 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11095769088 61669 33554432000 4194304 4196468 140737042598848 140220040042704 140221497829275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13153] ppid=13088 vsize=10835712 memory=7454130749351154278 CPUtime=0.91 cores=1,3,5,7
/proc/13091/task/13153/stat : 13153 (java) R 13088 13091 12464 0 -1 4202560 8917 12991 0 0 83 1 5 2 20 0 15 0 443838977 11095769088 61669 33554432000 4194304 4196468 140737042598848 140221023359832 140221479331953 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13154] ppid=13088 vsize=10835712 memory=7381505799309517162 CPUtime=0.78 cores=1,3,5,7
/proc/13091/task/13154/stat : 13154 (java) S 13088 13091 12464 0 -1 1077944384 3542 12991 0 0 71 0 5 2 20 0 15 0 443838977 11095769088 61669 33554432000 4194304 4196468 140737042598848 140221022309680 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13155] ppid=13088 vsize=10835712 memory=7234844112153764185 CPUtime=0.48 cores=1,3,5,7
/proc/13091/task/13155/stat : 13155 (java) S 13088 13091 12464 0 -1 1077944384 2059 12991 0 0 41 0 5 2 20 0 15 0 443838977 11095769088 61669 33554432000 4194304 4196468 140737042598848 140221021268720 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13156] ppid=13088 vsize=10835712 memory=7234844112153764185 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13156/stat : 13156 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11095769088 61669 33554432000 4194304 4196468 140737042598848 140220006485088 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13157] ppid=13088 vsize=10835712 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13157/stat : 13157 (java) S 13088 13091 12464 0 -1 1077944384 1 12991 0 0 0 0 5 2 20 0 15 0 443838977 11095769088 61669 33554432000 4194304 4196468 140737042598848 140221020215600 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
Current children cumulated CPU time: 3.51 s
Current children cumulated vsize: 10835712 KiB

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


[startup+105.601 s]
/proc/loadavg: 1.33 1.61 1.72 3/226 13165
/proc/meminfo: memFree=28383716/32770624 swapFree=66922424/67108860
[pid=13091] ppid=13088 vsize=10846988 memory=1836548 CPUtime=120.02 cores=1,3,5,7
/proc/13091/stat : 13091 (java) S 13088 13091 12464 0 -1 1077944320 101818 12991 0 0 11899 96 5 2 20 0 15 0 443838962 11107315712 459137 33554432000 4194304 4196468 140737042598848 140737042581392 140221497810679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
/proc/13091/statm: 2711747 459137 3638 1 0 2673805 0
[pid=13091/tid=13144] ppid=13088 vsize=10846988 memory=1836548 CPUtime=104.87 cores=1,3,5,7
/proc/13091/task/13144/stat : 13144 (java) R 13088 13091 12464 0 -1 4202560 34242 12991 0 0 10454 26 5 2 20 0 15 0 443838971 11107315712 459137 33554432000 4194304 4196468 140737042598848 140221469639536 140221118591432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13145] ppid=13088 vsize=10846988 memory=1836548 CPUtime=0.61 cores=1,3,5,7
/proc/13091/task/13145/stat : 13145 (java) S 13088 13091 12464 0 -1 1077944384 2973 12991 0 0 40 14 5 2 20 0 15 0 443838972 11107315712 459137 33554432000 4194304 4196468 140737042598848 140221502053136 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13146] ppid=13088 vsize=10846988 memory=5976 CPUtime=0.61 cores=1,3,5,7
/proc/13091/task/13146/stat : 13146 (java) S 13088 13091 12464 0 -1 1077944384 467 12991 0 0 41 13 5 2 20 0 15 0 443838972 11107315712 459137 33554432000 4194304 4196468 140737042598848 140221423012752 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13147] ppid=13088 vsize=10846988 memory=6791534058613427641 CPUtime=0.62 cores=1,3,5,7
/proc/13091/task/13147/stat : 13147 (java) S 13088 13091 12464 0 -1 1077944384 1214 12991 0 0 41 14 5 2 20 0 15 0 443838972 11107315712 459137 33554432000 4194304 4196468 140737042598848 140221069732880 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13148] ppid=13088 vsize=10846988 memory=4465 CPUtime=0.63 cores=1,3,5,7
/proc/13091/task/13148/stat : 13148 (java) S 13088 13091 12464 0 -1 1077944384 1314 12991 0 0 42 14 5 2 20 0 15 0 443838972 11107315712 459137 33554432000 4194304 4196468 140737042598848 140221068680336 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13149] ppid=13088 vsize=10846988 memory=339 CPUtime=0.14 cores=1,3,5,7
/proc/13091/task/13149/stat : 13149 (java) S 13088 13091 12464 0 -1 1077944384 3606 12991 0 0 7 0 5 2 20 0 15 0 443838973 11107315712 459137 33554432000 4194304 4196468 140737042598848 140221024425968 140221497821826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13150] ppid=13088 vsize=10846988 memory=390 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13150/stat : 13150 (java) S 13088 13091 12464 0 -1 1077944384 16 12991 0 0 0 0 5 2 20 0 15 0 443838974 11107315712 459137 33554432000 4194304 4196468 140737042598848 140220951421984 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13151] ppid=13088 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13151/stat : 13151 (java) S 13088 13091 12464 0 -1 1077944384 14 12991 0 0 0 0 5 2 20 0 15 0 443838974 11107315712 459137 33554432000 4194304 4196468 140737042598848 140220347442176 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13152] ppid=13088 vsize=10846988 memory=4468 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13152/stat : 13152 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11107315712 459137 33554432000 4194304 4196468 140737042598848 140220040042704 140221497829275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13153] ppid=13088 vsize=10846988 memory=6676 CPUtime=5.58 cores=1,3,5,7
/proc/13091/task/13153/stat : 13153 (java) S 13088 13091 12464 0 -1 1077944384 20478 12991 0 0 548 3 5 2 20 0 15 0 443838977 11107315712 459137 33554432000 4194304 4196468 140737042598848 140221023373808 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13154] ppid=13088 vsize=10846988 memory=8884 CPUtime=5.2 cores=1,3,5,7
/proc/13091/task/13154/stat : 13154 (java) S 13088 13091 12464 0 -1 1077944384 17758 12991 0 0 510 3 5 2 20 0 15 0 443838977 11107315712 459137 33554432000 4194304 4196468 140737042598848 140221022321264 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13155] ppid=13088 vsize=10846988 memory=3620 CPUtime=2.16 cores=1,3,5,7
/proc/13091/task/13155/stat : 13155 (java) S 13088 13091 12464 0 -1 1077944384 16543 12991 0 0 206 3 5 2 20 0 15 0 443838977 11107315712 459137 33554432000 4194304 4196468 140737042598848 140221021268720 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13156] ppid=13088 vsize=10846988 memory=46924 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13156/stat : 13156 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11107315712 459137 33554432000 4194304 4196468 140737042598848 140220006485088 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13157] ppid=13088 vsize=10846988 memory=988 CPUtime=0.11 cores=1,3,5,7
/proc/13091/task/13157/stat : 13157 (java) S 13088 13091 12464 0 -1 1077944384 976 12991 0 0 2 2 5 2 20 0 15 0 443838977 11107315712 459137 33554432000 4194304 4196468 140737042598848 140221020215600 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
Current children cumulated CPU time: 120.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1836548 KiB

[startup+107.201 s]
/proc/loadavg: 1.33 1.61 1.72 3/226 13165
/proc/meminfo: memFree=28377956/32770624 swapFree=66922424/67108860
[pid=13091] ppid=13088 vsize=10846988 memory=1841916 CPUtime=122.33 cores=1,3,5,7
/proc/13091/stat : 13091 (java) S 13088 13091 12464 0 -1 1077944320 110384 12991 0 0 12126 100 5 2 20 0 15 0 443838962 11107315712 460479 33554432000 4194304 4196468 140737042598848 140737042581392 140221497810679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
/proc/13091/statm: 2711747 460479 3638 1 0 2673805 0
[pid=13091/tid=13144] ppid=13088 vsize=10846988 memory=46924 CPUtime=106.44 cores=1,3,5,7
/proc/13091/task/13144/stat : 13144 (java) R 13088 13091 12464 0 -1 4202560 35141 12991 0 0 10611 26 5 2 20 0 15 0 443838971 11107315712 460479 33554432000 4194304 4196468 140737042598848 140221469644088 140221118828981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13145] ppid=13088 vsize=10846988 memory=988 CPUtime=0.64 cores=1,3,5,7
/proc/13091/task/13145/stat : 13145 (java) S 13088 13091 12464 0 -1 1077944384 2986 12991 0 0 42 15 5 2 20 0 15 0 443838972 11107315712 460479 33554432000 4194304 4196468 140737042598848 140221502053136 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13146] ppid=13088 vsize=10846988 memory=1836548 CPUtime=0.64 cores=1,3,5,7
/proc/13091/task/13146/stat : 13146 (java) S 13088 13091 12464 0 -1 1077944384 480 12991 0 0 43 14 5 2 20 0 15 0 443838972 11107315712 460479 33554432000 4194304 4196468 140737042598848 140221423012752 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13147] ppid=13088 vsize=10846988 memory=914244 CPUtime=0.65 cores=1,3,5,7
/proc/13091/task/13147/stat : 13147 (java) S 13088 13091 12464 0 -1 1077944384 1226 12991 0 0 43 15 5 2 20 0 15 0 443838972 11107315712 460479 33554432000 4194304 4196468 140737042598848 140221069732880 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13148] ppid=13088 vsize=10846988 memory=1408 CPUtime=0.66 cores=1,3,5,7
/proc/13091/task/13148/stat : 13148 (java) S 13088 13091 12464 0 -1 1077944384 1328 12991 0 0 44 15 5 2 20 0 15 0 443838972 11107315712 460479 33554432000 4194304 4196468 140737042598848 140221068680336 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13149] ppid=13088 vsize=10846988 memory=6791534058613427641 CPUtime=0.14 cores=1,3,5,7
/proc/13091/task/13149/stat : 13149 (java) S 13088 13091 12464 0 -1 1077944384 3687 12991 0 0 7 0 5 2 20 0 15 0 443838973 11107315712 460479 33554432000 4194304 4196468 140737042598848 140221024425968 140221497821826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13150] ppid=13088 vsize=10846988 memory=2016 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13150/stat : 13150 (java) S 13088 13091 12464 0 -1 1077944384 16 12991 0 0 0 0 5 2 20 0 15 0 443838974 11107315712 460479 33554432000 4194304 4196468 140737042598848 140220951421984 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13151] ppid=13088 vsize=10846988 memory=1428 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13151/stat : 13151 (java) S 13088 13091 12464 0 -1 1077944384 14 12991 0 0 0 0 5 2 20 0 15 0 443838974 11107315712 460479 33554432000 4194304 4196468 140737042598848 140220347442176 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13152] ppid=13088 vsize=10846988 memory=10728 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13152/stat : 13152 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11107315712 460479 33554432000 4194304 4196468 140737042598848 140220040042704 140221497829275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13153] ppid=13088 vsize=10846988 memory=1552 CPUtime=5.86 cores=1,3,5,7
/proc/13091/task/13153/stat : 13153 (java) R 13088 13091 12464 0 -1 4202560 22279 12991 0 0 576 3 5 2 20 0 15 0 443838977 11107315712 460479 33554432000 4194304 4196468 140737042598848 140221023362480 140221480986284 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13154] ppid=13088 vsize=10846988 memory=4096 CPUtime=5.49 cores=1,3,5,7
/proc/13091/task/13154/stat : 13154 (java) R 13088 13091 12464 0 -1 4202560 19218 12991 0 0 539 3 5 2 20 0 15 0 443838977 11107315712 460479 33554432000 4194304 4196468 140737042598848 140221022307360 140221479332070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13155] ppid=13088 vsize=10846988 memory=6791534058613427641 CPUtime=2.21 cores=1,3,5,7
/proc/13091/task/13155/stat : 13155 (java) S 13088 13091 12464 0 -1 1077944384 20816 12991 0 0 211 3 5 2 20 0 15 0 443838977 11107315712 460479 33554432000 4194304 4196468 140737042598848 140221021268720 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13156] ppid=13088 vsize=10846988 memory=1836548 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13156/stat : 13156 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11107315712 460479 33554432000 4194304 4196468 140737042598848 140220006485088 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13157] ppid=13088 vsize=10846988 memory=14008 CPUtime=0.11 cores=1,3,5,7
/proc/13091/task/13157/stat : 13157 (java) S 13088 13091 12464 0 -1 1077944384 976 12991 0 0 2 2 5 2 20 0 15 0 443838977 11107315712 460479 33554432000 4194304 4196468 140737042598848 140221020215600 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
Current children cumulated CPU time: 122.33 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1841916 KiB

[startup+108.001 s]*
/proc/loadavg: 1.38 1.62 1.72 4/226 13165
/proc/meminfo: memFree=28378008/32770624 swapFree=66922424/67108860
[pid=13091] ppid=13088 vsize=10846988 memory=1841936 CPUtime=123.37 cores=1,3,5,7
/proc/13091/stat : 13091 (java) S 13088 13091 12464 0 -1 1077944320 110935 12991 0 0 12230 100 5 2 20 0 15 0 443838962 11107315712 460484 33554432000 4194304 4196468 140737042598848 140737042581392 140221497810679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
/proc/13091/statm: 2711747 460484 3638 1 0 2673805 0
[pid=13091/tid=13144] ppid=13088 vsize=10846988 memory=6791534058613427641 CPUtime=107.25 cores=1,3,5,7
/proc/13091/task/13144/stat : 13144 (java) R 13088 13091 12464 0 -1 4202560 35268 12991 0 0 10692 26 5 2 20 0 15 0 443838971 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221469643920 140221118830133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13145] ppid=13088 vsize=10846988 memory=4872558044660077418 CPUtime=0.64 cores=1,3,5,7
/proc/13091/task/13145/stat : 13145 (java) S 13088 13091 12464 0 -1 1077944384 2986 12991 0 0 42 15 5 2 20 0 15 0 443838972 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221502053136 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13146] ppid=13088 vsize=10846988 memory=14008 CPUtime=0.64 cores=1,3,5,7
/proc/13091/task/13146/stat : 13146 (java) S 13088 13091 12464 0 -1 1077944384 480 12991 0 0 43 14 5 2 20 0 15 0 443838972 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221423012752 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13147] ppid=13088 vsize=10846988 memory=24592 CPUtime=0.65 cores=1,3,5,7
/proc/13091/task/13147/stat : 13147 (java) S 13088 13091 12464 0 -1 1077944384 1226 12991 0 0 43 15 5 2 20 0 15 0 443838972 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221069732880 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13148] ppid=13088 vsize=10846988 memory=2116 CPUtime=0.66 cores=1,3,5,7
/proc/13091/task/13148/stat : 13148 (java) S 13088 13091 12464 0 -1 1077944384 1328 12991 0 0 44 15 5 2 20 0 15 0 443838972 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221068680336 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13149] ppid=13088 vsize=10846988 memory=12024 CPUtime=0.14 cores=1,3,5,7
/proc/13091/task/13149/stat : 13149 (java) S 13088 13091 12464 0 -1 1077944384 3687 12991 0 0 7 0 5 2 20 0 15 0 443838973 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221024425968 140221497821826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13150] ppid=13088 vsize=10846988 memory=1560 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13150/stat : 13150 (java) S 13088 13091 12464 0 -1 1077944384 16 12991 0 0 0 0 5 2 20 0 15 0 443838974 11107315712 460484 33554432000 4194304 4196468 140737042598848 140220951421984 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13151] ppid=13088 vsize=10846988 memory=500 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13151/stat : 13151 (java) S 13088 13091 12464 0 -1 1077944384 14 12991 0 0 0 0 5 2 20 0 15 0 443838974 11107315712 460484 33554432000 4194304 4196468 140737042598848 140220347442176 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13152] ppid=13088 vsize=10846988 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13152/stat : 13152 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11107315712 460484 33554432000 4194304 4196468 140737042598848 140220040042704 140221497829275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13153] ppid=13088 vsize=10846988 memory=1984 CPUtime=6.02 cores=1,3,5,7
/proc/13091/task/13153/stat : 13153 (java) S 13088 13091 12464 0 -1 1077944384 22493 12991 0 0 592 3 5 2 20 0 15 0 443838977 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221023373808 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13154] ppid=13088 vsize=10846988 memory=2364 CPUtime=5.55 cores=1,3,5,7
/proc/13091/task/13154/stat : 13154 (java) R 13088 13091 12464 0 -1 4202560 19308 12991 0 0 545 3 5 2 20 0 15 0 443838977 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221022321264 140221482918278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13155] ppid=13088 vsize=10846988 memory=1540 CPUtime=2.23 cores=1,3,5,7
/proc/13091/task/13155/stat : 13155 (java) S 13088 13091 12464 0 -1 1077944384 20936 12991 0 0 213 3 5 2 20 0 15 0 443838977 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221021268720 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13156] ppid=13088 vsize=10846988 memory=828 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13156/stat : 13156 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11107315712 460484 33554432000 4194304 4196468 140737042598848 140220006485088 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13157] ppid=13088 vsize=10846988 memory=1448 CPUtime=0.11 cores=1,3,5,7
/proc/13091/task/13157/stat : 13157 (java) S 13088 13091 12464 0 -1 1077944384 976 12991 0 0 2 2 5 2 20 0 15 0 443838977 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221020215600 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
Current children cumulated CPU time: 123.37 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1841936 KiB

[startup+108.401 s]
/proc/loadavg: 1.38 1.62 1.72 4/226 13165
/proc/meminfo: memFree=28378008/32770624 swapFree=66922424/67108860
[pid=13091] ppid=13088 vsize=10846988 memory=1841936 CPUtime=123.99 cores=1,3,5,7
/proc/13091/stat : 13091 (java) S 13088 13091 12464 0 -1 1077944320 111124 12991 0 0 12292 100 5 2 20 0 15 0 443838962 11107315712 460484 33554432000 4194304 4196468 140737042598848 140737042581392 140221497810679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
/proc/13091/statm: 2711747 460484 3638 1 0 2673805 0
[pid=13091/tid=13144] ppid=13088 vsize=10846988 memory=928 CPUtime=107.64 cores=1,3,5,7
/proc/13091/task/13144/stat : 13144 (java) R 13088 13091 12464 0 -1 4202560 35285 12991 0 0 10731 26 5 2 20 0 15 0 443838971 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221469643408 140221118365318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13145] ppid=13088 vsize=10846988 memory=1984 CPUtime=0.64 cores=1,3,5,7
/proc/13091/task/13145/stat : 13145 (java) S 13088 13091 12464 0 -1 1077944384 2986 12991 0 0 42 15 5 2 20 0 15 0 443838972 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221502053136 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13146] ppid=13088 vsize=10846988 memory=2364 CPUtime=0.64 cores=1,3,5,7
/proc/13091/task/13146/stat : 13146 (java) S 13088 13091 12464 0 -1 1077944384 480 12991 0 0 43 14 5 2 20 0 15 0 443838972 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221423012752 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13147] ppid=13088 vsize=10846988 memory=1540 CPUtime=0.65 cores=1,3,5,7
/proc/13091/task/13147/stat : 13147 (java) S 13088 13091 12464 0 -1 1077944384 1226 12991 0 0 43 15 5 2 20 0 15 0 443838972 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221069732880 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13148] ppid=13088 vsize=10846988 memory=828 CPUtime=0.66 cores=1,3,5,7
/proc/13091/task/13148/stat : 13148 (java) S 13088 13091 12464 0 -1 1077944384 1328 12991 0 0 44 15 5 2 20 0 15 0 443838972 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221068680336 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13149] ppid=13088 vsize=10846988 memory=1448 CPUtime=0.14 cores=1,3,5,7
/proc/13091/task/13149/stat : 13149 (java) S 13088 13091 12464 0 -1 1077944384 3687 12991 0 0 7 0 5 2 20 0 15 0 443838973 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221024425968 140221497821826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13150] ppid=13088 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13150/stat : 13150 (java) S 13088 13091 12464 0 -1 1077944384 16 12991 0 0 0 0 5 2 20 0 15 0 443838974 11107315712 460484 33554432000 4194304 4196468 140737042598848 140220951421984 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13151] ppid=13088 vsize=10846988 memory=1836548 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13151/stat : 13151 (java) S 13088 13091 12464 0 -1 1077944384 14 12991 0 0 0 0 5 2 20 0 15 0 443838974 11107315712 460484 33554432000 4194304 4196468 140737042598848 140220347442176 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13152] ppid=13088 vsize=10846988 memory=15542942005725582 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13152/stat : 13152 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11107315712 460484 33554432000 4194304 4196468 140737042598848 140220040042704 140221497829275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13153] ppid=13088 vsize=10846988 memory=10221 CPUtime=6.16 cores=1,3,5,7
/proc/13091/task/13153/stat : 13153 (java) R 13088 13091 12464 0 -1 4202560 22560 12991 0 0 606 3 5 2 20 0 15 0 443838977 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221023363728 140221482729562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13154] ppid=13088 vsize=10846988 memory=54 CPUtime=5.63 cores=1,3,5,7
/proc/13091/task/13154/stat : 13154 (java) R 13088 13091 12464 0 -1 4202560 19395 12991 0 0 553 3 5 2 20 0 15 0 443838977 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221022321264 140221482886777 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13155] ppid=13088 vsize=10846988 memory=54 CPUtime=2.24 cores=1,3,5,7
/proc/13091/task/13155/stat : 13155 (java) S 13088 13091 12464 0 -1 1077944384 20955 12991 0 0 214 3 5 2 20 0 15 0 443838977 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221021268720 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13156] ppid=13088 vsize=10846988 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/13091/task/13156/stat : 13156 (java) S 13088 13091 12464 0 -1 1077944384 3 12991 0 0 0 0 5 2 20 0 15 0 443838977 11107315712 460484 33554432000 4194304 4196468 140737042598848 140220006485088 140221497820885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
[pid=13091/tid=13157] ppid=13088 vsize=10846988 memory=56 CPUtime=0.11 cores=1,3,5,7
/proc/13091/task/13157/stat : 13157 (java) S 13088 13091 12464 0 -1 1077944384 976 12991 0 0 2 2 5 2 20 0 15 0 443838977 11107315712 460484 33554432000 4194304 4196468 140737042598848 140221020215600 140221497821826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140737042606831 140737042609349 140737042609349 140737042612175 0
Current children cumulated CPU time: 123.99 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1841936 KiB

[startup+108.501 s]*
/proc/loadavg: 1.38 1.62 1.72 3/213 13166
/proc/meminfo: memFree=29891980/32770624 swapFree=66922424/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): 108.511
CPU time (s): 124.199
CPU user time (s): 123.147
CPU system time (s): 1.05188
CPU usage (%): 114.457
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1841936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.147
system time used= 1.05188
maximum resident set size= 1861144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124304
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10807
involuntary context switches= 217


# summary of solver processes directly reported to runsolver:
#   pid: 13091
#   total CPU time (s): 124.199
#   total CPU user time (s): 123.147
#   total CPU system time (s): 1.05188

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.679091 second user time and 1.09462 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-17 01:16:55
IDJOB=4401229
IDBENCH=120628
IDSOLVER=2858
FILE ID=node139/4401229-1568675702
RUNJOBID= node139-1568673443-12496
PBS_JOBID= 21703780
Free space on /tmp= 59524 MiB

SOLVER NAME= Concrete 3.12.2
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 /tmp/evaluation-result-4401229-1568675702/watcher-4401229-1568675702 -o /tmp/evaluation-result-4401229-1568675702/solver-4401229-1568675702 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568673443-12496 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1397057242 HOME/instance-4401229-1568675702.xml

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

MD5SUM BENCH= 0df69417c613ef889e63c8df69e0b506
RANDOM SEED=1397057242

node139.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.57
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.57
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.57
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.57
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:        30256676 kB
MemAvailable:   30971796 kB
Buffers:          107832 kB
Cached:           898312 kB
SwapCached:        78144 kB
Active:          1495584 kB
Inactive:         450380 kB
Active(anon):     865184 kB
Inactive(anon):   117720 kB
Active(file):     630400 kB
Inactive(file):   332660 kB
Unevictable:      107820 kB
Mlocked:          107820 kB
SwapTotal:      67108860 kB
SwapFree:       66922424 kB
Dirty:             35760 kB
Writeback:             0 kB
AnonPages:        960600 kB
Mapped:            61452 kB
Shmem:             34336 kB
Slab:             164592 kB
SReclaimable:     135788 kB
SUnreclaim:        28804 kB
KernelStack:        4000 kB
PageTables:         7020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2147844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    778240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59488 MiB
End job on node139 at 2019-09-17 01:18:44