Trace number 4291994

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-07-02SAT (TO)387430773 2400.1 2372.53

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml
MD5SUM3d35ef38e8714b8368aba06bbd25b59a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark372103316
Best CPU time to get the best result obtained on this benchmark2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables6038
Number of constraints3927
Number of domains31
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2094},{"size":11,"count":1839},{"size":12,"count":1},{"size":21,"count":98},{"size":23,"count":52},{"size":33,"count":21},{"size":35,"count":35},{"size":39,"count":50},{"size":41,"count":27},{"size":43,"count":72},{"size":45,"count":55},{"size":59,"count":83},{"size":65,"count":46},{"size":67,"count":53},{"size":83,"count":41},{"size":99,"count":155},{"size":111,"count":164},{"size":114,"count":81},{"size":126,"count":165},{"size":146,"count":205},{"size":151,"count":696}]
Minimum variable degree2
Maximum variable degree1840
Distribution of variable degrees[{"degree":2,"count":5517},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":17},{"degree":10,"count":28},{"degree":11,"count":24},{"degree":12,"count":23},{"degree":13,"count":37},{"degree":14,"count":44},{"degree":15,"count":45},{"degree":16,"count":38},{"degree":17,"count":46},{"degree":18,"count":63},{"degree":19,"count":76},{"degree":20,"count":46},{"degree":1840,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":249},{"arity":3,"count":1839},{"arity":6,"count":1839}]
Number of extensional constraints1839
Number of intensional constraints2088
Distribution of constraint types[{"type":"extension","count":1839},{"type":"intension","count":2088}]
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-07-02
0.67/0.56	c seed: 1406388872
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
36.86/22.58	c Parsing done, starting search...
104.08/84.20	o 389068385
104.08/84.21	o 389049985
104.08/84.25	o 389049976
104.08/84.27	o 389049971
104.34/84.33	o 389031571
104.34/84.39	o 389013171
104.47/84.44	o 388994771
104.57/84.54	o 388976380
104.57/84.54	o 388976371
104.80/84.76	o 388957980
104.80/84.76	o 388957971
105.04/84.94	o 388921165
105.04/84.95	o 388902765
105.68/85.55	o 388884385
106.19/86.03	o 388865999
106.19/86.04	o 388865990
106.19/86.05	o 388865970
106.19/86.05	o 388865965
107.97/87.73	o 388847575
107.97/87.74	o 388847565
110.17/89.97	o 388829205
110.17/89.98	o 388829199
110.17/90.00	o 388829198
110.28/90.02	o 388810799
110.28/90.03	o 388792399
110.28/90.05	o 388792398
110.28/90.06	o 388773998
110.28/90.08	o 388755599
110.28/90.10	o 388737208
110.38/90.11	o 388737199
110.38/90.13	o 388737194
110.38/90.15	o 388737193
110.38/90.16	o 388718794
110.38/90.18	o 388700394
110.38/90.19	o 388681994
110.47/90.23	o 388681993
110.57/90.31	o 388681989
110.57/90.32	o 388681984
110.57/90.33	o 388663594
110.57/90.38	o 388645207
110.67/90.40	o 388645201
110.67/90.42	o 388645194
111.57/91.32	o 388645184
111.57/91.34	o 388626784
111.57/91.36	o 388608392
111.57/91.37	o 388608384
111.68/91.41	o 388608374
111.68/91.42	o 388589982
111.68/91.43	o 388589974
111.68/91.47	o 388589964
111.78/91.54	o 388589954
111.78/91.58	o 388571562
111.88/91.60	o 388571554
112.99/92.77	o 388553216
113.19/92.95	o 388553214
113.19/92.96	o 388553211
114.19/93.91	o 388553207
114.19/93.92	o 388534807
114.19/93.93	o 388516407
114.19/93.94	o 388516397
114.19/93.96	o 388497997
114.19/93.97	o 388479597
114.19/93.98	o 388461197
114.19/94.00	o 388442797
114.30/94.01	o 388442792
114.30/94.03	o 388424392
114.30/94.04	o 388405992
114.40/94.11	o 388405984
114.40/94.14	o 388387589
114.40/94.15	o 388387584
114.50/94.20	o 388387580
114.50/94.21	o 388369180
114.50/94.23	o 388369175
114.50/94.27	o 388369174
114.50/94.29	o 388369165
116.90/96.60	o 388369164
116.90/96.61	o 388350764
116.90/96.63	o 388332364
116.90/96.69	o 388332356
117.01/96.80	o 388313964
117.11/96.81	o 388313956
117.35/97.04	o 388295575
117.35/97.05	o 388295565
117.35/97.06	o 388295556
120.09/99.70	o 388277210
120.09/99.71	o 388277192
120.09/99.74	o 388277184
120.19/99.85	o 388258792
120.19/99.86	o 388240400
120.29/99.93	o 388240392
120.69/100.37	o 388221992
121.89/101.52	o 388203610
121.89/101.54	o 388203602
123.09/102.75	o 388185218
123.09/102.76	o 388185209
124.37/103.96	o 388166818
124.37/103.98	o 388148422
124.37/103.98	o 388148418
124.37/103.99	o 388148408
124.37/104.01	o 388130018
124.47/104.02	o 388130004
124.47/104.03	o 388130000
124.47/104.04	o 388129990
124.47/104.05	o 388111590
124.47/104.06	o 388093200
124.47/104.08	o 388093192
124.77/104.31	o 388074839
124.77/104.32	o 388074829
124.77/104.32	o 388074811
125.68/105.24	o 388056419
125.68/105.25	o 388056411
125.68/105.26	o 388038011
125.68/105.27	o 388019619
125.68/105.28	o 388019611
130.18/109.75	o 388019610
130.18/109.76	o 388019600
130.18/109.78	o 388019592
130.18/109.79	o 388019582
130.28/109.83	o 388019573
130.28/109.84	o 388001182
130.28/109.85	o 388001174
130.28/109.86	o 387982783
130.38/109.91	o 387964393
130.38/109.92	o 387964392
130.38/109.97	o 387964384
130.38/109.98	o 387945992
130.49/110.03	o 387945984
130.49/110.04	o 387945983
130.79/110.36	o 387945975
164.35/143.78	o 387945974
164.66/144.03	o 387945967
164.66/144.04	o 387945966
164.76/144.12	o 387945964
164.76/144.15	o 387945956
164.76/144.18	o 387927572
164.76/144.19	o 387909182
166.35/145.74	o 387909174
166.35/145.75	o 387909166
166.45/145.81	o 387890782
175.86/155.27	o 387890776
178.46/157.81	o 387872376
178.46/157.83	o 387853976
178.46/157.86	o 387835586
180.46/159.83	o 387835585
180.46/159.84	o 387835576
181.67/161.04	o 387817215
181.67/161.05	o 387817206
181.67/161.06	o 387817196
181.67/161.09	o 387798796
182.86/162.28	o 387798786
182.96/162.33	o 387780394
182.96/162.34	o 387780386
182.96/162.37	o 387761996
183.06/162.41	o 387761986
183.06/162.48	o 387743596
183.06/162.49	o 387743586
184.17/163.52	o 387725239
184.17/163.53	o 387725231
184.17/163.54	o 387725222
184.17/163.55	o 387725212
184.17/163.57	o 387725205
184.17/163.59	o 387706805
184.27/163.63	o 387688413
184.27/163.64	o 387688404
184.27/163.69	o 387670022
184.37/163.70	o 387670014
184.37/163.71	o 387670004
185.57/164.95	o 387651634
185.57/164.96	o 387651633
185.57/164.99	o 387651624
186.78/166.15	o 387651612
186.78/166.16	o 387651604
186.87/166.28	o 387633242
186.87/166.29	o 387633234
186.97/166.30	o 387633224
188.17/167.58	o 387633213
188.17/167.59	o 387633204
188.27/167.63	o 387614814
188.37/167.73	o 387614804
189.37/168.72	o 387596423
189.37/168.73	o 387596422
189.37/168.74	o 387596412
189.37/168.75	o 387578022
189.37/168.77	o 387578012
189.57/168.92	o 387559631
189.57/168.93	o 387559621
189.57/168.94	o 387559612
190.76/170.03	o 387559604
190.76/170.09	o 387559596
193.36/172.69	o 387559575
193.46/172.71	o 387541175
193.56/172.84	o 387541166
193.56/172.86	o 387522775
193.56/172.87	o 387522766
194.06/173.35	o 387522764
194.06/173.36	o 387504373
194.06/173.37	o 387485982
195.16/174.43	o 387485973
195.16/174.44	o 387467573
195.16/174.46	o 387449173
195.26/174.52	o 387449163
195.26/174.53	o 387430773
2400.02/2372.50	s SATISFIABLE
2400.02/2372.51	v <instantiation>
2400.02/2372.51	v 	<list>
2400.02/2372.51	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] 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] 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] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] 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] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] 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] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838]
2400.02/2372.51	v 	</list>
2400.02/2372.51	v 	<values>
2400.02/2372.51	v 		2436 2776 2780 2760 2564 2640 2648 2760 2428 2624 2724 2760 2280 2360 2424 2220 2664 2508 2632 2248 2468 2724 2448 2548 2720 2744 2592 2800 2672 2756 2800 2748 2764 2692 2508 2768 2632 2332 2552 2616 2788 2428 2672 2496 2612 2488 2492 2620 2352 2632 2660 2496 2800 2760 2228 2512 2476 2544 2588 2776 2292 2576 2420 2524 2600 2440 2584 2452 2524 2796 2624 2728 2704 2484 2720 2240 2384 2220 2468 2524 2508 2220 2320 2428 2456 2640 2224 2760 2800 2356 2760 2600 2648 2816 2596 2368 2772 2288 2484 2616 2308 2412 2680 2572 2536 2456 2280 2664 2776 2688 2444 2588 2468 2264 2440 2348 2340 2756 2796 2544 2816 2656 2544 2224 2632 2280 2284 2608 2340 2300 2532 2496 2476 2664 2508 2244 2256 2756 2652 2380 2672 2260 2584 2524 2780 2408 2680 2308 2512 2820 2796 2380 2384 2760 2392 2632 2732 2780 2696 2536 2264 2488 2508 2632 2628 2616 2348 2448 2516 2220 2716 2388 2736 2588 2616 2564 2420 2680 2560 2780 2780 2476 2712 2672 2648 2296 2712 2696 2244 2448 2328 2468 2656 2756 2796 2420 2424 2720 2480 2492 2592 2436 2504 2468 2820 2628 2360 2400 2676 2260 2476 2656 2268 2608 2760 2656 2616 2752 2260 2668 2400 2468 2656 2740 2240 2576 2672 2548 2452 2428 2284 2380 2556 2800 2592 2260 2464 2424 2664 2468 2820 2740 2388 2468 2396 2640 2484 2472 2784 2764 2428 2432 2736 2320 2460 2472 2624 2800 2516 2472 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 1 1 0 1 1 0 0 0 11 0 1 0 1 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 1 1 1 0 1 0 1 0 0 10 0 10 0 10 10 0 10 0 0 10 10 10 10 0 10 0 0 10 0 10 0 10 10 10 0 10 10 10 0 0 8 10 0 10 10 10 10 0 10 10 10 10 0 0 0 10 10 0 10 10 0 0 10 10 0 10 0 10 10 0 0 0 0 10 10 10 0 10 0 0 10 10 0 0 10 0 10 10 10 10 0 0 10 0 10 0 0 5 10 0 0 0 10 10 10 10 10 10 0 10 10 0 10 10 0 10 0 0 10 10 10 10 10 0 10 10 10 0 10 0 0 0 10 0 10 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 10 10 10 0 10 9 10 0 0 10 0 0 10 0 0 0 10 10 0 0 0 10 0 0 0 10 10 0 10 10 0 0 0 0 0 10 10 10 0 0 10 10 10 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 10 10 0 0 0 0 10 0 0 10 0 10 0 10 0 10 10 0 0 10 0 10 0 10 0 10 0 0 10 10 10 0 0 0 0 10 0 0 10 10 10 0 10 10 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 10 0 10 10 0 0 0 10 10 0 0 10 10 10 10 10 0 10 0 0 10 0 10 10 0 10 10 10 10 10 0 0 10 10 10 0 10 0 10 0 10 10 0 10 10 10 0 10 10 10 10 0 10 0 10 10 0 10 10 10 0 10 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 10 10 0 0 10 0 10 0 0 10 0 10 0 0 10 0 0 10 10 10 10 10 0 0 10 0 0 0 10 10 0 10 0 0 0 10 0 0 10 10 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 10 0 0 0 10 0 10 0 0 10 0 10 0 0 9 10 0 10 0 0 0 10 10 0 10 10 0 0 0 0 10 10 0 0 10 0 0 0 0 10 0 10 10 0 10 10 0 10 10 10 0 10 10 0 0 0 0 10 0 10 10 0 0 0 10 10 0 0 10 0 10 10 10 10 10 0 0 0 0 10 0 0 10 10 0 0 10 10 10 0 0 0 0 10 10 10 10 10 0 0 0 10 10 10 0 10 0 0 10 0 0 10 0 10 10 10 0 10 10 0 0 0 0 10 10 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 6 10 0 0 0 10 0 0 0 10 10 10 10 0 10 10 10 10 0 0 0 0 10 0 0 10 10 0 10 10 10 10 10 0 0 0 10 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 10 10 0 10 0 10 10 0 0 10 10 10 0 0 10 10 0 10 0 0 10 10 0 0 10 0 0 0 10 10 10 10 0 0 0 0 0 0 10 10 0 10 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 10 10 0 0 0 10 0 10 0 0 10 10 10 0 0 0 0 0 0 9 0 10 10 10 0 10 10 0 10 10 0 10 10 10 0 10 10 0 10 0 10 0 0 0 10 10 0 10 10 0 0 0 0 0 10 10 0 10 0 0 10 10 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 10 10 10 0 10 10 10 0 0 0 10 10 10 10 10 0 0 10 0 10 0 0 0 10 10 0 10 10 0 0 0 10 10 0 0 0 10 0 0 0 10 10 10 10 10 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 10 10 10 10 0 10 0 10 0 0 10 9 10 0 0 0 0 10 10 0 10 0 10 10 0 10 10 0 0 0 10 10 0 0 10 0 10 10 0 10 10 10 10 10 0 10 0 10 10 0 0 10 0 10 0 0 10 0 10 0 0 10 0 0 0 10 10 10 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 10 0 0 10 10 10 0 10 10 10 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 10 0 0 0 0 0 10 10 0 10 0 10 10 10 0 0 0 0 0 10 0 10 0 0 0 10 0 10 10 0 10 0 0 10 0 10 0 0 10 0 10 0 0 0 10 0 0 10 0 10 10 10 0 10 10 0 0 10 0 0 0 0 10 0 10 10 0 10 0 0 0 10 0 10 0 10 0 10 0 0 0 0 10 10 10 10 0 0 0 0 0 0 10 10 10 10 10 0 10 0 10 0 10 10 10 10 0 0 10 0 0 0 10 0 10 0 0 0 10 10 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 10 0 10 10 10 10 0 10 0 10 10 10 0 9 0 10 10 0 10 0 10 0 10 0 0 0 8 0 10 0 10 0 10 10 0 0 10 10 0 10 0 0 10 0 10 10 0 0 0 0 0 10 10 10 0 0 10 0 10 10 0 0 0 0 10 10 0 0 10 10 0 10 0 10 10 10 10 0 0 0 10 10 0 10 0 0 10 10 0 10 0 0 0 0 10 10 0 0 0 0 0 0 10 10 10 10 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 10 10 10 10 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 10 10 10 10 10 10 10 10 10 0 0 0 0 10 0 10 0 0 0 10 0 10 10 0 0 0 10 0 10 0 0 10 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 10 0 10 0 10 0 10 0 0 0 10 10 10 0 0 10 10 0 0 0 10 0 0 10 10 10 0 0 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 0 0 0 0 0 10 10 10 10 10 0 10 10 0 10 10 10 0 0 0 0 0 10 0 10 0 10 0 0 10 0 10 10 0 0 10 9 10 0 0 10 10 0 10 10 10 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 10 9 10 10 10 10 0 10 0 9 0 0 10 0 0 10 10 0 0 0 0 0 10 0 0 10 10 0 10 0 0 0 10 10 10 0 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 10 10 0 0 10 0 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 7 0 10 10 10 0 0 10 10 10 10 0 10 0 0 0 10 0 10 10 10 10 10 10 10 0 0 10 0 0 10 10 10 10 0 10 0 10 10 0 0 10 10 10 0 10 10 10 10 0 0 0 0 0 10 10 10 0 10 10 0 0 8 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 0 0 10 0 0 0 10 0 0 0 0 0 10 10 10 0 10 0 0 10 0 0 10 0 10 0 0 10 0 0 0 10 10 0 10 10 0 10 10 0 0 10 0 0 0 10 10 0 10 10 0 0 10 0 10 10 10 10 0 10 0 10 10 10 10 10 0 0 10 0 0 0 10 0 10 10 0 10 10 10 10 10 0 10 0 10 0 0 0 10 10 10 10 10 0 10 0 10 0 0 0 0 10 0 0 10 10 0 10 10 0 0 0 0 10 0 0 0 10 10 0 9 0 0 0 0 10 0 0 10 0 10 10 10 10 0 10 10 10 10 10 0 0 0 0 0 10 0 10 0 0 10 10 0 0 10 10 10 10 10 0 10 0 0 10 0 0 10 0 0 0 0 10 0 0 0 10 10 10 10 0 0 0 0 0 10 0 10 0 10 10 10 0 10 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 0 10 0 0 10 10 0 10 0 10 10 10 0 10 0 0 10 10 10 0 10 10 0 10 10 10 10 0 10 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 10 10 0 10 0 10 10 0 10 0 10 10 10 10 10 0 10 0 10 0 308 256 84 188 324 80 324 160 252 32 108 56 0 36 328 336 488 204 336 40 516 80 512 128 532 20 120 228 380 136 8 20 352 532 236 256 396 352 192 500 220 520 308 516 64 372 72 96 336 136 196 280 156 256 196 256 104 176 108 16 308 56 184 176 132 40 376 116 108 12 52 148 100 84 180 244 168 168 124 220 428 96 160 208 112 236 172 364 176 96 272 340 176 152 284 336 60 120 188 232 332 372 144 100 332 128 372 136 8 404 304 88 344 64 32 400 92 148 48 136 232 36 188 40 76 228 284 72 296 468 72 56 52 256 464 16 60 40 76 208 148 136 56 520 380 20 60 336 328 80 484 60 480 480 496 308 228 516 416 168 144 328 192 388 428 400 8 412 76 136 52 156 352 116 120 108 280 424 64 24 184 316 44 36 48 28 556 356 220 4 596 36 188 88 160 408 228 248 180 232 208 152 132 280 208 280 116 8 404 76 268 72 268 252 308 224 12 200 108 164 60 108 168 108 128 136 0 8 44 108 48 120 0 40 24 56 104 496 552 512 260 392 164 440 408 36 432 548 140 424 80 152 180 572 80 136 28 160 184 204 292 204 252 0 160 44 8 76 232 256 36 460 208 76 264 184 352 152 208 76 312 48 204 64 372 332 100 308 200 52 56 24 328 228 324 268 140 200 164 220 80 108 168 32 104 224 76 8 236 280 188 244 340 136 156 8 104 144 80 296 24 324 292 220 276 128 64 480 88 404 232 360 276 312 80 80 372 136 56 292 84 124 352 332 44 52 372 324 80 40 432 452 256 136 128 420 352 212 244 36 368 56 160 128 252 48 148 40 16 64 124 20 316 4 344 220 212 496 60 140 40 336 36 140 224 344 452 460 236 556 560 372 420 20 316 172 24 240 440 92 320 268 472 100 256 180 240 248 56 288 312 172 296 76 264 12 64 148 36 184 128 144 224 44 220 108 156 40 80 92 168 248 148 248 312 96 416 120 460 104 260 8 12 56 16 292 324 16 140 24 168 144 108 24 136 52 76 284 256 144 316 380 104 64 56 64 140 140 260 112 108 44 144 160 160 244 200 120 4 40 232 4 8 132 204 28 104 236 80 40 56 184 168 8 304 28 192 12 256 440 72 368 116 520 28 52 328 68 60 56 96 332 8 392 168 4 196 40 316 16 20 24 84 108 40 180 272 96 80 8 92 44 28 12 220 216 160 260 96 240 124 172 88 388 148 144 272 60 168 144 4 148 140 132 24 96 240 232 20 36 84 268 24 120 88 4 296 140 284 72 108 272 148 100 72 24 232 164 40 24 148 140 156 196 112 60 312 236 4 56 160 144 76 292 220 88 132 448 444 280 264 68 116 408 156 88 32 184 244 104 80 188 232 168 132 168 60 372 192 220 96 400 124 396 172 152 20 364 416 168 104 232 280 68 144 320 52 92 188 284 48 168 96 160 44 60 64 176 36 256 432 120 320 20 16 468 376 120 80 80 452 0 144 64 312 432 360 528 304 268 360 288 64 112 28 84 28 120 184 24 144 284 88 152 228 40 8 256 32 132 32 156 256 140 28 344 96 8 124 36 88 128 236 324 20 284 4 164 256 140 172 144 44 56 76 84 204 68 40 188 328 320 328 32 104 268 72 56 456 468 520 96 468 160 80 328 516 376 324 308 436 48 528 440 96 272 384 372 472 224 156 288 120 56 316 88 120 108 144 16 92 48 200 116 244 232 376 36 292 16 400 256 188 48 364 12 64 20 240 84 140 280 12 304 136 188 44 84 60 40 52 276 360 160 172 376 300 68 292 88 220 96 272 96 68 340 136 92 316 104 340 32 340 180 212 16 32 104 212 76 68 116 160 104 36 156 32 212 344 172 132 328 56 196 28 92 168 72 56 204 236 156 0 12 132 176 76 136 148 256 56 140 212 276 272 24 312 20 212 576 16 188 172 80 116 56 116 316 276 24 296 364 340 0 8 112 388 380 340 32 60 152 260 260 220 116 424 296 76 236 36 64 80 244 16 196 180 272 104 64 4 184 172 256 252 400 412 36 24 296 216 100 320 340 164 256 296 64 516 368 456 392 108 416 244 192 496 152 72 104 128 204 272 108 52 368 4 88 352 44 576 412 276 496 576 204 248 328 64 336 332 196 288 76 196 116 44 140 124 284 0 4 72 248 132 16 12 140 36 8 132 52 204 88 24 16 100 244 80 252 40 468 436 600 320 496 40 36 76 64 12 500 376 128 160 80 204 332 252 104 68 80 204 48 228 392 44 88 176 300 264 196 120 16 416 176 356 32 40 332 56 192 156 80 160 240 212 60 20 456 84 472 104 244 368 176 228 204 160 112 128 144 336 0 212 304 216 536 184 352 84 240 20 556 540 40 332 328 480 400 140 308 404 160 120 108 76 72 36 128 168 232 176 132 216 92 340 88 180 304 56 64 280 16 108 24 172 72 180 560 508 368 428 228 200 368 488 416 364 176 332 160 60 36 4 224 80 328 208 100 20 448 108 428 368 72 8 288 56 92 424 432 528 248 140 552 56 144 224 312 180 60 528 248 24 200 132 8 204 72 368 368 172 180 60 124 180 40 28 264 108 84 184 244 32 32 144 396 0 32 180 112 28 356 72 200 80 112 252 404 432 160 476 164 56 244 32 8 64 180 264 260 20 24 184 232 232 72 124 256 292 196 164 100 108 224 92 56 104 100 136 60 176 228 12 232 260 36 200 212 24 60 408 56 216 244 188 144 132 156 116 240 228 404 532 4 352 308 516 112 8 316 192 180 152 68 252 20 404 52 236 188 96 132 20 20 12 292 44 68 44 108 20 80 160 164 148 28 68 204 172 24 108 188 196 332 268 4 320 240 204 476 168 92 376 180 96 176 48 144 196 52 216 216 324 360 448 188 52 104 144 308 292 28 316 292 168 392 340 416 72 236 48 128 100 476 372 40 100 164 132 308 0 372 128 364 476 160 96 284 80 72 340 292 552 572 224 4 556 556 80 496 372 276 48 120 128 152 196 96 120 176 52 208 76 360 168 472 312 196 596 44 432 576 36 244 576 116 104 48 156 80 196 24 392 168 244 228 60 436 108 416 456 192 396 348 276 496 412 44 308 456 44 388 104 188 132 60 140 288 332 416 436 456 276 16 292 288 144 52 144 132 20 212 60 28 12 88 236 100 80 140 32 400 36 56 108 276 120 140 240 276 272 180 248 116 156 332 428 312 380 416 336 212 144 320 528 480 140 536 368 356 64 392 128 172 44 4 96 28 292 316 276 292 92 252 428 0 284 64 276 88 16 396 232 100 396 396 380 540 176 96 364 300 28 200 152 272 100 56 152 284 144 56 52 292 40 308 372 264 388 232 204 352 40 200 300 164 452 308 140 92 184 284 244 252 160 152 80 472 400 260 460 244 156 576 0 120 528 328 512 372 248 136 48 96 84 136 4 204 396 336 84 272 224 48 352 48 516 144 288 96 32 100 16 68 148 196 132 204 144 168 312 36 264 92 124 20 40 188 392 264 20 132 104 20 436 272 292 44 176 120 120 112 104 264 224 408 384 32 492 96 392 520 536 140 28 192 192 244 168 168 152 292 80 188 412 104 48 80 128 164 188 120 188 116 160 180 84 368 200 196 168 120 96 140 140 144 128 316 140 224 12 160 20 224 192 56 256 68 80 236 268 352 316 356 476 304 68 120 164 176 288 104 180 136 216 124 164 232 84 336 376 20 236 136 364 440 300 360 76 20 204 68 232 148 8 244 76 8 48 4 56 164 244 196 148 412 432 124 212 380 260 136 52 196 360 360 168 344 188 136 504 292 44 60 68 296 228 244 552 248 120 312 48 292 4 292 60 152 32 124 208 228 40 184 208 220 0 104 96 16 260 36 276 516 472 292 332 536 20 340 380 328 164 8 172 256 252 324 44 16 176 80 132 164 180 308 324 80 120 8 152 32 348 68 344 368 232 200 296 280 404 440 216 28 192 88 288 192 96 4 0 16 16 172 8 552 368 180 192 144 176 8 24 80 16 24 152 184 268 0 224 204 52 204 80 332 44 196 296 204 144 336 272 268 432 544 188 128 208 48 264 124 24 212 336 4 24 420 360 104 420 92 168 256 36 200 424 348 44 148 332 228 124 12 32 444 140 
2400.02/2372.51	v 	</values>
2400.02/2372.51	v </instantiation>

Verifier Data

OK	387430773

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291994-1532280200/watcher-4291994-1532280200 -o /tmp/evaluation-result-4291994-1532280200/solver-4291994-1532280200 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532270698-27816 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1406388872 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291994-1532280200.xml 

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

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

solver pid=28833, runsolver pid=28830

[startup+0.10962 s]*
/proc/loadavg: 1.41 1.36 1.34 3/215 28848
/proc/meminfo: memFree=15638428/32770624 swapFree=67108860/67108860
[pid=28833] ppid=28830 vsize=14082740 memory=33888 CPUtime=0.12 cores=0,2,4,6
/proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 7384 0 0 0 11 1 0 0 20 0 15 0 45583221 14420725760 8472 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
/proc/28833/statm: 3520685 8472 3170 1 0 3482761 0
[pid=28833/tid=28835] ppid=28830 vsize=14082740 memory=8326441112148417179 CPUtime=0.1 cores=0,2,4,6
/proc/28833/task/28835/stat : 28835 (java) D 28830 28833 31076 0 -1 1077944384 5414 0 0 0 9 1 0 0 20 0 15 0 45583221 14420725760 8472 33554432000 4194304 4196468 140731228761872 139950765980352 139950754445869 0 4 0 16800975 18446744072101666340 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28836] ppid=28830 vsize=14082740 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 8472 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28837] ppid=28830 vsize=14082740 memory=140700731430528 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 8472 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28838] ppid=28830 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 8472 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28839] ppid=28830 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 8472 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28840] ppid=28830 vsize=14082772 memory=140700731430528 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583223 14420758528 8472 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28841] ppid=28830 vsize=14083732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45583224 14421741568 8472 33554432000 4194304 4196468 140731228761872 139950234264736 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28842] ppid=28830 vsize=14083732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45583224 14421741568 8472 33554432000 4194304 4196468 140731228761872 139950233211632 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28843] ppid=28830 vsize=14083732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14421741568 8538 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28844] ppid=28830 vsize=14083732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 45583226 14421741568 8538 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28845] ppid=28830 vsize=14083732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14421741568 8538 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28846] ppid=28830 vsize=14083732 memory=140700731430528 CPUtime=0.01 cores=0,2,4,6
/proc/28833/task/28846/stat : 28846 (java) R 28830 28833 31076 0 -1 4202560 271 0 0 0 1 0 0 0 20 0 15 0 45583226 14421741568 8538 33554432000 4194304 4196468 140731228761872 139950229002736 139950748091031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28847] ppid=28830 vsize=14083732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14421741568 8604 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28848] ppid=28830 vsize=14083732 memory=140700731430528 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583227 14421741568 8604 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33888 KiB

[startup+0.210404 s]*
/proc/loadavg: 1.41 1.36 1.34 5/215 28848
/proc/meminfo: memFree=15623780/32770624 swapFree=67108860/67108860
[pid=28833] ppid=28830 vsize=14082740 memory=47048 CPUtime=0.3 cores=0,2,4,6
/proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 10352 0 0 0 27 3 0 0 20 0 15 0 45583221 14420725760 11762 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
/proc/28833/statm: 3520685 11762 3365 1 0 3482761 0
[pid=28833/tid=28835] ppid=28830 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/28833/task/28835/stat : 28835 (java) S 28830 28833 31076 0 -1 1077944384 8087 0 0 0 18 2 0 0 20 0 15 0 45583221 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950765993824 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28836] ppid=28830 vsize=14082740 memory=342 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28837] ppid=28830 vsize=14082740 memory=140700731731476 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28838] ppid=28830 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28839] ppid=28830 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28840] ppid=28830 vsize=14082740 memory=140700731430528 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45583223 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28841] ppid=28830 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45583224 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950234264736 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28842] ppid=28830 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45583224 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950233211632 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28843] ppid=28830 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28844] ppid=28830 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28833/task/28844/stat : 28844 (java) R 28830 28833 31076 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 15 0 45583226 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28845] ppid=28830 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28833/task/28845/stat : 28845 (java) R 28830 28833 31076 0 -1 4202560 115 0 0 0 2 0 0 0 20 0 15 0 45583226 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950230055792 139950754056096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28846] ppid=28830 vsize=14082740 memory=140700731430528 CPUtime=0.05 cores=0,2,4,6
/proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 292 0 0 0 5 0 0 0 20 0 15 0 45583226 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28847] ppid=28830 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28848] ppid=28830 vsize=14082740 memory=140700731430528 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583227 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47048 KiB

[startup+0.310624 s]*
/proc/loadavg: 1.41 1.36 1.34 3/215 28848
/proc/meminfo: memFree=15620368/32770624 swapFree=67108860/67108860
[pid=28833] ppid=28830 vsize=14082740 memory=50272 CPUtime=0.44 cores=0,2,4,6
/proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 10788 0 0 0 41 3 0 0 20 0 15 0 45583221 14420725760 12568 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
/proc/28833/statm: 3520685 12568 3368 1 0 3482761 0
[pid=28833/tid=28835] ppid=28830 vsize=14082740 memory=53476 CPUtime=0.29 cores=0,2,4,6
/proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 8445 0 0 0 27 2 0 0 20 0 15 0 45583221 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950765974480 139950744969563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28836] ppid=28830 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28837] ppid=28830 vsize=14082740 memory=140700731488544 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28838] ppid=28830 vsize=14082740 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28839] ppid=28830 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28840] ppid=28830 vsize=14082740 memory=140700731495456 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45583223 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28841] ppid=28830 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45583224 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950234264736 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28842] ppid=28830 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45583224 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950233211632 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28843] ppid=28830 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28844] ppid=28830 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 15 0 45583226 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28845] ppid=28830 vsize=14082740 memory=140700578598415 CPUtime=0.02 cores=0,2,4,6
/proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 15 0 45583226 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28846] ppid=28830 vsize=14082740 memory=140700731459284 CPUtime=0.08 cores=0,2,4,6
/proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 313 0 0 0 8 0 0 0 20 0 15 0 45583226 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28847] ppid=28830 vsize=14082740 memory=140700578602959 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28848] ppid=28830 vsize=14082740 memory=281401310050240 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583227 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50272 KiB

[startup+0.700832 s]
/proc/loadavg: 1.41 1.36 1.34 3/215 28848
/proc/meminfo: memFree=15596060/32770624 swapFree=67108860/67108860
[pid=28833] ppid=28830 vsize=14084808 memory=88612 CPUtime=0.98 cores=0,2,4,6
/proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 17613 0 0 0 94 4 0 0 20 0 15 0 45583221 14422843392 22153 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
/proc/28833/statm: 3521202 22153 3500 1 0 3483273 0
[pid=28833/tid=28835] ppid=28830 vsize=14084808 memory=2372 CPUtime=0.66 cores=0,2,4,6
/proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 14895 0 0 0 63 3 0 0 20 0 15 0 45583221 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950765977520 139950761788573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28836] ppid=28830 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28837] ppid=28830 vsize=14084808 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28838] ppid=28830 vsize=14084808 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28839] ppid=28830 vsize=14084808 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28840] ppid=28830 vsize=14084808 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45583223 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28841] ppid=28830 vsize=14084808 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45583224 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950234264736 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28842] ppid=28830 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45583224 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950233211632 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28843] ppid=28830 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28844] ppid=28830 vsize=14084808 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 689 0 0 0 9 0 0 0 20 0 15 0 45583226 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28845] ppid=28830 vsize=14084808 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 252 0 0 0 6 0 0 0 20 0 15 0 45583226 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28846] ppid=28830 vsize=14084808 memory=-1807685287725067907 CPUtime=0.14 cores=0,2,4,6
/proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 395 0 0 0 14 0 0 0 20 0 15 0 45583226 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28847] ppid=28830 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28848] ppid=28830 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583227 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88612 KiB

[startup+1.50158 s]
/proc/loadavg: 1.41 1.36 1.34 5/215 28848
/proc/meminfo: memFree=15357196/32770624 swapFree=67108860/67108860
[pid=28833] ppid=28830 vsize=14086856 memory=428468 CPUtime=3.17 cores=0,2,4,6
/proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 20589 0 0 0 285 32 0 0 20 0 15 0 45583221 14424940544 107117 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
/proc/28833/statm: 3521714 107117 3567 1 0 3483785 0
[pid=28833/tid=28835] ppid=28830 vsize=14086856 memory=3833179246724403815 CPUtime=1.34 cores=0,2,4,6
/proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 15376 0 0 0 126 8 0 0 20 0 15 0 45583221 14424940544 107117 33554432000 4194304 4196468 140731228761872 139950766002936 139950389606871 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28836] ppid=28830 vsize=14086856 memory=190884 CPUtime=0.08 cores=0,2,4,6
/proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 88 0 0 0 3 5 0 0 20 0 15 0 45583222 14424940544 107117 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28837] ppid=28830 vsize=14086856 memory=2241 CPUtime=0.11 cores=0,2,4,6
/proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 236 0 0 0 5 6 0 0 20 0 15 0 45583222 14424940544 107117 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28838] ppid=28830 vsize=14086856 memory=1424 CPUtime=0.11 cores=0,2,4,6
/proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 132 0 0 0 5 6 0 0 20 0 15 0 45583222 14424940544 107117 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28839] ppid=28830 vsize=14086856 memory=15868 CPUtime=0.08 cores=0,2,4,6
/proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 127 0 0 0 4 4 0 0 20 0 15 0 45583222 14424940544 107117 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28840] ppid=28830 vsize=14086856 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 45583223 14424940544 107117 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0

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

/proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 184154 0 0 0 225583 77 0 0 20 0 15 0 45583221 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950766004656 139950387764751 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28836] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.2 cores=0,2,4,6
/proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 42209 0 0 0 435 85 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28837] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.21 cores=0,2,4,6
/proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 39530 0 0 0 435 86 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28838] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.25 cores=0,2,4,6
/proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 44259 0 0 0 443 82 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28839] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.18 cores=0,2,4,6
/proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 38700 0 0 0 433 85 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28840] ppid=28830 vsize=14093000 memory=6791534058613427641 CPUtime=0.42 cores=0,2,4,6
/proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 28336 0 0 0 34 8 0 0 20 0 15 0 45583223 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28841] ppid=28830 vsize=14093000 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950234264800 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28842] ppid=28830 vsize=14093000 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950233211648 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28843] ppid=28830 vsize=14093000 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28844] ppid=28830 vsize=14093000 memory=2968084 CPUtime=4.12 cores=0,2,4,6
/proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 11511 0 0 0 410 2 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28845] ppid=28830 vsize=14093000 memory=4136 CPUtime=3.86 cores=0,2,4,6
/proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 9481 0 0 0 383 3 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28846] ppid=28830 vsize=14093000 memory=4136 CPUtime=1.46 cores=0,2,4,6
/proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 14595 0 0 0 144 2 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28847] ppid=28830 vsize=14093000 memory=15280 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28848] ppid=28830 vsize=14093000 memory=2420 CPUtime=1.27 cores=0,2,4,6
/proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 2514 0 0 0 68 59 0 0 20 0 15 0 45583227 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
Current children cumulated CPU time: 2288.67 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2968084 KiB

[startup+2322.3 s]
/proc/loadavg: 1.51 1.58 1.59 3/217 28946
/proc/meminfo: memFree=12548076/32770624 swapFree=67108860/67108860
[pid=28833] ppid=28830 vsize=14093000 memory=2968084 CPUtime=2349.23 cores=0,2,4,6
/proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 422777 0 0 0 234443 480 0 0 20 0 15 0 45583221 14431232000 742021 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
/proc/28833/statm: 3523250 742021 3621 1 0 3485321 0
[pid=28833/tid=28835] ppid=28830 vsize=14093000 memory=2968084 CPUtime=2316.35 cores=0,2,4,6
/proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 185218 0 0 0 231558 77 0 0 20 0 15 0 45583221 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950766004848 139950387835644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28836] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.38 cores=0,2,4,6
/proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 43457 0 0 0 453 85 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28837] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.41 cores=0,2,4,6
/proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 41027 0 0 0 454 87 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28838] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.43 cores=0,2,4,6
/proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 45310 0 0 0 461 82 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28839] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.37 cores=0,2,4,6
/proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 39582 0 0 0 451 86 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28840] ppid=28830 vsize=14093000 memory=2968084 CPUtime=0.46 cores=0,2,4,6
/proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 28629 0 0 0 38 8 0 0 20 0 15 0 45583223 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28841] ppid=28830 vsize=14093000 memory=2968084 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950234264800 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28842] ppid=28830 vsize=14093000 memory=2968084 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950233211648 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28843] ppid=28830 vsize=14093000 memory=2968084 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28844] ppid=28830 vsize=14093000 memory=2968084 CPUtime=4.12 cores=0,2,4,6
/proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 11513 0 0 0 410 2 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28845] ppid=28830 vsize=14093000 memory=2968084 CPUtime=3.86 cores=0,2,4,6
/proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 9484 0 0 0 383 3 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28846] ppid=28830 vsize=14093000 memory=2968084 CPUtime=1.46 cores=0,2,4,6
/proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 14598 0 0 0 144 2 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28847] ppid=28830 vsize=14093000 memory=2968084 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28848] ppid=28830 vsize=14093000 memory=15304 CPUtime=1.3 cores=0,2,4,6
/proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 2535 0 0 0 70 60 0 0 20 0 15 0 45583227 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
Current children cumulated CPU time: 2349.23 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2968084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2372.5 s]
/proc/loadavg: 1.47 1.56 1.58 3/217 29027
/proc/meminfo: memFree=10152628/32770624 swapFree=67108860/67108860
[pid=28833] ppid=28830 vsize=14093000 memory=2960904 CPUtime=2400.02 cores=0,2,4,6
/proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 432685 0 0 0 239519 483 0 0 20 0 15 0 45583221 14431232000 740226 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
/proc/28833/statm: 3523250 740226 3621 1 0 3485321 0
[pid=28833/tid=28835] ppid=28830 vsize=14093000 memory=281401156960496 CPUtime=2366.31 cores=0,2,4,6
/proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 186257 0 0 0 236553 78 0 0 20 0 15 0 45583221 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950766004528 139950388133760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28836] ppid=28830 vsize=14093000 memory=2960904 CPUtime=5.58 cores=0,2,4,6
/proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 45995 0 0 0 472 86 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28837] ppid=28830 vsize=14093000 memory=2961928 CPUtime=5.61 cores=0,2,4,6
/proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 43331 0 0 0 473 88 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28838] ppid=28830 vsize=14093000 memory=2963468 CPUtime=5.63 cores=0,2,4,6
/proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 47217 0 0 0 480 83 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28839] ppid=28830 vsize=14093000 memory=2962444 CPUtime=5.56 cores=0,2,4,6
/proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 41112 0 0 0 470 86 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28840] ppid=28830 vsize=14093000 memory=2964496 CPUtime=0.5 cores=0,2,4,6
/proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 29163 0 0 0 41 9 0 0 20 0 15 0 45583223 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28841] ppid=28830 vsize=14093000 memory=2961416 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950234264800 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28842] ppid=28830 vsize=14093000 memory=2960904 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950233211648 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28843] ppid=28830 vsize=14093000 memory=2960904 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28844] ppid=28830 vsize=14093000 memory=1232 CPUtime=4.12 cores=0,2,4,6
/proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 11519 0 0 0 410 2 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28845] ppid=28830 vsize=14093000 memory=2960904 CPUtime=3.86 cores=0,2,4,6
/proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 9488 0 0 0 383 3 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28846] ppid=28830 vsize=14093000 memory=2960904 CPUtime=1.46 cores=0,2,4,6
/proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 14604 0 0 0 144 2 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28847] ppid=28830 vsize=14093000 memory=2963468 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28848] ppid=28830 vsize=14093000 memory=2963980 CPUtime=1.33 cores=0,2,4,6
/proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 2575 0 0 0 72 61 0 0 20 0 15 0 45583227 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2960904 KiB

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

[startup+2372.53 s]
# the end of solver process 28833 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.24 s, system=4.85858 s

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

[startup+2372.5 s]
/proc/loadavg: 1.47 1.56 1.58 3/217 29027
/proc/meminfo: memFree=10152628/32770624 swapFree=67108860/67108860
[pid=28833] ppid=28830 vsize=14093000 memory=2960904 CPUtime=2400.02 cores=0,2,4,6
/proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 432685 0 0 0 239519 483 0 0 20 0 15 0 45583221 14431232000 740226 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
/proc/28833/statm: 3523250 740226 3621 1 0 3485321 0
[pid=28833/tid=28835] ppid=28830 vsize=14093000 memory=281401156960496 CPUtime=2366.31 cores=0,2,4,6
/proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 186257 0 0 0 236553 78 0 0 20 0 15 0 45583221 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950766004528 139950388133760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28836] ppid=28830 vsize=14093000 memory=2960904 CPUtime=5.58 cores=0,2,4,6
/proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 45995 0 0 0 472 86 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28837] ppid=28830 vsize=14093000 memory=2961928 CPUtime=5.61 cores=0,2,4,6
/proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 43331 0 0 0 473 88 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28838] ppid=28830 vsize=14093000 memory=2963468 CPUtime=5.63 cores=0,2,4,6
/proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 47217 0 0 0 480 83 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28839] ppid=28830 vsize=14093000 memory=2962444 CPUtime=5.56 cores=0,2,4,6
/proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 41112 0 0 0 470 86 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28840] ppid=28830 vsize=14093000 memory=2964496 CPUtime=0.5 cores=0,2,4,6
/proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 29163 0 0 0 41 9 0 0 20 0 15 0 45583223 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28841] ppid=28830 vsize=14093000 memory=2961416 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950234264800 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28842] ppid=28830 vsize=14093000 memory=2960904 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950233211648 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28843] ppid=28830 vsize=14093000 memory=2960904 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28844] ppid=28830 vsize=14093000 memory=1232 CPUtime=4.12 cores=0,2,4,6
/proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 11519 0 0 0 410 2 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28845] ppid=28830 vsize=14093000 memory=2960904 CPUtime=3.86 cores=0,2,4,6
/proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 9488 0 0 0 383 3 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28846] ppid=28830 vsize=14093000 memory=2960904 CPUtime=1.46 cores=0,2,4,6
/proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 14604 0 0 0 144 2 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28847] ppid=28830 vsize=14093000 memory=2963468 CPUtime=0 cores=0,2,4,6
/proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
[pid=28833/tid=28848] ppid=28830 vsize=14093000 memory=2963980 CPUtime=1.33 cores=0,2,4,6
/proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 2575 0 0 0 72 61 0 0 20 0 15 0 45583227 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2960904 KiB

Child status: 143
Real time (s): 2372.53
CPU time (s): 2400.1
CPU user time (s): 2395.24
CPU system time (s): 4.85858
CPU usage (%): 101.162
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 4793080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.24
system time used= 4.85858
maximum resident set size= 4795092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62732
involuntary context switches= 2721


# summary of solver processes directly reported to runsolver:
#   pid: 28833
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2395.24
#   total CPU system time (s): 4.85858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6398 second user time and 22.8607 second system time

The end

Launcher Data

Begin job on node105 at 2018-07-22 19:23:20
IDJOB=4291994
IDBENCH=141262
IDSOLVER=2743
FILE ID=node105/4291994-1532280200
RUNJOBID= node105-1532270698-27816
PBS_JOBID= 21018967
Free space on /tmp= 44800 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291994-1532280200/watcher-4291994-1532280200 -o /tmp/evaluation-result-4291994-1532280200/solver-4291994-1532280200 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532270698-27816 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1406388872 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291994-1532280200.xml

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

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=1406388872

node105.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.32
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.32
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.32
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.32
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:        15656388 kB
MemAvailable:   31719408 kB
Buffers:          172052 kB
Cached:         15856356 kB
SwapCached:            0 kB
Active:          1669296 kB
Inactive:       14632232 kB
Active(anon):     227592 kB
Inactive(anon):    65084 kB
Active(file):    1441704 kB
Inactive(file): 14567148 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            126612 kB
Writeback:             0 kB
AnonPages:        277892 kB
Mapped:            49468 kB
Shmem:             17036 kB
Slab:             509936 kB
SReclaimable:     482628 kB
SUnreclaim:        27308 kB
KernelStack:        3488 kB
PageTables:         5680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1265932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44556 MiB
End job on node105 at 2018-07-22 20:02:53