Trace number 4291459

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-07-02SAT (TO)3844 2406.2 2007.64

General information on the benchmark

NameGraphColoring/
GraphColoring-4-fullins-5_c18.xml
MD5SUM95ec92f657fea8ce6e93e6f35592ce49
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark2519.94
Satisfiable
(Un)Satisfiability was proved
Number of variables4146
Number of constraints77305
Number of domains1
Minimum domain size4146
Maximum domain size4146
Distribution of domain sizes[{"size":4146,"count":4146}]
Minimum variable degree9
Maximum variable degree696
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":18},{"degree":11,"count":14},{"degree":12,"count":56},{"degree":13,"count":22},{"degree":14,"count":94},{"degree":15,"count":28},{"degree":16,"count":112},{"degree":17,"count":54},{"degree":18,"count":216},{"degree":19,"count":62},{"degree":20,"count":248},{"degree":21,"count":24},{"degree":22,"count":96},{"degree":23,"count":78},{"degree":24,"count":312},{"degree":25,"count":10},{"degree":26,"count":40},{"degree":27,"count":40},{"degree":28,"count":166},{"degree":29,"count":40},{"degree":30,"count":160},{"degree":31,"count":166},{"degree":32,"count":664},{"degree":33,"count":30},"...",{"degree":36,"count":96}, {"degree":37,"count":6}, {"degree":38,"count":24}, {"degree":39,"count":24}, {"degree":40,"count":96}, {"degree":49,"count":6}, {"degree":50,"count":24}, {"degree":51,"count":6}, {"degree":52,"count":24}, {"degree":57,"count":6}, {"degree":58,"count":24}, {"degree":59,"count":24}, {"degree":60,"count":96}, {"degree":61,"count":24}, {"degree":62,"count":96}, {"degree":63,"count":96}, {"degree":64,"count":384}, {"degree":93,"count":6}, {"degree":94,"count":24}, {"degree":95,"count":24}, {"degree":96,"count":96}, {"degree":122,"count":6}, {"degree":239,"count":6}, {"degree":240,"count":24}, {"degree":696,"count":6}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":77305}]
Number of extensional constraints0
Number of intensional constraints77305
Distribution of constraint types[{"type":"intension","count":77305}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.68/0.55	c version: 2018-07-02
0.68/0.55	c seed: 357089391
0.68/0.55	c timeout: 2400
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
63.77/31.68	c Parsing done, starting first complete search...
66.66/33.83	o 4145
69.62/36.16	o 4144
72.16/38.59	o 4143
74.81/41.02	o 4142
77.20/43.48	o 4141
79.83/46.01	o 4140
82.73/48.70	o 4139
85.15/51.15	o 4138
87.55/53.55	o 4137
90.10/56.03	o 4136
92.68/58.47	o 4135
95.10/60.87	o 4134
97.56/63.28	o 4133
100.10/65.70	o 4132
102.78/68.15	o 4131
105.17/70.55	o 4130
107.58/72.96	o 4129
110.08/75.40	o 4128
112.74/77.86	o 4127
115.24/80.37	o 4126
117.75/82.80	o 4125
120.06/85.19	o 4124
122.56/87.60	o 4123
125.25/90.07	o 4122
127.74/92.52	o 4121
130.14/95.00	o 4120
132.75/97.50	o 4119
135.66/100.15	o 4118
138.05/102.53	o 4117
140.49/104.93	o 4116
142.79/107.27	o 4115
145.19/109.66	o 4114
148.01/112.15	o 4113
150.41/114.55	o 4112
152.81/116.96	o 4111
155.31/119.45	o 4110
157.92/122.04	o 4109
160.75/124.57	o 4108
163.15/126.98	o 4107
165.55/129.31	o 4106
167.85/131.70	o 4105
170.27/134.05	o 4104
173.10/136.54	o 4103
175.61/139.03	o 4102
178.00/141.46	o 4101
180.51/143.90	o 4100
182.91/146.38	o 4099
185.31/148.76	o 4098
188.27/151.39	o 4097
190.67/153.76	o 4096
193.08/156.18	o 4095
195.47/158.56	o 4094
197.87/160.98	o 4093
200.85/163.59	o 4092
203.26/166.00	o 4091
205.76/168.40	o 4090
208.06/170.78	o 4089
210.48/173.13	o 4088
213.38/175.69	o 4087
215.79/178.05	o 4086
218.18/180.40	o 4085
220.48/182.77	o 4084
222.89/185.15	o 4083
225.80/187.70	o 4082
228.32/190.13	o 4081
230.82/192.64	o 4080
233.22/195.10	o 4079
235.61/197.43	o 4078
238.68/200.06	o 4077
241.08/202.45	o 4076
243.48/204.81	o 4075
245.78/207.15	o 4074
248.17/209.58	o 4073
250.69/212.06	o 4072
253.92/214.70	o 4071
256.23/217.08	o 4070
258.72/219.50	o 4069
261.12/221.94	o 4068
263.53/224.32	o 4067
266.55/226.89	o 4066
269.05/229.31	o 4065
271.45/231.72	o 4064
273.95/234.23	o 4063
276.35/236.63	o 4062
279.54/239.34	o 4061
281.93/241.71	o 4060
284.35/244.15	o 4059
286.74/246.53	o 4058
289.04/248.84	o 4057
291.44/251.22	o 4056
294.38/253.79	o 4055
296.80/256.19	o 4054
299.20/258.58	o 4053
301.60/260.95	o 4052
303.99/263.34	o 4051
307.01/265.98	o 4050
313.68/271.20	c First complete search done, starting ALNS search...
328.22/283.61	o 4049
348.10/302.05	o 4048
351.21/304.95	o 4047
364.92/318.26	o 4046
383.29/334.99	o 4045
390.52/341.16	o 4044
409.07/358.45	o 4043
411.86/361.15	o 4042
416.29/364.02	o 4041
427.24/372.40	o 4040
430.74/375.84	o 4039
437.01/380.77	o 4038
445.32/386.32	o 4037
478.54/406.73	o 4036
484.08/411.46	o 4035
494.63/420.55	o 4034
498.35/424.20	o 4033
504.81/430.06	o 4032
510.84/435.70	o 4031
516.66/441.27	o 4030
522.68/446.97	o 4029
528.71/452.63	o 4028
534.74/458.31	o 4027
544.05/467.16	o 4026
547.74/470.82	o 4025
551.02/473.91	o 4024
558.24/481.13	o 4023
562.68/484.52	o 4022
564.89/486.75	o 4021
573.74/493.79	o 4020
582.71/500.78	o 4019
595.30/511.78	o 4018
597.81/514.22	o 4017
600.14/516.50	o 4016
605.02/520.29	o 4015
608.42/523.65	o 4014
613.63/527.50	o 4013
619.51/532.15	o 4012
622.91/535.53	o 4011
627.85/539.28	o 4010
630.25/541.67	o 4009
632.66/544.03	o 4008
645.87/553.75	o 4007
648.31/556.15	o 4006
657.73/565.53	o 4005
678.53/582.65	o 4004
686.53/590.65	o 4003
718.89/616.14	o 4002
721.18/618.49	o 4001
726.87/622.69	o 4000
729.39/625.14	o 3999
735.07/629.32	o 3998
737.47/631.72	o 3997
743.12/635.87	o 3996
749.39/640.22	o 3995
762.44/645.81	o 3994
764.85/648.26	o 3993
768.55/651.93	o 3992
775.89/658.72	o 3991
781.06/662.89	o 3990
793.85/672.96	o 3989
802.37/681.15	o 3988
818.64/696.48	o 3987
823.29/700.99	o 3986
835.49/712.59	o 3985
839.40/716.47	o 3984
842.06/718.91	o 3983
844.46/721.36	o 3982
846.96/723.82	o 3981
851.11/727.80	o 3980
853.76/730.34	o 3979
857.48/734.04	o 3978
861.74/738.15	o 3977
879.42/754.93	o 3976
882.32/757.84	o 3975
893.74/769.11	o 3974
897.90/772.00	o 3973
908.47/781.25	o 3972
910.97/783.74	o 3971
931.66/799.00	o 3970
957.59/818.50	o 3969
972.05/831.80	o 3968
1004.85/851.34	o 3967
1009.60/855.82	o 3966
1012.11/858.37	o 3965
1028.89/874.65	o 3964
1035.64/879.84	o 3963
1041.95/884.86	o 3962
1050.55/890.68	o 3961
1054.25/894.30	o 3960
1060.93/899.56	o 3959
1087.59/919.37	o 3958
1123.24/952.28	o 3957
1137.06/964.75	o 3956
1139.57/967.22	o 3955
1153.92/979.99	o 3954
1161.37/985.74	o 3953
1173.28/997.60	o 3952
1175.78/1000.12	o 3951
1205.57/1020.31	o 3950
1213.40/1026.43	o 3949
1243.15/1052.90	o 3948
1259.04/1059.69	o 3947
1264.87/1065.33	o 3946
1270.85/1071.08	o 3945
1276.59/1076.70	o 3944
1279.20/1079.30	o 3943
1287.55/1087.47	o 3942
1311.48/1106.75	o 3941
1316.17/1109.98	o 3940
1318.87/1112.64	o 3939
1326.68/1119.15	o 3938
1329.37/1121.81	o 3937
1370.51/1148.45	o 3936
1378.23/1155.20	o 3935
1386.07/1162.04	o 3934
1389.95/1165.10	o 3933
1397.81/1171.88	o 3932
1400.62/1174.66	o 3931
1421.08/1194.38	o 3930
1427.96/1201.02	o 3929
1457.98/1230.05	o 3928
1467.88/1239.98	o 3927
1486.86/1250.17	o 3926
1494.25/1257.29	o 3925
1500.99/1263.82	o 3924
1519.54/1282.29	o 3923
1531.14/1291.35	o 3922
1539.55/1299.77	o 3921
1550.76/1308.70	o 3920
1553.47/1311.40	o 3919
1581.63/1331.09	o 3918
1586.50/1334.45	o 3917
1589.30/1337.26	o 3916
1594.77/1340.96	o 3915
1617.19/1352.71	o 3914
1619.89/1355.46	o 3913
1622.82/1358.24	o 3912
1625.63/1361.05	o 3911
1628.56/1363.82	o 3910
1631.36/1366.61	o 3909
1651.81/1386.19	o 3908
1654.71/1389.03	o 3907
1657.54/1391.78	o 3906
1660.46/1394.62	o 3905
1668.26/1402.19	o 3904
1693.53/1426.58	o 3903
1711.35/1442.06	o 3902
1722.50/1450.43	o 3901
1734.43/1459.87	o 3900
1737.23/1462.69	o 3899
1755.01/1478.03	o 3898
1757.71/1480.76	o 3897
1796.37/1503.39	o 3896
1804.64/1511.36	o 3895
1820.03/1526.43	o 3894
1822.93/1529.38	o 3893
1826.97/1532.54	o 3892
1836.34/1540.80	o 3891
1844.65/1548.86	o 3890
1847.55/1551.74	o 3889
1871.54/1574.91	o 3888
1880.59/1583.12	o 3887
1925.72/1623.29	o 3886
1936.24/1632.27	o 3885
1940.98/1635.62	o 3884
1943.88/1638.58	o 3883
1951.74/1644.91	o 3882
1972.39/1656.19	o 3881
1980.73/1664.35	o 3880
1994.69/1676.96	o 3879
2030.62/1703.82	o 3878
2035.26/1706.99	o 3877
2038.26/1709.92	o 3876
2048.08/1718.15	o 3875
2058.58/1728.62	o 3874
2069.33/1737.44	o 3873
2081.32/1747.20	o 3872
2104.16/1760.22	o 3871
2127.83/1782.87	o 3870
2130.73/1785.79	o 3869
2134.92/1789.03	o 3868
2145.57/1798.03	o 3867
2177.48/1817.64	o 3866
2198.09/1837.47	o 3865
2206.86/1846.08	o 3864
2210.03/1849.01	o 3863
2212.92/1852.01	o 3862
2215.92/1854.98	o 3861
2229.44/1868.11	o 3860
2232.34/1871.03	o 3859
2235.23/1874.00	o 3858
2253.77/1890.86	o 3857
2262.57/1899.69	o 3856
2279.81/1913.42	o 3855
2288.55/1922.12	o 3854
2300.39/1931.54	o 3853
2312.03/1940.96	o 3852
2323.63/1950.34	o 3851
2327.85/1953.54	o 3850
2330.76/1956.43	o 3849
2351.48/1968.13	o 3848
2354.38/1971.08	o 3847
2357.40/1973.99	o 3846
2371.30/1986.53	o 3845
2384.39/1997.29	o 3844
2406.06/2007.56	s SATISFIABLE
2406.06/2007.56	v <instantiation>
2406.06/2007.56	v 	<list>
2406.06/2007.56	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]
2406.06/2007.56	v 	</list>
2406.06/2007.56	v 	<values>
2406.06/2007.56	v 		3844 3840 3841 3841 3842 3840 3842 3841 3842 3840 3842 3844 3839 3842 3838 3840 3841 3837 3842 3842 3839 3838 3842 3840 3842 3839 3842 3840 3844 3844 3839 3842 3838 3840 3835 3837 3844 3844 3841 3841 3841 3844 3841 3841 3841 3841 3841 3844 3841 3836 3841 3841 3841 3841 3842 3842 3840 3840 3842 3842 3842 3842 3840 3840 3842 3842 3840 3842 3840 3840 3840 3840 3839 3839 3844 3844 3841 3839 3844 3844 3844 3844 3842 3842 3841 3842 3841 3841 3841 3841 3842 3842 3838 3844 3842 3842 3842 3842 3838 3838 3842 3842 3844 3842 3844 3838 3838 3844 3840 3841 3842 3844 3837 3839 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3844 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3844 3843 3843 3844 3836 3843 3843 3843 3843 3836 3839 3840 3842 3838 3840 3840 3840 3839 3840 3844 3844 3844 3840 3840 3839 3840 3840 3840 3839 3840 3839 3838 3840 3840 3840 3839 3844 3840 3844 3844 3840 3840 3839 3840 3840 3840 3844 3844 3839 3840 3840 3840 3840 3840 3840 3840 3844 3840 3844 3844 3840 3840 3840 3844 3840 3844 3840 3844 3840 3844 3840 3840 3840 3840 3844 3844 3840 3840 3840 3840 3840 3840 3844 3840 3844 3840 3840 3840 3844 3840 3844 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3844 3840 3844 3840 3844 3840 3844 3840 3844 3844 3844 3844 3840 3840 3840 3844 3844 3840 3839 3840 3840 3840 3840 3844 3844 3844 3844 3844 3844 3842 3842 3843 3843 3842 3842 3843 3844 3844 3844 3842 3843 3842 3841 3842 3842 3844 3844 3842 3844 3842 3842 3842 3842 3842 3841 3842 3842 3842 3842 3842 3844 3842 3844 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3842 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3842 3844 3842 3844 3842 3844 3842 3844 3842 3844 3842 3844 3842 3842 3844 3842 3842 3842 3842 3842 3842 3843 3843 3843 3843 3843 3843 3840 3840 3843 3843 3840 3840 3840 3840 3840 3840 3840 3840 3843 3843 3843 3843 3843 3843 3840 3840 3843 3843 3840 3840 3840 3840 3840 3840 3840 3840 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3844 3843 3844 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3844 3844 3844 3844 3844 3844 3844 3841 3844 3844 3844 3841 3844 3844 3844 3844 3841 3841 3844 3841 3844 3844 3844 3844 3844 3841 3841 3844 3844 3841 3844 3844 3844 3844 3841 3841 3844 3844 3844 3841 3844 3841 3844 3841 3844 3841 3841 3841 3841 3841 3841 3841 3844 3841 3844 3841 3844 3844 3841 3844 3844 3844 3841 3844 3844 3841 3844 3844 3841 3844 3841 3841 3844 3841 3841 3841 3844 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3844 3844 3844 3844 3844 3841 3844 3844 3844 3841 3844 3844 3844 3844 3844 3841 3844 3844 3841 3844 3841 3841 3841 3841 3842 3838 3841 3837 3839 3843 3839 3840 3844 3841 3840 3840 3844 3844 3840 3840 3844 3844 3839 3836 3844 3840 3841 3837 3839 3840 3839 3840 3844 3844 3839 3844 3840 3844 3844 3844 3839 3844 3838 3844 3844 3837 3841 3844 3841 3844 3841 3841 3844 3841 3841 3841 3844 3841 3841 3841 3844 3841 3841 3841 3840 3840 3841 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3841 3841 3841 3841 3841 3841 3844 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3843 3841 3841 3838 3838 3838 3838 3838 3838 3838 3838 3838 3838 3838 3838 3838 3838 3838 3840 3841 3838 3838 3838 3839 3839 3840 3844 3841 3840 3837 3843 3843 3843 3843 3843 3843 3843 3836 3843 3843 3843 3843 3837 3840 3843 3843 3837 3837 3843 3843 3843 3843 3843 3843 3843 3836 3843 3843 3843 3843 3841 3841 3841 3841 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3841 3843 3843 3843 3843 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3844 3844 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3844 3844 3844 3840 3840 3840 3840 3840 3840 3844 3844 3840 3840 3840 3840 3840 3840 3840 3840 3844 3840 3840 3840 3840 3840 3840 3840 3840 3844 3840 3840 3840 3844 3840 3840 3840 3844 3840 3844 3844 3840 3840 3840 3840 3844 3844 3840 3840 3840 3840 3840 3844 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3843 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3840 3841 3841 3841 3841 3841 3841 3841 3841 3843 3843 3841 3841 3843 3841 3841 3843 3841 3843 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3844 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3844 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3843 3843 3843 3843 3843 3843 3840 3840 3843 3843 3840 3844 3840 3840 3840 3840 3840 3840 3843 3843 3843 3843 3843 3843 3840 3840 3843 3843 3840 3840 3840 3840 3840 3840 3840 3840 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3844 3843 3843 3844 3844 3844 3844 3844 3844 3843 3843 3844 3844 3844 3843 3843 3843 3843 3843 3843 3841 3844 3841 3841 3844 3844 3841 3841 3844 3844 3844 3841 3841 3841 3841 3841 3841 3841 3841 3844 3841 3841 3844 3844 3841 3841 3844 3844 3844 3844 3841 3841 3841 3841 3841 3841 3841 3844 3841 3841 3841 3844 3841 3841 3841 3844 3844 3841 3841 3841 3841 3841 3841 3841 3844 3844 3844 3844 3841 3841 3844 3844 3841 3841 3844 3844 3844 3844 3844 3841 3844 3844 3841 3844 3841 3844 3841 3844 3841 3844 3841 3844 3844 3844 3844 3841 3841 3841 3844 3844 3844 3844 3844 3844 3841 3841 3844 3844 3841 3841 3844 3844 3844 3844 3844 3841 3844 3844 3841 3841 3844 3841 3841 3841 3840 3840 3841 3840 3839 3843 3844 3842 3843 3843 3842 3842 3842 3842 3842 3842 3842 3844 3842 3842 3842 3842 3842 3842 3843 3843 3839 3844 3842 3842 3842 3842 3842 3842 3844 3844 3842 3842 3842 3842 3842 3842 3844 3844 3842 3842 3842 3844 3842 3842 3842 3842 3842 3844 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3842 3842 3842 3842 3844 3842 3844 3844 3842 3842 3842 3842 3842 3842 3844 3844 3844 3844 3844 3842 3844 3844 3844 3842 3844 3844 3844 3844 3844 3842 3844 3844 3844 3844 3844 3844 3844 3842 3844 3844 3844 3842 3844 3844 3842 3844 3844 3842 3844 3842 3842 3842 3842 3844 3842 3842 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3839 3842 3843 3843 3844 3844 3842 3843 3844 3844 3842 3843 3844 3842 3842 3842 3842 3844 3842 3842 3843 3844 3842 3842 3843 3843 3843 3843 3842 3843 3842 3842 3842 3842 3843 3843 3842 3842 3843 3843 3844 3844 3844 3843 3844 3844 3842 3843 3844 3842 3842 3842 3842 3844 3842 3844 3844 3844 3842 3844 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3842 3844 3842 3844 3844 3844 3842 3844 3844 3842 3844 3844 3842 3844 3842 3844 3842 3842 3842 3842 3844 3844 3842 3844 3844 3844 3842 3844 3844 3844 3844 3844 3844 3844 3842 3844 3844 3844 3844 3844 3842 3844 3844 3844 3840 3840 3842 3844 3840 3844 3844 3840 3840 3839 3844 3840 3840 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3840 3842 3844 3840 3844 3844 3840 3840 3840 3844 3840 3840 3844 3844 3842 3844 3844 3842 3842 3844 3844 3842 3844 3844 3844 3844 3842 3842 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3842 3844 3840 3844 3844 3842 3844 3844 3844 3844 3844 3844 3842 3844 3842 3842 3842 3844 3842 3844 3844 3844 3842 3842 3842 3842 3842 3842 3844 3844 3844 3844 3842 3842 3844 3844 3842 3844 3844 3844 3844 3842 3842 3844 3842 3844 3842 3844 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3844 3844 3842 3844 3844 3842 3844 3844 3842 3844 3842 3842 3844 3842 3842 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3842 3844 3842 3844 3844 3844 3842 3844 3844 3844 3844 3844 3842 3844 3844 3842 3842 3842 3842 3842 3842 3842 3844 3842 3843 3844 3844 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3842 3842 3840 3844 3840 3840 3844 3844 3840 3842 3844 3840 3840 3840 3840 3844 3840 3844 3840 3840 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3840 3844 3840 3844 3843 3844 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3842 3842 3842 3842 3843 3842 3842 3844 3843 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3843 3844 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3842 3842 3840 3842 3842 3842 3844 3844 3844 3844 3844 3844 3844 3844 3842 3844 3844 3844 3842 3844 3844 3844 3844 3842 3842 3844 3842 3844 3844 3844 3844 3844 3842 3842 3844 3844 3842 3844 3844 3844 3844 3842 3842 3844 3844 3844 3842 3844 3842 3844 3844 3844 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3842 3844 3844 3844 3844 3844 3844 3842 3844 3844 3842 3844 3844 3844 3844 3842 3842 3844 3844 3842 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3842 3844 3842 3842 3844 3842 3842 3842 3842 3838 3842 3842 3841 3842 3841 3841 3841 3841 3841 3841 3841 3841 3841 3844 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3844 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3843 3843 3841 3841 3843 3843 3841 3843 3841 3843 3841 3841 3841 3841 3843 3843 3841 3841 3843 3843 3841 3841 3841 3841 3841 3841 3841 3843 3841 3841 3841 3841 3841 3841 3841 3841 3843 3843 3844 3841 3843 3843 3844 3843 3841 3843 3841 3841 3841 3841 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3841 3841 3841 3843 3843 3841 3841 3841 3841 3841 3841 3843 3843 3843 3843 3843 3843 3843 3841 3843 3843 3843 3843 3841 3841 3843 3843 3841 3841 3843 3843 3843 3843 3843 3843 3843 3841 3843 3843 3843 3843 3841 3841 3841 3841 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3841 3843 3843 3843 3843 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3844 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3844 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3843 3843 3841 3841 3843 3843 3841 3843 3841 3843 3841 3841 3841 3841 3843 3843 3841 3841 3843 3843 3841 3841 3841 3841 3841 3841 3841 3843 3841 3841 3841 3841 3844 3841 3841 3841 3843 3843 3841 3841 3843 3843 3841 3843 3841 3843 3841 3841 3841 3841 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3841 3841 3841 3843 3843 3841 3843 3843 3843 3841 3843 3843 3843 3843 3843 3843 3843 3843 3841 3843 3843 3843 3843 3841 3843 3843 3843 3841 3843 3843 3843 3843 3843 3843 3843 3843 3841 3843 3843 3843 3843 3843 3843 3841 3842 3841 3842 3842 3842 3841 3842 3842 3842 3842 3842 3842 3841 3842 3842 3843 3843 3843 3841 3843 3843 3843 3841 3843 3843 3843 3841 3843 3843 3841 3843 3841 3843 3843 3843 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3843 3843 3843 3841 3843 3844 3843 3841 3843 3843 3843 3841 3843 3843 3841 3843 3841 3843 3841 3843 3843 3841 3841 3841 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3844 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3841 3843 3843 3843 3841 3843 3843 3843 3843 3843 3843 3843 3843 3841 3843 3843 3843 3843 3841 3843 3843 3843 3841 3843 3843 3843 3843 3843 3843 3843 3843 3841 3843 3843 3843 3843 3843 3843 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3843 3843 3843 3841 3843 3843 3843 3841 3843 3843 3843 3841 3843 3843 3841 3843 3841 3843 3843 3843 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3841 3843 3843 3843 3841 3843 3843 3843 3841 3843 3843 3843 3841 3843 3843 3841 3843 3841 3843 3841 3843 3843 3841 3841 3841 3843 3841 3843 3843 3841 3843 3844 3844 3840 3842 3844 3844 3842 3842 3842 3842 3842 3844 3842 3842 3842 3842 3842 3842 3844 3844 3840 3842 3842 3844 3842 3842 3842 3844 3844 3844 3842 3842 3842 3842 3842 3842 3844 3844 3844 3844 3844 3844 3842 3844 3842 3842 3842 3844 3842 3842 3842 3842 3842 3842 3844 3842 3842 3842 3842 3842 3842 3844 3842 3842 3844 3844 3842 3844 3842 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3842 3842 3842 3844 3844 3842 3842 3844 3844 3842 3844 3844 3842 3844 3842 3842 3842 3842 3844 3842 3842 3844 3842 3840 3842 3844 3844 3842 3842 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3840 3842 3842 3844 3842 3842 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3842 3844 3844 3842 3844 3844 3844 3842 3844 3844 3844 3844 3844 3842 3844 3844 3842 3844 3842 3842 3842 3844 3844 3842 3842 3844 3844 3842 3844 3844 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3842 3842 3842 3844 3844 3842 3842 3844 3844 3842 3844 3844 3842 3844 3842 3842 3842 3842 3844 3842 3842 3844 3844 3844 3844 3842 3844 3842 3844 3842 3842 3842 3844 3842 3842 3842 3842 3842 3842 3844 3844 3840 3844 3840 3844 3840 3844 3840 3844 3844 3844 3844 3844 3840 3840 3844 3844 3844 3844 3842 3844 3842 3844 3842 3844 3842 3842 3842 3844 3842 3842 3842 3842 3842 3842 3844 3842 3840 3840 3844 3844 3840 3844 3844 3844 3844 3844 3844 3844 3840 3844 3844 3844 3842 3842 3842 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3842 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3842 3842 3840 3842 3842 3842 3844 3842 3842 3842 3844 3844 3842 3842 3842 3842 3842 3842 3842 3844 3842 3842 3842 3842 3844 3842 3842 3842 3844 3844 3842 3842 3842 3842 3842 3842 3842 3844 3842 3842 3842 3842 3844 3842 3844 3842 3844 3842 3842 3844 3844 3842 3842 3844 3844 3844 3844 3842 3842 3844 3844 3842 3844 3842 3844 3844 3844 3842 3844 3844 3844 3842 3844 3844 3844 3844 3842 3844 3844 3842 3844 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3842 3844 3842 3844 3842 3844 3844 3844 3842 3844 3844 3844 3842 3844 3844 3844 3844 3842 3844 3842 3842 3844 3842 3842 3842 3844 3844 3844 3844 3842 3844 3844 3844 3842 3844 3844 3844 3844 3844 3844 3842 3844 3844 3844 3844 3844 3844 3840 3844 3844 3844 3840 3844 3844 3844 3844 3844 3844 3840 3844 3844 3844 3844 3842 3844 3842 3844 3842 3844 3842 3842 3844 3844 3842 3844 3842 3842 3844 3842 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3842 3842 3842 3842 3844 3844 3842 3842 3842 3842 3844 3842 3842 3844 3842 3844 3842 3842 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3842 3842 3844 3842 3844 3842 3844 3842 3844 3842 3844 3844 3844 3842 3842 3842 3844 3844 3842 3844 3842 3844 3844 3842 3844 3842 3844 3842 3844 3844 3844 3842 3842 3842 3844 3844 3842 3844 3842 3844 3844 3842 3844 3844 3844 3844 3844 3842 3842 3844 3844 3842 3842 3844 3844 3844 3844 3842 3842 3844 3844 3844 3844 3844 3844 3844 3844 3842 3844 3844 3844 3842 3844 3844 3844 3844 3842 3844 3844 3842 3844 3844 3844 3842 3842 3844 3842 3842 3842 3844 3842 3842 3844 3842 3842 3842 3844 3844 3844 3844 3844 3844 3844 3842 3844 3844 3844 3842 3844 3844 3844 3844 3842 3844 3842 3844 3844 3842 3842 3842 3844 3842 3842 3840 3842 3844 3843 3843 3843 3843 3844 3844 3843 3843 3843 3843 3843 3844 3843 3844 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3844 3844 3843 3843 3844 3844 3843 3843 3843 3843 3843 3843 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3844 3844 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3844 3844 3843 3844 3844 3844 3843 3844 3844 3844 3844 3844 3844 3843 3844 3844 3844 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3844 3844 3843 3843 3844 3844 3843 3844 3843 3844 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3844 3843 3844 3843 3844 3844 3844 3844 3844 3844 3844 3843 3844 3844 3844 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3844 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3844 3843 3843 3844 3844 3843 3843 3844 3843 3844 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3844 3843 3843 3843 3843 3843 3844 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3844 3843 3843 3843 3844 3843 3843 3844 3844 3844 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3843 3838 3842 3841 3840 3843 3839 
2406.06/2007.56	v 	</values>
2406.06/2007.56	v </instantiation>

Verifier Data 

OK	3844

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291459-1532236034/watcher-4291459-1532236034 -o /tmp/evaluation-result-4291459-1532236034/solver-4291459-1532236034 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532226565-30210 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 357089391 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291459-1532236034.xml 

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

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


[startup+0.100167 s]*
/proc/loadavg: 1.79 1.65 1.88 3/215 31328
/proc/meminfo: memFree=16603508/32770624 swapFree=67108860/67108860
[pid=31313] ppid=31310 vsize=14082740 memory=33356 CPUtime=0.11 cores=0,2,4,6
/proc/31313/stat : 31313 (java) S 31310 31313 30179 0 -1 1077944320 7255 0 0 0 10 1 0 0 20 0 15 0 41166552 14420725760 8339 33554432000 4194304 4196468 140737100163088 140737100145632 140252703153911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
/proc/31313/statm: 3520685 8339 3138 1 0 3482761 0
[pid=31313/tid=31315] ppid=31310 vsize=14082740 memory=-8557575366716199040 CPUtime=0.09 cores=0,2,4,6
/proc/31313/task/31315/stat : 31315 (java) R 31310 31313 30179 0 -1 4202560 5339 0 0 0 8 1 0 0 20 0 15 0 41166552 14420725760 8339 33554432000 4194304 4196468 140737100163088 140252707385472 140252687234398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31316] ppid=31310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31316/stat : 31316 (java) S 31310 31313 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41166553 14420725760 8339 33554432000 4194304 4196468 140737100163088 140252633242640 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31317] ppid=31310 vsize=14082740 memory=139697253803648 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31317/stat : 31317 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166553 14420725760 8339 33554432000 4194304 4196468 140737100163088 140252632190096 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31318] ppid=31310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31318/stat : 31318 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166553 14420725760 8339 33554432000 4194304 4196468 140737100163088 140252631137040 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31319] ppid=31310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31319/stat : 31319 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166553 14420725760 8339 33554432000 4194304 4196468 140737100163088 140252630084496 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31320] ppid=31310 vsize=14082740 memory=139697253803648 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31320/stat : 31320 (java) S 31310 31313 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41166554 14420725760 8339 33554432000 4194304 4196468 140737100163088 140251614787824 140252703165058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31321] ppid=31310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31321/stat : 31321 (java) S 31310 31313 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41166555 14420725760 8339 33554432000 4194304 4196468 140737100163088 140251613734048 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31322] ppid=31310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31322/stat : 31322 (java) S 31310 31313 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41166555 14420725760 8339 33554432000 4194304 4196468 140737100163088 140251612680944 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31323] ppid=31310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31323/stat : 31323 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166557 14420725760 8339 33554432000 4194304 4196468 140737100163088 140251611629520 140252703172507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31324] ppid=31310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31324/stat : 31324 (java) S 31310 31313 30179 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 41166557 14420725760 8339 33554432000 4194304 4196468 140737100163088 140251610577648 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31325] ppid=31310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31325/stat : 31325 (java) S 31310 31313 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41166557 14420725760 8339 33554432000 4194304 4196468 140737100163088 140251609525104 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31326] ppid=31310 vsize=14082740 memory=139697253803648 CPUtime=0.01 cores=0,2,4,6
/proc/31313/task/31326/stat : 31326 (java) S 31310 31313 30179 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 15 0 41166558 14420725760 8339 33554432000 4194304 4196468 140737100163088 140251608472048 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31327] ppid=31310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31327/stat : 31327 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166558 14420725760 8339 33554432000 4194304 4196468 140737100163088 140251607419744 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31328] ppid=31310 vsize=14082740 memory=139697253803648 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31328/stat : 31328 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166558 14420725760 8339 33554432000 4194304 4196468 140737100163088 140251606366768 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33356 KiB

[startup+0.21029 s]*
/proc/loadavg: 1.79 1.65 1.88 4/215 31328
/proc/meminfo: memFree=16587432/32770624 swapFree=67108860/67108860
[pid=31313] ppid=31310 vsize=14082740 memory=46976 CPUtime=0.31 cores=0,2,4,6
/proc/31313/stat : 31313 (java) S 31310 31313 30179 0 -1 1077944320 10335 0 0 0 29 2 0 0 20 0 15 0 41166552 14420725760 11744 33554432000 4194304 4196468 140737100163088 140737100145632 140252703153911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
/proc/31313/statm: 3520685 11744 3378 1 0 3482761 0
[pid=31313/tid=31315] ppid=31310 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/31313/task/31315/stat : 31315 (java) R 31310 31313 30179 0 -1 4202560 8058 0 0 0 18 1 0 0 20 0 15 0 41166552 14420725760 11744 33554432000 4194304 4196468 140737100163088 140252707379808 140252687234398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31316] ppid=31310 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31316/stat : 31316 (java) S 31310 31313 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41166553 14420725760 11744 33554432000 4194304 4196468 140737100163088 140252633242640 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31317] ppid=31310 vsize=14082740 memory=4122957764218873504 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31317/stat : 31317 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166553 14420725760 11744 33554432000 4194304 4196468 140737100163088 140252632190096 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31318] ppid=31310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31318/stat : 31318 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166553 14420725760 11744 33554432000 4194304 4196468 140737100163088 140252631137040 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31319] ppid=31310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31319/stat : 31319 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166553 14420725760 11744 33554432000 4194304 4196468 140737100163088 140252630084496 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31320] ppid=31310 vsize=14082740 memory=139697253803648 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31320/stat : 31320 (java) S 31310 31313 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41166554 14420725760 11744 33554432000 4194304 4196468 140737100163088 140251614787824 140252703165058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31321] ppid=31310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31321/stat : 31321 (java) S 31310 31313 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41166555 14420725760 11744 33554432000 4194304 4196468 140737100163088 140251613734048 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31322] ppid=31310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31322/stat : 31322 (java) S 31310 31313 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41166555 14420725760 11744 33554432000 4194304 4196468 140737100163088 140251612680944 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31323] ppid=31310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31323/stat : 31323 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166557 14420725760 11744 33554432000 4194304 4196468 140737100163088 140251611629520 140252703172507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31324] ppid=31310 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31313/task/31324/stat : 31324 (java) R 31310 31313 30179 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 41166557 14420725760 11744 33554432000 4194304 4196468 140737100163088 140251610577648 140252703165058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31325] ppid=31310 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31313/task/31325/stat : 31325 (java) R 31310 31313 30179 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 15 0 41166557 14420725760 11744 33554432000 4194304 4196468 140737100163088 140251609525104 140252684524224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31326] ppid=31310 vsize=14082740 memory=139697253803648 CPUtime=0.06 cores=0,2,4,6
/proc/31313/task/31326/stat : 31326 (java) R 31310 31313 30179 0 -1 4202560 282 0 0 0 6 0 0 0 20 0 15 0 41166558 14420725760 11744 33554432000 4194304 4196468 140737100163088 140251608472048 140252695391038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31327] ppid=31310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31327/stat : 31327 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166558 14420725760 11744 33554432000 4194304 4196468 140737100163088 140251607419744 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31328] ppid=31310 vsize=14082740 memory=139697253803648 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31328/stat : 31328 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166558 14420725760 11744 33554432000 4194304 4196468 140737100163088 140251606366768 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46976 KiB

[startup+0.310363 s]*
/proc/loadavg: 1.79 1.65 1.88 3/215 31328
/proc/meminfo: memFree=16584144/32770624 swapFree=67108860/67108860
[pid=31313] ppid=31310 vsize=14082740 memory=50108 CPUtime=0.43 cores=0,2,4,6
/proc/31313/stat : 31313 (java) S 31310 31313 30179 0 -1 1077944320 10712 0 0 0 41 2 0 0 20 0 15 0 41166552 14420725760 12527 33554432000 4194304 4196468 140737100163088 140737100145632 140252703153911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
/proc/31313/statm: 3520685 12527 3379 1 0 3482761 0
[pid=31313/tid=31315] ppid=31310 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/31313/task/31315/stat : 31315 (java) R 31310 31313 30179 0 -1 4202560 8407 0 0 0 28 1 0 0 20 0 15 0 41166552 14420725760 12527 33554432000 4194304 4196468 140737100163088 140252707362608 140252703175837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31316] ppid=31310 vsize=14082740 memory=288230604707987479 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31316/stat : 31316 (java) S 31310 31313 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41166553 14420725760 12527 33554432000 4194304 4196468 140737100163088 140252633242640 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31317] ppid=31310 vsize=14082740 memory=4050054645739185824 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31317/stat : 31317 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166553 14420725760 12527 33554432000 4194304 4196468 140737100163088 140252632190096 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31318] ppid=31310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31318/stat : 31318 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166553 14420725760 12527 33554432000 4194304 4196468 140737100163088 140252631137040 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31319] ppid=31310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31319/stat : 31319 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166553 14420725760 12527 33554432000 4194304 4196468 140737100163088 140252630084496 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31320] ppid=31310 vsize=14082740 memory=139697253803648 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31320/stat : 31320 (java) S 31310 31313 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41166554 14420725760 12527 33554432000 4194304 4196468 140737100163088 140251614787824 140252703165058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31321] ppid=31310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31321/stat : 31321 (java) S 31310 31313 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41166555 14420725760 12527 33554432000 4194304 4196468 140737100163088 140251613734048 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31322] ppid=31310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31322/stat : 31322 (java) S 31310 31313 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41166555 14420725760 12527 33554432000 4194304 4196468 140737100163088 140251612680944 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31323] ppid=31310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31323/stat : 31323 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166557 14420725760 12527 33554432000 4194304 4196468 140737100163088 140251611629520 140252703172507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31324] ppid=31310 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31313/task/31324/stat : 31324 (java) S 31310 31313 30179 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 15 0 41166557 14420725760 12527 33554432000 4194304 4196468 140737100163088 140251610577648 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31325] ppid=31310 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31313/task/31325/stat : 31325 (java) S 31310 31313 30179 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 15 0 41166557 14420725760 12527 33554432000 4194304 4196468 140737100163088 140251609525104 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31326] ppid=31310 vsize=14082740 memory=139697253803648 CPUtime=0.08 cores=0,2,4,6
/proc/31313/task/31326/stat : 31326 (java) R 31310 31313 30179 0 -1 4202560 301 0 0 0 8 0 0 0 20 0 15 0 41166558 14420725760 12527 33554432000 4194304 4196468 140737100163088 140251608472048 140252695871063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31327] ppid=31310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31327/stat : 31327 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166558 14420725760 12527 33554432000 4194304 4196468 140737100163088 140251607419744 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31328] ppid=31310 vsize=14082740 memory=139697253803648 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31328/stat : 31328 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166558 14420725760 12527 33554432000 4194304 4196468 140737100163088 140251606366768 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50108 KiB

[startup+0.700813 s]
/proc/loadavg: 1.79 1.65 1.88 3/215 31328
/proc/meminfo: memFree=16560084/32770624 swapFree=67108860/67108860
[pid=31313] ppid=31310 vsize=14084808 memory=88900 CPUtime=1 cores=0,2,4,6
/proc/31313/stat : 31313 (java) S 31310 31313 30179 0 -1 1077944320 17595 0 0 0 96 4 0 0 20 0 15 0 41166552 14422843392 22225 33554432000 4194304 4196468 140737100163088 140737100145632 140252703153911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
/proc/31313/statm: 3521202 22225 3499 1 0 3483273 0
[pid=31313/tid=31315] ppid=31310 vsize=14084808 memory=1724 CPUtime=0.67 cores=0,2,4,6
/proc/31313/task/31315/stat : 31315 (java) R 31310 31313 30179 0 -1 4202560 14862 0 0 0 64 3 0 0 20 0 15 0 41166552 14422843392 22225 33554432000 4194304 4196468 140737100163088 140252707368848 140252687234398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31316] ppid=31310 vsize=14084808 memory=10928 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31316/stat : 31316 (java) S 31310 31313 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41166553 14422843392 22225 33554432000 4194304 4196468 140737100163088 140252633242640 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31317] ppid=31310 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31317/stat : 31317 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166553 14422843392 22225 33554432000 4194304 4196468 140737100163088 140252632190096 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31318] ppid=31310 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31318/stat : 31318 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166553 14422843392 22225 33554432000 4194304 4196468 140737100163088 140252631137040 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31319] ppid=31310 vsize=14084808 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31319/stat : 31319 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166553 14422843392 22225 33554432000 4194304 4196468 140737100163088 140252630084496 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31320] ppid=31310 vsize=14084808 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31320/stat : 31320 (java) S 31310 31313 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41166554 14422843392 22225 33554432000 4194304 4196468 140737100163088 140251614787824 140252703165058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31321] ppid=31310 vsize=14084808 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31321/stat : 31321 (java) S 31310 31313 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41166555 14422843392 22225 33554432000 4194304 4196468 140737100163088 140251613734048 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31322] ppid=31310 vsize=14084808 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31322/stat : 31322 (java) S 31310 31313 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41166555 14422843392 22225 33554432000 4194304 4196468 140737100163088 140251612680944 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31323] ppid=31310 vsize=14084808 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31323/stat : 31323 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166557 14422843392 22225 33554432000 4194304 4196468 140737100163088 140251611629520 140252703172507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31324] ppid=31310 vsize=14084808 memory=4639098309541129069 CPUtime=0.07 cores=0,2,4,6
/proc/31313/task/31324/stat : 31324 (java) S 31310 31313 30179 0 -1 1077944384 525 0 0 0 7 0 0 0 20 0 15 0 41166557 14422843392 22225 33554432000 4194304 4196468 140737100163088 140251610577648 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31325] ppid=31310 vsize=14084808 memory=7380106142448643183 CPUtime=0.08 cores=0,2,4,6
/proc/31313/task/31325/stat : 31325 (java) S 31310 31313 30179 0 -1 1077944384 415 0 0 0 8 0 0 0 20 0 15 0 41166557 14422843392 22225 33554432000 4194304 4196468 140737100163088 140251609525104 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31326] ppid=31310 vsize=14084808 memory=7810487918915055718 CPUtime=0.15 cores=0,2,4,6
/proc/31313/task/31326/stat : 31326 (java) S 31310 31313 30179 0 -1 1077944384 411 0 0 0 15 0 0 0 20 0 15 0 41166558 14422843392 22225 33554432000 4194304 4196468 140737100163088 140251608472048 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31327] ppid=31310 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31327/stat : 31327 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166558 14422843392 22225 33554432000 4194304 4196468 140737100163088 140251607419744 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31328] ppid=31310 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31328/stat : 31328 (java) S 31310 31313 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41166558 14422843392 22225 33554432000 4194304 4196468 140737100163088 140251606366768 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88900 KiB

[startup+1.50154 s]
/proc/loadavg: 1.79 1.65 1.88 6/215 31328
/proc/meminfo: memFree=16485924/32770624 swapFree=67108860/67108860
[pid=31313] ppid=31310 vsize=14086856 memory=287768 CPUtime=3.36 cores=0,2,4,6
/proc/31313/stat : 31313 (java) S 31310 31313 30179 0 -1 1077944320 22690 0 0 0 325 11 0 0 20 0 15 0 41166552 14424940544 71942 33554432000 4194304 4196468 140737100163088 140737100145632 140252703153911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
/proc/31313/statm: 3521714 71942 3568 1 0 3483785 0
[pid=31313/tid=31315] ppid=31310 vsize=14086856 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/31313/task/31315/stat : 31315 (java) R 31310 31313 30179 0 -1 4202560 15491 0 0 0 135 5 0 0 20 0 15 0 41166552 14424940544 71942 33554432000 4194304 4196468 140737100163088 140252707388056 140252312067135 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31316] ppid=31310 vsize=14086856 memory=-6951259422114956437 CPUtime=0.06 cores=0,2,4,6
/proc/31313/task/31316/stat : 31316 (java) S 31310 31313 30179 0 -1 1077944384 165 0 0 0 5 1 0 0 20 0 15 0 41166553 14424940544 71942 33554432000 4194304 4196468 140737100163088 140252633242640 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31317] ppid=31310 vsize=14086856 memory=-6509546260019855295 CPUtime=0.02 cores=0,2,4,6
/proc/31313/task/31317/stat : 31317 (java) S 31310 31313 30179 0 -1 1077944384 52 0 0 0 2 0 0 0 20 0 15 0 41166553 14424940544 71942 33554432000 4194304 4196468 140737100163088 140252632190096 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31318] ppid=31310 vsize=14086856 memory=-7390251449858225344 CPUtime=0.05 cores=0,2,4,6
/proc/31313/task/31318/stat : 31318 (java) S 31310 31313 30179 0 -1 1077944384 354 0 0 0 4 1 0 0 20 0 15 0 41166553 14424940544 71942 33554432000 4194304 4196468 140737100163088 140252631137040 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31319] ppid=31310 vsize=14086856 memory=4134692831991786133 CPUtime=0.03 cores=0,2,4,6
/proc/31313/task/31319/stat : 31319 (java) S 31310 31313 30179 0 -1 1077944384 190 0 0 0 3 0 0 0 20 0 15 0 41166553 14424940544 71942 33554432000 4194304 4196468 140737100163088 140252630084496 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31320] ppid=31310 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31320/stat : 31320 (java) S 31310 31313 30179 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 41166554 14424940544 71942 33554432000 4194304 4196468 140737100163088 140251614787824 140252703165058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0

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

[pid=31313/tid=31319] ppid=31310 vsize=14093000 memory=11714396 CPUtime=124.46 cores=0,2,4,6
/proc/31313/task/31319/stat : 31319 (java) S 31310 31313 30179 0 -1 1077944384 221170 0 0 0 12095 351 0 0 20 0 15 0 41166553 14431232000 2928599 33554432000 4194304 4196468 140737100163088 140252630084496 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31320] ppid=31310 vsize=14093000 memory=11714396 CPUtime=9.29 cores=0,2,4,6
/proc/31313/task/31320/stat : 31320 (java) S 31310 31313 30179 0 -1 1077944384 92112 0 0 0 916 13 0 0 20 0 15 0 41166554 14431232000 2928599 33554432000 4194304 4196468 140737100163088 140251614787824 140252703165058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31321] ppid=31310 vsize=14093000 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31321/stat : 31321 (java) S 31310 31313 30179 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 41166555 14431232000 2928599 33554432000 4194304 4196468 140737100163088 140251613734112 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31322] ppid=31310 vsize=14093000 memory=11714396 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31322/stat : 31322 (java) S 31310 31313 30179 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 41166555 14431232000 2928599 33554432000 4194304 4196468 140737100163088 140251612680960 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31323] ppid=31310 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31323/stat : 31323 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166557 14431232000 2928599 33554432000 4194304 4196468 140737100163088 140251611629520 140252703172507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31324] ppid=31310 vsize=14093000 memory=11714396 CPUtime=4.51 cores=0,2,4,6
/proc/31313/task/31324/stat : 31324 (java) S 31310 31313 30179 0 -1 1077944384 19965 0 0 0 448 3 0 0 20 0 15 0 41166557 14431232000 2928599 33554432000 4194304 4196468 140737100163088 140251610577648 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31325] ppid=31310 vsize=14093000 memory=11732536 CPUtime=4.62 cores=0,2,4,6
/proc/31313/task/31325/stat : 31325 (java) S 31310 31313 30179 0 -1 1077944384 19070 0 0 0 459 3 0 0 20 0 15 0 41166557 14431232000 2928599 33554432000 4194304 4196468 140737100163088 140251609525104 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31326] ppid=31310 vsize=14093000 memory=1296 CPUtime=1.44 cores=0,2,4,6
/proc/31313/task/31326/stat : 31326 (java) S 31310 31313 30179 0 -1 1077944384 42032 0 0 0 139 5 0 0 20 0 15 0 41166558 14431232000 2928599 33554432000 4194304 4196468 140737100163088 140251608472048 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31327] ppid=31310 vsize=14093000 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31327/stat : 31327 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166558 14431232000 2928599 33554432000 4194304 4196468 140737100163088 140251607419744 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31328] ppid=31310 vsize=14093000 memory=11714396 CPUtime=1.25 cores=0,2,4,6
/proc/31313/task/31328/stat : 31328 (java) S 31310 31313 30179 0 -1 1077944384 1442 0 0 0 62 63 0 0 20 0 15 0 41166558 14431232000 2928599 33554432000 4194304 4196468 140737100163088 140251606366768 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
Current children cumulated CPU time: 2345.58 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 11714396 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2006 s]*
/proc/loadavg: 1.63 1.68 1.76 6/216 31470
/proc/meminfo: memFree=10096108/32770624 swapFree=67108860/67108860
[pid=31313] ppid=31310 vsize=14093000 memory=11721876 CPUtime=2400.18 cores=0,2,4,6
/proc/31313/stat : 31313 (java) S 31310 31313 30179 0 -1 1077944320 1776743 0 0 0 238290 1728 0 0 20 0 15 0 41166552 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140737100145632 140252703153911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
/proc/31313/statm: 3523250 2930469 3630 1 0 3485321 0
[pid=31313/tid=31315] ppid=31310 vsize=14093000 memory=6791534058613427641 CPUtime=1866.46 cores=0,2,4,6
/proc/31313/task/31315/stat : 31315 (java) S 31310 31313 30179 0 -1 1077944384 749101 0 0 0 186533 113 0 0 20 0 15 0 41166552 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252707391664 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31316] ppid=31310 vsize=14093000 memory=4126316290023845779 CPUtime=127.8 cores=0,2,4,6
/proc/31313/task/31316/stat : 31316 (java) R 31310 31313 30179 0 -1 4202560 198658 0 0 0 12387 393 0 0 20 0 15 0 41166553 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252633242640 140252696258569 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31317] ppid=31310 vsize=14093000 memory=840 CPUtime=127.96 cores=0,2,4,6
/proc/31313/task/31317/stat : 31317 (java) R 31310 31313 30179 0 -1 4202560 213298 0 0 0 12403 393 0 0 20 0 15 0 41166553 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252632190096 140252688149991 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31318] ppid=31310 vsize=14093000 memory=1796 CPUtime=128 cores=0,2,4,6
/proc/31313/task/31318/stat : 31318 (java) R 31310 31313 30179 0 -1 4202560 207176 0 0 0 12413 387 0 0 20 0 15 0 41166553 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252631136928 140252687854607 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31319] ppid=31310 vsize=14093000 memory=916 CPUtime=128.11 cores=0,2,4,6
/proc/31313/task/31319/stat : 31319 (java) R 31310 31313 30179 0 -1 4202560 226787 0 0 0 12443 368 0 0 20 0 15 0 41166553 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252630084496 140252687854558 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31320] ppid=31310 vsize=14093000 memory=3844 CPUtime=9.89 cores=0,2,4,6
/proc/31313/task/31320/stat : 31320 (java) S 31310 31313 30179 0 -1 1077944384 97687 0 0 0 976 13 0 0 20 0 15 0 41166554 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251614786368 140252703164117 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31321] ppid=31310 vsize=14093000 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31321/stat : 31321 (java) S 31310 31313 30179 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 41166555 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251613734112 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31322] ppid=31310 vsize=14093000 memory=2772 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31322/stat : 31322 (java) S 31310 31313 30179 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 41166555 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251612680960 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31323] ppid=31310 vsize=14093000 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31323/stat : 31323 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166557 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251611629520 140252703172507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31324] ppid=31310 vsize=14093000 memory=1408 CPUtime=4.51 cores=0,2,4,6
/proc/31313/task/31324/stat : 31324 (java) S 31310 31313 30179 0 -1 1077944384 19972 0 0 0 448 3 0 0 20 0 15 0 41166557 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251610577408 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31325] ppid=31310 vsize=14093000 memory=3276 CPUtime=4.62 cores=0,2,4,6
/proc/31313/task/31325/stat : 31325 (java) S 31310 31313 30179 0 -1 1077944384 19084 0 0 0 459 3 0 0 20 0 15 0 41166557 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251609525152 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31326] ppid=31310 vsize=14093000 memory=11718596 CPUtime=1.44 cores=0,2,4,6
/proc/31313/task/31326/stat : 31326 (java) S 31310 31313 30179 0 -1 1077944384 42037 0 0 0 139 5 0 0 20 0 15 0 41166558 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251608472096 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31327] ppid=31310 vsize=14093000 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31327/stat : 31327 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166558 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251607419744 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31328] ppid=31310 vsize=14093000 memory=3140 CPUtime=1.27 cores=0,2,4,6
/proc/31313/task/31328/stat : 31328 (java) S 31310 31313 30179 0 -1 1077944384 1481 0 0 0 63 64 0 0 20 0 15 0 41166558 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251606366768 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
Current children cumulated CPU time: 2400.18 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 11721876 KiB

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

[startup+2007.64 s]
# the end of solver process 31313 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2388.86 s, system=17.3397 s

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

[startup+2006.4 s]
/proc/loadavg: 1.63 1.68 1.76 6/216 31470
/proc/meminfo: memFree=10096108/32770624 swapFree=67108860/67108860
[pid=31313] ppid=31310 vsize=14093000 memory=11721876 CPUtime=2401.74 cores=0,2,4,6
/proc/31313/stat : 31313 (java) S 31310 31313 30179 0 -1 1077944320 1776748 0 0 0 238446 1728 0 0 20 0 15 0 41166552 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140737100145632 140252703153911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
/proc/31313/statm: 3523250 2930469 3630 1 0 3485321 0
[pid=31313/tid=31315] ppid=31310 vsize=14093000 memory=1712 CPUtime=1866.46 cores=0,2,4,6
/proc/31313/task/31315/stat : 31315 (java) S 31310 31313 30179 0 -1 1077944384 749101 0 0 0 186533 113 0 0 20 0 15 0 41166552 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252707391664 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31316] ppid=31310 vsize=14093000 memory=5404 CPUtime=128.19 cores=0,2,4,6
/proc/31313/task/31316/stat : 31316 (java) R 31310 31313 30179 0 -1 4202560 198658 0 0 0 12426 393 0 0 20 0 15 0 41166553 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252633242760 140252687642843 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31317] ppid=31310 vsize=14093000 memory=6791534058613427641 CPUtime=128.35 cores=0,2,4,6
/proc/31313/task/31317/stat : 31317 (java) R 31310 31313 30179 0 -1 4202560 213298 0 0 0 12442 393 0 0 20 0 15 0 41166553 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252632190216 140252696258594 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31318] ppid=31310 vsize=14093000 memory=14260 CPUtime=128.39 cores=0,2,4,6
/proc/31313/task/31318/stat : 31318 (java) R 31310 31313 30179 0 -1 4202560 207176 0 0 0 12452 387 0 0 20 0 15 0 41166553 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252631136928 140252687852622 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31319] ppid=31310 vsize=14093000 memory=2428 CPUtime=128.5 cores=0,2,4,6
/proc/31313/task/31319/stat : 31319 (java) R 31310 31313 30179 0 -1 4202560 226787 0 0 0 12482 368 0 0 20 0 15 0 41166553 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252630084696 140252687854607 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31320] ppid=31310 vsize=14093000 memory=11718596 CPUtime=9.89 cores=0,2,4,6
/proc/31313/task/31320/stat : 31320 (java) S 31310 31313 30179 0 -1 1077944384 97687 0 0 0 976 13 0 0 20 0 15 0 41166554 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251614786368 140252703164117 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31321] ppid=31310 vsize=14093000 memory=11718596 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31321/stat : 31321 (java) S 31310 31313 30179 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 41166555 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251613734112 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31322] ppid=31310 vsize=14093000 memory=11718488 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31322/stat : 31322 (java) S 31310 31313 30179 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 41166555 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251612680960 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31323] ppid=31310 vsize=14093000 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31323/stat : 31323 (java) S 31310 31313 30179 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41166557 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251611629168 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31324] ppid=31310 vsize=14093000 memory=10928 CPUtime=4.51 cores=0,2,4,6
/proc/31313/task/31324/stat : 31324 (java) S 31310 31313 30179 0 -1 1077944384 19972 0 0 0 448 3 0 0 20 0 15 0 41166557 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251610577408 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31325] ppid=31310 vsize=14093000 memory=1228 CPUtime=4.62 cores=0,2,4,6
/proc/31313/task/31325/stat : 31325 (java) S 31310 31313 30179 0 -1 1077944384 19084 0 0 0 459 3 0 0 20 0 15 0 41166557 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251609525152 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31326] ppid=31310 vsize=14093000 memory=4612 CPUtime=1.44 cores=0,2,4,6
/proc/31313/task/31326/stat : 31326 (java) S 31310 31313 30179 0 -1 1077944384 42037 0 0 0 139 5 0 0 20 0 15 0 41166558 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251608472096 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31327] ppid=31310 vsize=14093000 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31327/stat : 31327 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166558 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251607419744 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31328] ppid=31310 vsize=14093000 memory=1200 CPUtime=1.27 cores=0,2,4,6
/proc/31313/task/31328/stat : 31328 (java) S 31310 31313 30179 0 -1 1077944384 1481 0 0 0 63 64 0 0 20 0 15 0 41166558 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251606366768 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
Current children cumulated CPU time: 2401.74 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 11721876 KiB

[startup+2007.2 s]
/proc/loadavg: 1.63 1.68 1.76 6/216 31470
/proc/meminfo: memFree=10096480/32770624 swapFree=67108860/67108860
[pid=31313] ppid=31310 vsize=14093000 memory=11721876 CPUtime=2404.92 cores=0,2,4,6
/proc/31313/stat : 31313 (java) S 31310 31313 30179 0 -1 1077944320 1776750 0 0 0 238764 1728 0 0 20 0 15 0 41166552 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140737100145632 140252703153911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
/proc/31313/statm: 3523250 2930469 3630 1 0 3485321 0
[pid=31313/tid=31315] ppid=31310 vsize=14093000 memory=6791534058613427641 CPUtime=1866.46 cores=0,2,4,6
/proc/31313/task/31315/stat : 31315 (java) S 31310 31313 30179 0 -1 1077944384 749101 0 0 0 186533 113 0 0 20 0 15 0 41166552 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252707391664 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31316] ppid=31310 vsize=14093000 memory=1008 CPUtime=128.99 cores=0,2,4,6
/proc/31313/task/31316/stat : 31316 (java) R 31310 31313 30179 0 -1 4202560 198658 0 0 0 12506 393 0 0 20 0 15 0 41166553 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252633242760 140252687854547 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31317] ppid=31310 vsize=14093000 memory=1712 CPUtime=129.15 cores=0,2,4,6
/proc/31313/task/31317/stat : 31317 (java) R 31310 31313 30179 0 -1 4202560 213298 0 0 0 12522 393 0 0 20 0 15 0 41166553 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252632190216 140252687611416 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31318] ppid=31310 vsize=14093000 memory=5404 CPUtime=129.17 cores=0,2,4,6
/proc/31313/task/31318/stat : 31318 (java) R 31310 31313 30179 0 -1 4202560 207177 0 0 0 12530 387 0 0 20 0 15 0 41166553 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252631136928 140252688151852 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31319] ppid=31310 vsize=14093000 memory=4612 CPUtime=129.3 cores=0,2,4,6
/proc/31313/task/31319/stat : 31319 (java) R 31310 31313 30179 0 -1 4202560 226788 0 0 0 12562 368 0 0 20 0 15 0 41166553 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140252630084696 140252687853731 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31320] ppid=31310 vsize=14093000 memory=11721876 CPUtime=9.89 cores=0,2,4,6
/proc/31313/task/31320/stat : 31320 (java) S 31310 31313 30179 0 -1 1077944384 97687 0 0 0 976 13 0 0 20 0 15 0 41166554 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251614786368 140252703164117 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31321] ppid=31310 vsize=14093000 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31321/stat : 31321 (java) S 31310 31313 30179 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 41166555 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251613734112 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31322] ppid=31310 vsize=14093000 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31322/stat : 31322 (java) S 31310 31313 30179 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 41166555 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251612680960 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31323] ppid=31310 vsize=14093000 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31323/stat : 31323 (java) S 31310 31313 30179 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41166557 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251611629168 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31324] ppid=31310 vsize=14093000 memory=1200 CPUtime=4.51 cores=0,2,4,6
/proc/31313/task/31324/stat : 31324 (java) S 31310 31313 30179 0 -1 1077944384 19972 0 0 0 448 3 0 0 20 0 15 0 41166557 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251610577408 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31325] ppid=31310 vsize=14093000 memory=1952 CPUtime=4.62 cores=0,2,4,6
/proc/31313/task/31325/stat : 31325 (java) S 31310 31313 30179 0 -1 1077944384 19084 0 0 0 459 3 0 0 20 0 15 0 41166557 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251609525152 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31326] ppid=31310 vsize=14093000 memory=8368 CPUtime=1.44 cores=0,2,4,6
/proc/31313/task/31326/stat : 31326 (java) S 31310 31313 30179 0 -1 1077944384 42037 0 0 0 139 5 0 0 20 0 15 0 41166558 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251608472096 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31327] ppid=31310 vsize=14093000 memory=11721876 CPUtime=0 cores=0,2,4,6
/proc/31313/task/31327/stat : 31327 (java) S 31310 31313 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41166558 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251607419744 140252703164117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
[pid=31313/tid=31328] ppid=31310 vsize=14093000 memory=11721876 CPUtime=1.27 cores=0,2,4,6
/proc/31313/task/31328/stat : 31328 (java) S 31310 31313 30179 0 -1 1077944384 1481 0 0 0 63 64 0 0 20 0 15 0 41166558 14431232000 2930469 33554432000 4194304 4196468 140737100163088 140251606366768 140252703165058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 29118464 140737100170325 140737100170505 140737100170505 140737100173263 0
Current children cumulated CPU time: 2404.92 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 11721876 KiB

[startup+2007.6 s]*
/proc/loadavg: 1.74 1.70 1.77 3/203 31472
/proc/meminfo: memFree=16009268/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2007.64
CPU time (s): 2406.2
CPU user time (s): 2388.86
CPU system time (s): 17.3397
CPU usage (%): 119.853
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 11848896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.86
system time used= 17.3397
maximum resident set size= 11848896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1777926
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 225787
involuntary context switches= 7429


# summary of solver processes directly reported to runsolver:
#   pid: 31313
#   total CPU time (s): 2406.2
#   total CPU user time (s): 2388.86
#   total CPU system time (s): 17.3397

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3923 second user time and 19.459 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-22 07:07:14
IDJOB=4291459
IDBENCH=141141
IDSOLVER=2746
FILE ID=node138/4291459-1532236034
RUNJOBID= node138-1532226565-30210
PBS_JOBID= 21018959
Free space on /tmp= 59072 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/GraphColoring/GraphColoring-4-fullins-5_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291459-1532236034/watcher-4291459-1532236034 -o /tmp/evaluation-result-4291459-1532236034/solver-4291459-1532236034 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532226565-30210 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 357089391 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291459-1532236034.xml

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

MD5SUM BENCH= 95ec92f657fea8ce6e93e6f35592ce49
RANDOM SEED=357089391

node138.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.71
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.71
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.71
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.71
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:        16620532 kB
MemAvailable:   25705072 kB
Buffers:          233100 kB
Cached:          9093160 kB
SwapCached:            0 kB
Active:          8567876 kB
Inactive:        7053428 kB
Active(anon):    6297816 kB
Inactive(anon):    16972 kB
Active(file):    2270060 kB
Inactive(file):  7036456 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             38336 kB
Writeback:             0 kB
AnonPages:       6305824 kB
Mapped:            48924 kB
Shmem:             17036 kB
Slab:             215036 kB
SReclaimable:     187720 kB
SUnreclaim:        27316 kB
KernelStack:        3696 kB
PageTables:        17004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7091420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6078464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 59036 MiB
End job on node138 at 2018-07-22 07:40:42