Trace number 4310581

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)386181891 252.157 208.257

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-17-0300_c18.xml
MD5SUM89893934ad5b9c06ca26522ad9c878f8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark130971634
Best CPU time to get the best result obtained on this benchmark82.3593
Satisfiable
(Un)Satisfiability was proved
Number of variables6028
Number of constraints3865
Number of domains51
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":2107},{"size":11,"count":1809},{"size":12,"count":1},{"size":31,"count":40},{"size":33,"count":87},{"size":39,"count":25},{"size":59,"count":10},{"size":64,"count":57},{"size":66,"count":15},{"size":69,"count":34},{"size":70,"count":43},{"size":72,"count":1},{"size":73,"count":50},{"size":74,"count":6},{"size":76,"count":21},{"size":79,"count":26},{"size":82,"count":6},{"size":97,"count":23},{"size":99,"count":8},{"size":101,"count":32},{"size":103,"count":72},{"size":105,"count":85},{"size":107,"count":132},{"size":109,"count":12},{"size":110,"count":53},{"size":113,"count":7},{"size":115,"count":3},{"size":119,"count":40},{"size":130,"count":5},{"size":132,"count":2},{"size":134,"count":32},{"size":136,"count":22},{"size":138,"count":99},{"size":140,"count":66},{"size":143,"count":27},{"size":144,"count":90},{"size":147,"count":132},{"size":151,"count":746}]
Minimum variable degree2
Maximum variable degree1810
Distribution of variable degrees[{"degree":2,"count":5428},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":12},{"degree":6,"count":14},{"degree":7,"count":31},{"degree":8,"count":28},{"degree":9,"count":30},{"degree":10,"count":32},{"degree":11,"count":42},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":59},{"degree":15,"count":85},{"degree":16,"count":118},{"degree":17,"count":63},{"degree":1810,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":247},{"arity":3,"count":1809},{"arity":6,"count":1809}]
Number of extensional constraints1809
Number of intensional constraints2056
Distribution of constraint types[{"type":"extension","count":1809},{"type":"intension","count":2056}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 1784701329
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
36.28/22.95	c Parsing done, starting first complete search...
91.55/70.63	o 388697718
91.69/70.76	c First complete search done, starting ALNS search...
92.40/71.24	o 388679621
92.40/71.25	o 388679618
92.40/71.26	o 388661521
92.40/71.27	o 388661518
92.40/71.29	o 388643421
92.40/71.29	o 388643418
92.71/71.31	o 388625321
92.71/71.32	o 388625318
92.71/71.34	o 388607221
92.71/71.35	o 388607218
93.77/71.94	o 388589118
93.77/71.96	o 388571018
93.77/71.97	o 388552928
93.77/71.98	o 388552918
93.77/71.99	o 388534828
93.94/72.01	o 388534818
93.94/72.02	o 388516728
93.94/72.04	o 388516718
93.94/72.04	o 388498628
93.94/72.05	o 388498618
93.94/72.05	o 388480528
93.94/72.06	o 388480518
93.94/72.07	o 388462428
93.94/72.08	o 388462422
93.94/72.09	o 388462420
94.07/72.12	o 388462418
94.07/72.14	o 388462412
94.07/72.15	o 388462410
94.31/72.36	o 388462407
94.31/72.38	o 388462401
94.31/72.39	o 388444311
94.62/72.61	o 388444307
94.86/72.81	o 388444304
99.51/76.35	o 388444303
99.51/76.39	o 388444300
99.75/76.42	o 388444298
99.75/76.45	o 388444294
99.75/76.48	o 388444292
99.86/76.51	o 388444288
99.86/76.55	o 388444286
99.86/76.58	o 388444282
99.98/76.63	o 388444278
99.98/76.68	o 388444276
100.11/76.72	o 388444272
100.33/76.93	o 388444269
100.33/76.97	o 388444268
100.44/77.01	o 388444264
100.44/77.07	o 388444262
101.15/77.74	o 388426226
101.15/77.79	o 388426216
101.25/77.85	o 388426206
101.46/78.01	o 388426200
101.46/78.07	o 388426196
101.58/78.14	o 388408126
101.58/78.19	o 388408116
101.68/78.24	o 388408106
101.88/78.42	o 388408104
101.88/78.47	o 388408100
101.98/78.52	o 388408096
101.98/78.59	o 388390024
102.08/78.61	o 388390014
102.08/78.67	o 388390006
102.19/78.79	o 388389996
102.30/78.88	o 388389990
102.39/78.92	o 388389986
104.36/80.86	o 388263284
104.36/80.87	o 388227084
104.36/80.89	o 388208993
104.46/80.90	o 388190884
104.46/80.91	o 388172793
104.46/80.92	o 388172777
104.46/80.93	o 388154684
104.46/80.95	o 388118484
104.46/80.96	o 388082284
104.46/80.98	o 388064193
104.56/81.01	o 388064186
104.56/81.04	o 388046077
104.56/81.06	o 388027993
104.56/81.07	o 388027986
104.56/81.09	o 388009884
104.66/81.11	o 387991793
104.66/81.13	o 387991786
104.66/81.17	o 387973692
104.66/81.20	o 387955592
104.76/81.22	o 387937501
104.76/81.23	o 387937492
104.76/81.25	o 387937485
104.87/81.31	o 387919397
104.87/81.31	o 387901297
104.87/81.33	o 387901290
104.87/81.39	o 387883197
104.97/81.41	o 387883190
104.97/81.46	o 387865097
105.07/81.50	o 387865090
105.78/81.72	o 387846997
105.78/81.75	o 387846990
105.78/81.78	o 387828897
105.78/81.80	o 387828890
105.97/81.92	o 387810797
105.97/81.94	o 387810790
106.08/82.00	o 387792697
106.08/82.03	o 387774597
106.08/82.07	o 387756497
106.18/82.11	o 387738397
106.18/82.16	o 387738390
106.28/82.21	o 387720297
106.28/82.23	o 387720290
106.28/82.27	o 387702197
106.28/82.29	o 387702190
107.15/83.05	o 387702188
107.76/83.57	o 387684094
108.77/84.57	o 387684090
108.87/84.68	o 387684087
108.98/84.80	o 387684086
109.17/84.93	o 387684085
109.27/85.06	o 387684084
109.37/85.18	o 387684080
109.47/85.29	o 387684077
109.68/85.42	o 387684074
109.78/85.57	o 387684073
122.30/92.22	o 387684072
122.41/92.36	o 387684068
122.64/92.52	o 387665972
122.84/92.72	o 387647888
123.04/92.91	o 387629792
123.14/93.09	o 387629772
123.54/93.44	o 387611672
123.74/93.66	o 387593572
124.15/94.04	o 387575472
124.45/94.32	o 387557372
127.66/97.22	o 387539287
127.66/97.28	o 387539277
131.31/100.69	o 387521185
131.92/101.20	o 387521184
133.68/102.49	o 387503090
134.09/102.83	o 387503085
134.38/103.12	o 387484990
134.78/103.52	o 387484989
136.50/105.26	o 387484982
136.60/105.31	o 387484981
136.60/105.36	o 387484977
138.23/106.90	o 387484973
138.43/107.12	o 387484969
138.63/107.33	o 387466889
138.63/107.39	o 387466879
139.28/107.99	o 387466878
140.43/109.09	o 387466877
141.22/109.54	o 387448783
141.22/109.56	o 387448777
141.69/109.98	o 387430683
142.10/110.38	o 387430677
143.20/111.42	o 387412582
143.61/111.86	o 387412577
143.80/112.09	o 387394482
144.30/112.57	o 387394477
144.83/113.03	o 387394467
144.93/113.14	o 387376387
145.03/113.20	o 387376377
145.03/113.28	o 387376367
153.87/121.68	o 387322076
154.69/122.49	o 387285886
155.41/123.18	o 387267791
157.30/124.49	o 387249691
158.30/125.42	o 387231600
158.90/126.03	o 387213500
160.46/127.56	o 387195400
161.67/128.75	o 387159210
162.57/129.60	o 387141110
164.16/130.58	o 387123019
165.16/131.53	o 387104909
165.47/131.82	o 387086829
166.16/132.50	o 387068729
167.06/133.47	o 387068719
167.76/134.10	o 387032519
167.96/134.36	o 387014419
169.82/135.59	o 386996319
170.62/136.36	o 386978219
171.43/137.19	o 386978214
171.73/137.40	o 386960123
173.04/138.80	o 386960114
173.63/139.34	o 386960104
173.93/139.66	o 386942014
174.04/139.75	o 386942004
174.74/140.41	o 386923914
174.94/140.68	o 386905814
177.38/142.39	o 386887719
178.58/143.51	o 386869628
180.28/145.26	o 386851528
183.06/147.36	o 386833436
183.26/147.58	o 386815345
187.28/151.49	o 386815340
189.28/152.78	o 386797239
190.07/153.51	o 386779139
190.97/154.44	o 386761044
191.87/155.38	o 386742939
192.17/155.67	o 386724844
192.97/156.48	o 386724839
193.28/156.73	o 386706744
193.78/157.25	o 386670544
195.96/158.66	o 386670543
196.76/159.49	o 386670539
198.36/161.01	o 386652449
200.69/162.67	o 386634364
201.49/163.41	o 386616293
201.49/163.47	o 386616291
201.59/163.53	o 386616289
201.59/163.60	o 386616288
201.69/163.67	o 386616284
203.71/165.68	o 386598196
203.82/165.75	o 386598187
204.61/166.50	o 386580097
205.55/167.49	o 386543880
207.94/169.16	o 386507690
208.84/170.05	o 386489590
215.53/176.01	o 386489588
215.73/176.27	o 386489586
215.93/176.45	o 386489585
216.13/176.65	o 386489581
216.43/176.91	o 386489580
216.63/177.14	o 386489578
220.10/179.82	o 386471483
223.01/182.78	o 386453383
226.82/185.89	o 386453373
227.01/186.09	o 386453363
231.34/189.58	o 386417152
235.26/193.44	o 386362862
237.71/195.25	o 386344762
241.44/198.99	o 386290472
244.09/200.95	o 386272372
246.00/202.83	o 386254272
249.46/205.61	o 386218090
250.49/206.64	o 386181891
252.09/208.20	s SATISFIABLE
252.09/208.21	v <instantiation>
252.09/208.21	v 	<list>
252.09/208.21	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808]
252.09/208.21	v 	</list>
252.09/208.21	v 	<values>
252.09/208.21	v 		2532 2344 2248 2556 2464 2556 2600 2524 2392 2360 2336 2448 2564 2448 2460 2228 2512 2444 2608 2260 2460 2540 2432 2524 2452 2360 2540 2476 2420 2448 2364 2448 2484 2424 2540 2368 2424 2308 2616 2564 2440 2492 2516 2492 2496 2420 2500 2488 2380 2468 2400 2520 2484 2364 2188 2676 2320 2508 2556 2524 2524 2400 2444 2136 2396 2300 2448 2480 2452 2500 2444 2396 2392 2404 2176 2484 2532 2300 2360 2420 2492 2560 2492 2492 2456 2488 2512 2500 2516 2540 2484 2352 2376 2468 2412 2392 2440 2484 2468 2448 2528 2440 2392 2520 2444 2636 2480 2660 2492 2516 2296 2520 2364 2656 2136 2428 2420 2636 2432 2320 2412 2440 2356 2468 2500 2488 2376 2472 2460 2516 2492 2480 2484 2368 2192 2496 2404 2416 2560 2408 2360 2328 2456 2560 2336 2600 2328 2552 2488 2452 2512 2464 2524 2452 2520 2472 2416 2400 2460 2524 2404 2340 2508 2296 2492 2444 2416 2368 2484 2392 2448 2580 2484 2556 2564 2440 2412 2524 2484 2476 2340 2488 2592 2460 2488 2480 2408 2440 2596 2432 2472 2532 2268 2448 2368 2308 2460 2400 2408 2484 2516 2364 2436 2620 2328 2488 2256 2596 2492 2288 2396 2488 2444 2500 2476 2236 2480 2320 2480 2380 2452 2648 2436 2364 2500 2376 2384 2420 2488 2288 2472 2476 2348 2532 2504 2456 2320 2468 2352 2328 2448 2532 2432 2276 2404 2540 2548 2428 2508 2444 2280 2408 2404 2380 2508 2452 2476 2368 2516 2452 2384 2320 2488 2480 2484 2460 2412 2176 2468 2444 2420 2368 2464 2532 2444 2336 2468 2296 2440 2448 2516 2492 2424 2508 2488 2152 2500 2360 2448 2324 2424 2464 2400 2324 2432 2372 2360 2392 2508 2436 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 1 0 1 11 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 0 0 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 0 10 10 0 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 4 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 9 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 0 10 10 0 0 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 8 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 0 10 10 10 10 10 10 10 10 10 0 0 10 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 0 0 0 10 10 10 10 10 10 0 0 10 10 0 10 10 10 0 10 10 0 10 10 0 0 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 0 4 10 10 0 0 10 10 0 0 0 10 0 10 10 10 0 10 10 0 0 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 5 0 10 10 10 10 10 10 10 10 0 0 0 10 10 10 0 10 10 0 10 10 10 10 0 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 5 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 3 10 0 0 10 0 10 10 0 10 10 10 10 10 10 4 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 9 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 0 0 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 10 0 0 0 0 10 0 0 0 10 10 10 10 0 10 0 10 10 0 10 10 0 10 0 10 10 10 10 10 10 0 0 10 10 10 0 0 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 0 10 10 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 7 10 10 0 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 0 0 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 0 10 0 10 0 0 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 0 10 10 0 10 10 0 10 0 10 0 10 0 0 10 10 10 0 10 10 0 10 10 0 10 10 0 10 0 0 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 0 10 0 0 0 0 10 10 10 0 0 10 10 10 0 10 10 10 10 10 0 10 0 10 10 8 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 0 10 10 0 0 0 10 0 10 0 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 0 0 0 10 0 10 10 10 10 10 10 0 10 10 0 0 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 0 10 10 0 0 10 0 10 0 10 10 10 10 10 10 10 10 0 0 10 10 0 10 10 0 10 10 0 10 10 10 0 10 10 10 10 10 0 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 0 10 0 10 10 10 0 10 0 10 10 10 10 10 10 0 10 10 10 0 0 10 10 0 0 10 0 10 10 10 10 0 10 10 10 10 10 10 0 0 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 0 10 10 10 0 0 10 10 10 0 10 10 10 10 0 10 10 10 10 10 0 10 10 10 0 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 0 0 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 8 0 10 10 10 10 10 10 10 10 0 10 10 10 0 10 0 10 10 10 10 0 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 7 0 0 0 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 0 10 10 10 10 10 10 0 10 10 72 100 108 112 156 64 28 76 180 152 56 68 84 160 332 24 156 148 68 12 120 92 16 88 136 8 20 20 292 228 60 276 196 268 268 56 160 236 212 400 116 236 196 368 48 256 88 68 220 68 96 96 40 172 84 48 48 76 260 236 16 36 20 104 112 88 32 136 88 24 188 44 52 44 116 188 72 96 176 64 372 88 124 108 108 88 80 156 172 0 148 156 184 448 164 48 40 224 8 72 80 76 64 96 52 176 20 244 64 56 24 164 168 12 24 180 64 156 140 164 276 24 128 164 92 32 4 24 0 160 164 116 148 108 44 0 76 72 172 192 4 64 36 428 200 136 72 276 180 24 64 76 72 84 48 112 132 80 68 40 152 0 92 60 12 68 72 32 196 268 72 92 160 20 16 72 24 260 252 228 304 320 176 216 44 120 0 160 44 80 184 84 24 84 48 44 360 152 76 232 124 44 56 48 44 20 40 8 116 124 56 120 20 120 348 116 308 116 108 140 52 156 88 312 124 228 120 184 224 208 260 140 224 96 232 224 156 192 4 120 272 28 40 40 32 20 92 100 52 120 64 140 80 48 4 12 16 120 136 60 116 172 60 80 96 88 32 180 12 12 56 4 48 64 128 92 92 112 84 32 16 36 140 48 84 24 124 12 72 72 8 40 48 4 68 140 164 28 8 4 116 88 132 8 132 92 76 128 76 96 88 24 108 76 116 96 96 56 204 140 148 108 176 52 40 132 156 340 40 44 40 12 0 24 28 0 244 52 64 72 24 52 160 20 28 120 4 52 80 20 68 80 48 36 116 80 128 12 168 184 100 140 68 20 44 20 64 0 4 296 32 36 8 40 0 8 40 208 36 92 68 32 176 96 64 24 48 108 64 44 116 48 28 96 244 184 72 48 148 140 176 64 132 116 308 32 96 156 132 64 0 32 72 44 96 116 20 4 212 212 48 60 52 56 20 64 64 132 208 232 12 84 56 156 52 160 288 152 60 184 136 264 140 148 172 176 72 44 264 204 172 144 236 148 76 156 64 60 104 56 48 52 8 144 64 80 24 4 60 12 88 28 68 16 32 192 132 8 24 52 32 84 56 44 68 16 56 380 24 0 68 44 36 8 68 116 188 24 56 4 72 128 184 32 356 60 12 204 156 112 16 44 4 64 20 76 84 12 8 64 4 16 52 8 44 48 8 60 132 104 104 132 100 40 28 12 56 12 16 160 8 12 96 204 192 32 68 68 188 4 112 148 0 20 0 336 64 16 180 132 212 88 56 24 72 16 92 8 48 20 12 64 28 100 128 256 68 64 108 124 196 20 52 116 12 40 160 52 128 80 60 12 76 36 32 112 84 16 60 12 192 32 4 32 44 44 24 0 144 0 8 32 168 128 92 76 4 160 96 72 68 488 328 272 344 280 300 248 276 184 180 80 240 348 340 352 352 180 192 208 340 8 44 116 100 8 160 180 4 144 24 148 4 24 116 40 0 8 272 28 88 4 116 72 148 112 196 40 84 76 64 116 140 24 112 268 36 44 236 144 72 104 56 16 100 260 40 36 100 72 80 64 104 100 64 76 48 24 32 104 16 72 116 12 280 412 88 4 64 16 48 148 192 192 220 192 200 188 156 4 112 24 60 92 84 68 40 64 40 100 68 24 180 40 4 28 60 36 92 28 8 172 40 16 40 0 44 96 172 20 164 204 0 176 140 144 36 72 8 16 88 76 44 84 220 96 40 24 32 96 24 40 20 320 132 284 208 292 24 156 4 32 84 0 84 32 164 36 40 92 396 40 52 20 88 56 148 44 48 92 172 192 168 4 160 116 188 108 76 120 208 132 108 32 128 8 60 172 144 68 84 48 24 44 76 132 80 52 100 96 20 168 20 76 40 16 8 100 128 240 96 32 160 152 232 304 84 192 28 236 140 36 4 88 4 4 32 40 116 44 52 144 12 32 128 4 16 4 72 32 32 220 4 32 36 84 48 160 140 24 100 156 12 76 60 80 100 52 8 84 60 132 16 56 60 192 8 48 28 140 84 28 64 116 68 32 32 16 156 68 172 140 168 92 152 44 148 4 40 52 196 104 20 24 92 60 160 104 56 84 92 68 112 104 184 148 244 116 112 56 24 4 88 192 40 52 16 8 12 48 0 8 248 92 56 36 0 144 16 88 48 64 0 68 24 68 116 96 108 28 112 116 68 0 116 0 196 144 196 104 24 44 8 32 72 44 80 12 40 8 0 8 0 248 40 92 56 128 192 80 88 48 0 20 36 8 32 84 24 76 88 56 112 40 44 76 72 36 32 156 4 100 92 68 20 24 8 124 64 108 16 96 28 56 44 136 28 32 100 32 64 68 152 344 72 252 44 268 4 120 280 152 300 244 232 184 276 212 180 68 120 4 20 72 12 4 36 168 284 168 172 232 176 4 20 100 0 32 116 32 28 28 188 40 68 68 188 64 100 192 60 76 144 44 344 28 96 368 196 228 120 112 200 56 240 92 184 248 420 168 124 108 212 232 232 308 288 52 60 96 96 60 88 40 36 160 64 56 112 56 32 444 244 152 272 160 228 268 252 152 276 276 72 136 148 20 44 112 84 152 20 48 64 120 60 188 100 144 48 24 260 24 20 68 100 32 20 20 92 68 100 156 108 68 120 124 68 92 152 100 56 64 128 56 148 100 0 124 92 172 100 8 28 80 128 64 36 68 8 44 152 80 40 112 96 148 216 68 20 100 52 68 120 4 44 36 100 48 24 52 16 44 0 88 48 148 56 240 36 340 84 60 88 80 24 100 44 140 160 36 16 32 292 76 12 0 0 136 332 40 156 92 48 16 36 100 96 80 128 252 252 316 168 4 208 100 36 44 32 64 80 176 80 128 136 0 8 36 40 184 28 68 56 48 96 4 32 16 220 112 36 304 180 44 156 32 40 68 68 12 40 84 56 132 172 128 8 184 228 72 36 136 172 44 104 8 100 176 20 88 76 88 148 28 48 148 24 8 48 68 152 52 116 132 92 172 148 148 188 164 64 20 12 172 36 4 4 36 104 72 164 16 40 44 4 140 152 20 16 128 168 140 36 16 20 20 52 216 44 40 192 52 116 28 92 108 108 32 216 16 320 8 180 128 12 92 100 48 80 132 72 92 152 132 32 140 124 308 100 36 24 0 236 172 8 44 76 52 184 92 20 12 28 176 92 20 8 32 88 4 48 116 0 176 60 16 4 128 56 4 8 4 140 56 52 64 0 4 20 44 72 164 72 8 84 60 48 44 92 116 28 112 48 16 72 44 136 308 8 124 84 84 24 92 32 48 212 4 40 0 16 88 48 156 36 156 4 32 100 20 160 76 228 124 48 88 156 120 88 244 144 20 76 12 92 28 36 72 16 40 44 20 204 176 144 8 56 76 120 36 64 60 36 28 8 108 64 56 44 148 0 0 0 12 44 136 60 36 44 84 148 296 220 232 160 8 52 68 16 28 212 172 244 24 12 36 40 68 12 52 108 80 32 132 32 12 4 4 228 108 216 168 316 144 76 20 236 212 148 92 132 20 20 180 68 4 36 12 100 24 136 200 140 84 16 48 20 48 68 112 36 132 140 108 224 28 132 16 164 32 4 72 40 240 36 44 4 28 52 4 240 132 120 196 220 248 212 156 104 44 208 36 32 188 40 212 268 276 260 128 300 272 132 272 124 28 56 160 260 80 76 96 112 40 60 36 48 84 24 12 100 68 56 48 72 40 32 44 12 12 80 108 196 148 96 28 4 48 108 52 88 84 92 108 116 100 140 64 28 112 0 112 104 40 80 60 4 100 72 224 16 16 84 56 84 128 40 20 96 44 336 64 144 4 68 8 76 108 68 20 24 212 256 88 56 36 44 4 24 196 116 64 40 44 164 8 8 32 172 4 136 4 272 84 24 88 56 28 96 136 108 32 108 104 36 20 104 12 172 212 20 80 64 128 164 40 44 24 24 88 356 8 300 76 216 52 68 8 64 100 84 40 24 160 16 4 144 52 20 156 16 156 260 20 20 88 24 32 100 4 20 8 164 128 196 28 168 8 68 64 12 64 88 176 36 0 0 140 116 
252.09/208.21	v 	</values>
252.09/208.21	v </instantiation>

Verifier Data

OK	386181891

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310581-1534330730/watcher-4310581-1534330730 -o /tmp/evaluation-result-4310581-1534330730/solver-4310581-1534330730 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534329860-9564 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1784701329 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310581-1534330730.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=10181, runsolver pid=10178

[startup+0.101394 s]*
/proc/loadavg: 3.00 2.20 1.94 3/219 10196
/proc/meminfo: memFree=19213424/32770624 swapFree=67108688/67108860
[pid=10181] ppid=10178 vsize=14082736 memory=29972 CPUtime=0.11 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 9532 0 -1 1077944320 6455 0 0 0 10 1 0 0 20 0 15 0 250636238 14420721664 7493 33554432000 4194304 4196468 140733353779632 140733353762176 140539119386359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
/proc/10181/statm: 3520684 7493 3138 1 0 3482761 0
[pid=10181/tid=10183] ppid=10178 vsize=14082736 memory=-8125511277465603706 CPUtime=0.08 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 9532 0 -1 4202560 4535 0 0 0 7 1 0 0 20 0 15 0 250636239 14420721664 7493 33554432000 4194304 4196468 140733353779632 140539123588024 140539119408285 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10184] ppid=10178 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250636240 14420721664 7559 33554432000 4194304 4196468 140733353779632 140539049474576 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10185] ppid=10178 vsize=14082736 memory=140377104332416 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250636240 14420721664 7559 33554432000 4194304 4196468 140733353779632 140538713651856 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10186] ppid=10178 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250636240 14420721664 7559 33554432000 4194304 4196468 140733353779632 140538712598800 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10187] ppid=10178 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250636240 14420721664 7559 33554432000 4194304 4196468 140733353779632 140538711546256 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10188] ppid=10178 vsize=14082736 memory=140377104332416 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250636242 14420721664 7559 33554432000 4194304 4196468 140733353779632 140538233711344 140539119397506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10189] ppid=10178 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250636242 14420721664 7559 33554432000 4194304 4196468 140733353779632 140538232657568 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10190] ppid=10178 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10190/stat : 10190 (java) S 10178 10181 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250636242 14420721664 7559 33554432000 4194304 4196468 140733353779632 140538231604464 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10191] ppid=10178 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14420721664 7559 33554432000 4194304 4196468 140733353779632 140538230553040 140539119404955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10192] ppid=10178 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10192/stat : 10192 (java) S 10178 10181 9532 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 250636245 14420721664 7559 33554432000 4194304 4196468 140733353779632 140538229500144 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10193] ppid=10178 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10193/stat : 10193 (java) S 10178 10181 9532 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 250636245 14420721664 7559 33554432000 4194304 4196468 140733353779632 140538228447600 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10194] ppid=10178 vsize=14082736 memory=140377104332416 CPUtime=0.01 cores=1,3,5,7
/proc/10181/task/10194/stat : 10194 (java) R 10178 10181 9532 0 -1 4202560 244 0 0 0 1 0 0 0 20 0 15 0 250636245 14420721664 7559 33554432000 4194304 4196468 140733353779632 140538227394544 140539098189496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10195] ppid=10178 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10195/stat : 10195 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14420721664 7559 33554432000 4194304 4196468 140733353779632 140538226342240 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10196] ppid=10178 vsize=14082736 memory=140377104332416 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10196/stat : 10196 (java) S 10178 10181 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250636245 14420721664 7559 33554432000 4194304 4196468 140733353779632 140538225290288 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 29972 KiB

[startup+0.216222 s]*
/proc/loadavg: 3.00 2.20 1.94 4/219 10196
/proc/meminfo: memFree=19196572/32770624 swapFree=67108688/67108860
[pid=10181] ppid=10178 vsize=14082736 memory=46816 CPUtime=0.3 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 9532 0 -1 1077944320 10293 0 0 0 28 2 0 0 20 0 15 0 250636238 14420721664 11704 33554432000 4194304 4196468 140733353779632 140733353762176 140539119386359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
/proc/10181/statm: 3520684 11704 3382 1 0 3482761 0
[pid=10181/tid=10183] ppid=10178 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 9532 0 -1 4202560 8028 0 0 0 18 2 0 0 20 0 15 0 250636239 14420721664 11704 33554432000 4194304 4196468 140733353779632 140539123614720 140539111623486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10184] ppid=10178 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250636240 14420721664 11704 33554432000 4194304 4196468 140733353779632 140539049474576 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10185] ppid=10178 vsize=14082736 memory=140377104342850 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250636240 14420721664 11704 33554432000 4194304 4196468 140733353779632 140538713651856 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10186] ppid=10178 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250636240 14420721664 11704 33554432000 4194304 4196468 140733353779632 140538712598800 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10187] ppid=10178 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250636240 14420721664 11704 33554432000 4194304 4196468 140733353779632 140538711546256 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10188] ppid=10178 vsize=14082736 memory=140377104332416 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250636242 14420721664 11704 33554432000 4194304 4196468 140733353779632 140538233711344 140539119397506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10189] ppid=10178 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250636242 14420721664 11704 33554432000 4194304 4196468 140733353779632 140538232657568 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10190] ppid=10178 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10190/stat : 10190 (java) S 10178 10181 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250636242 14420721664 11704 33554432000 4194304 4196468 140733353779632 140538231604464 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10191] ppid=10178 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14420721664 11704 33554432000 4194304 4196468 140733353779632 140538230553040 140539119404955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10192] ppid=10178 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10181/task/10192/stat : 10192 (java) R 10178 10181 9532 0 -1 4202560 543 0 0 0 2 0 0 0 20 0 15 0 250636245 14420721664 11704 33554432000 4194304 4196468 140733353779632 140538229490528 140539100907623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10193] ppid=10178 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10193/stat : 10193 (java) R 10178 10181 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250636245 14420721664 11704 33554432000 4194304 4196468 140733353779632 140538228447696 140539119396565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10194] ppid=10178 vsize=14082736 memory=140377104332416 CPUtime=0.06 cores=1,3,5,7
/proc/10181/task/10194/stat : 10194 (java) R 10178 10181 9532 0 -1 4202560 314 0 0 0 6 0 0 0 20 0 15 0 250636245 14420721664 11704 33554432000 4194304 4196468 140733353779632 140538227394672 140539111627749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10195] ppid=10178 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10195/stat : 10195 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14420721664 11704 33554432000 4194304 4196468 140733353779632 140538226342240 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10196] ppid=10178 vsize=14082736 memory=140377104332416 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10196/stat : 10196 (java) S 10178 10181 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250636245 14420721664 11704 33554432000 4194304 4196468 140733353779632 140538225290288 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46816 KiB

[startup+0.310736 s]*
/proc/loadavg: 3.00 2.20 1.94 4/219 10196
/proc/meminfo: memFree=19193036/32770624 swapFree=67108688/67108860
[pid=10181] ppid=10178 vsize=14082736 memory=50036 CPUtime=0.42 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 9532 0 -1 1077944320 10700 0 0 0 39 3 0 0 20 0 15 0 250636238 14420721664 12509 33554432000 4194304 4196468 140733353779632 140733353762176 140539119386359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
/proc/10181/statm: 3520684 12509 3383 1 0 3482761 0
[pid=10181/tid=10183] ppid=10178 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 9532 0 -1 4202560 8383 0 0 0 27 2 0 0 20 0 15 0 250636239 14420721664 12509 33554432000 4194304 4196468 140733353779632 140539123595496 140539100759816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10184] ppid=10178 vsize=14082736 memory=4294980954 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250636240 14420721664 12509 33554432000 4194304 4196468 140733353779632 140539049474576 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10185] ppid=10178 vsize=14082736 memory=140377104342776 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250636240 14420721664 12509 33554432000 4194304 4196468 140733353779632 140538713651856 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10186] ppid=10178 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250636240 14420721664 12509 33554432000 4194304 4196468 140733353779632 140538712598800 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10187] ppid=10178 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250636240 14420721664 12509 33554432000 4194304 4196468 140733353779632 140538711546256 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10188] ppid=10178 vsize=14082736 memory=140377104332416 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250636242 14420721664 12509 33554432000 4194304 4196468 140733353779632 140538233711344 140539119397506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10189] ppid=10178 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250636242 14420721664 12509 33554432000 4194304 4196468 140733353779632 140538232657568 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10190] ppid=10178 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10190/stat : 10190 (java) S 10178 10181 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250636242 14420721664 12509 33554432000 4194304 4196468 140733353779632 140538231604464 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10191] ppid=10178 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14420721664 12509 33554432000 4194304 4196468 140733353779632 140538230553040 140539119404955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10192] ppid=10178 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10181/task/10192/stat : 10192 (java) S 10178 10181 9532 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 250636245 14420721664 12509 33554432000 4194304 4196468 140733353779632 140538229500144 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10193] ppid=10178 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10181/task/10193/stat : 10193 (java) S 10178 10181 9532 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 250636245 14420721664 12509 33554432000 4194304 4196468 140733353779632 140538228447600 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10194] ppid=10178 vsize=14082736 memory=140377104332416 CPUtime=0.08 cores=1,3,5,7
/proc/10181/task/10194/stat : 10194 (java) S 10178 10181 9532 0 -1 1077944384 329 0 0 0 8 0 0 0 20 0 15 0 250636245 14420721664 12509 33554432000 4194304 4196468 140733353779632 140538227394544 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10195] ppid=10178 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10195/stat : 10195 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14420721664 12509 33554432000 4194304 4196468 140733353779632 140538226342240 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10196] ppid=10178 vsize=14082736 memory=140377104332416 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10196/stat : 10196 (java) S 10178 10181 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250636245 14420721664 12509 33554432000 4194304 4196468 140733353779632 140538225290288 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50036 KiB

[startup+0.700775 s]
/proc/loadavg: 3.00 2.20 1.94 4/219 10196
/proc/meminfo: memFree=19171024/32770624 swapFree=67108688/67108860
[pid=10181] ppid=10178 vsize=14084804 memory=88648 CPUtime=0.98 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 9532 0 -1 1077944320 17574 0 0 0 92 6 0 0 20 0 15 0 250636238 14422839296 22162 33554432000 4194304 4196468 140733353779632 140733353762176 140539119386359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
/proc/10181/statm: 3521201 22162 3497 1 0 3483273 0
[pid=10181/tid=10183] ppid=10178 vsize=14084804 memory=1172 CPUtime=0.67 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 9532 0 -1 4202560 14825 0 0 0 62 5 0 0 20 0 15 0 250636239 14422839296 22162 33554432000 4194304 4196468 140733353779632 140539123589888 140539119398294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10184] ppid=10178 vsize=14084804 memory=37688 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250636240 14422839296 22162 33554432000 4194304 4196468 140733353779632 140539049474576 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10185] ppid=10178 vsize=14084804 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250636240 14422839296 22162 33554432000 4194304 4196468 140733353779632 140538713651856 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10186] ppid=10178 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250636240 14422839296 22162 33554432000 4194304 4196468 140733353779632 140538712598800 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10187] ppid=10178 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250636240 14422839296 22162 33554432000 4194304 4196468 140733353779632 140538711546256 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10188] ppid=10178 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250636242 14422839296 22162 33554432000 4194304 4196468 140733353779632 140538233711344 140539119397506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10189] ppid=10178 vsize=14084804 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250636242 14422839296 22162 33554432000 4194304 4196468 140733353779632 140538232657568 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10190] ppid=10178 vsize=14084804 memory=924 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10190/stat : 10190 (java) S 10178 10181 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250636242 14422839296 22162 33554432000 4194304 4196468 140733353779632 140538231604464 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10191] ppid=10178 vsize=14084804 memory=6153431502485415525 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14422839296 22162 33554432000 4194304 4196468 140733353779632 140538230553040 140539119404955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10192] ppid=10178 vsize=14084804 memory=7237400421024098393 CPUtime=0.08 cores=1,3,5,7
/proc/10181/task/10192/stat : 10192 (java) S 10178 10181 9532 0 -1 1077944384 710 0 0 0 8 0 0 0 20 0 15 0 250636245 14422839296 22162 33554432000 4194304 4196468 140733353779632 140538229500144 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10193] ppid=10178 vsize=14084804 memory=6154282490091891024 CPUtime=0.06 cores=1,3,5,7
/proc/10181/task/10193/stat : 10193 (java) S 10178 10181 9532 0 -1 1077944384 216 0 0 0 6 0 0 0 20 0 15 0 250636245 14422839296 22162 33554432000 4194304 4196468 140733353779632 140538228447600 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10194] ppid=10178 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/10181/task/10194/stat : 10194 (java) R 10178 10181 9532 0 -1 4202560 441 0 0 0 15 0 0 0 20 0 15 0 250636245 14422839296 22162 33554432000 4194304 4196468 140733353779632 140538227394544 140539119407706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10195] ppid=10178 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10195/stat : 10195 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14422839296 22162 33554432000 4194304 4196468 140733353779632 140538226342240 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10196] ppid=10178 vsize=14084804 memory=8700 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10196/stat : 10196 (java) S 10178 10181 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250636245 14422839296 22162 33554432000 4194304 4196468 140733353779632 140538225290288 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88648 KiB

[startup+1.50144 s]
/proc/loadavg: 3.00 2.20 1.94 4/219 10196
/proc/meminfo: memFree=18929244/32770624 swapFree=67108688/67108860
[pid=10181] ppid=10178 vsize=14086852 memory=448572 CPUtime=3.24 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 9532 0 -1 1077944320 20523 0 0 0 285 39 0 0 20 0 15 0 250636238 14424936448 112143 33554432000 4194304 4196468 140733353779632 140733353762176 140539119386359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
/proc/10181/statm: 3521713 112143 3565 1 0 3483785 0
[pid=10181/tid=10183] ppid=10178 vsize=14086852 memory=341536 CPUtime=1.34 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 9532 0 -1 4202560 15303 0 0 0 124 10 0 0 20 0 15 0 250636239 14424936448 112143 33554432000 4194304 4196468 140733353779632 140539123617864 140539098463859 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10184] ppid=10178 vsize=14086852 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 9532 0 -1 1077944384 101 0 0 0 2 6 0 0 20 0 15 0 250636240 14424936448 112143 33554432000 4194304 4196468 140733353779632 140539049474576 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10185] ppid=10178 vsize=14086852 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 9532 0 -1 1077944384 196 0 0 0 3 7 0 0 20 0 15 0 250636240 14424936448 112143 33554432000 4194304 4196468 140733353779632 140538713651856 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10186] ppid=10178 vsize=14086852 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 9532 0 -1 1077944384 125 0 0 0 3 6 0 0 20 0 15 0 250636240 14424936448 112143 33554432000 4194304 4196468 140733353779632 140538712598800 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10187] ppid=10178 vsize=14086852 memory=6943526294502006880 CPUtime=0.09 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 9532 0 -1 1077944384 186 0 0 0 3 6 0 0 20 0 15 0 250636240 14424936448 112143 33554432000 4194304 4196468 140733353779632 140538711546256 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10188] ppid=10178 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 9532 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 250636242 14424936448 112143 33554432000 4194304 4196468 140733353779632 140538233711344 140539119397506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0

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

/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 9532 0 -1 4202560 42136 0 0 0 9500 42 0 0 20 0 15 0 250636239 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140539123620024 140538731931269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10184] ppid=10178 vsize=14092996 memory=2316 CPUtime=6.37 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 9532 0 -1 1077944384 3991 0 0 0 550 87 0 0 20 0 15 0 250636240 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140539049474576 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10185] ppid=10178 vsize=14092996 memory=5586484 CPUtime=6.41 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 9532 0 -1 1077944384 5772 0 0 0 553 88 0 0 20 0 15 0 250636240 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140538713651856 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10186] ppid=10178 vsize=14092996 memory=1360 CPUtime=6.42 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 9532 0 -1 1077944384 4435 0 0 0 557 85 0 0 20 0 15 0 250636240 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140538712598800 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10187] ppid=10178 vsize=14092996 memory=2512 CPUtime=6.39 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 9532 0 -1 1077944384 4849 0 0 0 555 84 0 0 20 0 15 0 250636240 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140538711546256 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10188] ppid=10178 vsize=14092996 memory=5586384 CPUtime=0.33 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 9532 0 -1 1077944384 19611 0 0 0 31 2 0 0 20 0 15 0 250636242 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140538233711344 140539119397506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10189] ppid=10178 vsize=14092996 memory=5586476 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 9532 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250636242 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140538232657632 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10190] ppid=10178 vsize=14092996 memory=11261 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10190/stat : 10190 (java) S 10178 10181 9532 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250636242 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140538231604480 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10191] ppid=10178 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140538230553040 140539119404955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10192] ppid=10178 vsize=14092996 memory=1220 CPUtime=5.18 cores=1,3,5,7
/proc/10181/task/10192/stat : 10192 (java) S 10178 10181 9532 0 -1 1077944384 12246 0 0 0 515 3 0 0 20 0 15 0 250636245 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140538229500144 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10193] ppid=10178 vsize=14092996 memory=1756 CPUtime=5.26 cores=1,3,5,7
/proc/10181/task/10193/stat : 10193 (java) R 10178 10181 9532 0 -1 4202560 13501 0 0 0 524 2 0 0 20 0 15 0 250636245 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140538228447600 140539103675360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10194] ppid=10178 vsize=14092996 memory=872 CPUtime=1.63 cores=1,3,5,7
/proc/10181/task/10194/stat : 10194 (java) S 10178 10181 9532 0 -1 1077944384 10139 0 0 0 159 4 0 0 20 0 15 0 250636245 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140538227394544 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10195] ppid=10178 vsize=14092996 memory=4216 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10195/stat : 10195 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140538226342240 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10196] ppid=10178 vsize=14092996 memory=752 CPUtime=0.05 cores=1,3,5,7
/proc/10181/task/10196/stat : 10196 (java) S 10178 10181 9532 0 -1 1077944384 986 0 0 0 3 2 0 0 20 0 15 0 250636245 14431227904 1398061 33554432000 4194304 4196468 140733353779632 140538225290288 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
Current children cumulated CPU time: 133.56 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5592244 KiB

[startup+162.301 s]
/proc/loadavg: 2.33 2.30 2.03 3/219 10307
/proc/meminfo: memFree=13415396/32770624 swapFree=67108688/67108860
[pid=10181] ppid=10178 vsize=14092996 memory=5595636 CPUtime=200.38 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 9532 0 -1 1077944320 145964 0 0 0 19631 407 0 0 20 0 15 0 250636238 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140733353762176 140539119386359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
/proc/10181/statm: 3523249 1398909 3624 1 0 3485321 0
[pid=10181/tid=10183] ppid=10178 vsize=14092996 memory=37708 CPUtime=153.37 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 9532 0 -1 4202560 47718 0 0 0 15294 43 0 0 20 0 15 0 250636239 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140539123624112 140538730864144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10184] ppid=10178 vsize=14092996 memory=872 CPUtime=8.4 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 9532 0 -1 1077944384 8230 0 0 0 753 87 0 0 20 0 15 0 250636240 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140539049474576 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10185] ppid=10178 vsize=14092996 memory=4216 CPUtime=8.45 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 9532 0 -1 1077944384 8743 0 0 0 757 88 0 0 20 0 15 0 250636240 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140538713651856 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10186] ppid=10178 vsize=14092996 memory=5595636 CPUtime=8.45 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 9532 0 -1 1077944384 10174 0 0 0 759 86 0 0 20 0 15 0 250636240 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140538712598800 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10187] ppid=10178 vsize=14092996 memory=1220 CPUtime=8.44 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 9532 0 -1 1077944384 6911 0 0 0 759 85 0 0 20 0 15 0 250636240 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140538711546256 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10188] ppid=10178 vsize=14092996 memory=68184 CPUtime=0.34 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 9532 0 -1 1077944384 19861 0 0 0 32 2 0 0 20 0 15 0 250636242 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140538233711344 140539119397506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10189] ppid=10178 vsize=14092996 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 9532 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250636242 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140538232657632 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10190] ppid=10178 vsize=14092996 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10190/stat : 10190 (java) S 10178 10181 9532 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250636242 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140538231604480 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10191] ppid=10178 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140538230553040 140539119404955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10192] ppid=10178 vsize=14092996 memory=68184 CPUtime=5.46 cores=1,3,5,7
/proc/10181/task/10192/stat : 10192 (java) S 10178 10181 9532 0 -1 1077944384 13164 0 0 0 543 3 0 0 20 0 15 0 250636245 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140538229500144 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10193] ppid=10178 vsize=14092996 memory=2316 CPUtime=5.58 cores=1,3,5,7
/proc/10181/task/10193/stat : 10193 (java) S 10178 10181 9532 0 -1 1077944384 17111 0 0 0 556 2 0 0 20 0 15 0 250636245 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140538228447600 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10194] ppid=10178 vsize=14092996 memory=1220 CPUtime=1.69 cores=1,3,5,7
/proc/10181/task/10194/stat : 10194 (java) S 10178 10181 9532 0 -1 1077944384 11562 0 0 0 165 4 0 0 20 0 15 0 250636245 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140538227394544 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10195] ppid=10178 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10195/stat : 10195 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140538226342240 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10196] ppid=10178 vsize=14092996 memory=8700 CPUtime=0.09 cores=1,3,5,7
/proc/10181/task/10196/stat : 10196 (java) S 10178 10181 9532 0 -1 1077944384 1052 0 0 0 5 4 0 0 20 0 15 0 250636245 14431227904 1398909 33554432000 4194304 4196468 140733353779632 140538225290288 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
Current children cumulated CPU time: 200.38 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5595636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+208.201 s]
/proc/loadavg: 2.52 2.34 2.06 4/218 10307
/proc/meminfo: memFree=13246784/32770624 swapFree=67108688/67108860
[pid=10181] ppid=10178 vsize=14092996 memory=5764396 CPUtime=252.09 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 9532 0 -1 1077944320 155870 0 0 0 24781 428 0 0 20 0 15 0 250636238 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140733353762176 140539119386359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
/proc/10181/statm: 3523249 1441099 3624 1 0 3485321 0
[pid=10181/tid=10183] ppid=10178 vsize=14092996 memory=5764396 CPUtime=197.39 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 9532 0 -1 4202560 50357 0 0 0 19696 43 0 0 20 0 15 0 250636239 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140539123621024 140538740454988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10184] ppid=10178 vsize=14092996 memory=5764396 CPUtime=10.27 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 9532 0 -1 1077944384 8412 0 0 0 935 92 0 0 20 0 15 0 250636240 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140539049474576 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10185] ppid=10178 vsize=14092996 memory=5595636 CPUtime=10.3 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 9532 0 -1 1077944384 9288 0 0 0 938 92 0 0 20 0 15 0 250636240 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538713651856 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10186] ppid=10178 vsize=14092996 memory=7594597771697979466 CPUtime=10.29 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 9532 0 -1 1077944384 10509 0 0 0 939 90 0 0 20 0 15 0 250636240 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538712598800 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10187] ppid=10178 vsize=14092996 memory=5764396 CPUtime=10.3 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 9532 0 -1 1077944384 9089 0 0 0 941 89 0 0 20 0 15 0 250636240 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538711546256 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10188] ppid=10178 vsize=14092996 memory=164 CPUtime=0.35 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 9532 0 -1 1077944384 19884 0 0 0 33 2 0 0 20 0 15 0 250636242 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538233711344 140539119397506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10189] ppid=10178 vsize=14092996 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 9532 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250636242 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538232657632 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10190] ppid=10178 vsize=14092996 memory=280753960206592 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10190/stat : 10190 (java) S 10178 10181 9532 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250636242 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538231604480 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10191] ppid=10178 vsize=14092996 memory=9604 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538230553040 140539119404955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10192] ppid=10178 vsize=14092996 memory=1068 CPUtime=5.62 cores=1,3,5,7
/proc/10181/task/10192/stat : 10192 (java) S 10178 10181 9532 0 -1 1077944384 15253 0 0 0 559 3 0 0 20 0 15 0 250636245 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538229500144 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10193] ppid=10178 vsize=14092996 memory=68184 CPUtime=5.62 cores=1,3,5,7
/proc/10181/task/10193/stat : 10193 (java) S 10178 10181 9532 0 -1 1077944384 17969 0 0 0 560 2 0 0 20 0 15 0 250636245 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538228447600 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10194] ppid=10178 vsize=14092996 memory=2316 CPUtime=1.72 cores=1,3,5,7
/proc/10181/task/10194/stat : 10194 (java) S 10178 10181 9532 0 -1 1077944384 12613 0 0 0 167 5 0 0 20 0 15 0 250636245 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538227394544 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10195] ppid=10178 vsize=14092996 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10195/stat : 10195 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538226342240 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10196] ppid=10178 vsize=14092996 memory=920 CPUtime=0.12 cores=1,3,5,7
/proc/10181/task/10196/stat : 10196 (java) S 10178 10181 9532 0 -1 1077944384 1058 0 0 0 6 6 0 0 20 0 15 0 250636245 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538225290288 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5764396 KiB

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

[startup+208.257 s]
# the end of solver process 10181 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=247.842 s, system=4.31569 s

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

[startup+208.201 s]
/proc/loadavg: 2.52 2.34 2.06 4/218 10307
/proc/meminfo: memFree=13246784/32770624 swapFree=67108688/67108860
[pid=10181] ppid=10178 vsize=14092996 memory=5764396 CPUtime=252.09 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 9532 0 -1 1077944320 155870 0 0 0 24781 428 0 0 20 0 15 0 250636238 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140733353762176 140539119386359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
/proc/10181/statm: 3523249 1441099 3624 1 0 3485321 0
[pid=10181/tid=10183] ppid=10178 vsize=14092996 memory=5764396 CPUtime=197.39 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 9532 0 -1 4202560 50357 0 0 0 19696 43 0 0 20 0 15 0 250636239 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140539123621024 140538740454988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10184] ppid=10178 vsize=14092996 memory=5764396 CPUtime=10.27 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 9532 0 -1 1077944384 8412 0 0 0 935 92 0 0 20 0 15 0 250636240 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140539049474576 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10185] ppid=10178 vsize=14092996 memory=5595636 CPUtime=10.3 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 9532 0 -1 1077944384 9288 0 0 0 938 92 0 0 20 0 15 0 250636240 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538713651856 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10186] ppid=10178 vsize=14092996 memory=7594597771697979466 CPUtime=10.29 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 9532 0 -1 1077944384 10509 0 0 0 939 90 0 0 20 0 15 0 250636240 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538712598800 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10187] ppid=10178 vsize=14092996 memory=5764396 CPUtime=10.3 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 9532 0 -1 1077944384 9089 0 0 0 941 89 0 0 20 0 15 0 250636240 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538711546256 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10188] ppid=10178 vsize=14092996 memory=164 CPUtime=0.35 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 9532 0 -1 1077944384 19884 0 0 0 33 2 0 0 20 0 15 0 250636242 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538233711344 140539119397506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10189] ppid=10178 vsize=14092996 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 9532 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250636242 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538232657632 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10190] ppid=10178 vsize=14092996 memory=280753960206592 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10190/stat : 10190 (java) S 10178 10181 9532 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250636242 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538231604480 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10191] ppid=10178 vsize=14092996 memory=9604 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538230553040 140539119404955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10192] ppid=10178 vsize=14092996 memory=1068 CPUtime=5.62 cores=1,3,5,7
/proc/10181/task/10192/stat : 10192 (java) S 10178 10181 9532 0 -1 1077944384 15253 0 0 0 559 3 0 0 20 0 15 0 250636245 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538229500144 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10193] ppid=10178 vsize=14092996 memory=68184 CPUtime=5.62 cores=1,3,5,7
/proc/10181/task/10193/stat : 10193 (java) S 10178 10181 9532 0 -1 1077944384 17969 0 0 0 560 2 0 0 20 0 15 0 250636245 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538228447600 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10194] ppid=10178 vsize=14092996 memory=2316 CPUtime=1.72 cores=1,3,5,7
/proc/10181/task/10194/stat : 10194 (java) S 10178 10181 9532 0 -1 1077944384 12613 0 0 0 167 5 0 0 20 0 15 0 250636245 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538227394544 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10195] ppid=10178 vsize=14092996 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10195/stat : 10195 (java) S 10178 10181 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250636245 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538226342240 140539119396565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
[pid=10181/tid=10196] ppid=10178 vsize=14092996 memory=920 CPUtime=0.12 cores=1,3,5,7
/proc/10181/task/10196/stat : 10196 (java) S 10178 10181 9532 0 -1 1077944384 1058 0 0 0 6 6 0 0 20 0 15 0 250636245 14431227904 1441099 33554432000 4194304 4196468 140733353779632 140538225290288 140539119397506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37789696 140733353784410 140733353784590 140733353784590 140733353787343 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5764396 KiB

Child status: 143
Real time (s): 208.257
CPU time (s): 252.157
CPU user time (s): 247.842
CPU system time (s): 4.31569
CPU usage (%): 121.08
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 5770584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.842
system time used= 4.31569
maximum resident set size= 5770584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156169
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11960
involuntary context switches= 614


# summary of solver processes directly reported to runsolver:
#   pid: 10181
#   total CPU time (s): 252.157
#   total CPU user time (s): 247.842
#   total CPU system time (s): 4.31569

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1963 second user time and 2.13605 second system time

The end

Launcher Data

Begin job on node134 at 2018-08-15 12:58:50
IDJOB=4310581
IDBENCH=141269
IDSOLVER=2796
FILE ID=node134/4310581-1534330730
RUNJOBID= node134-1534329860-9564
PBS_JOBID= 21038165
Free space on /tmp= 43132 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-17-0300_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-4310581-1534330730/watcher-4310581-1534330730 -o /tmp/evaluation-result-4310581-1534330730/solver-4310581-1534330730 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534329860-9564 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1784701329 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310581-1534330730.xml

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

MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8
RANDOM SEED=1784701329

node134.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.68
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.68
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.68
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.68
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:        19231056 kB
MemAvailable:   26891324 kB
Buffers:          203272 kB
Cached:          7670924 kB
SwapCached:           32 kB
Active:          9236696 kB
Inactive:        3688948 kB
Active(anon):    5000768 kB
Inactive(anon):   111440 kB
Active(file):    4235928 kB
Inactive(file):  3577508 kB
Unevictable:        7392 kB
Mlocked:            7392 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:            136684 kB
Writeback:             0 kB
AnonPages:       5059000 kB
Mapped:            69004 kB
Shmem:             57844 kB
Slab:             304132 kB
SReclaimable:     275292 kB
SUnreclaim:        28840 kB
KernelStack:        3584 kB
PageTables:        15752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6213308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4812800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 43044 MiB
End job on node134 at 2018-08-15 13:02:19