Trace number 4290261

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 - Conflict Ordering with restarts 2018-07-02SAT (TO)3733 2400.13 2335.36

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.55	c version: 2018-07-02
0.68/0.55	c seed: 1326091668
0.68/0.55	c timeout: 2400
0.68/0.55	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
64.99/31.77	c Parsing done, starting search...
68.48/34.55	o 4145
77.77/43.48	o 4144
86.19/51.66	o 4142
94.37/59.73	o 4141
102.87/67.98	o 4139
102.87/68.00	o 4138
111.05/76.00	o 4136
119.33/84.08	o 4135
127.72/92.22	o 4133
135.74/100.23	o 4131
144.00/108.33	o 4129
152.27/116.45	o 4128
160.37/124.52	o 4127
168.70/132.60	o 4125
176.93/140.69	o 4124
185.06/148.76	o 4123
193.33/156.84	o 4122
201.62/164.93	o 4120
209.63/173.01	o 4118
217.93/181.10	o 4117
226.21/189.17	o 4116
234.32/197.26	o 4115
242.61/205.32	o 4114
250.90/213.48	o 4113
259.00/221.54	o 4112
267.35/229.66	o 4107
275.63/237.74	o 4106
283.73/245.82	o 4105
291.96/253.90	o 4104
300.31/262.01	o 4103
308.32/270.03	o 4102
316.55/278.13	o 4101
324.65/286.20	o 4100
332.80/294.29	o 4099
332.80/294.29	o 4094
341.14/302.40	o 4093
349.15/310.44	o 4091
357.45/318.51	o 4090
365.46/326.59	o 4087
373.73/334.66	o 4086
381.97/342.79	o 4085
390.07/350.82	o 4084
398.32/358.90	o 4082
406.32/366.98	o 4081
414.56/375.06	o 4080
422.79/383.19	o 4079
430.89/391.23	o 4077
439.12/399.32	o 4074
447.22/407.40	o 4073
455.35/415.47	o 4072
463.71/423.60	o 4070
471.72/431.62	o 4068
479.82/439.69	o 4067
487.93/447.77	o 4066
496.13/455.85	o 4064
504.23/463.93	o 4063
512.46/472.01	o 4060
520.65/480.12	o 4059
528.66/488.17	o 4058
536.85/496.24	o 4055
544.97/504.32	o 4054
553.16/512.40	o 4053
561.37/520.51	o 4052
569.38/528.56	o 4050
577.58/536.63	o 4048
585.69/544.71	o 4047
593.90/552.80	o 4046
601.90/560.88	o 4045
610.10/568.96	o 4044
618.33/577.08	o 4043
626.43/585.14	o 4042
634.62/593.25	o 4040
642.63/601.29	o 4038
650.84/609.35	o 4034
658.94/617.42	o 4033
667.14/625.50	o 4032
667.14/625.56	o 4031
675.15/633.58	o 4030
683.36/641.68	o 4029
691.56/649.79	o 4028
699.66/657.84	o 4027
707.87/665.93	o 4026
716.00/674.01	o 4024
724.10/682.09	o 4022
732.20/690.16	o 4021
740.40/698.23	o 4019
748.40/706.29	o 4018
756.61/714.40	o 4017
764.91/722.51	o 4016
772.91/730.57	o 4015
781.11/738.68	o 4014
789.22/746.74	o 4013
797.43/754.82	o 4012
805.53/762.90	o 4011
813.64/770.98	o 4010
821.75/779.06	o 4009
829.96/787.14	o 4008
838.07/795.22	o 4007
846.27/803.30	o 4004
854.39/811.39	o 4003
862.50/819.44	o 4002
870.70/827.57	o 4001
878.80/835.63	o 3999
886.92/843.69	o 3998
895.02/851.77	o 3997
903.23/859.84	o 3995
911.34/867.91	o 3992
919.55/876.01	o 3990
927.55/884.09	o 3987
935.76/892.14	o 3985
943.97/900.26	o 3983
951.97/908.30	o 3982
960.27/916.41	o 3981
968.28/924.46	o 3980
976.48/932.53	o 3979
984.60/940.61	o 3978
992.70/948.69	o 3977
1000.80/956.76	o 3976
1009.01/964.85	o 3974
1017.11/972.92	o 3973
1025.33/981.01	o 3972
1033.34/989.09	o 3971
1041.55/997.16	o 3968
1049.64/1005.23	o 3967
1057.84/1013.31	o 3965
1066.05/1021.42	o 3964
1074.06/1029.46	o 3963
1082.27/1037.58	o 3962
1090.37/1045.62	o 3961
1098.58/1053.75	o 3959
1106.59/1061.78	o 3958
1114.79/1069.87	o 3957
1122.89/1077.94	o 3956
1131.11/1086.02	o 3954
1139.12/1094.09	o 3953
1147.32/1102.19	o 3952
1155.61/1110.31	o 3951
1163.61/1118.35	o 3949
1171.82/1126.40	o 3948
1179.82/1134.48	o 3945
1188.03/1142.55	o 3943
1196.24/1150.63	o 3940
1204.35/1158.70	o 3939
1212.45/1166.78	o 3938
1220.66/1174.86	o 3937
1228.85/1182.98	o 3935
1236.96/1191.01	o 3934
1245.08/1199.10	o 3931
1253.29/1207.16	o 3929
1261.48/1215.24	o 3928
1269.68/1223.36	o 3927
1277.89/1231.47	o 3924
1285.99/1239.53	o 3922
1294.19/1247.61	o 3920
1302.30/1255.67	o 3918
1310.52/1263.75	o 3916
1318.72/1271.82	o 3915
1326.92/1279.90	o 3914
1335.03/1287.98	o 3913
1343.23/1296.06	o 3911
1354.22/1307.01	o 3910
1363.33/1315.94	o 3907
1371.54/1324.02	o 3906
1379.76/1332.11	o 3905
1390.78/1343.04	o 3902
1391.27/1343.55	o 3901
1399.80/1351.99	o 3899
1408.03/1360.06	o 3898
1419.06/1371.00	o 3897
1428.19/1379.95	o 3896
1439.32/1390.91	o 3895
1448.35/1399.83	o 3892
1456.58/1407.93	o 3889
1467.62/1418.85	o 3887
1476.65/1427.79	o 3886
1487.77/1438.73	o 3885
1488.37/1439.34	o 3884
1496.81/1447.67	o 3881
1505.02/1455.79	o 3880
1513.24/1463.87	o 3879
1524.27/1474.76	o 3877
1533.38/1483.73	o 3876
1541.60/1491.80	o 3875
1549.82/1499.91	o 3874
1558.04/1508.02	o 3872
1566.15/1516.09	o 3870
1574.37/1524.17	o 3869
1582.57/1532.24	o 3868
1590.80/1540.31	o 3867
1598.91/1548.39	o 3866
1607.13/1556.48	o 3864
1615.34/1564.55	o 3862
1623.56/1572.63	o 3861
1634.68/1583.56	o 3860
1643.80/1592.51	o 3858
1651.91/1600.58	o 3857
1660.13/1608.67	o 3856
1668.34/1616.74	o 3853
1679.45/1627.68	o 3852
1679.75/1627.98	o 3851
1688.55/1636.62	o 3850
1696.77/1644.70	o 3849
1707.89/1655.63	o 3847
1716.90/1664.58	o 3846
1725.11/1672.69	o 3845
1736.33/1683.63	o 3844
1736.43/1683.72	o 3841
1745.33/1692.58	o 3840
1756.56/1703.52	o 3839
1765.58/1712.46	o 3838
1776.80/1723.40	o 3836
1785.81/1732.35	o 3832
1794.01/1740.42	o 3831
1805.14/1751.36	o 3829
1814.24/1760.30	o 3828
1825.36/1771.23	o 3825
1826.27/1772.13	o 3822
1837.40/1783.05	o 3820
1846.41/1791.99	o 3819
1854.62/1800.10	o 3818
1865.85/1811.02	o 3817
1877.86/1822.82	o 3816
1878.66/1823.67	o 3815
1886.89/1831.77	o 3812
1895.10/1839.84	o 3811
1906.23/1850.79	o 3810
1907.13/1851.61	o 3808
1918.26/1862.57	o 3807
1927.39/1871.52	o 3806
1938.55/1882.47	o 3805
1939.05/1882.94	o 3804
1939.16/1883.01	o 3803
1947.66/1891.40	o 3801
1955.99/1899.51	o 3799
1967.02/1910.41	o 3798
1979.06/1922.21	o 3797
1991.09/1934.02	o 3796
1991.78/1934.76	o 3795
2000.09/1942.98	o 3794
2011.33/1953.91	o 3793
2011.44/1954.01	o 3792
2020.35/1962.86	o 3791
2031.48/1973.78	o 3790
2032.18/1974.43	o 3789
2043.51/1985.57	o 3787
2052.62/1994.51	o 3786
2063.75/2005.44	o 3785
2075.77/2017.25	o 3783
2087.80/2029.05	o 3782
2088.50/2029.71	o 3781
2099.81/2040.87	o 3778
2111.82/2052.65	o 3776
2123.84/2064.45	o 3775
2124.34/2064.99	o 3773
2133.10/2073.42	o 3772
2141.21/2081.47	o 3771
2152.45/2092.42	o 3770
2152.75/2092.76	o 3769
2164.48/2104.22	o 3768
2164.88/2104.67	o 3767
2176.52/2116.04	o 3765
2176.52/2116.06	o 3764
2188.53/2127.86	o 3763
2200.55/2139.62	o 3761
2212.56/2151.42	o 3760
2224.58/2163.23	o 3757
2224.98/2163.67	o 3756
2236.61/2175.03	o 3755
2237.10/2175.53	o 3754
2248.63/2186.82	o 3751
2260.66/2198.62	o 3748
2272.69/2210.43	o 3747
2284.81/2222.28	o 3746
2296.85/2234.08	o 3745
2297.44/2234.63	o 3744
2305.85/2242.98	o 3743
2317.08/2253.96	o 3741
2329.11/2265.74	o 3740
2341.12/2277.55	o 3739
2341.12/2277.58	o 3738
2353.15/2289.35	o 3737
2365.37/2301.20	o 3736
2374.30/2310.09	o 3735
2385.54/2321.03	o 3734
2397.56/2332.84	o 3733
2400.06/2335.30	s SATISFIABLE
2400.06/2335.31	v <instantiation>
2400.06/2335.31	v 	<list>
2400.06/2335.31	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] 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]
2400.06/2335.31	v 	</list>
2400.06/2335.31	v 	<values>
2400.06/2335.31	v 		2738 1647 1805 919 1811 2998 2056 484 209 2511 1491 1381 686 3602 3146 2023 1493 1076 529 3145 781 1657 3483 3709 529 1899 3088 2894 3693 2336 2289 455 2013 1849 1779 3386 2642 3304 2603 1362 503 201 2181 1033 1833 589 2335 2089 1720 1353 1609 3694 609 2159 463 1108 879 1642 1700 1153 2499 2899 563 1349 11 2004 2468 499 3455 2718 2416 2384 133 173 488 49 2765 1895 1700 2513 1793 2094 135 1007 2039 382 5 159 912 1145 2243 3082 3643 1375 12 3112 1610 2928 489 2948 976 2913 678 1547 2941 1704 555 422 1253 2225 1570 689 1724 466 665 2890 3644 1908 1895 2792 3502 2960 723 3132 2665 1657 686 2586 2929 779 3439 1337 2846 2856 1143 2966 2230 262 524 1793 3448 938 2054 1308 1241 1361 2905 3406 2304 74 1988 243 662 2926 1799 635 234 1990 3176 3676 1368 470 1909 854 2769 3245 2299 1318 2687 1388 8 1347 2427 1327 2022 2175 138 2036 131 2673 1817 40 3319 893 739 2238 2355 1661 903 309 1190 215 226 550 2812 3196 3620 2275 2578 3507 1402 1389 3385 144 1519 2060 1046 2328 2664 3566 2801 2609 1856 2143 2917 3317 2264 254 2368 1328 3482 1912 693 1661 1445 3347 523 774 3187 2797 2071 2591 109 978 3205 256 2057 3408 2911 1979 783 1128 1433 518 762 3250 971 1345 3635 3157 386 331 441 2415 2484 2225 147 3528 1453 386 1110 1707 2656 3199 2957 880 468 454 1328 3175 216 2582 2184 1093 2385 2235 1327 2420 364 2898 1230 150 2043 797 2460 3146 2698 1990 3441 504 118 677 70 3549 3568 1127 2729 2076 563 848 2537 735 2392 791 2154 419 3303 3688 943 384 2523 3232 390 388 1047 3543 2426 665 1589 2395 2788 2458 3482 2502 3317 892 1624 3147 1341 2322 28 1829 3654 823 1840 2737 877 3369 891 1481 1540 1620 3135 3594 522 2082 2990 1659 3266 742 52 2042 1179 609 113 3604 2862 1166 2042 2811 652 745 2504 335 3494 3590 1184 449 2450 823 15 3181 143 2355 717 127 3596 2588 1746 1077 2976 1246 3724 743 1802 2255 289 2803 852 2565 1767 1432 3305 2448 3671 258 332 1530 2044 1373 1076 2555 463 2874 507 1139 3134 1593 2887 1141 1471 2823 1854 1956 3088 3635 3601 3207 761 2495 595 3579 1361 1856 3148 1422 480 3575 2062 3036 995 1451 2251 59 3509 1328 704 2926 1813 3 2927 1027 2919 2095 1974 1239 1150 1786 1341 721 1037 996 2974 2290 1742 315 1913 776 247 3182 1000 2144 3600 3198 3081 3413 872 2961 890 2625 1904 1014 3620 333 3304 2474 3213 280 2412 3280 3487 3157 3372 589 1582 1436 2769 1696 2585 3384 159 1711 488 2763 3426 231 2885 552 1541 2107 1925 2358 3684 869 371 639 1536 3363 1048 2333 7 374 2166 3243 2010 104 3625 2836 889 1479 1213 2139 1320 2260 1102 1189 2087 981 2729 2256 266 3184 2538 1468 1121 237 1061 2297 3143 2631 1015 1886 2778 604 2444 1549 2730 1339 3447 812 3633 1667 619 2047 3012 2865 2499 2005 330 1231 33 1536 3649 2634 2422 236 1960 172 1643 2134 2968 1396 3143 2870 2361 2520 2531 32 3333 1521 2530 2276 1684 2134 2652 116 209 2829 2436 2388 3007 1645 573 1430 1751 1812 1461 3116 1859 1302 1263 749 2391 2903 2396 690 402 56 530 508 3134 3352 164 2492 2414 1381 2489 1240 3118 753 3199 2324 2263 3530 2200 3363 2339 844 3094 1398 3365 2644 1514 2803 1353 1073 516 886 2322 3486 705 1496 3332 2456 379 2164 2971 597 1130 2385 99 639 2833 2425 3226 3115 3290 1713 1924 766 555 3330 3450 1312 1172 1297 1942 1482 2556 2691 3390 341 2213 3373 711 3324 2580 3605 2352 1030 3081 3008 1733 3677 100 518 3449 2246 2000 2963 296 2855 394 3103 2380 92 2243 726 983 1606 2386 2676 2963 2678 939 2102 3395 1738 3180 600 3161 517 1835 3005 1161 1679 1812 2538 2649 262 960 1374 1373 314 726 1033 1465 81 1289 1701 2522 1569 1529 1687 3082 3081 151 2595 2772 1720 1147 3122 2748 675 219 3266 493 1767 596 1065 3507 1960 2572 2198 1574 3273 2872 3217 797 3058 3267 2342 1220 3497 2411 1690 2511 3364 2737 884 2339 67 2362 2516 3077 2289 1579 2098 3644 2511 3156 1662 1115 2431 3181 3604 719 2014 3635 2359 1762 3048 3486 1018 3568 1399 2644 3549 2423 3576 2484 1574 3441 2509 2281 3255 163 1425 1893 3530 2491 1077 335 2697 3101 2014 804 377 2966 2215 428 3036 378 1145 1468 1310 1427 1518 560 233 2553 2652 1212 3044 2750 1940 3713 1591 2258 1344 1402 1625 946 855 2827 3658 2889 2043 1597 1934 1396 2335 371 51 2327 1861 744 1374 2095 2867 1800 3336 2683 2398 1708 2770 3024 3509 3600 359 943 2799 2263 337 1005 542 649 2530 3620 2466 2655 1498 3665 2343 1294 1013 942 2964 399 2284 2186 524 1485 521 159 3580 1916 255 3199 2275 1432 742 3637 1139 2165 2828 793 206 369 2912 1868 1030 1546 148 2077 557 570 3172 728 3440 2680 482 1778 952 1585 3562 1596 1538 1026 3601 1089 3124 692 639 169 2239 657 1509 2345 3684 2176 1240 3026 1445 1626 231 3580 3137 352 2439 320 2392 1236 2462 2874 862 2453 186 222 3055 212 1755 101 1288 2420 716 1009 1317 560 2683 2200 3113 1184 1398 1071 254 1458 3457 383 60 1590 1743 1632 3281 3279 737 1867 2106 2462 159 1836 611 567 1716 985 2841 717 1272 3345 2834 700 1359 1537 986 2700 42 2821 866 3238 595 217 816 2661 1639 2741 1662 1794 849 326 2839 11 3447 1418 1643 2828 853 826 1727 2364 3475 1578 3075 604 1484 1960 1311 1798 3651 1618 3056 10 413 1255 1615 128 385 3541 174 2478 225 145 3643 785 3045 3492 486 2820 2943 3032 2069 259 3339 1360 1591 2467 3051 2153 2492 2331 2635 2735 1221 1571 2101 1463 1331 975 498 2417 694 409 2338 762 2554 523 1074 2815 1801 3573 984 3020 997 2498 3291 3172 1395 2083 3483 1540 2801 3240 1742 195 2224 845 2958 1489 2291 3435 173 2482 2345 1934 134 13 884 1846 2612 2447 1911 2423 572 443 2030 1220 3193 1997 2019 3351 1824 3675 576 2725 305 2128 1425 2951 1305 1639 214 2423 2399 442 2310 364 1358 2681 226 2733 3179 1411 3073 460 609 1559 1898 3286 2291 944 1274 1600 2713 634 3243 96 3245 1944 2539 2590 1128 2622 2993 2845 1028 3490 2139 2722 2294 1339 1189 1281 3733 197 1037 799 1533 1845 2622 1862 2112 636 748 1161 196 128 862 2348 1033 1741 1297 3128 138 3589 2866 3596 500 355 742 3503 1365 2798 1051 3152 1780 2754 877 3335 3287 2383 508 3647 846 3270 578 2476 2112 524 796 397 1318 866 3165 689 1829 388 938 3077 2816 3127 790 2992 71 1042 2391 180 929 3153 1652 3373 1476 1064 2015 1528 1279 2228 1155 1151 3632 436 1920 1659 3107 1030 2521 990 2035 926 3071 2070 650 2233 2627 1791 2996 2362 3650 3616 509 1957 1766 746 14 451 3391 477 505 779 204 951 2496 434 3603 379 337 1608 427 2576 3686 438 903 1866 3143 1631 2550 125 1709 1981 3 648 3626 2365 719 1484 1229 3418 576 2388 1019 830 500 1115 2944 687 8 1437 2462 3182 2505 1951 3318 3607 416 1367 975 1789 1653 3370 1451 848 2705 250 3054 2820 389 2414 3405 432 3566 2636 3409 539 1278 2868 311 1692 303 1639 3581 2875 2398 1546 1299 2084 3182 3138 94 1860 1647 2617 489 1069 184 1495 2510 1012 1613 1535 1812 3056 2987 531 1926 167 2599 777 2954 340 1775 1954 1866 3425 3059 3360 1599 1892 1989 2207 961 864 2948 2927 2555 410 1610 733 1810 1452 2428 721 2050 2864 1493 151 854 784 2771 2400 3149 542 2331 1762 2749 1350 1971 570 1998 3198 3061 3590 2510 762 713 622 3055 2649 3057 2288 460 2089 3307 1031 3338 3566 2634 949 977 83 1945 1076 3421 443 1556 2665 3583 384 411 1896 3186 2060 1180 2746 1600 249 2317 331 1226 2179 3477 2744 176 3721 709 3552 3250 562 3472 2145 1550 872 1853 424 3158 3494 3248 2282 1136 255 1303 31 1426 3336 1374 3451 771 3439 1355 2569 1540 3661 2663 742 3598 3687 195 566 3233 3135 1597 289 1388 901 3332 1334 1297 3481 2661 644 1035 2442 3692 3018 3438 1876 2959 483 1101 3580 2112 2039 1511 1706 1377 2232 1394 1809 2745 2788 3034 403 2101 197 2661 2353 2305 3043 1431 2254 2048 424 2935 3315 3112 989 2291 2243 1125 1233 2397 1555 1680 965 161 2342 3612 3010 2654 3490 3155 1167 278 83 3557 1365 256 2710 3529 3624 2924 3486 2905 1111 3342 2373 3730 3385 718 847 2857 2721 2744 572 339 2604 1288 562 2559 269 524 3087 1210 3177 2215 490 133 788 143 818 716 953 3079 976 1304 287 1780 1659 2006 3657 1567 180 3511 1839 1646 2911 1177 1297 72 3191 3172 523 3020 1005 2991 1397 1341 223 3422 1745 2592 1277 161 3702 2962 1123 746 1013 2643 1022 3265 3115 2976 1904 3368 221 1013 80 3304 2488 404 3722 3337 722 964 3683 931 52 2237 388 514 566 2583 3085 7 550 1499 2616 1299 3348 3458 1528 3416 2202 2118 3578 3650 174 1258 211 2563 1210 775 1630 916 1946 1792 371 1483 2052 2137 1958 1148 497 1952 2480 2822 495 1166 3436 861 2669 3359 1336 496 817 3460 2967 694 2316 1063 1533 375 1826 3656 1260 1966 2360 1709 3148 3087 496 2966 1770 1448 866 1009 1880 1022 176 1137 2836 1446 3084 1334 1192 433 1852 1530 1633 2100 2623 2655 364 1594 1132 2849 1991 2876 791 1419 3490 2158 1923 563 509 991 3187 2138 610 1099 1527 3348 3315 1678 833 259 567 1371 2290 3653 3054 1678 580 1689 1699 3591 2953 881 969 1665 7 2412 379 248 477 1826 3360 3550 2864 2711 380 845 2606 117 1008 1983 2301 2254 259 463 1599 1220 462 2436 1837 3224 2743 938 3242 3200 2043 651 14 1631 2314 3442 2321 3667 442 2905 3576 2391 1335 57 2048 226 2416 2782 300 1842 705 2606 1419 3135 292 3591 3596 1215 1039 230 2873 1371 46 991 3088 3607 1327 662 928 2231 3222 2858 1050 270 2900 74 2638 430 3607 1073 2314 821 3259 2636 283 854 427 942 262 437 3380 1285 33 3139 2214 112 3569 1070 931 2857 1900 2637 298 457 468 360 165 3673 3114 2028 2492 3254 64 470 1627 1519 2249 1616 2055 1089 3145 1011 910 792 3495 234 1827 3423 1782 2964 31 3717 536 1702 3233 1558 988 151 3457 2737 2801 3040 2875 632 3474 3112 37 518 248 1558 2952 1826 2441 3272 1906 3176 248 1900 3577 3108 2761 3011 3726 110 243 2952 3456 1065 2591 825 2220 1464 3338 2960 3125 804 1254 904 777 1072 818 278 722 1968 1655 329 673 3392 1656 1877 2300 2125 362 1206 2331 1885 2946 1517 225 3444 3562 14 2270 1582 1311 2860 347 2373 2459 2547 2124 3040 928 889 3094 3098 1815 2628 1586 2844 3669 1157 1419 75 1138 2152 1706 1582 758 2274 1987 2254 3553 2916 461 260 241 357 3359 623 519 3247 1965 1072 2145 2116 1971 3046 873 2780 1161 1794 2636 1153 1859 2838 1353 454 1059 3494 323 1718 598 348 3151 3681 520 1908 3039 266 115 667 3186 296 3218 117 1995 3043 2381 3514 350 3249 529 249 881 3621 478 693 1023 2309 3010 2114 1293 1570 2618 480 615 2853 1049 1202 2656 2731 3254 813 3042 2064 3546 1515 1133 660 3672 3074 2812 3505 375 3182 3621 1675 2288 241 1579 2291 1092 723 1109 418 2225 1303 1543 2270 1249 2125 3332 1408 1843 2667 3720 1960 3731 3719 1000 814 2627 1229 1531 43 950 2313 983 1550 3570 2652 2243 3034 2772 3551 1750 1274 1113 2130 2216 3590 1197 835 2594 2473 1159 3124 2908 465 2138 595 1248 335 1782 2199 911 2758 1676 1456 1476 937 901 3423 2167 2234 3014 126 2079 3578 2477 3367 1999 3006 2778 1989 485 566 1938 1782 3214 2293 2551 1240 3480 688 1208 45 1954 3160 883 3578 277 1240 658 3551 516 555 913 2772 2039 859 875 3299 2987 1552 1367 1854 3045 3423 1019 1558 3119 2064 1711 1257 2373 2654 2266 2890 3470 3429 1291 1208 447 1360 80 1506 2990 2810 2714 3648 1959 2842 2030 1354 2696 3322 2420 1035 1373 2547 2330 301 1481 1683 2267 3565 3033 2351 1594 2516 681 1414 1265 1711 1505 3393 2608 1944 3697 3349 3449 3591 2577 42 3231 836 1026 1357 2346 2081 286 30 2553 448 1397 3424 2809 2220 1617 3324 2155 284 2218 2601 48 525 1989 409 1630 1369 108 2337 2016 793 2698 207 231 1051 2265 1196 287 2083 3712 2000 514 2456 2323 2373 1615 2358 2299 602 1580 2951 2326 446 863 1743 1941 2171 1637 3427 213 2938 599 2309 1488 2545 7 2719 581 1979 111 998 3690 1463 254 606 1737 1808 785 28 2074 791 2440 2371 1594 2444 3514 977 3128 1116 2200 2098 1726 2221 922 2183 1794 1712 43 3536 3459 122 574 1609 1859 412 855 2873 1087 512 3508 3352 3442 255 1856 3726 4 2885 581 1241 157 3389 3357 848 3 562 1830 1663 346 1900 2606 1004 2145 1125 1808 2898 1017 3309 856 3277 676 364 163 147 611 2853 1083 2206 2476 440 1988 2226 1268 636 1096 1644 826 1009 2759 2800 3174 51 2833 479 364 195 2654 201 1177 1142 883 1055 272 1223 3427 794 836 2096 3078 2727 98 2002 342 934 2723 530 3312 1659 2375 1912 1701 774 1784 3000 3051 2223 1685 2303 2472 2364 2192 1846 3213 1005 665 1443 604 3503 2875 277 1525 2169 2358 853 2533 879 3035 2285 2353 867 1994 2532 986 1267 3298 2698 663 3482 192 439 568 2160 131 1086 3306 1053 3264 1897 2002 2764 813 3340 233 3444 2211 1049 2497 1032 2086 933 1130 2852 3592 2920 3407 2550 3330 1933 3025 1768 2399 2041 1404 3646 634 1784 494 2858 2162 2612 1967 2395 2205 1518 2223 1646 3669 2148 451 1454 1605 1248 2232 927 2328 1252 342 2047 2230 3163 2342 17 586 2767 799 1656 358 2902 3475 2342 3298 2387 1369 2719 289 63 1764 3387 1122 48 3727 126 3380 110 1667 2556 1443 2018 2545 2644 1306 2884 1618 2029 568 1322 2827 2021 1026 2993 1521 3268 1151 3069 1203 1768 124 3202 3402 2789 1425 2074 1256 2979 1132 2449 572 14 909 3215 444 2630 1625 77 675 2560 903 1757 1047 2089 1222 560 2904 50 3025 2865 2764 169 1299 139 2844 476 500 3674 1770 2794 3210 2070 1590 1433 476 2686 1029 68 2324 3131 1939 1669 3159 867 2662 927 3069 895 335 329 202 2558 843 495 1611 1907 3489 3541 476 3268 407 1128 462 1585 2886 3712 2660 399 391 1740 3528 1732 1916 160 1117 1540 2425 299 1294 2385 1239 1713 2132 2846 994 621 652 22 3070 824 187 3412 1839 224 1483 2449 1320 2394 1247 2174 2355 691 2316 3241 161 1900 1815 2238 2203 3341 409 566 3320 748 384 465 1346 2326 376 1579 2030 2469 2507 797 2747 3263 3596 2015 10 1580 2664 898 2629 2652 1404 2477 2242 2890 2509 2832 1898 980 279 3357 729 1722 2661 2523 3235 172 186 1510 465 1502 3681 896 1439 3057 709 441 1350 1448 1524 1005 464 115 2484 2739 3276 444 43 2532 342 3519 831 2595 499 1186 604 2546 3023 3555 343 472 2305 146 2029 280 1962 2485 1735 512 2149 2968 2749 3721 3396 91 1362 3445 1610 3403 1510 2160 268 3095 849 1397 293 2343 3473 2051 718 1692 3298 3677 2462 926 1743 3583 104 375 2504 2830 3244 3546 1846 2692 198 2797 702 616 660 2853 2842 2943 2201 3242 3050 108 721 2811 2091 3327 1836 1460 3132 3085 1712 3631 3592 441 1544 998 2108 282 942 2928 1399 1126 3456 2441 536 3363 2709 1217 3421 690 1422 1823 809 2246 2233 1051 3154 3189 3233 366 3661 2726 1150 77 1730 262 2150 455 358 2312 286 2015 1 1912 2846 3608 3640 3050 2706 2774 882 3445 798 3283 2502 3241 2309 2409 3250 1113 2152 2815 1472 1244 1214 2669 2781 2900 2640 2235 1543 3416 1579 2409 618 354 3703 1105 1162 2841 2847 2095 1045 3068 588 2223 3679 2510 3494 1155 3100 165 1238 1088 3166 92 3681 342 26 2565 3652 2122 2103 2685 3698 645 2893 3589 1273 1997 1442 1374 3217 393 2621 1763 1558 1779 1730 2370 740 591 3563 3110 3549 1385 1063 141 2833 740 3349 1914 2032 1389 3627 3495 3016 113 2354 3354 520 274 1775 402 3314 3316 1080 317 1331 2050 2406 1691 3111 2879 346 2263 895 12 1704 3626 1557 2825 988 2316 498 2523 2946 913 3251 1490 2062 2250 2858 1453 2234 1480 3050 3194 1924 1743 2891 3022 3433 372 3344 1670 831 2099 3224 3676 2124 2777 3548 499 2256 3120 299 2920 1311 677 2185 528 2513 103 2815 3329 2375 2414 812 2244 154 2758 911 743 548 1889 1164 2996 2701 1651 1807 3112 329 3327 2527 1736 1398 1151 1088 769 2931 1610 3578 603 1861 799 3204 359 1037 2353 3295 618 1142 566 1444 1510 2614 2396 661 3087 3235 2979 1099 3410 3234 2489 809 2450 3524 1944 2208 357 3335 2557 1174 1719 2591 0 1748 1093 2993 1944 508 1763 3397 2778 1093 1548 1876 2474 1918 1748 3442 1698 3278 1358 2625 2279 3348 3248 153 1454 3532 3320 2827 998 2298 2740 1854 3072 2668 514 1359 275 3708 3355 2485 629 3386 3069 2569 413 2796 1452 3425 983 909 1708 3473 2180 3724 197 1533 938 2704 3294 2802 1919 837 3505 1283 3092 630 2288 1332 1713 2606 1330 622 728 381 820 1411 2588 131 1161 2246 1444 1444 2810 28 710 772 2144 3104 1417 498 1198 2435 2633 1279 3113 2199 173 1590 318 277 3714 3199 3215 1778 3525 3167 3485 121 2889 2483 2208 351 2545 142 2839 3147 2014 166 2910 1912 2690 2929 1523 52 1566 2048 1886 3667 2134 361 1694 3126 813 3315 2259 2762 481 1895 2897 1050 3708 2428 39 1321 2796 1649 2989 960 832 544 864 1932 3316 2239 1063 471 1174 504 2199 2365 3685 2480 3406 1274 2486 1682 3394 239 2474 454 3057 329 815 3658 3702 2495 1603 3170 2671 1804 3367 1639 424 3250 3733 3091 916 329 97 2209 1241 3395 515 2051 395 2462 3436 2703 2128 1311 702 1058 1155 3267 1488 143 2220 878 2791 1564 2347 3184 2001 1639 1101 966 1572 160 1697 1742 913 646 654 1434 1598 1535 1412 1185 389 1223 2526 1394 3219 1154 2937 2751 409 2892 1221 3287 1989 1628 1036 3439 1298 2288 2987 2927 614 1054 2061 3561 178 1433 70 2907 451 3635 645 1775 505 1342 964 2298 230 2835 3220 1921 2320 533 1987 1108 1386 504 443 104 878 2047 1176 2842 1412 3618 13 2501 3727 1932 2486 3016 1566 2880 2111 3727 1260 1759 2495 3521 59 1714 3027 2532 747 2889 1373 392 589 2236 3012 3426 3547 430 349 2913 1012 3509 911 2010 623 2504 3666 3052 3050 522 2311 2865 66 1921 775 1480 2095 769 166 1321 3357 715 1192 2377 1623 1418 3406 1180 1831 2801 3668 191 1849 2152 1335 3103 995 1067 1484 2927 3550 2542 2011 2101 949 3715 1554 1351 1022 1334 1718 2580 1930 94 84 2031 2171 3433 2567 2344 3674 2813 2966 1662 620 481 3406 3329 1602 3484 2679 1930 1221 1391 2207 2592 2729 2327 2869 1516 996 897 955 1421 1447 1216 1983 3231 1741 59 3491 3011 3728 3024 1061 1428 573 122 1135 3347 1281 655 556 2223 3386 3423 3176 3020 486 1661 1907 3385 919 2389 2884 3205 2838 2552 2207 2747 2694 1388 1356 1060 3305 1421 3428 904 1826 2579 305 2772 2784 1754 1539 2493 2202 1589 1423 2584 2053 465 1140 1073 2551 1327 1814 1646 350 232 2661 875 590 1527 3194 1993 2421 744 62 908 3493 1069 1335 2115 2149 279 3636 3353 652 3640 124 2358 2778 2976 3414 132 1943 3416 381 1668 833 1864 1284 588 1302 1615 475 2693 565 2074 3532 3355 3334 1372 1238 129 2993 1512 2564 1037 2916 322 1427 2823 910 2586 1456 115 1963 3442 166 1445 318 739 390 3270 1802 2097 3270 2540 1641 956 3707 3502 2703 3285 2526 2340 476 3120 2017 3391 584 3390 1077 816 982 2073 2388 51 1929 1041 3553 2884 2905 2092 3337 2961 363 3214 342 60 990 405 811 2810 42 270 1595 15 1481 1476 1004 1100 1055 3281 615 1132 424 2329 1879 1448 2319 2970 1662 3227 3313 32 1956 1829 3720 1795 1292 3457 3425 702 2868 1276 1404 1573 1779 970 34 924 3209 232 3629 232 1751 61 397 1207 2326 1038 3164 1461 1646 3601 1265 1106 3340 1610 1275 611 2410 2252 2681 2076 1321 462 326 1128 1114 17 2222 481 2818 2792 2187 2050 2103 1191 428 1286 2736 2417 1626 3568 1474 1980 1505 2009 2044 1825 236 2228 157 2232 2274 375 1699 2724 2180 333 2703 358 866 2635 888 2637 2592 447 3410 211 445 2179 1394 1946 1021 1007 2657 3320 2220 1398 239 3605 3426 3050 361 2694 2395 2103 1016 321 943 277 458 3539 1130 1060 1268 3203 2354 904 1435 1317 3357 2106 2340 2562 1471 2633 1507 3155 691 1509 389 767 614 3085 1483 522 1858 63 3374 937 2124 550 2091 1770 3287 2545 1413 2805 1834 654 1995 290 1423 3636 2736 494 3558 1389 2951 2183 1741 946 1954 342 3639 716 1219 1953 682 3251 1863 819 3213 1007 3167 319 3319 366 1925 2431 423 1968 2620 65 2034 3672 300 3569 2292 1021 2067 1524 1947 1402 1807 2607 1441 1342 8 2224 1853 1342 1085 2227 3527 2519 385 2081 521 3407 349 2068 1408 3698 2323 2364 1778 1774 2839 222 2035 269 3650 3690 3416 3681 2184 1165 671 2189 2459 888 3274 590 669 1454 2481 1638 3075 1938 1721 906 1759 3344 2899 1736 2314 1657 708 1374 765 442 3546 219 1166 1004 1855 2219 3417 1688 528 3619 3266 3044 2376 166 2877 1538 1613 2750 2425 91 3141 2525 3431 652 3455 3523 2729 1134 2573 2942 3473 3259 3413 65 2827 665 3026 1635 1178 1188 2656 1504 3422 2848 3352 2371 3 2014 1098 1490 2257 2978 2790 2346 2343 476 1315 964 2796 2391 193 2523 3424 1880 1744 1741 2744 675 1081 1691 3541 2148 874 2862 3694 74 570 2559 2859 1637 381 2631 3024 2151 2533 2786 3540 2811 429 373 3020 899 1144 1398 2284 569 3358 1382 2141 1279 1495 1999 2849 358 1433 2961 175 842 332 1970 1525 1407 1937 3577 2469 2487 763 2377 1978 2498 971 1418 1358 253 3451 2299 3305 1579 228 2903 1327 89 3607 377 3558 2653 2251 3720 3287 2351 3467 1238 3030 2338 1458 3637 2794 742 2277 1193 1016 524 349 3266 3143 3553 714 1680 2096 3252 3450 2940 2192 1592 3209 793 1844 23 1219 863 3704 2336 2919 
2400.06/2335.31	v 	</values>
2400.06/2335.31	v </instantiation>

Verifier Data 

OK	3733

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290261-1532234674/watcher-4290261-1532234674 -o /tmp/evaluation-result-4290261-1532234674/solver-4290261-1532234674 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532225156-31761 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1326091668 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290261-1532234674.xml 

running on 4 cores: 0,2,4,6

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

solver pid=32696, runsolver pid=32693

[startup+0.100166 s]*
/proc/loadavg: 1.16 1.26 1.35 3/216 32711
/proc/meminfo: memFree=21563956/32770624 swapFree=67108860/67108860
[pid=32696] ppid=32693 vsize=14082740 memory=31308 CPUtime=0.12 cores=0,2,4,6
/proc/32696/stat : 32696 (java) S 32693 32696 31730 0 -1 1077944320 6741 0 0 0 12 0 0 0 20 0 15 0 41030552 14420725760 7827 33554432000 4194304 4196468 140720540740512 140720540723056 140228322914039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
/proc/32696/statm: 3520685 7827 3160 1 0 3482761 0
[pid=32696/tid=32698] ppid=32693 vsize=14082740 memory=-8701690554791925120 CPUtime=0.09 cores=0,2,4,6
/proc/32696/task/32698/stat : 32698 (java) R 32693 32696 31730 0 -1 4202560 4793 0 0 0 9 0 0 0 20 0 15 0 41030552 14420725760 7827 33554432000 4194304 4196468 140720540740512 140228327109376 140228322935965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32699] ppid=32693 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32699/stat : 32699 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030553 14420725760 7827 33554432000 4194304 4196468 140720540740512 140228275534992 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32700] ppid=32693 vsize=14082740 memory=140597220804224 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32700/stat : 32700 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030553 14420725760 7827 33554432000 4194304 4196468 140720540740512 140228274482192 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32701] ppid=32693 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32701/stat : 32701 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030553 14420725760 7827 33554432000 4194304 4196468 140720540740512 140228273429392 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32702] ppid=32693 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32702/stat : 32702 (java) S 32693 32696 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41030553 14420725760 7827 33554432000 4194304 4196468 140720540740512 140228272376592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32703] ppid=32693 vsize=14082740 memory=140597220804224 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32703/stat : 32703 (java) S 32693 32696 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41030554 14420725760 7827 33554432000 4194304 4196468 140720540740512 140227796527472 140228322925186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32704] ppid=32693 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32704/stat : 32704 (java) S 32693 32696 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41030555 14420725760 7827 33554432000 4194304 4196468 140720540740512 140227795473440 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32705] ppid=32693 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32705/stat : 32705 (java) S 32693 32696 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41030555 14420725760 7827 33554432000 4194304 4196468 140720540740512 140227794420592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32706] ppid=32693 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32706/stat : 32706 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030557 14420725760 7827 33554432000 4194304 4196468 140720540740512 140227793368912 140228322932635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32707] ppid=32693 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32707/stat : 32707 (java) S 32693 32696 31730 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 41030557 14420725760 7827 33554432000 4194304 4196468 140720540740512 140227792317296 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32708] ppid=32693 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32708/stat : 32708 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030557 14420725760 7827 33554432000 4194304 4196468 140720540740512 140227791264496 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32709] ppid=32693 vsize=14082740 memory=140597220804224 CPUtime=0.01 cores=0,2,4,6
/proc/32696/task/32709/stat : 32709 (java) S 32693 32696 31730 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 41030557 14420725760 7827 33554432000 4194304 4196468 140720540740512 140227790211696 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32710] ppid=32693 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32710/stat : 32710 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030558 14420725760 7827 33554432000 4194304 4196468 140720540740512 140227789159136 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32711] ppid=32693 vsize=14082740 memory=140597220804224 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32711/stat : 32711 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030558 14420725760 7827 33554432000 4194304 4196468 140720540740512 140227788106416 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31308 KiB

[startup+0.216638 s]*
/proc/loadavg: 1.16 1.26 1.35 6/216 32711
/proc/meminfo: memFree=21548684/32770624 swapFree=67108860/67108860
[pid=32696] ppid=32693 vsize=14082740 memory=47256 CPUtime=0.33 cores=0,2,4,6
/proc/32696/stat : 32696 (java) S 32693 32696 31730 0 -1 1077944320 10441 0 0 0 31 2 0 0 20 0 15 0 41030552 14420725760 11814 33554432000 4194304 4196468 140720540740512 140720540723056 140228322914039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
/proc/32696/statm: 3520685 11814 3370 1 0 3482761 0
[pid=32696/tid=32698] ppid=32693 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32696/task/32698/stat : 32698 (java) R 32693 32696 31730 0 -1 4202560 8139 0 0 0 19 1 0 0 20 0 15 0 41030552 14420725760 11814 33554432000 4194304 4196468 140720540740512 140228327136912 140228306994526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32699] ppid=32693 vsize=14082740 memory=331 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32699/stat : 32699 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030553 14420725760 11814 33554432000 4194304 4196468 140720540740512 140228275534992 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32700] ppid=32693 vsize=14082740 memory=140597220836242 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32700/stat : 32700 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030553 14420725760 11814 33554432000 4194304 4196468 140720540740512 140228274482192 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32701] ppid=32693 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32701/stat : 32701 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030553 14420725760 11814 33554432000 4194304 4196468 140720540740512 140228273429392 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32702] ppid=32693 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32702/stat : 32702 (java) S 32693 32696 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41030553 14420725760 11814 33554432000 4194304 4196468 140720540740512 140228272376592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32703] ppid=32693 vsize=14082740 memory=140597220804224 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32703/stat : 32703 (java) S 32693 32696 31730 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41030554 14420725760 11814 33554432000 4194304 4196468 140720540740512 140227796527472 140228322925186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32704] ppid=32693 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32704/stat : 32704 (java) S 32693 32696 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41030555 14420725760 11814 33554432000 4194304 4196468 140720540740512 140227795473440 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32705] ppid=32693 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32705/stat : 32705 (java) S 32693 32696 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41030555 14420725760 11814 33554432000 4194304 4196468 140720540740512 140227794420592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32706] ppid=32693 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32706/stat : 32706 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030557 14420725760 11814 33554432000 4194304 4196468 140720540740512 140227793368912 140228322932635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32707] ppid=32693 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32696/task/32707/stat : 32707 (java) S 32693 32696 31730 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 15 0 41030557 14420725760 11814 33554432000 4194304 4196468 140720540740512 140227792317296 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32708] ppid=32693 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32696/task/32708/stat : 32708 (java) S 32693 32696 31730 0 -1 1077944384 179 0 0 0 2 0 0 0 20 0 15 0 41030557 14420725760 11814 33554432000 4194304 4196468 140720540740512 140227791264496 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32709] ppid=32693 vsize=14082740 memory=140597220804224 CPUtime=0.07 cores=0,2,4,6
/proc/32696/task/32709/stat : 32709 (java) R 32693 32696 31730 0 -1 4202560 303 0 0 0 7 0 0 0 20 0 15 0 41030557 14420725760 11814 33554432000 4194304 4196468 140720540740512 140227790207648 140228301545696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32710] ppid=32693 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32710/stat : 32710 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030558 14420725760 11814 33554432000 4194304 4196468 140720540740512 140227789159136 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32711] ppid=32693 vsize=14082740 memory=140597220804224 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32711/stat : 32711 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030558 14420725760 11814 33554432000 4194304 4196468 140720540740512 140227788106416 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47256 KiB

[startup+0.310441 s]*
/proc/loadavg: 1.16 1.26 1.35 3/216 32711
/proc/meminfo: memFree=21545148/32770624 swapFree=67108860/67108860
[pid=32696] ppid=32693 vsize=14082740 memory=50528 CPUtime=0.45 cores=0,2,4,6
/proc/32696/stat : 32696 (java) S 32693 32696 31730 0 -1 1077944320 10800 0 0 0 43 2 0 0 20 0 15 0 41030552 14420725760 12632 33554432000 4194304 4196468 140720540740512 140720540723056 140228322914039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
/proc/32696/statm: 3520685 12632 3372 1 0 3482761 0
[pid=32696/tid=32698] ppid=32693 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/32696/task/32698/stat : 32698 (java) R 32693 32696 31730 0 -1 4202560 8466 0 0 0 28 2 0 0 20 0 15 0 41030552 14420725760 12632 33554432000 4194304 4196468 140720540740512 140228327125552 140228303189369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32699] ppid=32693 vsize=14082740 memory=288230591823085591 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32699/stat : 32699 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030553 14420725760 12632 33554432000 4194304 4196468 140720540740512 140228275534992 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32700] ppid=32693 vsize=14082740 memory=140597220836237 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32700/stat : 32700 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030553 14420725760 12632 33554432000 4194304 4196468 140720540740512 140228274482192 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32701] ppid=32693 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32701/stat : 32701 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030553 14420725760 12632 33554432000 4194304 4196468 140720540740512 140228273429392 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32702] ppid=32693 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32702/stat : 32702 (java) S 32693 32696 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41030553 14420725760 12632 33554432000 4194304 4196468 140720540740512 140228272376592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32703] ppid=32693 vsize=14082740 memory=140597220804224 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32703/stat : 32703 (java) S 32693 32696 31730 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41030554 14420725760 12632 33554432000 4194304 4196468 140720540740512 140227796527472 140228322925186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32704] ppid=32693 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32704/stat : 32704 (java) S 32693 32696 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41030555 14420725760 12632 33554432000 4194304 4196468 140720540740512 140227795473440 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32705] ppid=32693 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32705/stat : 32705 (java) S 32693 32696 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41030555 14420725760 12632 33554432000 4194304 4196468 140720540740512 140227794420592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32706] ppid=32693 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32706/stat : 32706 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030557 14420725760 12632 33554432000 4194304 4196468 140720540740512 140227793368912 140228322932635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32707] ppid=32693 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32696/task/32707/stat : 32707 (java) S 32693 32696 31730 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 15 0 41030557 14420725760 12632 33554432000 4194304 4196468 140720540740512 140227792317296 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32708] ppid=32693 vsize=14082740 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/32696/task/32708/stat : 32708 (java) S 32693 32696 31730 0 -1 1077944384 194 0 0 0 3 0 0 0 20 0 15 0 41030557 14420725760 12632 33554432000 4194304 4196468 140720540740512 140227791264496 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32709] ppid=32693 vsize=14082740 memory=140597220804224 CPUtime=0.08 cores=0,2,4,6
/proc/32696/task/32709/stat : 32709 (java) S 32693 32696 31730 0 -1 1077944384 319 0 0 0 8 0 0 0 20 0 15 0 41030557 14420725760 12632 33554432000 4194304 4196468 140720540740512 140227790211696 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32710] ppid=32693 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32710/stat : 32710 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030558 14420725760 12632 33554432000 4194304 4196468 140720540740512 140227789159136 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32711] ppid=32693 vsize=14082740 memory=140597220804224 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32711/stat : 32711 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030558 14420725760 12632 33554432000 4194304 4196468 140720540740512 140227788106416 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50528 KiB

[startup+0.700711 s]
/proc/loadavg: 1.16 1.26 1.35 5/216 32711
/proc/meminfo: memFree=21521088/32770624 swapFree=67108860/67108860
[pid=32696] ppid=32693 vsize=14084808 memory=89180 CPUtime=0.99 cores=0,2,4,6
/proc/32696/stat : 32696 (java) S 32693 32696 31730 0 -1 1077944320 17640 0 0 0 95 4 0 0 20 0 15 0 41030552 14422843392 22295 33554432000 4194304 4196468 140720540740512 140720540723056 140228322914039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
/proc/32696/statm: 3521202 22295 3490 1 0 3483273 0
[pid=32696/tid=32698] ppid=32693 vsize=14084808 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/32696/task/32698/stat : 32698 (java) R 32693 32696 31730 0 -1 4202560 14924 0 0 0 64 3 0 0 20 0 15 0 41030552 14422843392 22295 33554432000 4194304 4196468 140720540740512 140228327138144 140228322925974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32699] ppid=32693 vsize=14084808 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32699/stat : 32699 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030553 14422843392 22295 33554432000 4194304 4196468 140720540740512 140228275534992 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32700] ppid=32693 vsize=14084808 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32700/stat : 32700 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030553 14422843392 22295 33554432000 4194304 4196468 140720540740512 140228274482192 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32701] ppid=32693 vsize=14084808 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32701/stat : 32701 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030553 14422843392 22295 33554432000 4194304 4196468 140720540740512 140228273429392 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32702] ppid=32693 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32702/stat : 32702 (java) S 32693 32696 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41030553 14422843392 22295 33554432000 4194304 4196468 140720540740512 140228272376592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32703] ppid=32693 vsize=14084808 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32703/stat : 32703 (java) S 32693 32696 31730 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41030554 14422843392 22295 33554432000 4194304 4196468 140720540740512 140227796527472 140228322925186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32704] ppid=32693 vsize=14084808 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32704/stat : 32704 (java) S 32693 32696 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41030555 14422843392 22295 33554432000 4194304 4196468 140720540740512 140227795473440 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32705] ppid=32693 vsize=14084808 memory=8372 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32705/stat : 32705 (java) S 32693 32696 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41030555 14422843392 22295 33554432000 4194304 4196468 140720540740512 140227794420592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32706] ppid=32693 vsize=14084808 memory=12972 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32706/stat : 32706 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030557 14422843392 22295 33554432000 4194304 4196468 140720540740512 140227793368912 140228322932635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32707] ppid=32693 vsize=14084808 memory=7662705889289527641 CPUtime=0.08 cores=0,2,4,6
/proc/32696/task/32707/stat : 32707 (java) S 32693 32696 31730 0 -1 1077944384 585 0 0 0 8 0 0 0 20 0 15 0 41030557 14422843392 22295 33554432000 4194304 4196468 140720540740512 140227792317296 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32708] ppid=32693 vsize=14084808 memory=7597685182856913236 CPUtime=0.06 cores=0,2,4,6
/proc/32696/task/32708/stat : 32708 (java) S 32693 32696 31730 0 -1 1077944384 340 0 0 0 6 0 0 0 20 0 15 0 41030557 14422843392 22295 33554432000 4194304 4196468 140720540740512 140227791264496 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32709] ppid=32693 vsize=14084808 memory=6935658124599644240 CPUtime=0.15 cores=0,2,4,6
/proc/32696/task/32709/stat : 32709 (java) S 32693 32696 31730 0 -1 1077944384 409 0 0 0 15 0 0 0 20 0 15 0 41030557 14422843392 22295 33554432000 4194304 4196468 140720540740512 140227790211696 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32710] ppid=32693 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32710/stat : 32710 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030558 14422843392 22295 33554432000 4194304 4196468 140720540740512 140227789159136 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32711] ppid=32693 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32711/stat : 32711 (java) S 32693 32696 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41030558 14422843392 22295 33554432000 4194304 4196468 140720540740512 140227788106416 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89180 KiB

[startup+1.50075 s]
/proc/loadavg: 1.16 1.26 1.35 4/216 32711
/proc/meminfo: memFree=21446688/32770624 swapFree=67108860/67108860
[pid=32696] ppid=32693 vsize=14086856 memory=289212 CPUtime=3.29 cores=0,2,4,6
/proc/32696/stat : 32696 (java) S 32693 32696 31730 0 -1 1077944320 23727 0 0 0 316 13 0 0 20 0 15 0 41030552 14424940544 72303 33554432000 4194304 4196468 140720540740512 140720540723056 140228322914039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
/proc/32696/statm: 3521714 72303 3569 1 0 3483785 0
[pid=32696/tid=32698] ppid=32693 vsize=14086856 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/32696/task/32698/stat : 32698 (java) R 32693 32696 31730 0 -1 4202560 15847 0 0 0 134 5 0 0 20 0 15 0 41030552 14424940544 72303 33554432000 4194304 4196468 140720540740512 140228327148184 140227951666386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32699] ppid=32693 vsize=14086856 memory=-6951259422114956437 CPUtime=0.05 cores=0,2,4,6
/proc/32696/task/32699/stat : 32699 (java) S 32693 32696 31730 0 -1 1077944384 67 0 0 0 4 1 0 0 20 0 15 0 41030553 14424940544 72303 33554432000 4194304 4196468 140720540740512 140228275534992 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32700] ppid=32693 vsize=14086856 memory=-6509546260019855295 CPUtime=0.02 cores=0,2,4,6
/proc/32696/task/32700/stat : 32700 (java) S 32693 32696 31730 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 15 0 41030553 14424940544 72303 33554432000 4194304 4196468 140720540740512 140228274482192 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32701] ppid=32693 vsize=14086856 memory=-7390251449858225344 CPUtime=0.04 cores=0,2,4,6
/proc/32696/task/32701/stat : 32701 (java) S 32693 32696 31730 0 -1 1077944384 278 0 0 0 3 1 0 0 20 0 15 0 41030553 14424940544 72303 33554432000 4194304 4196468 140720540740512 140228273429392 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32702] ppid=32693 vsize=14086856 memory=4134692831991786133 CPUtime=0.06 cores=0,2,4,6
/proc/32696/task/32702/stat : 32702 (java) S 32693 32696 31730 0 -1 1077944384 678 0 0 0 5 1 0 0 20 0 15 0 41030553 14424940544 72303 33554432000 4194304 4196468 140720540740512 140228272376592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32703] ppid=32693 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32703/stat : 32703 (java) S 32693 32696 31730 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 41030554 14424940544 72303 33554432000 4194304 4196468 140720540740512 140227796527472 140228322925186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0

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

/proc/32696/task/32698/stat : 32698 (java) R 32693 32696 31730 0 -1 4202560 401754 0 0 0 224231 92 0 0 20 0 15 0 41030552 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140228327152208 140227959018992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32699] ppid=32693 vsize=14090952 memory=7747340 CPUtime=18.18 cores=0,2,4,6
/proc/32696/task/32699/stat : 32699 (java) S 32693 32696 31730 0 -1 1077944384 143428 0 0 0 1658 160 0 0 20 0 15 0 41030553 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140228275534992 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32700] ppid=32693 vsize=14090952 memory=7752984 CPUtime=18.07 cores=0,2,4,6
/proc/32696/task/32700/stat : 32700 (java) S 32693 32696 31730 0 -1 1077944384 129661 0 0 0 1608 199 0 0 20 0 15 0 41030553 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140228274482192 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32701] ppid=32693 vsize=14090952 memory=281194195291328 CPUtime=18.01 cores=0,2,4,6
/proc/32696/task/32701/stat : 32701 (java) S 32693 32696 31730 0 -1 1077944384 120738 0 0 0 1618 183 0 0 20 0 15 0 41030553 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140228273429392 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32702] ppid=32693 vsize=14090952 memory=7749388 CPUtime=18.15 cores=0,2,4,6
/proc/32696/task/32702/stat : 32702 (java) S 32693 32696 31730 0 -1 1077944384 123527 0 0 0 1617 198 0 0 20 0 15 0 41030553 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140228272376592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32703] ppid=32693 vsize=14090952 memory=7747340 CPUtime=0.55 cores=0,2,4,6
/proc/32696/task/32703/stat : 32703 (java) S 32693 32696 31730 0 -1 1077944384 25920 0 0 0 46 9 0 0 20 0 15 0 41030554 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140227796527472 140228322925186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32704] ppid=32693 vsize=14090952 memory=-7966001967256141664 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32704/stat : 32704 (java) S 32693 32696 31730 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 41030555 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140227795473504 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32705] ppid=32693 vsize=14090952 memory=7747340 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32705/stat : 32705 (java) S 32693 32696 31730 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41030555 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140227794420608 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32706] ppid=32693 vsize=14090952 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32706/stat : 32706 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030557 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140227793368912 140228322932635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32707] ppid=32693 vsize=14090952 memory=1228 CPUtime=3.17 cores=0,2,4,6
/proc/32696/task/32707/stat : 32707 (java) S 32693 32696 31730 0 -1 1077944384 17219 0 0 0 315 2 0 0 20 0 15 0 41030557 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140227792317296 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32708] ppid=32693 vsize=14090952 memory=1944 CPUtime=3.75 cores=0,2,4,6
/proc/32696/task/32708/stat : 32708 (java) S 32693 32696 31730 0 -1 1077944384 14885 0 0 0 373 2 0 0 20 0 15 0 41030557 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140227791264496 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32709] ppid=32693 vsize=14090952 memory=4140 CPUtime=1.07 cores=0,2,4,6
/proc/32696/task/32709/stat : 32709 (java) S 32693 32696 31730 0 -1 1077944384 28141 0 0 0 104 3 0 0 20 0 15 0 41030557 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140227790211696 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32710] ppid=32693 vsize=14090952 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32710/stat : 32710 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030558 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140227789159136 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32711] ppid=32693 vsize=14090952 memory=3292 CPUtime=1.42 cores=0,2,4,6
/proc/32696/task/32711/stat : 32711 (java) S 32693 32696 31730 0 -1 1077944384 1803 0 0 0 66 76 0 0 20 0 15 0 41030558 14429134848 1937347 33554432000 4194304 4196468 140720540740512 140227788106416 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
Current children cumulated CPU time: 2325.7 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 7749388 KiB

[startup+2322.3 s]
/proc/loadavg: 1.15 1.33 1.52 3/215 439
/proc/meminfo: memFree=10960244/32770624 swapFree=67108860/67108860
[pid=32696] ppid=32693 vsize=14090952 memory=7741140 CPUtime=2386.83 cores=0,2,4,6
/proc/32696/stat : 32696 (java) S 32693 32696 31730 0 -1 1077944320 1027521 0 0 0 237770 913 0 0 20 0 15 0 41030552 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140720540723056 140228322914039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
/proc/32696/statm: 3522738 1935285 3612 1 0 3484809 0
[pid=32696/tid=32698] ppid=32693 vsize=14090952 memory=7742184 CPUtime=2302.84 cores=0,2,4,6
/proc/32696/task/32698/stat : 32698 (java) R 32693 32696 31730 0 -1 4202560 407657 0 0 0 230192 92 0 0 20 0 15 0 41030552 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140228327143280 140227959019076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32699] ppid=32693 vsize=14090952 memory=7738088 CPUtime=18.55 cores=0,2,4,6
/proc/32696/task/32699/stat : 32699 (java) S 32693 32696 31730 0 -1 1077944384 146679 0 0 0 1694 161 0 0 20 0 15 0 41030553 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140228275534992 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32700] ppid=32693 vsize=14090952 memory=7738088 CPUtime=18.44 cores=0,2,4,6
/proc/32696/task/32700/stat : 32700 (java) S 32693 32696 31730 0 -1 1077944384 133660 0 0 0 1644 200 0 0 20 0 15 0 41030553 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140228274482192 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32701] ppid=32693 vsize=14090952 memory=7741140 CPUtime=18.38 cores=0,2,4,6
/proc/32696/task/32701/stat : 32701 (java) S 32693 32696 31730 0 -1 1077944384 123736 0 0 0 1654 184 0 0 20 0 15 0 41030553 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140228273429392 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32702] ppid=32693 vsize=14090952 memory=107 CPUtime=18.52 cores=0,2,4,6
/proc/32696/task/32702/stat : 32702 (java) S 32693 32696 31730 0 -1 1077944384 126082 0 0 0 1653 199 0 0 20 0 15 0 41030553 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140228272376592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32703] ppid=32693 vsize=14090952 memory=7734996 CPUtime=0.56 cores=0,2,4,6
/proc/32696/task/32703/stat : 32703 (java) S 32693 32696 31730 0 -1 1077944384 26167 0 0 0 47 9 0 0 20 0 15 0 41030554 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140227796527472 140228322925186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32704] ppid=32693 vsize=14090952 memory=7734996 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32704/stat : 32704 (java) S 32693 32696 31730 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 41030555 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140227795473504 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32705] ppid=32693 vsize=14090952 memory=916 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32705/stat : 32705 (java) S 32693 32696 31730 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41030555 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140227794420608 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32706] ppid=32693 vsize=14090952 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32706/stat : 32706 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030557 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140227793368912 140228322932635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32707] ppid=32693 vsize=14090952 memory=12972 CPUtime=3.17 cores=0,2,4,6
/proc/32696/task/32707/stat : 32707 (java) S 32693 32696 31730 0 -1 1077944384 17223 0 0 0 315 2 0 0 20 0 15 0 41030557 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140227792317296 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32708] ppid=32693 vsize=14090952 memory=796 CPUtime=3.75 cores=0,2,4,6
/proc/32696/task/32708/stat : 32708 (java) S 32693 32696 31730 0 -1 1077944384 14892 0 0 0 373 2 0 0 20 0 15 0 41030557 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140227791264496 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32709] ppid=32693 vsize=14090952 memory=7741140 CPUtime=1.07 cores=0,2,4,6
/proc/32696/task/32709/stat : 32709 (java) S 32693 32696 31730 0 -1 1077944384 28145 0 0 0 104 3 0 0 20 0 15 0 41030557 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140227790211696 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32710] ppid=32693 vsize=14090952 memory=7741140 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32710/stat : 32710 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030558 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140227789159136 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32711] ppid=32693 vsize=14090952 memory=3072180 CPUtime=1.46 cores=0,2,4,6
/proc/32696/task/32711/stat : 32711 (java) S 32693 32696 31730 0 -1 1077944384 1842 0 0 0 68 78 0 0 20 0 15 0 41030558 14429134848 1935285 33554432000 4194304 4196468 140720540740512 140227788106416 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
Current children cumulated CPU time: 2386.83 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 7741140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2335.3 s]
/proc/loadavg: 1.04 1.30 1.51 3/215 439
/proc/meminfo: memFree=10962352/32770624 swapFree=67108860/67108860
[pid=32696] ppid=32693 vsize=14090952 memory=7739084 CPUtime=2400.06 cores=0,2,4,6
/proc/32696/stat : 32696 (java) S 32693 32696 31730 0 -1 1077944320 1029321 0 0 0 239092 914 0 0 20 0 15 0 41030552 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140720540723056 140228322914039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
/proc/32696/statm: 3522738 1934771 3612 1 0 3484809 0
[pid=32696/tid=32698] ppid=32693 vsize=14090952 memory=7739084 CPUtime=2315.75 cores=0,2,4,6
/proc/32696/task/32698/stat : 32698 (java) R 32693 32696 31730 0 -1 4202560 409111 0 0 0 231483 92 0 0 20 0 15 0 41030552 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140228327143280 140227959019010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32699] ppid=32693 vsize=14090952 memory=7739084 CPUtime=18.61 cores=0,2,4,6
/proc/32696/task/32699/stat : 32699 (java) S 32693 32696 31730 0 -1 1077944384 146704 0 0 0 1700 161 0 0 20 0 15 0 41030553 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140228275534992 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32700] ppid=32693 vsize=14090952 memory=7739084 CPUtime=18.52 cores=0,2,4,6
/proc/32696/task/32700/stat : 32700 (java) S 32693 32696 31730 0 -1 1077944384 133774 0 0 0 1651 201 0 0 20 0 15 0 41030553 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140228274482192 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32701] ppid=32693 vsize=14090952 memory=7739084 CPUtime=18.46 cores=0,2,4,6
/proc/32696/task/32701/stat : 32701 (java) S 32693 32696 31730 0 -1 1077944384 123923 0 0 0 1662 184 0 0 20 0 15 0 41030553 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140228273429392 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32702] ppid=32693 vsize=14090952 memory=7741140 CPUtime=18.59 cores=0,2,4,6
/proc/32696/task/32702/stat : 32702 (java) S 32693 32696 31730 0 -1 1077944384 126098 0 0 0 1660 199 0 0 20 0 15 0 41030553 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140228272376592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32703] ppid=32693 vsize=14090952 memory=7739084 CPUtime=0.56 cores=0,2,4,6
/proc/32696/task/32703/stat : 32703 (java) S 32693 32696 31730 0 -1 1077944384 26169 0 0 0 47 9 0 0 20 0 15 0 41030554 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227796527472 140228322925186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32704] ppid=32693 vsize=14090952 memory=7739084 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32704/stat : 32704 (java) S 32693 32696 31730 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 41030555 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227795473504 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32705] ppid=32693 vsize=14090952 memory=7739084 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32705/stat : 32705 (java) S 32693 32696 31730 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41030555 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227794420608 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32706] ppid=32693 vsize=14090952 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32706/stat : 32706 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030557 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227793368912 140228322932635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32707] ppid=32693 vsize=14090952 memory=960 CPUtime=3.17 cores=0,2,4,6
/proc/32696/task/32707/stat : 32707 (java) S 32693 32696 31730 0 -1 1077944384 17223 0 0 0 315 2 0 0 20 0 15 0 41030557 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227792317296 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32708] ppid=32693 vsize=14090952 memory=2412 CPUtime=3.75 cores=0,2,4,6
/proc/32696/task/32708/stat : 32708 (java) S 32693 32696 31730 0 -1 1077944384 14892 0 0 0 373 2 0 0 20 0 15 0 41030557 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227791264496 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32709] ppid=32693 vsize=14090952 memory=1728 CPUtime=1.07 cores=0,2,4,6
/proc/32696/task/32709/stat : 32709 (java) S 32693 32696 31730 0 -1 1077944384 28145 0 0 0 104 3 0 0 20 0 15 0 41030557 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227790211696 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32710] ppid=32693 vsize=14090952 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32710/stat : 32710 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030558 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227789159136 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32711] ppid=32693 vsize=14090952 memory=3288 CPUtime=1.46 cores=0,2,4,6
/proc/32696/task/32711/stat : 32711 (java) S 32693 32696 31730 0 -1 1077944384 1844 0 0 0 68 78 0 0 20 0 15 0 41030558 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227788106416 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 7739084 KiB

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

[startup+2335.36 s]
# the end of solver process 32696 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2390.94 s, system=9.18581 s

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

[startup+2335.3 s]
/proc/loadavg: 1.04 1.30 1.51 3/215 439
/proc/meminfo: memFree=10962352/32770624 swapFree=67108860/67108860
[pid=32696] ppid=32693 vsize=14090952 memory=7739084 CPUtime=2400.06 cores=0,2,4,6
/proc/32696/stat : 32696 (java) S 32693 32696 31730 0 -1 1077944320 1029321 0 0 0 239092 914 0 0 20 0 15 0 41030552 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140720540723056 140228322914039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
/proc/32696/statm: 3522738 1934771 3612 1 0 3484809 0
[pid=32696/tid=32698] ppid=32693 vsize=14090952 memory=7739084 CPUtime=2315.75 cores=0,2,4,6
/proc/32696/task/32698/stat : 32698 (java) R 32693 32696 31730 0 -1 4202560 409111 0 0 0 231483 92 0 0 20 0 15 0 41030552 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140228327143280 140227959019010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32699] ppid=32693 vsize=14090952 memory=7739084 CPUtime=18.61 cores=0,2,4,6
/proc/32696/task/32699/stat : 32699 (java) S 32693 32696 31730 0 -1 1077944384 146704 0 0 0 1700 161 0 0 20 0 15 0 41030553 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140228275534992 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32700] ppid=32693 vsize=14090952 memory=7739084 CPUtime=18.52 cores=0,2,4,6
/proc/32696/task/32700/stat : 32700 (java) S 32693 32696 31730 0 -1 1077944384 133774 0 0 0 1651 201 0 0 20 0 15 0 41030553 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140228274482192 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32701] ppid=32693 vsize=14090952 memory=7739084 CPUtime=18.46 cores=0,2,4,6
/proc/32696/task/32701/stat : 32701 (java) S 32693 32696 31730 0 -1 1077944384 123923 0 0 0 1662 184 0 0 20 0 15 0 41030553 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140228273429392 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32702] ppid=32693 vsize=14090952 memory=7741140 CPUtime=18.59 cores=0,2,4,6
/proc/32696/task/32702/stat : 32702 (java) S 32693 32696 31730 0 -1 1077944384 126098 0 0 0 1660 199 0 0 20 0 15 0 41030553 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140228272376592 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32703] ppid=32693 vsize=14090952 memory=7739084 CPUtime=0.56 cores=0,2,4,6
/proc/32696/task/32703/stat : 32703 (java) S 32693 32696 31730 0 -1 1077944384 26169 0 0 0 47 9 0 0 20 0 15 0 41030554 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227796527472 140228322925186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32704] ppid=32693 vsize=14090952 memory=7739084 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32704/stat : 32704 (java) S 32693 32696 31730 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 41030555 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227795473504 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32705] ppid=32693 vsize=14090952 memory=7739084 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32705/stat : 32705 (java) S 32693 32696 31730 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41030555 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227794420608 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32706] ppid=32693 vsize=14090952 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32706/stat : 32706 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030557 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227793368912 140228322932635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32707] ppid=32693 vsize=14090952 memory=960 CPUtime=3.17 cores=0,2,4,6
/proc/32696/task/32707/stat : 32707 (java) S 32693 32696 31730 0 -1 1077944384 17223 0 0 0 315 2 0 0 20 0 15 0 41030557 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227792317296 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32708] ppid=32693 vsize=14090952 memory=2412 CPUtime=3.75 cores=0,2,4,6
/proc/32696/task/32708/stat : 32708 (java) S 32693 32696 31730 0 -1 1077944384 14892 0 0 0 373 2 0 0 20 0 15 0 41030557 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227791264496 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32709] ppid=32693 vsize=14090952 memory=1728 CPUtime=1.07 cores=0,2,4,6
/proc/32696/task/32709/stat : 32709 (java) S 32693 32696 31730 0 -1 1077944384 28145 0 0 0 104 3 0 0 20 0 15 0 41030557 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227790211696 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32710] ppid=32693 vsize=14090952 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/32696/task/32710/stat : 32710 (java) S 32693 32696 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41030558 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227789159136 140228322924245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
[pid=32696/tid=32711] ppid=32693 vsize=14090952 memory=3288 CPUtime=1.46 cores=0,2,4,6
/proc/32696/task/32711/stat : 32711 (java) S 32693 32696 31730 0 -1 1077944384 1844 0 0 0 68 78 0 0 20 0 15 0 41030558 14429134848 1934771 33554432000 4194304 4196468 140720540740512 140227788106416 140228322925186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140720540742728 140720540742921 140720540742921 140720540745679 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 7739084 KiB

Child status: 143
Real time (s): 2335.36
CPU time (s): 2400.13
CPU user time (s): 2390.94
CPU system time (s): 9.18581
CPU usage (%): 102.774
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 9087516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.94
system time used= 9.18581
maximum resident set size= 9087552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1031020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60453
involuntary context switches= 3606


# summary of solver processes directly reported to runsolver:
#   pid: 32696
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2390.94
#   total CPU system time (s): 9.18581

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4619 second user time and 17.7409 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-22 06:44:34
IDJOB=4290261
IDBENCH=141141
IDSOLVER=2743
FILE ID=node137/4290261-1532234674
RUNJOBID= node137-1532225156-31761
PBS_JOBID= 21018945
Free space on /tmp= 56856 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/GraphColoring/GraphColoring-4-fullins-5_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290261-1532234674/watcher-4290261-1532234674 -o /tmp/evaluation-result-4290261-1532234674/solver-4290261-1532234674 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532225156-31761 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1326091668 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290261-1532234674.xml

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

MD5SUM BENCH= 95ec92f657fea8ce6e93e6f35592ce49
RANDOM SEED=1326091668

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21582148 kB
MemAvailable:   31745604 kB
Buffers:          225984 kB
Cached:         10136680 kB
SwapCached:            0 kB
Active:          1929724 kB
Inactive:        8680436 kB
Active(anon):     250300 kB
Inactive(anon):    16944 kB
Active(file):    1679424 kB
Inactive(file):  8663492 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             38584 kB
Writeback:             0 kB
AnonPages:        431384 kB
Mapped:            48704 kB
Shmem:             17036 kB
Slab:             276036 kB
SReclaimable:     249000 kB
SUnreclaim:        27036 kB
KernelStack:        3824 kB
PageTables:         5708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1184544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    354304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 56820 MiB
End job on node137 at 2018-07-22 07:23:29