Trace number 4311541

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-08-17SAT (TO)3757 2520.1 2453.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.67/0.57	c version: 2018-08-17
0.67/0.57	c seed: 2091693624
0.67/0.57	c timeout: 2520
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 1
0.67/0.59	c Parsing instance...
62.05/30.93	c Parsing done, starting search...
65.61/33.84	o 4145
75.79/42.86	o 4144
89.81/52.12	o 4142
98.07/60.20	o 4141
106.44/68.32	o 4139
106.44/68.34	o 4138
114.86/76.41	o 4136
123.14/84.51	o 4135
131.40/92.69	o 4133
139.65/100.78	o 4131
147.90/108.89	o 4129
156.15/116.97	o 4128
164.45/125.10	o 4127
172.86/133.23	o 4125
181.17/141.32	o 4124
189.46/149.42	o 4123
197.73/157.52	o 4122
206.05/165.64	o 4120
214.34/173.74	o 4118
225.42/184.66	o 4117
234.62/193.65	o 4116
242.89/201.78	o 4115
251.17/209.87	o 4114
259.27/217.91	o 4113
267.55/226.09	o 4112
275.83/234.17	o 4107
284.09/242.26	o 4106
292.36/250.36	o 4105
300.74/258.51	o 4104
308.74/266.53	o 4103
317.02/274.63	o 4102
325.28/282.75	o 4101
333.54/290.82	o 4100
341.81/298.92	o 4099
341.81/298.93	o 4094
350.07/307.06	o 4093
358.07/315.09	o 4091
366.33/323.18	o 4090
374.57/331.27	o 4087
382.86/339.36	o 4086
394.01/350.30	o 4085
403.06/359.27	o 4084
414.21/370.21	o 4082
423.35/379.21	o 4081
431.36/387.26	o 4080
439.60/395.35	o 4079
447.82/403.45	o 4077
456.06/411.57	o 4074
464.16/419.61	o 4073
472.41/427.71	o 4072
480.54/435.79	o 4070
488.77/443.88	o 4068
496.88/451.97	o 4067
505.11/460.06	o 4066
513.34/468.14	o 4064
521.56/476.24	o 4063
532.60/487.18	o 4060
532.89/487.45	o 4059
544.52/498.99	o 4058
556.55/510.81	o 4055
568.50/522.62	o 4054
580.43/534.43	o 4053
589.55/543.40	o 4052
597.57/551.49	o 4050
605.79/559.57	o 4048
614.02/567.66	o 4047
625.16/578.61	o 4046
634.29/587.60	o 4045
642.33/595.67	o 4044
650.55/603.78	o 4043
658.78/611.88	o 4042
669.92/622.85	o 4040
681.85/634.66	o 4038
693.78/646.48	o 4034
705.78/658.29	o 4033
717.81/670.11	o 4032
717.81/670.16	o 4031
729.73/681.92	o 4030
741.65/693.74	o 4029
753.58/705.55	o 4028
765.50/717.37	o 4027
777.44/729.19	o 4026
789.46/741.01	o 4024
789.65/741.24	o 4022
790.05/741.62	o 4021
801.37/752.82	o 4019
813.31/764.63	o 4018
825.25/776.45	o 4017
837.17/788.27	o 4016
849.12/800.08	o 4015
858.12/809.04	o 4014
866.37/817.15	o 4013
874.59/825.24	o 4012
885.64/836.17	o 4011
897.57/847.98	o 4010
897.78/848.19	o 4009
906.59/856.95	o 4008
914.82/865.05	o 4007
923.05/873.14	o 4004
934.11/884.08	o 4003
934.90/884.89	o 4002
943.11/893.04	o 4001
951.34/901.12	o 3999
959.56/909.21	o 3998
967.58/917.29	o 3997
975.81/925.38	o 3995
984.04/933.47	o 3992
995.18/944.41	o 3990
1007.12/956.26	o 3987
1016.03/965.18	o 3985
1027.16/976.12	o 3983
1036.20/985.08	o 3982
1047.34/996.03	o 3981
1059.26/1007.84	o 3980
1071.20/1019.70	o 3979
1083.24/1031.52	o 3978
1095.17/1043.33	o 3977
1106.89/1055.10	o 3976
1118.93/1066.92	o 3974
1130.86/1078.73	o 3973
1142.80/1090.55	o 3972
1143.60/1091.34	o 3971
1154.72/1102.36	o 3968
1166.68/1114.18	o 3967
1178.61/1126.00	o 3965
1190.65/1137.81	o 3964
1202.58/1149.63	o 3963
1214.53/1161.44	o 3962
1214.63/1161.59	o 3961
1226.56/1173.30	o 3959
1238.27/1185.07	o 3958
1250.21/1196.89	o 3957
1262.25/1208.70	o 3954
1262.56/1209.02	o 3953
1274.18/1220.51	o 3952
1286.12/1232.34	o 3951
1298.08/1244.15	o 3949
1310.00/1255.97	o 3948
1322.04/1267.83	o 3945
1333.97/1279.64	o 3943
1345.78/1291.41	o 3940
1357.73/1303.22	o 3939
1369.67/1315.04	o 3938
1370.26/1315.64	o 3937
1381.60/1326.85	o 3935
1393.53/1338.67	o 3934
1394.04/1339.13	o 3931
1405.57/1350.53	o 3929
1417.51/1362.35	o 3928
1429.32/1374.11	o 3927
1441.26/1385.93	o 3924
1453.19/1397.75	o 3922
1453.29/1397.85	o 3920
1465.13/1409.56	o 3918
1477.07/1421.37	o 3916
1489.13/1433.24	o 3915
1500.84/1445.00	o 3914
1500.95/1445.09	o 3913
1512.86/1456.81	o 3911
1524.81/1468.62	o 3910
1536.75/1480.44	o 3907
1548.69/1492.26	o 3906
1560.73/1504.12	o 3905
1572.65/1515.93	o 3902
1584.45/1527.70	o 3901
1596.39/1539.52	o 3899
1608.33/1551.34	o 3898
1620.28/1563.15	o 3897
1620.77/1563.66	o 3896
1632.20/1574.98	o 3895
1632.80/1575.51	o 3892
1633.00/1575.76	o 3889
1644.00/1586.79	o 3887
1656.04/1598.60	o 3886
1667.98/1610.42	o 3885
1668.59/1611.02	o 3884
1679.92/1622.23	o 3881
1680.12/1622.49	o 3880
1691.87/1634.05	o 3879
1703.89/1645.90	o 3877
1715.60/1657.68	o 3876
1716.01/1658.06	o 3875
1727.54/1669.49	o 3874
1739.58/1681.31	o 3872
1751.53/1693.12	o 3870
1763.46/1704.98	o 3869
1764.06/1705.52	o 3868
1775.27/1716.75	o 3867
1787.21/1728.57	o 3866
1799.14/1740.39	o 3864
1811.20/1752.20	o 3862
1823.13/1764.05	o 3861
1834.93/1775.83	o 3860
1846.88/1787.64	o 3858
1858.81/1799.46	o 3857
1870.76/1811.27	o 3856
1882.81/1823.13	o 3853
1894.50/1834.90	o 3852
1906.55/1846.71	o 3851
1918.49/1858.53	o 3850
1919.00/1859.03	o 3849
1930.44/1870.34	o 3847
1942.47/1882.20	o 3846
1943.17/1882.94	o 3845
1954.17/1893.98	o 3844
1966.22/1905.80	o 3841
1978.15/1917.62	o 3840
1990.10/1929.42	o 3839
2002.03/1941.27	o 3838
2013.85/1953.05	o 3836
2025.78/1964.86	o 3832
2037.72/1976.67	o 3831
2049.76/1988.54	o 3828
2061.57/2000.30	o 3825
2062.17/2000.90	o 3822
2073.51/2012.11	o 3820
2085.45/2023.93	o 3819
2097.37/2035.74	o 3818
2097.78/2036.15	o 3817
2098.07/2036.41	o 3816
2109.42/2047.61	o 3815
2121.38/2059.42	o 3812
2133.31/2071.23	o 3811
2145.26/2083.04	o 3810
2157.06/2094.82	o 3808
2168.99/2106.63	o 3807
2180.93/2118.45	o 3806
2181.03/2118.60	o 3805
2181.13/2118.64	o 3803
2192.88/2130.26	o 3801
2204.82/2142.09	o 3799
2205.51/2142.70	o 3798
2216.84/2153.90	o 3797
2228.78/2165.72	o 3796
2240.71/2177.53	o 3795
2252.65/2189.34	o 3794
2264.59/2201.16	o 3793
2276.51/2212.97	o 3792
2288.45/2224.79	o 3791
2288.95/2225.26	o 3790
2300.48/2236.60	o 3789
2312.42/2248.42	o 3787
2312.92/2248.98	o 3786
2324.35/2260.23	o 3785
2336.41/2272.09	o 3784
2336.51/2272.16	o 3783
2348.44/2283.91	o 3782
2360.38/2295.72	o 3781
2372.23/2307.50	o 3778
2384.27/2319.31	o 3776
2396.21/2331.12	o 3775
2396.80/2331.78	o 3773
2396.90/2331.88	o 3772
2408.13/2342.94	o 3771
2420.09/2354.75	o 3770
2432.24/2366.61	o 3769
2444.18/2378.42	o 3768
2456.12/2390.20	o 3767
2456.82/2390.95	o 3765
2468.06/2402.01	o 3764
2480.00/2413.83	o 3763
2491.93/2425.64	o 3761
2503.88/2437.46	o 3760
2516.03/2449.31	o 3757
2520.03/2453.30	s SATISFIABLE
2520.03/2453.31	v <instantiation>
2520.03/2453.31	v 	<list>
2520.03/2453.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]
2520.03/2453.31	v 	</list>
2520.03/2453.31	v 	<values>
2520.03/2453.31	v 		2738 1647 1805 919 1811 1304 2056 484 209 2511 1491 1381 1433 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 2091 1700 3736 1793 2094 135 1007 2039 1139 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 3755 2905 3406 2304 74 1988 243 662 2926 1799 635 3240 1990 3176 3676 1368 470 1909 854 2769 3245 2299 1318 2687 1388 8 3400 2427 1327 2022 2175 138 2036 1299 2673 1817 40 3319 893 739 2238 2355 1661 903 309 1190 215 226 550 2812 3196 3620 2275 3737 3507 1402 1389 3385 144 1519 2060 1046 2328 2664 3566 2801 2609 1856 1050 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 2423 147 3528 1453 386 1110 1707 1805 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 3249 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 3739 1856 3148 1422 480 3575 3600 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 2630 3413 872 697 890 2625 1904 1014 3620 333 3304 2474 3213 280 2412 3280 3487 3157 3372 589 1582 1436 2769 1696 2585 3384 159 1711 256 2763 3426 231 2885 552 1541 2107 1925 2358 3684 869 371 2254 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 2099 1536 3649 2634 2422 236 1960 172 3393 2134 2968 1270 3143 2870 2361 2520 2531 32 2865 1521 2530 2276 1684 2134 2652 116 209 2829 2436 2388 3007 1645 573 1430 1751 1812 1461 3116 1859 1302 1263 1749 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 1857 2456 379 2164 2971 597 3734 2385 99 639 2833 2425 3226 3115 3290 1713 1924 766 555 3330 2535 1312 1172 1297 1942 1482 2556 3489 3390 341 2213 3373 711 3324 408 3605 2352 1030 3081 3008 1733 3677 100 518 3575 2246 451 2963 296 2855 394 3103 2380 92 2243 726 983 1606 2386 2676 2963 1228 939 2102 3395 1738 3180 3745 3161 517 1835 3005 1161 1679 1812 2538 2649 262 960 1374 1373 314 726 1033 1465 3695 1289 1701 2522 1569 1529 1687 3082 3081 151 1759 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 2209 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 2995 2889 2043 1597 1934 1396 2335 371 51 2327 1786 744 1374 2095 2867 1800 3336 2683 2398 1708 2770 3024 3509 1693 359 943 2799 2263 2506 1005 542 2820 2530 3620 2466 2655 1498 3665 2343 1294 1013 942 2964 3757 2284 2186 524 1485 521 159 3580 1916 255 3199 2275 1432 742 3637 382 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 3147 2439 320 2392 1236 2462 2874 862 2453 186 222 3055 212 1755 101 1288 2420 716 1208 1317 560 2683 2200 3113 1184 1398 1071 254 1268 3457 383 60 1590 1743 1632 3281 3279 737 1867 2106 2462 159 1836 611 567 1716 721 2841 717 1272 3345 2834 1324 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 1010 1727 2364 3475 1578 3075 604 1484 2300 1311 1798 3651 1618 3056 10 413 1255 3756 128 385 3541 174 2478 225 145 3643 785 3045 3032 486 2820 2943 1934 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 849 2224 845 2958 1489 2291 3435 173 2482 2345 2288 134 13 884 1846 2612 2447 1911 2423 572 443 2030 2181 1008 1997 2019 3351 1824 3675 576 2725 305 2128 1425 2951 1305 1639 214 2029 2399 442 2310 3746 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 2826 1339 1189 1281 3733 197 1037 799 1533 1845 2622 3706 2112 636 748 1161 196 128 3734 2348 1033 1741 1297 3128 138 3589 2866 1346 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 2749 689 1362 388 938 3077 2816 3127 790 2992 71 1042 2391 180 929 3153 1652 3373 1476 3332 2015 1528 1279 3606 1155 1151 3632 436 1920 1659 3107 1030 2354 990 2035 926 3071 2070 650 2233 2627 1791 2996 1717 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 1131 500 1115 2944 687 8 1437 2462 3182 2505 1951 3318 3607 416 1367 975 1789 1653 3370 1451 848 2705 250 3054 1153 389 2414 3405 432 3566 2636 3409 539 1278 2868 311 1692 303 269 3581 2875 2398 1546 1299 2084 3182 3138 94 1860 1647 2617 489 2299 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 3023 1350 1971 570 1998 3198 3061 3590 2395 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 207 3552 384 562 3472 2145 1550 872 1853 424 3158 3494 871 2282 1136 255 1303 31 1426 3751 1374 3451 771 2791 1355 2569 1540 3661 2663 742 3598 3687 195 566 3233 3135 1597 289 1388 901 3332 1334 1297 3481 2661 3194 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 639 2048 424 2935 3315 3112 989 755 2243 1125 1233 2397 1555 480 965 161 2342 3612 3010 2654 3490 3155 1167 278 83 3557 1365 5 2710 3529 3624 2924 3486 2905 1111 3342 2373 3730 3385 718 847 2857 2721 2744 572 863 2604 1288 562 2559 282 524 3087 1210 3177 2215 490 133 788 143 818 417 953 3079 976 2998 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 3006 3304 2488 404 1096 2465 722 964 3683 931 52 2237 388 514 566 2583 3085 7 550 1499 2616 498 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 3735 495 1166 3436 861 2669 3359 1336 496 817 3460 3737 694 2316 352 1533 375 1826 3656 1260 1966 2360 1709 3148 3087 496 2966 1770 1448 866 1009 1880 1022 2630 1137 2836 1446 3084 3138 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 589 3360 3550 992 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 1511 3442 2321 3667 442 2905 3576 2391 1335 57 2048 226 2416 2782 300 1643 705 2606 1419 3135 292 3591 1144 1215 1039 1073 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 3090 3040 3744 632 3474 3112 1235 518 248 1558 2952 1826 2441 3272 1906 3176 248 1900 758 1192 2761 3011 3743 110 243 2952 3456 1065 2591 825 2220 2244 3338 326 3125 804 1254 904 777 1072 818 278 722 1968 1655 329 673 3392 1656 1024 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 1939 2916 461 260 1710 357 3359 623 519 3247 1965 1072 2145 2116 1971 3046 873 2780 1161 3744 2636 873 1859 2838 1353 454 1059 2630 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 1189 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 1458 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 80 2778 1989 485 566 1938 1782 3214 2293 2551 1240 3480 688 1208 45 1954 3160 883 3578 277 1950 658 3551 516 555 913 2772 2449 1776 875 3299 2987 1552 1367 125 3045 3423 1019 1558 3119 2064 1711 1257 2373 2654 2266 2890 3470 3429 436 1208 447 1360 59 1506 2990 2810 2714 3648 1959 2842 2030 1354 2696 3322 2420 1035 1373 2547 2330 1895 1481 1683 2267 3565 3033 2351 1594 3746 681 1414 1265 1711 1505 3393 3747 1944 3697 3349 3449 3591 2577 42 3231 836 1026 1357 2346 2081 286 30 2553 448 1397 3748 2809 804 1617 3324 2155 284 2218 2601 48 525 1989 409 1630 1369 108 2337 2016 2362 2698 1863 231 1051 1826 1196 287 2083 3712 2000 514 2456 2323 2373 1615 2358 1385 602 1580 2951 2326 446 863 1743 1941 2171 1637 3427 213 2938 599 2309 1488 1109 7 1466 581 1979 111 998 3690 1463 254 606 1737 1808 917 1970 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 3251 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 371 364 163 147 611 2853 1083 2206 2476 440 1988 2226 1171 636 3722 1644 826 1009 2759 2800 3174 51 2833 479 364 195 2654 201 3158 1142 883 1055 272 1223 3427 794 836 2096 3078 2727 98 2002 342 934 2723 3747 3312 1659 2375 1912 1701 774 1983 2778 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 1560 1897 2002 2764 813 3340 233 3444 2211 1049 2497 1032 2086 933 1130 145 700 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 134 1454 1605 1248 2232 927 2328 1252 342 2047 2230 3163 2342 17 586 2767 799 1656 358 2902 3475 2342 3298 2387 2812 2640 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 716 1425 2074 1256 2979 1132 2449 572 14 909 3215 444 176 1625 765 675 2560 903 1757 210 3209 1222 560 2904 50 3025 2384 2764 169 1299 139 2844 3549 500 3674 1770 2794 3210 2070 426 686 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 208 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 2864 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 250 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 2026 2595 499 3741 604 2546 3023 3555 343 472 2305 3167 1664 280 1962 2485 3756 512 2149 2968 3754 3721 3396 91 1362 3445 1610 3403 1510 2160 268 3095 3538 3494 293 2343 3473 2051 718 1692 3298 3677 2462 926 1743 3583 104 375 2504 2830 3244 3546 241 2692 198 2797 702 616 660 2853 2842 2943 2201 3242 3050 108 2607 2811 3060 3327 1836 1460 3132 3085 1712 3631 3592 441 1544 3741 2108 282 942 2928 436 1126 3456 2441 536 3363 2709 1217 3421 690 1422 1823 809 2246 2233 1051 3154 3189 3233 366 3661 2726 1346 77 1730 262 2150 455 358 2312 286 3740 1 1912 2846 3608 3640 3050 2706 2774 882 3445 798 3283 2502 290 2309 2409 3250 1113 2152 2815 1472 1244 1214 2669 2781 2900 2719 2235 1543 3416 1579 2409 618 354 3703 1105 1162 2841 2847 2661 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 3405 591 3563 3110 1692 769 1063 141 3734 740 3349 1914 2032 1389 2961 3495 3016 113 2354 3354 520 274 1775 402 3314 3316 1080 317 1331 2050 2406 1691 3111 2879 346 1734 895 12 1704 3626 1557 2825 988 2316 498 1403 2946 913 240 1490 2062 2250 2858 1453 2234 1480 3050 3194 1924 1743 2891 3022 3433 372 3344 1670 831 3658 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 1744 1807 3112 329 3327 2527 1736 1398 1151 1088 2652 2931 1610 3578 603 1861 799 3204 359 1037 2353 3295 618 1142 566 1444 2595 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 3747 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 3737 938 2704 3294 2802 1919 837 3505 1283 2669 1660 906 1332 1713 2606 1330 622 728 3748 820 1411 2588 131 1161 2246 1444 1444 2810 28 710 772 2144 3738 1417 498 1198 2435 2633 1279 3113 2199 173 1590 318 927 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 3422 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 1846 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 2495 1036 3439 1298 2288 2987 2960 614 1054 2061 3561 178 1433 70 2907 451 2336 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 1862 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 3743 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 3094 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 1195 1826 2579 305 2772 2784 1754 1539 2493 2202 1589 1423 2584 2053 465 1140 230 2551 1327 1814 1646 350 232 2661 875 590 1527 3194 1993 3738 744 62 908 3493 1069 77 2115 2149 279 3636 3353 652 3640 124 2358 2778 2976 3414 132 1943 3416 381 777 833 1864 1284 3751 1302 1615 475 2693 565 2074 3532 3355 3334 1372 1238 3634 2993 1512 2499 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 916 982 2073 2388 51 1929 1041 3553 2884 2905 2092 3337 1257 363 3214 342 60 990 405 811 2810 42 270 1595 15 1481 1476 1004 1100 740 3281 615 1132 424 2329 1879 1448 2319 2970 1662 3227 3313 32 955 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 904 3357 2106 2340 2562 1471 2633 1507 3155 691 1509 389 767 614 3085 1483 522 3746 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 146 1341 3319 366 1925 2431 423 1968 2620 65 2034 3672 300 3569 2292 1021 2067 1524 1947 1402 1807 2607 1441 1342 2039 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 2065 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 2568 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 227 569 3358 1382 2141 1279 1495 1999 2849 358 3747 2961 175 842 332 1970 1525 1414 1937 3577 2469 2487 763 2377 1978 2498 971 1418 1358 253 3451 2299 3305 3533 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 3734 3450 2940 2192 1592 2598 793 1844 23 1219 985 3704 3635 2919 
2520.03/2453.31	v 	</values>
2520.03/2453.31	v </instantiation>

Verifier Data 

OK	3757

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311541-1534543744/watcher-4311541-1534543744 -o /tmp/evaluation-result-4311541-1534543744/solver-4311541-1534543744 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534541040-3481 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2091693624 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311541-1534543744.xml 

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

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

solver pid=4347, runsolver pid=4344

[startup+0.109846 s]*
/proc/loadavg: 3.03 2.02 1.56 4/218 4362
/proc/meminfo: memFree=24707912/32770624 swapFree=67108840/67108860
[pid=4347] ppid=4344 vsize=14082736 memory=31724 CPUtime=0.13 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4344 4347 3449 0 -1 1077944320 6841 0 0 0 12 1 0 0 20 0 15 0 271937621 14420721664 7931 33554432000 4194304 4196468 140729671879792 140729671862336 140489544961783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
/proc/4347/statm: 3520684 7931 3160 1 0 3482761 0
[pid=4347/tid=4349] ppid=4344 vsize=14082736 memory=-8681633280906065088 CPUtime=0.09 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) R 4344 4347 3449 0 -1 4202560 5099 0 0 0 9 0 0 0 20 0 15 0 271937621 14420721664 8129 33554432000 4194304 4196468 140729671879792 140489549174616 140489525238608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4350] ppid=4344 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937622 14420721664 8129 33554432000 4194304 4196468 140729671879792 140489460030224 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4351] ppid=4344 vsize=14082736 memory=139674144413312 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937622 14420721664 8195 33554432000 4194304 4196468 140729671879792 140489458977680 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4352] ppid=4344 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937622 14420721664 8195 33554432000 4194304 4196468 140729671879792 140489457925136 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4353] ppid=4344 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4344 4347 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271937622 14420721664 8195 33554432000 4194304 4196468 140729671879792 140489456872592 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4354] ppid=4344 vsize=14082736 memory=139674144413312 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4344 4347 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271937624 14420721664 8195 33554432000 4194304 4196468 140729671879792 140488726128624 140489544972930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4355] ppid=4344 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4344 4347 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271937624 14420721664 8195 33554432000 4194304 4196468 140729671879792 140488725074848 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4356] ppid=4344 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4344 4347 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271937624 14420721664 8195 33554432000 4194304 4196468 140729671879792 140488724022256 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4357] ppid=4344 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14420721664 8195 33554432000 4194304 4196468 140729671879792 140488722970832 140489544980379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4358] ppid=4344 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) S 4344 4347 3449 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 271937627 14420721664 8195 33554432000 4194304 4196468 140729671879792 140488721918448 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4359] ppid=4344 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14420721664 8195 33554432000 4194304 4196468 140729671879792 140488720865904 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4360] ppid=4344 vsize=14082736 memory=139674144413312 CPUtime=0.01 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4344 4347 3449 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 271937627 14420721664 8195 33554432000 4194304 4196468 140729671879792 140488719813360 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4361] ppid=4344 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14420721664 8195 33554432000 4194304 4196468 140729671879792 140488718761056 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4362] ppid=4344 vsize=14082736 memory=139674144413312 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4362/stat : 4362 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937627 14420721664 8195 33554432000 4194304 4196468 140729671879792 140488717707568 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31724 KiB

[startup+0.210485 s]*
/proc/loadavg: 3.03 2.02 1.56 4/218 4362
/proc/meminfo: memFree=24692780/32770624 swapFree=67108840/67108860
[pid=4347] ppid=4344 vsize=14082736 memory=46748 CPUtime=0.29 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4344 4347 3449 0 -1 1077944320 10274 0 0 0 27 2 0 0 20 0 15 0 271937621 14420721664 11687 33554432000 4194304 4196468 140729671879792 140729671862336 140489544961783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
/proc/4347/statm: 3520684 11687 3324 1 0 3482761 0
[pid=4347/tid=4349] ppid=4344 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) R 4344 4347 3449 0 -1 4202560 8074 0 0 0 18 1 0 0 20 0 15 0 271937621 14420721664 11753 33554432000 4194304 4196468 140729671879792 140489549187584 140489524772994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4350] ppid=4344 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937622 14420721664 11753 33554432000 4194304 4196468 140729671879792 140489460030224 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4351] ppid=4344 vsize=14082736 memory=139674144421450 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937622 14420721664 11753 33554432000 4194304 4196468 140729671879792 140489458977680 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4352] ppid=4344 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937622 14420721664 11753 33554432000 4194304 4196468 140729671879792 140489457925136 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4353] ppid=4344 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4344 4347 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271937622 14420721664 11753 33554432000 4194304 4196468 140729671879792 140489456872592 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4354] ppid=4344 vsize=14082736 memory=139674144413312 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4344 4347 3449 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 271937624 14420721664 11753 33554432000 4194304 4196468 140729671879792 140488726128624 140489544972930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4355] ppid=4344 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4344 4347 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271937624 14420721664 11753 33554432000 4194304 4196468 140729671879792 140488725074848 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4356] ppid=4344 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4344 4347 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271937624 14420721664 11753 33554432000 4194304 4196468 140729671879792 140488724022256 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4357] ppid=4344 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14420721664 11753 33554432000 4194304 4196468 140729671879792 140488722970832 140489544980379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4358] ppid=4344 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) R 4344 4347 3449 0 -1 4202560 469 0 0 0 2 0 0 0 20 0 15 0 271937627 14420721664 11753 33554432000 4194304 4196468 140729671879792 140488721918448 140489528461157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4359] ppid=4344 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) R 4344 4347 3449 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 271937627 14420721664 11753 33554432000 4194304 4196468 140729671879792 140488720865904 140489544972930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4360] ppid=4344 vsize=14082736 memory=139674144413312 CPUtime=0.05 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) R 4344 4347 3449 0 -1 4202560 292 0 0 0 5 0 0 0 20 0 15 0 271937627 14420721664 11753 33554432000 4194304 4196468 140729671879792 140488719813360 140489537198910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4361] ppid=4344 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14420721664 11753 33554432000 4194304 4196468 140729671879792 140488718761056 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4362] ppid=4344 vsize=14082736 memory=139674144413312 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4362/stat : 4362 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937627 14420721664 11753 33554432000 4194304 4196468 140729671879792 140488717707568 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46748 KiB

[startup+0.310719 s]*
/proc/loadavg: 3.03 2.02 1.56 3/218 4362
/proc/meminfo: memFree=24689492/32770624 swapFree=67108840/67108860
[pid=4347] ppid=4344 vsize=14082736 memory=50536 CPUtime=0.44 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4344 4347 3449 0 -1 1077944320 10782 0 0 0 42 2 0 0 20 0 15 0 271937621 14420721664 12634 33554432000 4194304 4196468 140729671879792 140729671862336 140489544961783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
/proc/4347/statm: 3520684 12634 3420 1 0 3482761 0
[pid=4347/tid=4349] ppid=4344 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) R 4344 4347 3449 0 -1 4202560 8445 0 0 0 27 2 0 0 20 0 15 0 271937621 14420721664 12634 33554432000 4194304 4196468 140729671879792 140489549171136 140489525238478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4350] ppid=4344 vsize=14082736 memory=290763888105095191 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937622 14420721664 12634 33554432000 4194304 4196468 140729671879792 140489460030224 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4351] ppid=4344 vsize=14082736 memory=14552292477310616 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937622 14420721664 12634 33554432000 4194304 4196468 140729671879792 140489458977680 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4352] ppid=4344 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937622 14420721664 12634 33554432000 4194304 4196468 140729671879792 140489457925136 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4353] ppid=4344 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4344 4347 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271937622 14420721664 12634 33554432000 4194304 4196468 140729671879792 140489456872592 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4354] ppid=4344 vsize=14082736 memory=139674144413312 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4344 4347 3449 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 271937624 14420721664 12634 33554432000 4194304 4196468 140729671879792 140488726128624 140489544972930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4355] ppid=4344 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4344 4347 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271937624 14420721664 12634 33554432000 4194304 4196468 140729671879792 140488725074848 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4356] ppid=4344 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4344 4347 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271937624 14420721664 12634 33554432000 4194304 4196468 140729671879792 140488724022256 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4357] ppid=4344 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14420721664 12634 33554432000 4194304 4196468 140729671879792 140488722970832 140489544980379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4358] ppid=4344 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) S 4344 4347 3449 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 15 0 271937627 14420721664 12634 33554432000 4194304 4196468 140729671879792 140488721918448 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4359] ppid=4344 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4344 4347 3449 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 15 0 271937627 14420721664 12634 33554432000 4194304 4196468 140729671879792 140488720865904 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4360] ppid=4344 vsize=14082736 memory=139674144413312 CPUtime=0.08 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4344 4347 3449 0 -1 1077944384 322 0 0 0 8 0 0 0 20 0 15 0 271937627 14420721664 12634 33554432000 4194304 4196468 140729671879792 140488719813360 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4361] ppid=4344 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14420721664 12634 33554432000 4194304 4196468 140729671879792 140488718761056 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4362] ppid=4344 vsize=14082736 memory=139674144413312 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4362/stat : 4362 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937627 14420721664 12634 33554432000 4194304 4196468 140729671879792 140488717707568 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50536 KiB

[startup+0.700691 s]
/proc/loadavg: 3.03 2.02 1.56 3/218 4362
/proc/meminfo: memFree=24670764/32770624 swapFree=67108840/67108860
[pid=4347] ppid=4344 vsize=14084804 memory=89096 CPUtime=0.99 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4344 4347 3449 0 -1 1077944320 17583 0 0 0 93 6 0 0 20 0 15 0 271937621 14422839296 22274 33554432000 4194304 4196468 140729671879792 140729671862336 140489544961783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
/proc/4347/statm: 3521201 22274 3503 1 0 3483273 0
[pid=4347/tid=4349] ppid=4344 vsize=14084804 memory=4284 CPUtime=0.67 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) R 4344 4347 3449 0 -1 4202560 14838 0 0 0 62 5 0 0 20 0 15 0 271937621 14422839296 22274 33554432000 4194304 4196468 140729671879792 140489549190144 140489537195661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4350] ppid=4344 vsize=14084804 memory=16320 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937622 14422839296 22274 33554432000 4194304 4196468 140729671879792 140489460030224 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4351] ppid=4344 vsize=14084804 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937622 14422839296 22274 33554432000 4194304 4196468 140729671879792 140489458977680 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4352] ppid=4344 vsize=14084804 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4344 4347 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271937622 14422839296 22274 33554432000 4194304 4196468 140729671879792 140489457925136 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4353] ppid=4344 vsize=14084804 memory=508 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4344 4347 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271937622 14422839296 22274 33554432000 4194304 4196468 140729671879792 140489456872592 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4354] ppid=4344 vsize=14084804 memory=924 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4344 4347 3449 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 271937624 14422839296 22274 33554432000 4194304 4196468 140729671879792 140488726128624 140489544972930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4355] ppid=4344 vsize=14084804 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4344 4347 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271937624 14422839296 22274 33554432000 4194304 4196468 140729671879792 140488725074848 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4356] ppid=4344 vsize=14084804 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4344 4347 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271937624 14422839296 22274 33554432000 4194304 4196468 140729671879792 140488724022256 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4357] ppid=4344 vsize=14084804 memory=6153431502485414241 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14422839296 22274 33554432000 4194304 4196468 140729671879792 140488722970832 140489544980379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4358] ppid=4344 vsize=14084804 memory=7881696724453321575 CPUtime=0.08 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) S 4344 4347 3449 0 -1 1077944384 678 0 0 0 8 0 0 0 20 0 15 0 271937627 14422839296 22274 33554432000 4194304 4196468 140729671879792 140488721918448 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4359] ppid=4344 vsize=14084804 memory=7810487918915055718 CPUtime=0.07 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4344 4347 3449 0 -1 1077944384 264 0 0 0 7 0 0 0 20 0 15 0 271937627 14422839296 22274 33554432000 4194304 4196468 140729671879792 140488720865904 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4360] ppid=4344 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4344 4347 3449 0 -1 1077944384 418 0 0 0 15 0 0 0 20 0 15 0 271937627 14422839296 22274 33554432000 4194304 4196468 140729671879792 140488719813360 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4361] ppid=4344 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14422839296 22274 33554432000 4194304 4196468 140729671879792 140488718761056 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4362] ppid=4344 vsize=14084804 memory=4548 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4362/stat : 4362 (java) S 4344 4347 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271937627 14422839296 22274 33554432000 4194304 4196468 140729671879792 140488717707568 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89096 KiB

[startup+1.50084 s]
/proc/loadavg: 3.03 2.02 1.56 4/218 4362
/proc/meminfo: memFree=24592868/32770624 swapFree=67108840/67108860
[pid=4347] ppid=4344 vsize=14086852 memory=288332 CPUtime=3.33 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4344 4347 3449 0 -1 1077944320 22826 0 0 0 317 16 0 0 20 0 15 0 271937621 14424936448 72083 33554432000 4194304 4196468 140729671879792 140729671862336 140489544961783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
/proc/4347/statm: 3521713 72083 3564 1 0 3483785 0
[pid=4347/tid=4349] ppid=4344 vsize=14086852 memory=260348 CPUtime=1.38 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) R 4344 4347 3449 0 -1 4202560 15628 0 0 0 130 8 0 0 20 0 15 0 271937621 14424936448 72083 33554432000 4194304 4196468 140729671879792 140489549195928 140489139237858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4350] ppid=4344 vsize=14086852 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4347 3449 0 -1 1077944384 103 0 0 0 4 1 0 0 20 0 15 0 271937622 14424936448 72083 33554432000 4194304 4196468 140729671879792 140489460030224 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4351] ppid=4344 vsize=14086852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4347 3449 0 -1 1077944384 69 0 0 0 2 1 0 0 20 0 15 0 271937622 14424936448 72083 33554432000 4194304 4196468 140729671879792 140489458977680 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4352] ppid=4344 vsize=14086852 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4344 4347 3449 0 -1 1077944384 261 0 0 0 5 2 0 0 20 0 15 0 271937622 14424936448 72083 33554432000 4194304 4196468 140729671879792 140489457925136 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4353] ppid=4344 vsize=14086852 memory=6943526294502006880 CPUtime=0.04 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4344 4347 3449 0 -1 1077944384 319 0 0 0 3 1 0 0 20 0 15 0 271937622 14424936448 72083 33554432000 4194304 4196468 140729671879792 140489456872592 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4354] ppid=4344 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4344 4347 3449 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 271937624 14424936448 72083 33554432000 4194304 4196468 140729671879792 140488726128624 140489544972930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0

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

/proc/4347/task/4349/stat : 4349 (java) R 4344 4347 3449 0 -1 4202560 519013 0 0 0 236086 154 0 0 20 0 15 0 271937621 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140489549191200 140489138319997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4350] ppid=4344 vsize=14090948 memory=8112282956445269571 CPUtime=19.04 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4347 3449 0 -1 1077944384 126174 0 0 0 1708 196 0 0 20 0 15 0 271937622 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140489460030224 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4351] ppid=4344 vsize=14090948 memory=7846152 CPUtime=18.96 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4347 3449 0 -1 1077944384 130920 0 0 0 1703 193 0 0 20 0 15 0 271937622 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140489458977680 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4352] ppid=4344 vsize=14090948 memory=7861532 CPUtime=19.04 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4344 4347 3449 0 -1 1077944384 152087 0 0 0 1717 187 0 0 20 0 15 0 271937622 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140489457925136 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4353] ppid=4344 vsize=14090948 memory=242029 CPUtime=19.01 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4344 4347 3449 0 -1 1077944384 130067 0 0 0 1696 205 0 0 20 0 15 0 271937622 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140489456872592 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4354] ppid=4344 vsize=14090948 memory=7861536 CPUtime=0.58 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4344 4347 3449 0 -1 1077944384 29390 0 0 0 49 9 0 0 20 0 15 0 271937624 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140488726128624 140489544972930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4355] ppid=4344 vsize=14090948 memory=7855384 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4344 4347 3449 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 271937624 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140488725074912 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4356] ppid=4344 vsize=14090948 memory=7855384 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4344 4347 3449 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 271937624 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140488724022272 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4357] ppid=4344 vsize=14090948 memory=7846152 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140488722970832 140489544980379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4358] ppid=4344 vsize=14090948 memory=7846152 CPUtime=3.41 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) S 4344 4347 3449 0 -1 1077944384 17489 0 0 0 338 3 0 0 20 0 15 0 271937627 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140488721918448 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4359] ppid=4344 vsize=14090948 memory=0 CPUtime=3.13 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4344 4347 3449 0 -1 1077944384 17889 0 0 0 310 3 0 0 20 0 15 0 271937627 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140488720865904 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4360] ppid=4344 vsize=14090948 memory=7846152 CPUtime=1.03 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4344 4347 3449 0 -1 1077944384 29236 0 0 0 100 3 0 0 20 0 15 0 271937627 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140488719813360 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4361] ppid=4344 vsize=14090948 memory=3500 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140488718761056 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4362] ppid=4344 vsize=14090948 memory=7528 CPUtime=1.37 cores=1,3,5,7
/proc/4347/task/4362/stat : 4362 (java) S 4344 4347 3449 0 -1 1077944384 1730 0 0 0 63 74 0 0 20 0 15 0 271937627 14429130752 1961538 33554432000 4194304 4196468 140729671879792 140488717707568 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
Current children cumulated CPU time: 2448.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 7846152 KiB

[startup+2442.3 s]
/proc/loadavg: 1.75 1.92 1.77 3/219 4542
/proc/meminfo: memFree=16778452/32770624 swapFree=67108840/67108860
[pid=4347] ppid=4344 vsize=14090948 memory=7837408 CPUtime=2508.9 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4344 4347 3449 0 -1 1077944320 1174739 0 0 0 249873 1017 0 0 20 0 15 0 271937621 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140729671862336 140489544961783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
/proc/4347/statm: 3522737 1959352 3609 1 0 3484809 0
[pid=4347/tid=4349] ppid=4344 vsize=14090948 memory=7844604 CPUtime=2422.14 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) R 4344 4347 3449 0 -1 4202560 525482 0 0 0 242058 156 0 0 20 0 15 0 271937621 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140489549199856 140489145095273 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4350] ppid=4344 vsize=14090948 memory=7861532 CPUtime=19.3 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4347 3449 0 -1 1077944384 129089 0 0 0 1734 196 0 0 20 0 15 0 271937622 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140489460030224 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4351] ppid=4344 vsize=14090948 memory=242029 CPUtime=19.21 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4347 3449 0 -1 1077944384 134429 0 0 0 1728 193 0 0 20 0 15 0 271937622 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140489458977680 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4352] ppid=4344 vsize=14090948 memory=7861536 CPUtime=19.3 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4344 4347 3449 0 -1 1077944384 154890 0 0 0 1742 188 0 0 20 0 15 0 271937622 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140489457925136 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4353] ppid=4344 vsize=14090948 memory=7842028 CPUtime=19.28 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4344 4347 3449 0 -1 1077944384 133365 0 0 0 1722 206 0 0 20 0 15 0 271937622 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140489456872592 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4354] ppid=4344 vsize=14090948 memory=7837932 CPUtime=0.59 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4344 4347 3449 0 -1 1077944384 29644 0 0 0 50 9 0 0 20 0 15 0 271937624 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140488726128624 140489544972930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4355] ppid=4344 vsize=14090948 memory=7842028 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4344 4347 3449 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 271937624 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140488725074912 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4356] ppid=4344 vsize=14090948 memory=7837408 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4344 4347 3449 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 271937624 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140488724022272 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4357] ppid=4344 vsize=14090948 memory=7837408 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140488722970832 140489544980379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4358] ppid=4344 vsize=14090948 memory=279348028895320 CPUtime=3.41 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) S 4344 4347 3449 0 -1 1077944384 17497 0 0 0 338 3 0 0 20 0 15 0 271937627 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140488721918448 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4359] ppid=4344 vsize=14090948 memory=7842028 CPUtime=3.13 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4344 4347 3449 0 -1 1077944384 17892 0 0 0 310 3 0 0 20 0 15 0 271937627 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140488720865904 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4360] ppid=4344 vsize=14090948 memory=3500 CPUtime=1.03 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4344 4347 3449 0 -1 1077944384 29249 0 0 0 100 3 0 0 20 0 15 0 271937627 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140488719813360 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4361] ppid=4344 vsize=14090948 memory=7837408 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140488718761056 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4362] ppid=4344 vsize=14090948 memory=508 CPUtime=1.41 cores=1,3,5,7
/proc/4347/task/4362/stat : 4362 (java) S 4344 4347 3449 0 -1 1077944384 1762 0 0 0 64 77 0 0 20 0 15 0 271937627 14429130752 1959352 33554432000 4194304 4196468 140729671879792 140488717707568 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
Current children cumulated CPU time: 2508.9 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 7837408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2453.3 s]
/proc/loadavg: 1.79 1.92 1.77 3/218 4542
/proc/meminfo: memFree=16786556/32770624 swapFree=67108840/67108860
[pid=4347] ppid=4344 vsize=14090948 memory=7839456 CPUtime=2520.03 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4344 4347 3449 0 -1 1077944320 1176308 0 0 0 250985 1018 0 0 20 0 15 0 271937621 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140729671862336 140489544961783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
/proc/4347/statm: 3522737 1959864 3609 1 0 3484809 0
[pid=4347/tid=4349] ppid=4344 vsize=14090948 memory=7837408 CPUtime=2433.09 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) R 4344 4347 3449 0 -1 4202560 526909 0 0 0 243153 156 0 0 20 0 15 0 271937621 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140489549191408 140489145095204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4350] ppid=4344 vsize=14090948 memory=7842028 CPUtime=19.35 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4347 3449 0 -1 1077944384 129096 0 0 0 1738 197 0 0 20 0 15 0 271937622 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140489460030224 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4351] ppid=4344 vsize=14090948 memory=7837932 CPUtime=19.26 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4347 3449 0 -1 1077944384 134430 0 0 0 1733 193 0 0 20 0 15 0 271937622 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140489458977680 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4352] ppid=4344 vsize=14090948 memory=7861536 CPUtime=19.34 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4344 4347 3449 0 -1 1077944384 154891 0 0 0 1746 188 0 0 20 0 15 0 271937622 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140489457925136 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4353] ppid=4344 vsize=14090948 memory=242029 CPUtime=19.32 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4344 4347 3449 0 -1 1077944384 133494 0 0 0 1726 206 0 0 20 0 15 0 271937622 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140489456872592 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4354] ppid=4344 vsize=14090948 memory=7861532 CPUtime=0.59 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4344 4347 3449 0 -1 1077944384 29646 0 0 0 50 9 0 0 20 0 15 0 271937624 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488726128624 140489544972930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4355] ppid=4344 vsize=14090948 memory=7844604 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4344 4347 3449 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 271937624 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488725074912 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4356] ppid=4344 vsize=14090948 memory=7839456 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4344 4347 3449 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 271937624 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488724022272 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4357] ppid=4344 vsize=14090948 memory=7839456 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488722970832 140489544980379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4358] ppid=4344 vsize=14090948 memory=7839456 CPUtime=3.41 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) S 4344 4347 3449 0 -1 1077944384 17497 0 0 0 338 3 0 0 20 0 15 0 271937627 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488721918448 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4359] ppid=4344 vsize=14090948 memory=288230574492221466 CPUtime=3.13 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4344 4347 3449 0 -1 1077944384 17892 0 0 0 310 3 0 0 20 0 15 0 271937627 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488720865904 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4360] ppid=4344 vsize=14090948 memory=288230596050944315 CPUtime=1.03 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4344 4347 3449 0 -1 1077944384 29249 0 0 0 100 3 0 0 20 0 15 0 271937627 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488719813360 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4361] ppid=4344 vsize=14090948 memory=7839456 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488718761056 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4362] ppid=4344 vsize=14090948 memory=7839456 CPUtime=1.41 cores=1,3,5,7
/proc/4347/task/4362/stat : 4362 (java) S 4344 4347 3449 0 -1 1077944384 1764 0 0 0 64 77 0 0 20 0 15 0 271937627 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488717707568 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 7839456 KiB

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

[startup+2453.36 s]
# the end of solver process 4347 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2509.88 s, system=10.2294 s

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

[startup+2453.3 s]
/proc/loadavg: 1.79 1.92 1.77 3/218 4542
/proc/meminfo: memFree=16786556/32770624 swapFree=67108840/67108860
[pid=4347] ppid=4344 vsize=14090948 memory=7839456 CPUtime=2520.03 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4344 4347 3449 0 -1 1077944320 1176308 0 0 0 250985 1018 0 0 20 0 15 0 271937621 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140729671862336 140489544961783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
/proc/4347/statm: 3522737 1959864 3609 1 0 3484809 0
[pid=4347/tid=4349] ppid=4344 vsize=14090948 memory=7837408 CPUtime=2433.09 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) R 4344 4347 3449 0 -1 4202560 526909 0 0 0 243153 156 0 0 20 0 15 0 271937621 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140489549191408 140489145095204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4350] ppid=4344 vsize=14090948 memory=7842028 CPUtime=19.35 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4347 3449 0 -1 1077944384 129096 0 0 0 1738 197 0 0 20 0 15 0 271937622 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140489460030224 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4351] ppid=4344 vsize=14090948 memory=7837932 CPUtime=19.26 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4347 3449 0 -1 1077944384 134430 0 0 0 1733 193 0 0 20 0 15 0 271937622 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140489458977680 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4352] ppid=4344 vsize=14090948 memory=7861536 CPUtime=19.34 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4344 4347 3449 0 -1 1077944384 154891 0 0 0 1746 188 0 0 20 0 15 0 271937622 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140489457925136 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4353] ppid=4344 vsize=14090948 memory=242029 CPUtime=19.32 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4344 4347 3449 0 -1 1077944384 133494 0 0 0 1726 206 0 0 20 0 15 0 271937622 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140489456872592 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4354] ppid=4344 vsize=14090948 memory=7861532 CPUtime=0.59 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4344 4347 3449 0 -1 1077944384 29646 0 0 0 50 9 0 0 20 0 15 0 271937624 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488726128624 140489544972930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4355] ppid=4344 vsize=14090948 memory=7844604 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4344 4347 3449 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 271937624 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488725074912 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4356] ppid=4344 vsize=14090948 memory=7839456 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4344 4347 3449 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 271937624 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488724022272 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4357] ppid=4344 vsize=14090948 memory=7839456 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488722970832 140489544980379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4358] ppid=4344 vsize=14090948 memory=7839456 CPUtime=3.41 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) S 4344 4347 3449 0 -1 1077944384 17497 0 0 0 338 3 0 0 20 0 15 0 271937627 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488721918448 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4359] ppid=4344 vsize=14090948 memory=288230574492221466 CPUtime=3.13 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4344 4347 3449 0 -1 1077944384 17892 0 0 0 310 3 0 0 20 0 15 0 271937627 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488720865904 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4360] ppid=4344 vsize=14090948 memory=288230596050944315 CPUtime=1.03 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4344 4347 3449 0 -1 1077944384 29249 0 0 0 100 3 0 0 20 0 15 0 271937627 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488719813360 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4361] ppid=4344 vsize=14090948 memory=7839456 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4344 4347 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271937627 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488718761056 140489544971989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
[pid=4347/tid=4362] ppid=4344 vsize=14090948 memory=7839456 CPUtime=1.41 cores=1,3,5,7
/proc/4347/task/4362/stat : 4362 (java) S 4344 4347 3449 0 -1 1077944384 1764 0 0 0 64 77 0 0 20 0 15 0 271937627 14429130752 1959864 33554432000 4194304 4196468 140729671879792 140488717707568 140489544972930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 23339008 140729671885896 140729671886089 140729671886089 140729671888847 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 7839456 KiB

Child status: 143
Real time (s): 2453.36
CPU time (s): 2520.1
CPU user time (s): 2509.88
CPU system time (s): 10.2294
CPU usage (%): 102.721
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 9152556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.88
system time used= 10.2294
maximum resident set size= 9152556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1177752
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63866
involuntary context switches= 3562


# summary of solver processes directly reported to runsolver:
#   pid: 4347
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2509.88
#   total CPU system time (s): 10.2294

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8418 second user time and 27.7436 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-18 00:09:04
IDJOB=4311541
IDBENCH=141141
IDSOLVER=2799
FILE ID=node135/4311541-1534543744
RUNJOBID= node135-1534541040-3481
PBS_JOBID= 21038636
Free space on /tmp= 54352 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
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 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4311541-1534543744/watcher-4311541-1534543744 -o /tmp/evaluation-result-4311541-1534543744/solver-4311541-1534543744 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534541040-3481 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2091693624 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311541-1534543744.xml

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

MD5SUM BENCH= 95ec92f657fea8ce6e93e6f35592ce49
RANDOM SEED=2091693624

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24726712 kB
MemAvailable:   31715696 kB
Buffers:          193848 kB
Cached:          7043748 kB
SwapCached:           20 kB
Active:          4307296 kB
Inactive:        3158696 kB
Active(anon):     207796 kB
Inactive(anon):    89388 kB
Active(file):    4099500 kB
Inactive(file):  3069308 kB
Unevictable:        7240 kB
Mlocked:            7240 kB
SwapTotal:      67108860 kB
SwapFree:       67108840 kB
Dirty:             38520 kB
Writeback:             4 kB
AnonPages:        336380 kB
Mapped:            34920 kB
Shmem:             66188 kB
Slab:             278044 kB
SReclaimable:     248636 kB
SUnreclaim:        29408 kB
KernelStack:        3728 kB
PageTables:         5584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1233524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 54316 MiB
End job on node135 at 2018-08-18 00:49:58