Trace number 4308391

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
OscaR - Hybrid 2018-08-14SAT (TO)3861 2520.11 2017.98

General information on the benchmark

NameGraphColoring/
GraphColoring-4-fullins-5_c18.xml
MD5SUM95ec92f657fea8ce6e93e6f35592ce49
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark2519.94
Satisfiable
(Un)Satisfiability was proved
Number of variables4146
Number of constraints77305
Number of domains1
Minimum domain size4146
Maximum domain size4146
Distribution of domain sizes[{"size":4146,"count":4146}]
Minimum variable degree9
Maximum variable degree696
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":18},{"degree":11,"count":14},{"degree":12,"count":56},{"degree":13,"count":22},{"degree":14,"count":94},{"degree":15,"count":28},{"degree":16,"count":112},{"degree":17,"count":54},{"degree":18,"count":216},{"degree":19,"count":62},{"degree":20,"count":248},{"degree":21,"count":24},{"degree":22,"count":96},{"degree":23,"count":78},{"degree":24,"count":312},{"degree":25,"count":10},{"degree":26,"count":40},{"degree":27,"count":40},{"degree":28,"count":166},{"degree":29,"count":40},{"degree":30,"count":160},{"degree":31,"count":166},{"degree":32,"count":664},{"degree":33,"count":30},"...",{"degree":36,"count":96}, {"degree":37,"count":6}, {"degree":38,"count":24}, {"degree":39,"count":24}, {"degree":40,"count":96}, {"degree":49,"count":6}, {"degree":50,"count":24}, {"degree":51,"count":6}, {"degree":52,"count":24}, {"degree":57,"count":6}, {"degree":58,"count":24}, {"degree":59,"count":24}, {"degree":60,"count":96}, {"degree":61,"count":24}, {"degree":62,"count":96}, {"degree":63,"count":96}, {"degree":64,"count":384}, {"degree":93,"count":6}, {"degree":94,"count":24}, {"degree":95,"count":24}, {"degree":96,"count":96}, {"degree":122,"count":6}, {"degree":239,"count":6}, {"degree":240,"count":24}, {"degree":696,"count":6}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":77305}]
Number of extensional constraints0
Number of intensional constraints77305
Distribution of constraint types[{"type":"intension","count":77305}]
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.68/0.54	c version: 2018-08-14
0.68/0.55	c seed: 2091381668
0.68/0.55	c timeout: 2520
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
63.81/31.39	c Parsing done, starting first complete search...
66.75/33.59	o 4145
69.92/35.98	o 4144
72.42/38.38	o 4143
75.05/40.80	o 4142
77.45/43.25	o 4141
79.98/45.78	o 4140
82.88/48.47	o 4139
85.39/50.90	o 4138
87.81/53.30	o 4137
90.24/55.77	o 4136
92.94/58.21	o 4135
95.27/60.60	o 4134
97.72/62.99	o 4133
100.27/65.41	o 4132
102.95/67.85	o 4131
105.35/70.25	o 4130
107.75/72.65	o 4129
110.16/75.10	o 4128
112.92/77.54	o 4127
115.43/80.04	o 4126
117.83/82.45	o 4125
120.23/84.83	o 4124
122.63/87.23	o 4123
125.33/89.69	o 4122
127.84/92.12	o 4121
130.24/94.59	o 4120
132.74/97.08	o 4119
135.75/99.72	o 4118
138.16/102.12	o 4117
140.59/104.53	o 4116
142.92/106.87	o 4115
145.32/109.26	o 4114
148.14/111.76	o 4113
150.55/114.15	o 4112
152.95/116.56	o 4111
155.46/119.04	o 4110
158.05/121.63	o 4109
160.90/124.17	o 4108
163.29/126.58	o 4107
165.70/128.92	o 4106
168.10/131.32	o 4105
170.40/133.67	o 4104
173.26/136.16	o 4103
175.75/138.63	o 4102
178.16/141.04	o 4101
180.55/143.47	o 4100
183.06/145.92	o 4099
185.46/148.30	o 4098
188.43/150.91	o 4097
190.73/153.27	o 4096
193.13/155.66	o 4095
195.54/158.04	o 4094
197.94/160.44	o 4093
200.95/163.06	o 4092
203.34/165.48	o 4091
205.75/167.87	o 4090
208.15/170.25	o 4089
210.45/172.60	o 4088
213.48/175.15	o 4087
215.87/177.51	o 4086
218.17/179.86	o 4085
220.57/182.23	o 4084
222.97/184.60	o 4083
225.95/187.16	o 4082
228.44/189.61	o 4081
230.85/192.09	o 4080
233.34/194.53	o 4079
235.64/196.83	o 4078
238.04/199.27	o 4077
241.13/201.80	o 4076
243.44/204.14	o 4075
245.73/206.45	o 4074
248.13/208.86	o 4073
250.63/211.32	o 4072
253.75/213.93	o 4071
256.06/216.28	o 4070
258.46/218.68	o 4069
260.98/221.11	o 4068
263.26/223.48	o 4067
266.37/226.03	o 4066
268.76/228.45	o 4065
271.16/230.86	o 4064
273.66/233.36	o 4063
276.08/235.76	o 4062
278.68/238.30	o 4061
281.62/240.83	o 4060
284.02/243.26	o 4059
286.42/245.64	o 4058
288.72/247.94	o 4057
291.13/250.32	o 4056
294.09/252.89	o 4055
296.49/255.29	o 4054
298.89/257.68	o 4053
301.30/260.04	o 4052
303.70/262.42	o 4051
306.20/264.91	o 4050
309.24/267.50	o 4049
311.64/269.95	o 4048
314.05/272.34	o 4047
316.45/274.75	o 4046
319.05/277.33	o 4045
326.52/283.07	c First complete search done, starting ALNS search...
331.55/286.84	o 4044
337.86/292.65	o 4043
367.56/319.94	o 4042
372.12/324.20	o 4041
375.14/327.27	o 4040
391.97/344.07	o 4039
395.40/347.45	o 4038
400.36/352.34	o 4037
431.81/373.05	o 4036
434.14/375.34	o 4035
435.99/377.05	o 4034
439.06/380.03	o 4033
441.26/382.25	o 4032
444.48/384.56	o 4031
451.30/391.35	o 4030
453.11/393.18	o 4029
456.81/396.24	o 4028
459.27/398.69	o 4027
463.68/403.05	o 4026
471.24/409.50	o 4025
474.42/412.64	o 4024
476.73/414.91	o 4023
480.97/418.69	o 4022
485.81/422.97	o 4021
488.21/425.30	o 4020
491.11/428.26	o 4019
493.52/430.67	o 4018
503.68/439.93	o 4017
510.69/446.80	o 4016
516.07/450.79	o 4015
546.82/479.15	o 4014
568.32/496.25	o 4013
571.55/499.47	o 4012
580.75/506.13	o 4011
586.50/510.10	o 4010
605.61/522.24	o 4009
624.33/532.30	o 4008
628.08/535.60	o 4007
631.38/538.95	o 4006
634.38/541.46	o 4005
636.78/543.81	o 4004
641.36/547.94	o 4003
655.45/561.21	o 4002
662.05/567.40	o 4001
673.69/578.62	o 4000
678.01/582.76	o 3999
680.57/585.17	o 3998
688.44/592.54	o 3997
695.55/599.39	o 3996
697.85/601.63	o 3995
708.70/612.07	o 3994
711.85/614.74	o 3993
715.55/618.48	o 3992
732.32/633.02	o 3991
737.45/637.78	o 3990
743.57/643.00	o 3989
746.07/645.47	o 3988
752.38/651.76	o 3987
757.91/655.94	o 3986
761.51/659.59	o 3985
768.52/665.41	o 3984
771.04/667.90	o 3983
783.16/678.44	o 3982
800.85/692.93	o 3981
812.95/703.32	o 3980
818.26/708.62	o 3979
820.67/711.04	o 3978
825.27/715.68	o 3977
830.26/718.77	o 3976
832.67/721.19	o 3975
835.26/723.71	o 3974
859.29/744.74	o 3973
869.42/751.69	o 3972
874.18/754.75	o 3971
876.49/757.10	o 3970
902.97/772.15	o 3969
914.28/783.26	o 3968
933.76/798.70	o 3967
943.11/807.96	o 3966
948.68/812.45	o 3965
965.25/825.29	o 3964
999.05/856.15	o 3963
1045.54/897.30	o 3962
1048.04/899.88	o 3961
1054.60/904.90	o 3960
1057.01/907.33	o 3959
1071.58/920.35	o 3958
1074.09/922.84	o 3957
1081.17/928.17	o 3956
1113.50/953.46	o 3955
1120.31/958.72	o 3954
1145.06/972.35	o 3953
1154.21/981.16	o 3952
1156.80/983.73	o 3951
1177.91/999.98	o 3950
1182.53/1004.44	o 3949
1185.03/1006.90	o 3948
1200.09/1020.44	o 3947
1206.70/1025.59	o 3946
1217.80/1036.66	o 3945
1225.95/1043.17	o 3944
1239.21/1053.20	o 3943
1245.21/1059.21	o 3942
1272.61/1076.63	o 3941
1277.82/1081.51	o 3940
1280.33/1084.03	o 3939
1285.98/1089.58	o 3938
1291.48/1094.55	o 3937
1294.10/1097.17	o 3936
1296.59/1099.68	o 3935
1299.40/1102.27	o 3934
1312.36/1115.11	o 3933
1333.51/1133.53	o 3932
1342.46/1140.69	o 3931
1345.06/1143.29	o 3930
1365.77/1160.59	o 3929
1378.20/1170.94	o 3928
1423.67/1199.10	o 3927
1446.22/1221.10	o 3926
1459.01/1232.09	o 3925
1485.03/1247.05	o 3924
1495.39/1256.79	o 3923
1524.42/1275.03	o 3922
1552.77/1301.57	o 3921
1562.53/1310.26	o 3920
1570.11/1316.70	o 3919
1583.97/1328.03	o 3918
1591.93/1334.29	o 3917
1622.27/1355.97	o 3916
1629.72/1361.82	o 3915
1667.10/1388.04	o 3914
1672.38/1391.72	o 3913
1679.88/1397.85	o 3912
1683.19/1401.12	o 3911
1704.94/1411.46	o 3910
1718.78/1424.27	o 3909
1721.48/1426.91	o 3908
1754.67/1450.06	o 3907
1759.47/1454.80	o 3906
1763.07/1458.47	o 3905
1789.57/1470.35	o 3904
1838.43/1492.93	o 3903
1841.64/1496.17	o 3902
1844.44/1498.93	o 3901
1847.14/1501.63	o 3900
1863.34/1510.19	o 3899
1866.13/1512.97	o 3898
1925.49/1536.82	o 3897
1934.71/1546.09	o 3896
1957.01/1559.77	o 3895
1970.65/1571.50	o 3894
1993.81/1589.41	o 3893
2027.42/1617.08	o 3892
2030.22/1619.80	o 3891
2048.21/1635.06	o 3890
2057.31/1642.58	o 3889
2087.94/1666.19	o 3888
2102.28/1678.83	o 3887
2109.28/1685.83	o 3886
2114.19/1690.79	o 3885
2124.75/1698.11	o 3884
2137.37/1709.35	o 3883
2162.17/1726.56	o 3882
2191.78/1748.98	o 3881
2200.19/1757.38	o 3880
2208.71/1764.35	o 3879
2234.70/1780.89	o 3878
2257.19/1802.27	o 3877
2265.02/1809.45	o 3876
2287.51/1830.16	o 3875
2291.31/1833.96	o 3874
2295.53/1837.62	o 3873
2321.67/1860.70	o 3872
2344.08/1878.69	o 3871
2346.98/1881.58	o 3870
2355.86/1889.59	o 3869
2385.75/1914.51	o 3868
2405.80/1930.42	o 3867
2416.50/1938.58	o 3866
2425.09/1946.06	o 3865
2443.93/1961.66	o 3864
2468.90/1982.25	o 3863
2506.93/2007.88	o 3862
2511.85/2011.25	o 3861
2520.02/2017.90	s SATISFIABLE
2520.02/2017.91	v <instantiation>
2520.02/2017.91	v 	<list>
2520.02/2017.91	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] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599] x[3600] x[3601] x[3602] x[3603] x[3604] x[3605] x[3606] x[3607] x[3608] x[3609] x[3610] x[3611] x[3612] x[3613] x[3614] x[3615] x[3616] x[3617] x[3618] x[3619] x[3620] x[3621] x[3622] x[3623] x[3624] x[3625] x[3626] x[3627] x[3628] x[3629] x[3630] x[3631] x[3632] x[3633] x[3634] x[3635] x[3636] x[3637] x[3638] x[3639] x[3640] x[3641] x[3642] x[3643] x[3644] x[3645] x[3646] x[3647] x[3648] x[3649] x[3650] x[3651] x[3652] x[3653] x[3654] x[3655] x[3656] x[3657] x[3658] x[3659] x[3660] x[3661] x[3662] x[3663] x[3664] x[3665] x[3666] x[3667] x[3668] x[3669] x[3670] x[3671] x[3672] x[3673] x[3674] x[3675] x[3676] x[3677] x[3678] x[3679] x[3680] x[3681] x[3682] x[3683] x[3684] x[3685] x[3686] x[3687] x[3688] x[3689] x[3690] x[3691] x[3692] x[3693] x[3694] x[3695] x[3696] x[3697] x[3698] x[3699] x[3700] x[3701] x[3702] x[3703] x[3704] x[3705] x[3706] x[3707] x[3708] x[3709] x[3710] x[3711] x[3712] x[3713] x[3714] x[3715] x[3716] x[3717] x[3718] x[3719] x[3720] x[3721] x[3722] x[3723] x[3724] x[3725] x[3726] x[3727] x[3728] x[3729] x[3730] x[3731] x[3732] x[3733] x[3734] x[3735] x[3736] x[3737] x[3738] x[3739] x[3740] x[3741] x[3742] x[3743] x[3744] x[3745] x[3746] x[3747] x[3748] x[3749] x[3750] x[3751] x[3752] x[3753] x[3754] x[3755] x[3756] x[3757] x[3758] x[3759] x[3760] x[3761] x[3762] x[3763] x[3764] x[3765] x[3766] x[3767] x[3768] x[3769] x[3770] x[3771] x[3772] x[3773] x[3774] x[3775] x[3776] x[3777] x[3778] x[3779] x[3780] x[3781] x[3782] x[3783] x[3784] x[3785] x[3786] x[3787] x[3788] x[3789] x[3790] x[3791] x[3792] x[3793] x[3794] x[3795] x[3796] x[3797] x[3798] x[3799] x[3800] x[3801] x[3802] x[3803] x[3804] x[3805] x[3806] x[3807] x[3808] x[3809] x[3810] x[3811] x[3812] x[3813] x[3814] x[3815] x[3816] x[3817] x[3818] x[3819] x[3820] x[3821] x[3822] x[3823] x[3824] x[3825] x[3826] x[3827] x[3828] x[3829] x[3830] x[3831] x[3832] x[3833] x[3834] x[3835] x[3836] x[3837] x[3838] x[3839] x[3840] x[3841] x[3842] x[3843] x[3844] x[3845] x[3846] x[3847] x[3848] x[3849] x[3850] x[3851] x[3852] x[3853] x[3854] x[3855] x[3856] x[3857] x[3858] x[3859] x[3860] x[3861] x[3862] x[3863] x[3864] x[3865] x[3866] x[3867] x[3868] x[3869] x[3870] x[3871] x[3872] x[3873] x[3874] x[3875] x[3876] x[3877] x[3878] x[3879] x[3880] x[3881] x[3882] x[3883] x[3884] x[3885] x[3886] x[3887] x[3888] x[3889] x[3890] x[3891] x[3892] x[3893] x[3894] x[3895] x[3896] x[3897] x[3898] x[3899] x[3900] x[3901] x[3902] x[3903] x[3904] x[3905] x[3906] x[3907] x[3908] x[3909] x[3910] x[3911] x[3912] x[3913] x[3914] x[3915] x[3916] x[3917] x[3918] x[3919] x[3920] x[3921] x[3922] x[3923] x[3924] x[3925] x[3926] x[3927] x[3928] x[3929] x[3930] x[3931] x[3932] x[3933] x[3934] x[3935] x[3936] x[3937] x[3938] x[3939] x[3940] x[3941] x[3942] x[3943] x[3944] x[3945] x[3946] x[3947] x[3948] x[3949] x[3950] x[3951] x[3952] x[3953] x[3954] x[3955] x[3956] x[3957] x[3958] x[3959] x[3960] x[3961] x[3962] x[3963] x[3964] x[3965] x[3966] x[3967] x[3968] x[3969] x[3970] x[3971] x[3972] x[3973] x[3974] x[3975] x[3976] x[3977] x[3978] x[3979] x[3980] x[3981] x[3982] x[3983] x[3984] x[3985] x[3986] x[3987] x[3988] x[3989] x[3990] x[3991] x[3992] x[3993] x[3994] x[3995] x[3996] x[3997] x[3998] x[3999] x[4000] x[4001] x[4002] x[4003] x[4004] x[4005] x[4006] x[4007] x[4008] x[4009] x[4010] x[4011] x[4012] x[4013] x[4014] x[4015] x[4016] x[4017] x[4018] x[4019] x[4020] x[4021] x[4022] x[4023] x[4024] x[4025] x[4026] x[4027] x[4028] x[4029] x[4030] x[4031] x[4032] x[4033] x[4034] x[4035] x[4036] x[4037] x[4038] x[4039] x[4040] x[4041] x[4042] x[4043] x[4044] x[4045] x[4046] x[4047] x[4048] x[4049] x[4050] x[4051] x[4052] x[4053] x[4054] x[4055] x[4056] x[4057] x[4058] x[4059] x[4060] x[4061] x[4062] x[4063] x[4064] x[4065] x[4066] x[4067] x[4068] x[4069] x[4070] x[4071] x[4072] x[4073] x[4074] x[4075] x[4076] x[4077] x[4078] x[4079] x[4080] x[4081] x[4082] x[4083] x[4084] x[4085] x[4086] x[4087] x[4088] x[4089] x[4090] x[4091] x[4092] x[4093] x[4094] x[4095] x[4096] x[4097] x[4098] x[4099] x[4100] x[4101] x[4102] x[4103] x[4104] x[4105] x[4106] x[4107] x[4108] x[4109] x[4110] x[4111] x[4112] x[4113] x[4114] x[4115] x[4116] x[4117] x[4118] x[4119] x[4120] x[4121] x[4122] x[4123] x[4124] x[4125] x[4126] x[4127] x[4128] x[4129] x[4130] x[4131] x[4132] x[4133] x[4134] x[4135] x[4136] x[4137] x[4138] x[4139] x[4140] x[4141] x[4142] x[4143] x[4144] x[4145]
2520.02/2017.91	v 	</list>
2520.02/2017.91	v 	<values>
2520.02/2017.91	v 		3858 3860 3858 3860 3857 3860 3857 3856 3857 3860 3857 3860 3852 3857 3853 3860 3854 3855 3858 3857 3858 3855 3857 3855 3857 3855 3857 3855 3857 3854 3852 3857 3853 3851 3854 3855 3860 3861 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3858 3861 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3856 3854 3860 3861 3857 3858 3856 3858 3856 3858 3856 3858 3858 3858 3858 3858 3858 3858 3856 3858 3858 3858 3858 3858 3855 3858 3855 3858 3855 3858 3858 3858 3858 3858 3858 3858 3851 3858 3858 3858 3858 3860 3856 3860 3856 3860 3856 3860 3860 3860 3860 3860 3860 3860 3856 3860 3860 3860 3860 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3858 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3856 3856 3856 3856 3856 3856 3856 3856 3856 3856 3856 3856 3856 3856 3856 3856 3856 3856 3858 3856 3855 3855 3855 3855 3860 3861 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3861 3860 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3860 3860 3861 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3860 3861 3860 3861 3861 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3860 3859 3860 3859 3860 3859 3860 3860 3860 3860 3860 3860 3860 3859 3860 3860 3860 3860 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3860 3861 3860 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3860 3861 3860 3861 3858 3861 3861 3861 3858 3858 3861 3861 3858 3858 3858 3858 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3858 3861 3858 3861 3861 3861 3858 3858 3861 3861 3858 3858 3858 3858 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3861 3861 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 3858 3857 3855 3861 3856 3860 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3859 3861 3859 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3859 3861 3859 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3859 3861 3859 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3859 3859 3859 3859 3861 3859 3859 3861 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3861 3861 3861 3859 3861 3861 3861 3861 3861 3861 3859 3861 3861 3861 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3859 3861 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3861 3859 3861 3859 3859 3859 3861 3859 3859 3861 3861 3859 3859 3859 3859 3861 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3861 3859 3859 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3861 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3861 3860 3860 3860 3860 3860 3860 3860 3860 3860 3861 3860 3861 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3858 3861 3858 3861 3858 3861 3861 3861 3858 3861 3861 3858 3861 3861 3858 3861 3861 3861 3861 3861 3861 3861 3858 3861 3861 3861 3858 3861 3861 3861 3861 3861 3858 3861 3858 3861 3858 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3858 3861 3858 3861 3858 3861 3861 3861 3858 3861 3861 3858 3861 3861 3858 3861 3861 3861 3861 3861 3861 3861 3858 3861 3861 3861 3858 3861 3861 3861 3861 3861 3858 3861 3858 3861 3858 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3861 3861 3861 3861 3861 3858 3861 3858 3861 3860 3859 3860 3859 3860 3859 3860 3860 3860 3860 3860 3860 3860 3859 3860 3860 3860 3860 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3859 3860 3859 3860 3859 3860 3860 3860 3860 3860 3860 3860 3859 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3859 3860 3859 3859 3859 3859 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3861 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3859 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3861 3859 3861 3860 3860 3860 3859 3860 3860 3860 3860 3859 3860 3859 3859 3859 3859 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3859 3859 3859 3860 3860 3860 3859 3860 3860 3860 3860 3859 3860 3859 3859 3859 3859 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3859 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3860 3859 3859 3860 3859 3859 3859 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3860 3861 3860 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3860 3861 3860 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3860 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3858 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3860 3861 3858 3861 3860 3861 3861 3861 3861 3861 3861 3861 3861 3860 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3858 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3860 3861 3858 3861 3860 3861 3861 3861 3861 3861 3861 3861 3861 3860 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3861 3858 3861 3861 3861 3861 3861 3861 3860 3861 3858 3861 3857 3860 3855 3859 3858 3856 
2520.02/2017.91	v 	</values>
2520.02/2017.91	v </instantiation>

Verifier Data 

OK	3861

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308391-1534280778/watcher-4308391-1534280778 -o /tmp/evaluation-result-4308391-1534280778/solver-4308391-1534280778 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2650 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 2091381668 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308391-1534280778.xml 

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

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

solver pid=4013, runsolver pid=4010

[startup+0.107633 s]*
/proc/loadavg: 2.86 2.59 1.92 3/215 4028
/proc/meminfo: memFree=12706512/32770624 swapFree=67108504/67108860
[pid=4013] ppid=4010 vsize=14082736 memory=33612 CPUtime=0.12 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4010 4013 875 0 -1 1077944320 7331 0 0 0 11 1 0 0 20 0 15 0 245640996 14420721664 8403 33554432000 4194304 4196468 140731111664160 140731111646704 140425373638391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
/proc/4013/statm: 3520684 8403 3137 1 0 3482761 0
[pid=4013/tid=4015] ppid=4010 vsize=14082736 memory=8389772277269004345 CPUtime=0.1 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4010 4013 875 0 -1 4202560 5397 0 0 0 9 1 0 0 20 0 15 0 245640997 14420721664 8403 33554432000 4194304 4196468 140731111664160 140425377865712 140425366316565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4016] ppid=4010 vsize=14082736 memory=288293255295270935 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4010 4013 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245640997 14420721664 8403 33554432000 4194304 4196468 140731111664160 140425303726608 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4017] ppid=4010 vsize=14082736 memory=139634786726488 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4010 4013 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245640997 14420721664 8403 33554432000 4194304 4196468 140731111664160 140425302674064 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4018] ppid=4010 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4010 4013 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245640997 14420721664 8403 33554432000 4194304 4196468 140731111664160 140425301621008 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4019] ppid=4010 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4010 4013 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245640997 14420721664 8403 33554432000 4194304 4196468 140731111664160 140425300568464 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4020] ppid=4010 vsize=14082736 memory=139634786698880 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4010 4013 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245640999 14420721664 8403 33554432000 4194304 4196468 140731111664160 140424284965616 140425373649538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4021] ppid=4010 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4010 4013 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245640999 14420721664 8403 33554432000 4194304 4196468 140731111664160 140424283911840 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4022] ppid=4010 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4010 4013 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245640999 14420721664 8403 33554432000 4194304 4196468 140731111664160 140424282858736 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4023] ppid=4010 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14420721664 8403 33554432000 4194304 4196468 140731111664160 140424281807312 140425373656987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4024] ppid=4010 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4010 4013 875 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 245641002 14420721664 8403 33554432000 4194304 4196468 140731111664160 140424280754416 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4025] ppid=4010 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) R 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14420721664 8403 33554432000 4194304 4196468 140731111664160 140424279701872 140425373649538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4026] ppid=4010 vsize=14082736 memory=139634786698880 CPUtime=0.01 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) R 4010 4013 875 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 15 0 245641002 14420721664 8403 33554432000 4194304 4196468 140731111664160 140424278648816 140425352608186 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4027] ppid=4010 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14420721664 8403 33554432000 4194304 4196468 140731111664160 140424277596512 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4028] ppid=4010 vsize=14082736 memory=139634786698880 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4010 4013 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245641002 14420721664 8403 33554432000 4194304 4196468 140731111664160 140424276544560 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33612 KiB

[startup+0.218768 s]*
/proc/loadavg: 2.86 2.59 1.92 4/215 4028
/proc/meminfo: memFree=12693860/32770624 swapFree=67108504/67108860
[pid=4013] ppid=4010 vsize=14082736 memory=47444 CPUtime=0.33 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4010 4013 875 0 -1 1077944320 10401 0 0 0 31 2 0 0 20 0 15 0 245640996 14420721664 11861 33554432000 4194304 4196468 140731111664160 140731111646704 140425373638391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
/proc/4013/statm: 3520684 11861 3412 1 0 3482761 0
[pid=4013/tid=4015] ppid=4010 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4010 4013 875 0 -1 4202560 8129 0 0 0 19 1 0 0 20 0 15 0 245640997 14420721664 11861 33554432000 4194304 4196468 140731111664160 140425377868368 140425357718878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4016] ppid=4010 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4010 4013 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245640997 14420721664 11861 33554432000 4194304 4196468 140731111664160 140425303726608 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4017] ppid=4010 vsize=14082736 memory=139634786724457 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4010 4013 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245640997 14420721664 11861 33554432000 4194304 4196468 140731111664160 140425302674064 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4018] ppid=4010 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4010 4013 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245640997 14420721664 11861 33554432000 4194304 4196468 140731111664160 140425301621008 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4019] ppid=4010 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4010 4013 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245640997 14420721664 11861 33554432000 4194304 4196468 140731111664160 140425300568464 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4020] ppid=4010 vsize=14082736 memory=139634786698880 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4010 4013 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245640999 14420721664 11861 33554432000 4194304 4196468 140731111664160 140424284965616 140425373649538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4021] ppid=4010 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4010 4013 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245640999 14420721664 11861 33554432000 4194304 4196468 140731111664160 140424283911840 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4022] ppid=4010 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4010 4013 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245640999 14420721664 11861 33554432000 4194304 4196468 140731111664160 140424282858736 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4023] ppid=4010 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14420721664 11861 33554432000 4194304 4196468 140731111664160 140424281807312 140425373656987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4024] ppid=4010 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4010 4013 875 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 15 0 245641002 14420721664 11861 33554432000 4194304 4196468 140731111664160 140424280754416 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4025] ppid=4010 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4010 4013 875 0 -1 1077944384 214 0 0 0 2 0 0 0 20 0 15 0 245641002 14420721664 11861 33554432000 4194304 4196468 140731111664160 140424279701872 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4026] ppid=4010 vsize=14082736 memory=139634786698880 CPUtime=0.07 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) R 4010 4013 875 0 -1 4202560 293 0 0 0 7 0 0 0 20 0 15 0 245641002 14420721664 11861 33554432000 4194304 4196468 140731111664160 140424278648816 140425352185602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4027] ppid=4010 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14420721664 11861 33554432000 4194304 4196468 140731111664160 140424277596512 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4028] ppid=4010 vsize=14082736 memory=139634786698880 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4010 4013 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245641002 14420721664 11861 33554432000 4194304 4196468 140731111664160 140424276544560 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47444 KiB

[startup+0.310516 s]*
/proc/loadavg: 2.86 2.59 1.92 3/215 4028
/proc/meminfo: memFree=12690324/32770624 swapFree=67108504/67108860
[pid=4013] ppid=4010 vsize=14082736 memory=50628 CPUtime=0.44 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4010 4013 875 0 -1 1077944320 10734 0 0 0 42 2 0 0 20 0 15 0 245640996 14420721664 12657 33554432000 4194304 4196468 140731111664160 140731111646704 140425373638391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
/proc/4013/statm: 3520684 12657 3414 1 0 3482761 0
[pid=4013/tid=4015] ppid=4010 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4010 4013 875 0 -1 4202560 8431 0 0 0 28 1 0 0 20 0 15 0 245640997 14420721664 12657 33554432000 4194304 4196468 140731111664160 140425377859488 140425358803944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4016] ppid=4010 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4010 4013 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245640997 14420721664 12657 33554432000 4194304 4196468 140731111664160 140425303726608 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4017] ppid=4010 vsize=14082736 memory=139634786722583 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4010 4013 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245640997 14420721664 12657 33554432000 4194304 4196468 140731111664160 140425302674064 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4018] ppid=4010 vsize=14082736 memory=9796 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4010 4013 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245640997 14420721664 12657 33554432000 4194304 4196468 140731111664160 140425301621008 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4019] ppid=4010 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4010 4013 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245640997 14420721664 12657 33554432000 4194304 4196468 140731111664160 140425300568464 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4020] ppid=4010 vsize=14082736 memory=139634786713216 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4010 4013 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245640999 14420721664 12657 33554432000 4194304 4196468 140731111664160 140424284965616 140425373649538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4021] ppid=4010 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4010 4013 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245640999 14420721664 12657 33554432000 4194304 4196468 140731111664160 140424283911840 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4022] ppid=4010 vsize=14082736 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4010 4013 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245640999 14420721664 12657 33554432000 4194304 4196468 140731111664160 140424282858736 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4023] ppid=4010 vsize=14082736 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14420721664 12657 33554432000 4194304 4196468 140731111664160 140424281807312 140425373656987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4024] ppid=4010 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4010 4013 875 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 245641002 14420721664 12657 33554432000 4194304 4196468 140731111664160 140424280754416 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4025] ppid=4010 vsize=14082736 memory=35 CPUtime=0.02 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4010 4013 875 0 -1 1077944384 214 0 0 0 2 0 0 0 20 0 15 0 245641002 14420721664 12657 33554432000 4194304 4196468 140731111664160 140424279701872 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4026] ppid=4010 vsize=14082736 memory=139634786705696 CPUtime=0.08 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) S 4010 4013 875 0 -1 1077944384 304 0 0 0 8 0 0 0 20 0 15 0 245641002 14420721664 12657 33554432000 4194304 4196468 140731111664160 140424278648816 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4027] ppid=4010 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14420721664 12657 33554432000 4194304 4196468 140731111664160 140424277596512 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4028] ppid=4010 vsize=14082736 memory=139634786698880 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4010 4013 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245641002 14420721664 12657 33554432000 4194304 4196468 140731111664160 140424276544560 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50628 KiB

[startup+0.700776 s]
/proc/loadavg: 2.86 2.59 1.92 3/215 4028
/proc/meminfo: memFree=12665876/32770624 swapFree=67108504/67108860
[pid=4013] ppid=4010 vsize=14084804 memory=88924 CPUtime=1 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4010 4013 875 0 -1 1077944320 17632 0 0 0 95 5 0 0 20 0 15 0 245640996 14422839296 22231 33554432000 4194304 4196468 140731111664160 140731111646704 140425373638391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
/proc/4013/statm: 3521201 22231 3498 1 0 3483273 0
[pid=4013/tid=4015] ppid=4010 vsize=14084804 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4010 4013 875 0 -1 4202560 14886 0 0 0 64 4 0 0 20 0 15 0 245640997 14422839296 22231 33554432000 4194304 4196468 140731111664160 140425377862496 140425357718878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4016] ppid=4010 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4010 4013 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245640997 14422839296 22231 33554432000 4194304 4196468 140731111664160 140425303726608 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4017] ppid=4010 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4010 4013 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245640997 14422839296 22231 33554432000 4194304 4196468 140731111664160 140425302674064 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4018] ppid=4010 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4010 4013 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245640997 14422839296 22231 33554432000 4194304 4196468 140731111664160 140425301621008 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4019] ppid=4010 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4010 4013 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245640997 14422839296 22231 33554432000 4194304 4196468 140731111664160 140425300568464 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4020] ppid=4010 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4010 4013 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245640999 14422839296 22231 33554432000 4194304 4196468 140731111664160 140424284965616 140425373649538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4021] ppid=4010 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4010 4013 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245640999 14422839296 22231 33554432000 4194304 4196468 140731111664160 140424283911840 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4022] ppid=4010 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4010 4013 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245640999 14422839296 22231 33554432000 4194304 4196468 140731111664160 140424282858736 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4023] ppid=4010 vsize=14084804 memory=279269377663600 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14422839296 22231 33554432000 4194304 4196468 140731111664160 140424281807312 140425373656987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4024] ppid=4010 vsize=14084804 memory=279269377663664 CPUtime=0.08 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4010 4013 875 0 -1 1077944384 559 0 0 0 8 0 0 0 20 0 15 0 245641002 14422839296 22231 33554432000 4194304 4196468 140731111664160 140424280754416 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4025] ppid=4010 vsize=14084804 memory=279269377663716 CPUtime=0.07 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4010 4013 875 0 -1 1077944384 380 0 0 0 7 0 0 0 20 0 15 0 245641002 14422839296 22231 33554432000 4194304 4196468 140731111664160 140424279701872 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4026] ppid=4010 vsize=14084804 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) S 4010 4013 875 0 -1 1077944384 424 0 0 0 16 0 0 0 20 0 15 0 245641002 14422839296 22231 33554432000 4194304 4196468 140731111664160 140424278648816 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4027] ppid=4010 vsize=14084804 memory=156900457066451 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14422839296 22231 33554432000 4194304 4196468 140731111664160 140424277596512 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4028] ppid=4010 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4010 4013 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245641002 14422839296 22231 33554432000 4194304 4196468 140731111664160 140424276544560 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88924 KiB

[startup+1.50168 s]
/proc/loadavg: 2.86 2.59 1.92 6/215 4028
/proc/meminfo: memFree=12591920/32770624 swapFree=67108504/67108860
[pid=4013] ppid=4010 vsize=14086852 memory=287324 CPUtime=3.4 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4010 4013 875 0 -1 1077944320 22680 0 0 0 323 17 0 0 20 0 15 0 245640996 14424936448 71831 33554432000 4194304 4196468 140731111664160 140731111646704 140425373638391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
/proc/4013/statm: 3521713 71831 3564 1 0 3483785 0
[pid=4013/tid=4015] ppid=4010 vsize=14086852 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4010 4013 875 0 -1 4202560 15500 0 0 0 135 5 0 0 20 0 15 0 245640997 14424936448 71831 33554432000 4194304 4196468 140731111664160 140425377874912 140424983225109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4016] ppid=4010 vsize=14086852 memory=170926128 CPUtime=0.05 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4010 4013 875 0 -1 1077944384 135 0 0 0 3 2 0 0 20 0 15 0 245640997 14424936448 71831 33554432000 4194304 4196468 140731111664160 140425303726608 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4017] ppid=4010 vsize=14086852 memory=6011581402601046114 CPUtime=0.05 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4010 4013 875 0 -1 1077944384 95 0 0 0 3 2 0 0 20 0 15 0 245640997 14424936448 71831 33554432000 4194304 4196468 140731111664160 140425302674064 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4018] ppid=4010 vsize=14086852 memory=7014751519734585681 CPUtime=0.06 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4010 4013 875 0 -1 1077944384 360 0 0 0 4 2 0 0 20 0 15 0 245640997 14424936448 71831 33554432000 4194304 4196468 140731111664160 140425301621008 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4019] ppid=4010 vsize=14086852 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4010 4013 875 0 -1 1077944384 185 0 0 0 4 2 0 0 20 0 15 0 245640997 14424936448 71831 33554432000 4194304 4196468 140731111664160 140425300568464 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4020] ppid=4010 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4010 4013 875 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 245640999 14424936448 71831 33554432000 4194304 4196468 140731111664160 140424284965616 140425373649538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0

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

/proc/4013/task/4015/stat : 4015 (java) R 4010 4013 875 0 -1 4202560 832962 0 0 0 173542 120 0 0 20 0 15 0 245640997 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140425377876176 140424988658800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4016] ppid=4010 vsize=14092996 memory=10946128 CPUtime=153.37 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4010 4013 875 0 -1 1077944384 276996 0 0 0 14968 369 0 0 20 0 15 0 245640997 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140425303726608 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4017] ppid=4010 vsize=14092996 memory=11025412 CPUtime=153.08 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4010 4013 875 0 -1 1077944384 285904 0 0 0 14908 400 0 0 20 0 15 0 245640997 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140425302674064 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4018] ppid=4010 vsize=14092996 memory=11243600 CPUtime=153.24 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4010 4013 875 0 -1 1077944384 304708 0 0 0 14952 372 0 0 20 0 15 0 245640997 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140425301621008 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4019] ppid=4010 vsize=14092996 memory=11243600 CPUtime=153.55 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4010 4013 875 0 -1 1077944384 273087 0 0 0 14981 374 0 0 20 0 15 0 245640997 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140425300568464 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4020] ppid=4010 vsize=14092996 memory=11243600 CPUtime=11.24 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4010 4013 875 0 -1 1077944384 97930 0 0 0 1111 13 0 0 20 0 15 0 245640999 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140424284965616 140425373649538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4021] ppid=4010 vsize=14092996 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4010 4013 875 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 245640999 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140424283911904 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4022] ppid=4010 vsize=14092996 memory=66724 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4010 4013 875 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 245640999 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140424282858752 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4023] ppid=4010 vsize=14092996 memory=11246212 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140424281807312 140425373656987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4024] ppid=4010 vsize=14092996 memory=11245844 CPUtime=4.19 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4010 4013 875 0 -1 1077944384 22363 0 0 0 416 3 0 0 20 0 15 0 245641002 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140424280754416 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4025] ppid=4010 vsize=14092996 memory=1116 CPUtime=4.51 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4010 4013 875 0 -1 1077944384 23633 0 0 0 447 4 0 0 20 0 15 0 245641002 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140424279701872 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4026] ppid=4010 vsize=14092996 memory=2144 CPUtime=1.42 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) S 4010 4013 875 0 -1 1077944384 42371 0 0 0 138 4 0 0 20 0 15 0 245641002 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140424278648816 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4027] ppid=4010 vsize=14092996 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140424277596512 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4028] ppid=4010 vsize=14092996 memory=66724 CPUtime=1.21 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4010 4013 875 0 -1 1077944384 1440 0 0 0 55 66 0 0 20 0 15 0 245641002 14431227904 2832055 33554432000 4194304 4196468 140731111664160 140424276544560 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
Current children cumulated CPU time: 2372.54 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 11328220 KiB

[startup+1962.3 s]
/proc/loadavg: 1.83 1.88 1.86 3/215 4084
/proc/meminfo: memFree=2449268/32770624 swapFree=67108504/67108860
[pid=4013] ppid=4010 vsize=14092996 memory=11674244 CPUtime=2444.63 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4010 4013 875 0 -1 1077944320 2201804 0 0 0 242708 1755 0 0 20 0 15 0 245640996 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140731111646704 140425373638391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
/proc/4013/statm: 3523249 2918561 3629 1 0 3485321 0
[pid=4013/tid=4015] ppid=4010 vsize=14092996 memory=11674244 CPUtime=1792.58 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4010 4013 875 0 -1 4202560 840709 0 0 0 179137 121 0 0 20 0 15 0 245640997 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140425377867536 140424989512631 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4016] ppid=4010 vsize=14092996 memory=11673580 CPUtime=157.4 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4010 4013 875 0 -1 1077944384 283448 0 0 0 15360 380 0 0 20 0 15 0 245640997 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140425303726608 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4017] ppid=4010 vsize=14092996 memory=11674000 CPUtime=157.1 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4010 4013 875 0 -1 1077944384 292658 0 0 0 15299 411 0 0 20 0 15 0 245640997 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140425302674064 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4018] ppid=4010 vsize=14092996 memory=11674032 CPUtime=157.24 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4010 4013 875 0 -1 1077944384 315020 0 0 0 15343 381 0 0 20 0 15 0 245640997 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140425301621008 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4019] ppid=4010 vsize=14092996 memory=11674032 CPUtime=157.58 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4010 4013 875 0 -1 1077944384 279517 0 0 0 15373 385 0 0 20 0 15 0 245640997 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140425300568464 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4020] ppid=4010 vsize=14092996 memory=7665779007394966886 CPUtime=11.25 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4010 4013 875 0 -1 1077944384 98316 0 0 0 1112 13 0 0 20 0 15 0 245640999 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140424284965616 140425373649538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4021] ppid=4010 vsize=14092996 memory=11674244 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4010 4013 875 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 245640999 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140424283911904 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4022] ppid=4010 vsize=14092996 memory=11674244 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4010 4013 875 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 245640999 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140424282858752 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4023] ppid=4010 vsize=14092996 memory=11674244 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140424281807312 140425373656987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4024] ppid=4010 vsize=14092996 memory=11674244 CPUtime=4.19 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4010 4013 875 0 -1 1077944384 22370 0 0 0 416 3 0 0 20 0 15 0 245641002 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140424280754416 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4025] ppid=4010 vsize=14092996 memory=11674244 CPUtime=4.51 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4010 4013 875 0 -1 1077944384 23639 0 0 0 447 4 0 0 20 0 15 0 245641002 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140424279701872 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4026] ppid=4010 vsize=14092996 memory=3816 CPUtime=1.42 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) S 4010 4013 875 0 -1 1077944384 43187 0 0 0 138 4 0 0 20 0 15 0 245641002 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140424278648816 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4027] ppid=4010 vsize=14092996 memory=66724 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140424277596512 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4028] ppid=4010 vsize=14092996 memory=11674244 CPUtime=1.25 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4010 4013 875 0 -1 1077944384 1469 0 0 0 57 68 0 0 20 0 15 0 245641002 14431227904 2918561 33554432000 4194304 4196468 140731111664160 140424276544560 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
Current children cumulated CPU time: 2444.63 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 11674244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2017.9 s]
/proc/loadavg: 1.71 1.84 1.85 3/215 4085
/proc/meminfo: memFree=2328436/32770624 swapFree=67108504/67108860
[pid=4013] ppid=4010 vsize=14092996 memory=11809608 CPUtime=2520.02 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4010 4013 875 0 -1 1077944320 2281780 0 0 0 250182 1820 0 0 20 0 15 0 245640996 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140731111646704 140425373638391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
/proc/4013/statm: 3523249 2952402 3629 1 0 3485321 0
[pid=4013/tid=4015] ppid=4010 vsize=14092996 memory=11809608 CPUtime=1840.64 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4010 4013 875 0 -1 4202560 849026 0 0 0 183942 122 0 0 20 0 15 0 245640997 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140425377876064 140424988659306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4016] ppid=4010 vsize=14092996 memory=8112282956445269571 CPUtime=164.02 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4010 4013 875 0 -1 1077944384 292444 0 0 0 16009 393 0 0 20 0 15 0 245640997 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140425303726608 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4017] ppid=4010 vsize=14092996 memory=11687420 CPUtime=163.72 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4010 4013 875 0 -1 1077944384 311330 0 0 0 15945 427 0 0 20 0 15 0 245640997 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140425302674064 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4018] ppid=4010 vsize=14092996 memory=11687420 CPUtime=163.84 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4010 4013 875 0 -1 1077944384 335543 0 0 0 15986 398 0 0 20 0 15 0 245640997 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140425301621008 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4019] ppid=4010 vsize=14092996 memory=11687420 CPUtime=164.15 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4010 4013 875 0 -1 1077944384 296868 0 0 0 16014 401 0 0 20 0 15 0 245640997 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140425300568464 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4020] ppid=4010 vsize=14092996 memory=11668776 CPUtime=12.13 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4010 4013 875 0 -1 1077944384 104341 0 0 0 1199 14 0 0 20 0 15 0 245640999 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424284965616 140425373649538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4021] ppid=4010 vsize=14092996 memory=11809608 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4010 4013 875 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 245640999 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424283911904 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4022] ppid=4010 vsize=14092996 memory=11809608 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4010 4013 875 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 245640999 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424282858752 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4023] ppid=4010 vsize=14092996 memory=11674416 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424281807312 140425373656987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4024] ppid=4010 vsize=14092996 memory=11668776 CPUtime=4.19 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4010 4013 875 0 -1 1077944384 22375 0 0 0 416 3 0 0 20 0 15 0 245641002 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424280754416 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4025] ppid=4010 vsize=14092996 memory=11687420 CPUtime=4.51 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4010 4013 875 0 -1 1077944384 23647 0 0 0 447 4 0 0 20 0 15 0 245641002 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424279701872 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4026] ppid=4010 vsize=14092996 memory=11687420 CPUtime=1.43 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) S 4010 4013 875 0 -1 1077944384 43240 0 0 0 138 5 0 0 20 0 15 0 245641002 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424278648816 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4027] ppid=4010 vsize=14092996 memory=492 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424277596512 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4028] ppid=4010 vsize=14092996 memory=1616 CPUtime=1.29 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4010 4013 875 0 -1 1077944384 1495 0 0 0 59 70 0 0 20 0 15 0 245641002 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424276544560 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 11809608 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2017.98 s]
# the end of solver process 4013 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2501.85 s, system=18.2615 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2017.9 s]
/proc/loadavg: 1.71 1.84 1.85 3/215 4085
/proc/meminfo: memFree=2328436/32770624 swapFree=67108504/67108860
[pid=4013] ppid=4010 vsize=14092996 memory=11809608 CPUtime=2520.02 cores=1,3,5,7
/proc/4013/stat : 4013 (java) S 4010 4013 875 0 -1 1077944320 2281780 0 0 0 250182 1820 0 0 20 0 15 0 245640996 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140731111646704 140425373638391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
/proc/4013/statm: 3523249 2952402 3629 1 0 3485321 0
[pid=4013/tid=4015] ppid=4010 vsize=14092996 memory=11809608 CPUtime=1840.64 cores=1,3,5,7
/proc/4013/task/4015/stat : 4015 (java) R 4010 4013 875 0 -1 4202560 849026 0 0 0 183942 122 0 0 20 0 15 0 245640997 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140425377876064 140424988659306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4016] ppid=4010 vsize=14092996 memory=8112282956445269571 CPUtime=164.02 cores=1,3,5,7
/proc/4013/task/4016/stat : 4016 (java) S 4010 4013 875 0 -1 1077944384 292444 0 0 0 16009 393 0 0 20 0 15 0 245640997 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140425303726608 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4017] ppid=4010 vsize=14092996 memory=11687420 CPUtime=163.72 cores=1,3,5,7
/proc/4013/task/4017/stat : 4017 (java) S 4010 4013 875 0 -1 1077944384 311330 0 0 0 15945 427 0 0 20 0 15 0 245640997 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140425302674064 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4018] ppid=4010 vsize=14092996 memory=11687420 CPUtime=163.84 cores=1,3,5,7
/proc/4013/task/4018/stat : 4018 (java) S 4010 4013 875 0 -1 1077944384 335543 0 0 0 15986 398 0 0 20 0 15 0 245640997 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140425301621008 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4019] ppid=4010 vsize=14092996 memory=11687420 CPUtime=164.15 cores=1,3,5,7
/proc/4013/task/4019/stat : 4019 (java) S 4010 4013 875 0 -1 1077944384 296868 0 0 0 16014 401 0 0 20 0 15 0 245640997 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140425300568464 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4020] ppid=4010 vsize=14092996 memory=11668776 CPUtime=12.13 cores=1,3,5,7
/proc/4013/task/4020/stat : 4020 (java) S 4010 4013 875 0 -1 1077944384 104341 0 0 0 1199 14 0 0 20 0 15 0 245640999 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424284965616 140425373649538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4021] ppid=4010 vsize=14092996 memory=11809608 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4021/stat : 4021 (java) S 4010 4013 875 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 245640999 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424283911904 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4022] ppid=4010 vsize=14092996 memory=11809608 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4022/stat : 4022 (java) S 4010 4013 875 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 245640999 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424282858752 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4023] ppid=4010 vsize=14092996 memory=11674416 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4023/stat : 4023 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424281807312 140425373656987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4024] ppid=4010 vsize=14092996 memory=11668776 CPUtime=4.19 cores=1,3,5,7
/proc/4013/task/4024/stat : 4024 (java) S 4010 4013 875 0 -1 1077944384 22375 0 0 0 416 3 0 0 20 0 15 0 245641002 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424280754416 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4025] ppid=4010 vsize=14092996 memory=11687420 CPUtime=4.51 cores=1,3,5,7
/proc/4013/task/4025/stat : 4025 (java) S 4010 4013 875 0 -1 1077944384 23647 0 0 0 447 4 0 0 20 0 15 0 245641002 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424279701872 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4026] ppid=4010 vsize=14092996 memory=11687420 CPUtime=1.43 cores=1,3,5,7
/proc/4013/task/4026/stat : 4026 (java) S 4010 4013 875 0 -1 1077944384 43240 0 0 0 138 5 0 0 20 0 15 0 245641002 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424278648816 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4027] ppid=4010 vsize=14092996 memory=492 CPUtime=0 cores=1,3,5,7
/proc/4013/task/4027/stat : 4027 (java) S 4010 4013 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245641002 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424277596512 140425373648597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
[pid=4013/tid=4028] ppid=4010 vsize=14092996 memory=1616 CPUtime=1.29 cores=1,3,5,7
/proc/4013/task/4028/stat : 4028 (java) S 4010 4013 875 0 -1 1077944384 1495 0 0 0 59 70 0 0 20 0 15 0 245641002 14431227904 2952402 33554432000 4194304 4196468 140731111664160 140424276544560 140425373649538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140731111666772 140731111666953 140731111666953 140731111669711 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 11809608 KiB

Child status: 143
Real time (s): 2017.98
CPU time (s): 2520.11
CPU user time (s): 2501.85
CPU system time (s): 18.2615
CPU usage (%): 124.883
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 11843372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2501.85
system time used= 18.2615
maximum resident set size= 11843372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2282274
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270934
involuntary context switches= 7403


# summary of solver processes directly reported to runsolver:
#   pid: 4013
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2501.85
#   total CPU system time (s): 18.2615

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1654 second user time and 19.2854 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-14 23:06:18
IDJOB=4308391
IDBENCH=141141
IDSOLVER=2792
FILE ID=node104/4308391-1534280778
RUNJOBID= node104-1534270607-2650
PBS_JOBID= 21038129
Free space on /tmp= 40048 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/GraphColoring/GraphColoring-4-fullins-5_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308391-1534280778/watcher-4308391-1534280778 -o /tmp/evaluation-result-4308391-1534280778/solver-4308391-1534280778 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2650 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 2091381668 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308391-1534280778.xml

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

MD5SUM BENCH= 95ec92f657fea8ce6e93e6f35592ce49
RANDOM SEED=2091381668

node104.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.11
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.11
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.11
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.11
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:        12728036 kB
MemAvailable:   28953040 kB
Buffers:          238784 kB
Cached:         16032848 kB
SwapCached:            8 kB
Active:         10729012 kB
Inactive:        8544528 kB
Active(anon):    2951636 kB
Inactive(anon):   102536 kB
Active(file):    7777376 kB
Inactive(file):  8441992 kB
Unevictable:        7304 kB
Mlocked:            7304 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:             38472 kB
Writeback:             0 kB
AnonPages:       3010628 kB
Mapped:            68196 kB
Shmem:             49636 kB
Slab:             462548 kB
SReclaimable:     434096 kB
SUnreclaim:        28452 kB
KernelStack:        3488 kB
PageTables:        11684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3841460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2854912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 40012 MiB
End job on node104 at 2018-08-14 23:39:56