Trace number 4309282

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 - Parallel with EPS 2018-08-14SAT (TO)401028250 19879.8 2520.39

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 benchmark374513959
Best CPU time to get the best result obtained on this benchmark2762.71
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.55	c version: 2018-08-14
0.67/0.55	c seed: 1737808401
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
25.74/13.76	c Parsing done, starting search...
390.97/75.41	o 401745847
390.97/75.45	o 401727447
390.97/75.46	o 401709047
390.97/75.50	o 401690647
391.83/75.51	o 401672247
391.83/75.53	o 401653857
391.83/75.54	o 401635467
391.83/75.55	o 401635464
391.83/75.57	o 401617074
392.55/75.61	o 401617073
392.55/75.64	o 401617064
392.55/75.65	o 401598683
392.55/75.66	o 401598674
393.35/75.71	o 401598673
393.35/75.73	o 401598664
393.35/75.74	o 401580283
393.35/75.76	o 401580274
393.35/75.77	o 401580273
393.35/75.78	o 401580264
393.35/75.78	o 401561892
393.35/75.78	o 401561883
393.35/75.79	o 401561874
394.19/75.81	o 401561873
394.19/75.81	o 401561864
394.19/75.82	o 401543492
394.19/75.83	o 401543483
394.19/75.84	o 401543474
394.19/75.86	o 401543473
394.19/75.86	o 401543464
394.19/75.87	o 401525092
394.19/75.89	o 401525083
394.19/75.91	o 401525074
395.00/75.92	o 401525073
395.00/75.93	o 401525064
395.00/75.94	o 401506692
395.00/75.95	o 401506683
395.00/75.96	o 401506674
395.00/75.97	o 401506673
395.00/75.98	o 401506664
395.00/75.99	o 401488292
395.75/76.00	o 401488283
395.75/76.01	o 401488274
395.75/76.02	o 401488265
395.75/76.04	o 401469909
395.75/76.05	o 401469900
395.75/76.06	o 401469891
395.75/76.08	o 401469883
395.75/76.09	o 401469874
396.53/76.10	o 401469865
396.53/76.11	o 401451509
396.53/76.12	o 401451500
396.53/76.13	o 401451491
396.53/76.14	o 401451483
396.53/76.15	o 401451474
396.53/76.16	o 401451465
397.40/76.24	o 401451464
397.40/76.25	o 401433083
397.40/76.26	o 401433074
401.32/76.71	o 401414693
401.32/76.72	o 401414684
401.32/76.76	o 401414683
401.32/76.76	o 401414674
401.32/76.79	o 401414665
402.10/76.82	o 401396316
402.10/76.83	o 401396307
402.10/76.84	o 401396298
402.10/76.84	o 401396289
402.10/76.85	o 401396284
402.10/76.86	o 401396279
402.10/76.87	o 401396270
402.10/76.88	o 401396265
524.03/92.18	o 401396251
524.03/92.19	o 401396246
524.89/92.25	o 401396236
559.07/96.59	o 401396235
692.88/113.31	o 401396226
738.20/119.09	o 401396225
810.72/128.13	o 401396223
810.72/128.13	o 401396218
812.39/128.31	o 401377855
812.39/128.32	o 401377846
812.39/128.33	o 401377844
812.39/128.35	o 401377836
812.39/128.37	o 401377835
812.39/128.39	o 401377826
825.86/130.05	o 401377825
872.83/136.00	o 401359437
873.63/136.02	o 401341061
873.63/136.03	o 401341047
873.63/136.04	o 401341037
2173.69/299.12	o 401341035
2308.43/316.01	o 401341027
2308.43/316.02	o 401322637
2951.67/396.78	o 401322636
2951.67/396.79	o 401322628
3069.68/411.51	o 401322625
3069.68/411.53	o 401304244
3069.68/411.54	o 401304235
3232.21/431.95	o 401285861
3232.21/431.96	o 401285847
3233.01/432.03	o 401285837
4287.02/564.30	o 401285836
4288.54/564.47	o 401285828
4288.54/564.49	o 401285827
4288.54/564.49	o 401285818
4365.86/574.19	o 401267460
4365.86/574.20	o 401267451
4366.74/574.22	o 401267446
4366.74/574.23	o 401267437
4376.22/575.43	o 401249069
4376.22/575.44	o 401249055
4376.22/575.45	o 401249046
4380.20/575.95	o 401249037
7177.21/926.84	o 401249035
7178.80/927.07	o 401230664
7178.80/927.08	o 401230655
7178.80/927.10	o 401230654
7179.60/927.11	o 401230645
8358.01/1075.02	o 401212268
8358.01/1075.03	o 401212259
8371.57/1076.70	o 401212250
8753.48/1124.68	o 401212247
8755.88/1124.93	o 401212240
8776.61/1127.53	o 401193890
8776.61/1127.54	o 401193885
8776.61/1127.55	o 401193881
8776.61/1127.56	o 401193876
8776.61/1127.57	o 401193875
8776.61/1127.58	o 401193871
8776.61/1127.60	o 401193866
8777.40/1127.61	o 401193864
8777.40/1127.62	o 401193859
8785.38/1128.66	o 401193857
8861.08/1138.15	o 401193850
9305.13/1193.89	o 401175485
9305.93/1193.91	o 401175476
9305.93/1193.92	o 401175469
9305.93/1193.94	o 401175466
9305.93/1193.95	o 401175459
9309.91/1194.49	o 401175450
11346.03/1449.84	o 401157083
11346.03/1449.84	o 401157074
11346.03/1449.86	o 401157069
11346.83/1449.93	o 401157064
11346.83/1449.95	o 401157055
11346.83/1449.96	o 401157050
11362.78/1451.94	o 401138699
11362.78/1451.95	o 401138694
11362.78/1451.96	o 401138690
11362.78/1451.97	o 401138685
11362.78/1451.98	o 401138683
11362.78/1452.00	o 401138678
11369.16/1452.72	o 401138673
11369.16/1452.72	o 401138668
11399.44/1456.53	o 401138667
11440.10/1461.65	o 401138666
11440.10/1461.66	o 401138662
11440.10/1461.67	o 401138657
11596.44/1481.22	o 401138650
13530.14/1723.86	o 401138648
13548.48/1726.12	o 401138640
13560.38/1727.65	o 401138636
13560.38/1727.66	o 401120268
13560.38/1727.67	o 401120259
13560.38/1727.68	o 401120250
16037.34/2038.35	o 401101893
16037.34/2038.35	o 401101884
16037.34/2038.36	o 401101876
16037.34/2038.37	o 401101875
16037.34/2038.37	o 401101867
16050.01/2039.99	o 401083510
16050.01/2039.99	o 401083502
16050.83/2040.00	o 401083501
16050.83/2040.01	o 401083493
16050.83/2040.02	o 401083492
16050.83/2040.03	o 401083484
16820.91/2136.64	o 401083475
16820.91/2136.65	o 401083466
16821.71/2136.70	o 401083459
17083.96/2169.63	o 401083450
17365.45/2204.97	o 401065102
17365.45/2204.98	o 401065093
17365.45/2204.99	o 401065084
17365.45/2204.99	o 401065076
17365.45/2205.00	o 401065075
17366.32/2205.01	o 401065067
17813.39/2261.18	o 401065066
17813.39/2261.19	o 401065062
17813.39/2261.20	o 401065057
17814.30/2261.23	o 401065055
17814.30/2261.23	o 401065050
18310.04/2323.43	o 401065045
18347.51/2328.19	o 401046710
18347.51/2328.20	o 401046701
18348.38/2328.22	o 401046696
18348.38/2328.22	o 401046692
18348.38/2328.24	o 401046687
18348.38/2328.25	o 401046683
18348.38/2328.26	o 401046674
18348.38/2328.27	o 401046669
18348.38/2328.28	o 401046664
18348.38/2328.29	o 401046659
18526.07/2350.52	o 401046650
19277.06/2444.73	o 401028312
19277.06/2444.74	o 401028304
19277.06/2444.74	o 401028303
19277.06/2444.75	o 401028295
19277.06/2444.76	o 401028294
19277.06/2444.76	o 401028286
19277.06/2444.76	o 401028285
19277.06/2444.77	o 401028277
19825.55/2513.59	o 401028276
19826.39/2513.61	o 401028275
19826.39/2513.62	o 401028266
19827.95/2513.85	o 401028259
19827.95/2513.85	o 401028250
19877.36/2520.08	s SATISFIABLE
19877.36/2520.10	v <instantiation>
19877.36/2520.10	v 	<list>
19877.36/2520.10	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]
19877.36/2520.10	v 	</list>
19877.36/2520.10	v 	<values>
19877.36/2520.10	v 		2516 2436 2444 2780 2544 2648 2660 2608 2460 2480 2784 2724 2528 2556 2532 2472 2624 2480 2612 2500 2480 2792 2508 2548 2740 2724 2684 2764 2660 2740 2768 2760 2744 2556 2516 2752 2672 2440 2644 2600 2720 2440 2612 2476 2588 2476 2532 2612 2468 2620 2652 2616 2648 2416 2408 2516 2476 2648 2588 2560 2400 2572 2532 2552 2536 2732 2608 2468 2488 2780 2660 2712 2504 2488 2724 2380 2532 2520 2476 2504 2516 2728 2480 2508 2516 2636 2448 2764 2760 2504 2720 2676 2716 2476 2612 2524 2760 2540 2528 2660 2420 2508 2668 2548 2576 2516 2436 2520 2760 2620 2456 2612 2520 2488 2520 2484 2432 2740 2780 2568 2520 2624 2572 2448 2660 2420 2396 2756 2640 2472 2492 2476 2476 2620 2472 2436 2524 2740 2596 2600 2712 2432 2612 2528 2732 2548 2664 2444 2548 2404 2780 2492 2492 2780 2508 2644 2800 2764 2708 2576 2408 2540 2476 2644 2716 2612 2380 2516 2516 2364 2728 2500 2668 2676 2664 2592 2516 2608 2496 2768 2540 2476 2652 2652 2660 2484 2764 2416 2436 2500 2484 2516 2640 2740 2780 2424 2492 2708 2560 2620 2604 2516 2608 2476 2772 2716 2440 2692 2768 2404 2476 2624 2448 2620 2728 2456 2664 2724 2560 2676 2516 2468 2620 2728 2396 2536 2604 2572 2580 2516 2476 2464 2652 2740 2620 2768 2532 2492 2464 2512 2500 2724 2432 2476 2544 2624 2496 2528 2764 2752 2472 2488 2720 2568 2476 2476 2664 2376 2516 2508 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 11 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 0 10 10 10 10 0 0 10 10 10 10 10 0 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 0 10 0 0 10 0 10 0 10 10 10 0 0 10 10 10 10 9 10 10 10 10 10 10 0 10 10 10 0 0 0 10 0 0 10 10 10 10 10 10 10 10 10 10 0 0 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 0 0 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 10 0 10 0 0 10 10 0 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 10 0 10 10 10 10 0 0 10 0 0 10 10 10 10 10 0 10 0 0 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 10 0 10 0 10 0 0 10 0 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 0 10 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 0 10 0 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 0 10 10 10 0 9 10 10 0 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 0 10 10 10 10 0 10 0 10 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 7 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 8 10 10 10 10 10 10 10 10 0 10 10 0 10 10 0 10 10 10 0 10 10 10 0 10 10 0 0 0 0 10 10 10 10 0 0 10 0 10 0 10 0 0 0 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 7 0 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 0 10 10 10 10 10 0 10 10 0 10 0 10 10 10 10 0 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 0 0 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 0 10 10 10 10 10 0 10 10 0 10 10 10 10 10 0 0 10 10 10 0 10 208 40 48 144 248 12 204 96 104 4 52 24 0 176 236 296 104 112 84 84 4 272 28 224 0 344 20 136 108 188 328 164 16 56 204 108 88 64 168 24 52 324 64 344 364 348 12 108 136 36 220 148 4 140 236 228 132 184 60 28 208 40 132 172 112 20 160 92 156 68 28 28 80 4 148 104 120 172 132 200 188 16 184 72 60 152 184 184 132 16 132 76 0 148 132 116 108 88 140 192 44 300 64 24 268 192 280 244 120 40 0 96 44 140 144 32 12 4 232 300 28 196 36 16 20 308 52 4 276 260 4 244 132 308 380 60 20 32 408 268 136 64 220 344 232 40 48 232 236 28 216 8 236 192 232 84 56 252 180 12 36 92 0 204 164 140 32 204 160 80 112 40 96 120 4 80 68 208 8 32 88 196 68 56 24 28 88 100 260 24 4 52 76 28 20 244 28 4 44 108 0 108 156 92 108 132 84 16 220 104 80 96 80 284 4 84 4 36 184 172 20 212 288 36 16 136 8 48 0 84 52 64 32 8 8 76 108 224 268 84 16 136 8 120 124 104 164 280 0 152 16 16 16 0 68 40 4 60 116 232 300 172 228 4 236 12 4 28 260 316 28 304 276 52 316 112 140 28 128 4 212 32 72 40 104 256 128 232 212 72 16 60 28 68 100 72 72 168 216 64 32 92 84 32 140 264 40 28 252 220 248 264 140 128 148 88 76 204 0 248 28 192 256 236 248 64 56 236 100 84 176 232 248 236 72 168 164 168 32 212 212 44 288 84 24 4 324 288 40 44 240 280 192 144 52 272 248 88 112 12 276 60 144 12 128 64 132 8 40 184 68 180 8 20 232 164 168 308 32 128 12 316 24 116 196 252 284 336 176 332 372 252 304 268 272 188 0 288 316 120 288 268 344 124 272 132 216 228 28 268 164 124 232 196 116 52 184 12 68 80 216 16 80 164 80 84 48 40 8 160 84 224 124 44 16 140 284 36 332 232 280 28 12 100 44 240 228 12 52 52 296 36 292 20 80 20 108 172 236 36 220 324 76 8 8 104 88 68 244 88 188 172 64 8 120 136 80 40 8 24 76 12 60 112 92 12 52 108 184 24 4 140 164 64 232 0 108 40 228 340 8 204 68 272 8 0 244 36 36 48 64 324 76 332 328 52 224 8 108 8 16 96 64 20 152 8 80 76 8 148 112 8 28 0 252 288 164 264 216 244 112 144 100 140 132 68 52 124 176 72 32 140 112 136 40 132 236 248 0 28 72 264 72 144 60 20 288 88 28 0 0 12 104 24 16 16 28 88 48 56 92 196 52 136 140 52 168 120 52 20 72 136 196 128 96 264 260 292 312 192 196 48 8 260 144 28 0 104 120 48 144 152 72 120 132 244 24 112 132 132 88 220 76 244 112 176 44 168 216 32 100 180 56 108 20 140 160 4 172 148 116 132 100 4 36 36 128 48 140 0 124 40 88 124 144 16 116 220 252 248 28 364 248 0 84 68 100 332 84 68 268 108 56 144 28 8 12 128 192 60 124 264 24 76 212 8 12 44 40 280 0 168 112 188 24 296 12 20 116 132 12 64 84 284 56 244 76 184 272 124 176 132 72 96 32 124 96 52 128 104 184 140 28 64 92 20 72 164 80 140 36 104 116 104 144 60 156 44 20 136 312 36 4 400 100 192 368 64 352 116 40 32 56 88 140 32 156 56 136 32 104 92 12 44 12 64 248 40 120 16 240 236 88 20 232 24 60 20 156 204 68 116 24 188 52 100 8 68 20 56 24 176 156 228 224 88 64 44 92 12 132 120 52 72 140 232 184 248 8 160 0 184 32 328 172 68 52 12 172 136 12 92 116 48 36 136 60 52 312 48 144 296 8 192 24 28 8 4 76 8 232 180 40 60 20 108 28 12 164 40 20 24 232 112 276 20 252 260 168 416 12 160 116 156 144 8 188 216 280 0 176 100 184 4 12 52 72 332 212 296 36 176 200 236 16 108 84 44 36 12 220 120 260 108 12 52 32 252 112 28 72 188 132 236 232 244 304 16 16 232 116 48 208 260 72 192 232 40 360 376 328 264 0 76 116 108 340 44 16 112 16 144 108 88 16 192 68 4 28 32 260 140 44 208 260 28 52 52 44 132 284 44 264 96 144 136 72 8 128 248 8 0 108 256 120 32 44 12 36 12 136 32 64 96 12 12 32 108 160 212 4 108 104 228 156 4 60 84 44 44 36 76 64 20 80 36 60 256 160 16 32 32 136 32 112 8 32 8 144 224 192 44 20 12 188 160 240 76 28 192 220 136 144 72 76 120 164 52 12 216 4 32 36 68 156 68 132 24 88 48 120 100 272 36 148 284 148 352 148 244 32 264 220 324 356 32 248 232 192 236 28 116 276 12 28 28 16 100 60 76 100 152 84 156 156 204 244 128 88 192 52 212 108 196 24 4 312 8 240 48 32 40 24 200 188 24 8 40 104 148 124 128 12 48 8 160 156 164 180 4 40 4 92 256 144 40 84 68 32 92 276 328 324 232 116 396 32 44 188 284 20 56 20 36 132 0 24 56 80 100 84 84 64 8 44 228 92 0 20 164 76 164 148 132 12 48 120 296 4 0 144 52 16 200 72 56 80 96 76 344 304 56 344 88 12 116 16 8 32 96 260 96 20 44 192 152 168 48 16 176 236 172 152 164 116 232 12 168 80 40 136 100 188 176 60 68 212 0 124 160 28 0 184 12 40 92 40 56 260 44 248 28 4 40 324 4 268 284 8 296 4 284 144 148 44 120 104 56 144 104 208 188 76 80 76 36 32 264 44 12 40 96 8 64 96 120 108 0 56 112 36 100 80 64 56 144 4 56 124 120 12 240 0 36 0 88 56 112 20 36 84 100 104 64 232 144 296 92 0 48 136 28 140 84 192 228 40 368 176 308 16 104 0 44 116 320 248 40 120 120 76 240 0 288 104 292 212 76 52 200 36 40 44 8 112 84 84 252 116 40 200 48 228 24 96 48 140 64 192 56 80 136 48 152 24 164 60 260 128 68 324 0 8 292 320 64 72 144 8 52 184 8 144 40 264 128 108 56 56 308 80 4 300 88 268 248 100 144 20 88 208 332 0 392 8 24 280 184 244 188 12 256 196 268 64 4 148 56 8 68 60 240 0 0 176 36 64 116 288 60 8 92 88 212 96 0 32 188 244 188 24 292 80 56 184 4 256 100 168 216 228 188 80 48 8 12 240 196 128 376 240 48 240 164 172 36 24 24 56 68 112 108 24 4 92 196 276 108 280 8 144 52 4 208 188 8 192 24 192 56 168 72 248 136 40 152 108 252 36 52 240 132 64 52 20 192 8 204 8 104 232 76 188 180 44 104 200 148 336 220 56 72 160 232 100 12 56 84 60 24 112 92 36 132 60 416 0 12 332 312 304 288 224 24 24 16 40 24 8 184 276 216 16 132 128 4 228 16 344 116 252 24 16 156 32 52 124 128 108 172 124 208 284 384 288 176 124 36 36 144 332 248 20 116 104 60 148 168 140 44 136 48 120 84 48 200 132 244 252 76 332 32 216 356 32 160 24 68 56 104 84 84 84 264 4 92 280 24 36 120 36 168 128 80 144 128 136 200 48 156 200 228 96 56 40 128 136 116 96 84 160 136 0 104 48 88 108 40 112 68 52 168 124 228 152 204 100 180 36 208 184 76 180 44 148 60 148 64 84 188 32 224 264 176 104 136 248 212 144 40 0 40 232 112 32 8 40 232 216 8 4 0 12 80 140 136 120 92 256 80 176 212 228 104 48 136 140 28 48 140 12 4 108 340 88 324 300 100 52 164 344 184 16 228 16 228 80 224 68 76 44 96 44 120 0 40 252 124 16 88 84 36 96 32 180 344 264 208 248 12 268 304 316 232 68 4 136 176 196 164 44 12 104 44 180 164 16 244 156 0 128 0 40 4 248 216 296 192 172 244 16 184 312 64 28 176 72 16 168 200 12 52 168 20 0 128 320 52 224 104 120 88 144 4 8 80 168 44 132 288 228 208 64 144 64 136 104 272 24 4 284 40 120 52 216 220 208 368 104 136 72 60 96 80 108 108 236 28 292 276 260 32 88 44 128 252 60 172 44 24 56 92 100 120 128 32 20 184 88 
19877.36/2520.10	v 	</values>
19877.36/2520.10	v </instantiation>

Verifier Data 

OK	401028250

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309282-1534372381/watcher-4309282-1534372381 -o /tmp/evaluation-result-4309282-1534372381/solver-4309282-1534372381 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1534372381-14416 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1737808401 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309282-1534372381.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=14433, runsolver pid=14430

[startup+0.100135 s]*
/proc/loadavg: 9.23 9.01 8.86 2/199 14453
/proc/meminfo: memFree=23907188/32770624 swapFree=67108500/67108860
[pid=14433] ppid=14430 vsize=26103420 memory=30296 CPUtime=0.11 cores=0-7
/proc/14433/stat : 14433 (java) S 14430 14433 14389 0 -1 1077944320 7022 0 0 0 10 1 0 0 20 0 20 0 254801300 26729902080 7574 33554432000 4194304 4196468 140732451010432 140732450992976 140368610180855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
/proc/14433/statm: 6525855 7574 3133 1 0 6487932 0
[pid=14433/tid=14435] ppid=14430 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/14433/task/14435/stat : 14435 (java) R 14430 14433 14389 0 -1 4202560 5200 0 0 0 8 1 0 0 20 0 20 0 254801300 26729902080 7706 33554432000 4194304 4196468 140732451010432 140368614414856 140368590456576 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14436] ppid=14430 vsize=26103420 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14433/task/14436/stat : 14436 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 7706 33554432000 4194304 4196468 140732451010432 140368532761616 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14437] ppid=14430 vsize=26103420 memory=139955127588480 CPUtime=0 cores=0-7
/proc/14433/task/14437/stat : 14437 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 7706 33554432000 4194304 4196468 140732451010432 140368531709072 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14438] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14438/stat : 14438 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 7706 33554432000 4194304 4196468 140732451010432 140368530656016 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14439] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14439/stat : 14439 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 7706 33554432000 4194304 4196468 140732451010432 140368529603472 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14440] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14440/stat : 14440 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 7706 33554432000 4194304 4196468 140732451010432 140368528550416 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14441] ppid=14430 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/14433/task/14441/stat : 14441 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 7706 33554432000 4194304 4196468 140732451010432 140368527497872 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14442] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14442/stat : 14442 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 7706 33554432000 4194304 4196468 140732451010432 140368526444816 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14443] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14443/stat : 14443 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 7706 33554432000 4194304 4196468 140732451010432 140368525392272 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14444] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14444/stat : 14444 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801303 26729902080 7706 33554432000 4194304 4196468 140732451010432 140368006892272 140368610192002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14445] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14445/stat : 14445 (java) S 14430 14433 14389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254801303 26729902080 7772 33554432000 4194304 4196468 140732451010432 140368005838496 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14446] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14446/stat : 14446 (java) S 14430 14433 14389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254801303 26729902080 7772 33554432000 4194304 4196468 140732451010432 140368004785392 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14447] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14447/stat : 14447 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 7772 33554432000 4194304 4196468 140732451010432 140368003733968 140368610199451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14448] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14448/stat : 14448 (java) S 14430 14433 14389 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 7772 33554432000 4194304 4196468 140732451010432 140368002681072 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14449] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14449/stat : 14449 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 7772 33554432000 4194304 4196468 140732451010432 140368001628528 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14450] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14450/stat : 14450 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 7772 33554432000 4194304 4196468 140732451010432 140368000575472 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14451] ppid=14430 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/14433/task/14451/stat : 14451 (java) S 14430 14433 14389 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 254801306 26729902080 7772 33554432000 4194304 4196468 140732451010432 140367999522928 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14452] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14452/stat : 14452 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 7772 33554432000 4194304 4196468 140732451010432 140367998471136 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14453] ppid=14430 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/14433/task/14453/stat : 14453 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 7772 33554432000 4194304 4196468 140732451010432 140367997418672 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 30296 KiB

[startup+0.2098 s]*
/proc/loadavg: 9.23 9.01 8.86 3/199 14453
/proc/meminfo: memFree=23893112/32770624 swapFree=67108500/67108860
[pid=14433] ppid=14430 vsize=26103420 memory=43012 CPUtime=0.3 cores=0-7
/proc/14433/stat : 14433 (java) S 14430 14433 14389 0 -1 1077944320 10400 0 0 0 28 2 0 0 20 0 20 0 254801300 26729902080 10753 33554432000 4194304 4196468 140732451010432 140732450992976 140368610180855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
/proc/14433/statm: 6525855 10753 3333 1 0 6487932 0
[pid=14433/tid=14435] ppid=14430 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/14433/task/14435/stat : 14435 (java) R 14430 14433 14389 0 -1 4202560 8165 0 0 0 18 1 0 0 20 0 20 0 254801300 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368614407552 140368594261342 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14436] ppid=14430 vsize=26103420 memory=11931 CPUtime=0 cores=0-7
/proc/14433/task/14436/stat : 14436 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368532761616 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14437] ppid=14430 vsize=26103420 memory=288370331279300224 CPUtime=0 cores=0-7
/proc/14433/task/14437/stat : 14437 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368531709072 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14438] ppid=14430 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/14433/task/14438/stat : 14438 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368530656016 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14439] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14439/stat : 14439 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368529603472 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14440] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14440/stat : 14440 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368528550416 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14441] ppid=14430 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/14433/task/14441/stat : 14441 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368527497872 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14442] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14442/stat : 14442 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368526444816 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14443] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14443/stat : 14443 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368525392272 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14444] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14444/stat : 14444 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801303 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368006892272 140368610192002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14445] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14445/stat : 14445 (java) S 14430 14433 14389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254801303 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368005838496 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14446] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14446/stat : 14446 (java) S 14430 14433 14389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254801303 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368004785392 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14447] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14447/stat : 14447 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368003733968 140368610199451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14448] ppid=14430 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/14433/task/14448/stat : 14448 (java) S 14430 14433 14389 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 20 0 254801306 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368002681072 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14449] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14449/stat : 14449 (java) S 14430 14433 14389 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368001628528 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14450] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14450/stat : 14450 (java) S 14430 14433 14389 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 10753 33554432000 4194304 4196468 140732451010432 140368000575472 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14451] ppid=14430 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/14433/task/14451/stat : 14451 (java) R 14430 14433 14389 0 -1 4202560 317 0 0 0 6 0 0 0 20 0 20 0 254801306 26729902080 10753 33554432000 4194304 4196468 140732451010432 140367999522928 140368588864960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14452] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14452/stat : 14452 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 10753 33554432000 4194304 4196468 140732451010432 140367998471136 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14453] ppid=14430 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/14433/task/14453/stat : 14453 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 10753 33554432000 4194304 4196468 140732451010432 140367997418672 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43012 KiB

[startup+0.309319 s]*
/proc/loadavg: 9.23 9.01 8.86 3/199 14453
/proc/meminfo: memFree=23889824/32770624 swapFree=67108500/67108860
[pid=14433] ppid=14430 vsize=26103420 memory=46792 CPUtime=0.43 cores=0-7
/proc/14433/stat : 14433 (java) S 14430 14433 14389 0 -1 1077944320 10838 0 0 0 41 2 0 0 20 0 20 0 254801300 26729902080 11698 33554432000 4194304 4196468 140732451010432 140732450992976 140368610180855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
/proc/14433/statm: 6525855 11698 3371 1 0 6487932 0
[pid=14433/tid=14435] ppid=14430 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14433/task/14435/stat : 14435 (java) R 14430 14433 14389 0 -1 4202560 8515 0 0 0 28 1 0 0 20 0 20 0 254801300 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368614342592 140368590456687 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14436] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14436/stat : 14436 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368532761616 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14437] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14437/stat : 14437 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368531709072 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14438] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14438/stat : 14438 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368530656016 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14439] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14439/stat : 14439 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368529603472 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14440] ppid=14430 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/14433/task/14440/stat : 14440 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368528550416 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14441] ppid=14430 vsize=26103420 memory=139954999096239 CPUtime=0 cores=0-7
/proc/14433/task/14441/stat : 14441 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368527497872 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14442] ppid=14430 vsize=26103420 memory=139954999098544 CPUtime=0 cores=0-7
/proc/14433/task/14442/stat : 14442 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368526444816 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14443] ppid=14430 vsize=26103420 memory=139954999100848 CPUtime=0 cores=0-7
/proc/14433/task/14443/stat : 14443 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254801301 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368525392272 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14444] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14444/stat : 14444 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801303 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368006892272 140368610192002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14445] ppid=14430 vsize=26103420 memory=279909998208656 CPUtime=0 cores=0-7
/proc/14433/task/14445/stat : 14445 (java) S 14430 14433 14389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254801303 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368005838496 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14446] ppid=14430 vsize=26103420 memory=279909998215568 CPUtime=0 cores=0-7
/proc/14433/task/14446/stat : 14446 (java) S 14430 14433 14389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254801303 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368004785392 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14447] ppid=14430 vsize=26103420 memory=279909998156848 CPUtime=0 cores=0-7
/proc/14433/task/14447/stat : 14447 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368003733968 140368610199451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14448] ppid=14430 vsize=26103420 memory=279909998229392 CPUtime=0.02 cores=0-7
/proc/14433/task/14448/stat : 14448 (java) S 14430 14433 14389 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 20 0 254801306 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368002681072 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14449] ppid=14430 vsize=26103420 memory=279909998236304 CPUtime=0 cores=0-7
/proc/14433/task/14449/stat : 14449 (java) S 14430 14433 14389 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368001628528 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14450] ppid=14430 vsize=26103420 memory=279909998234000 CPUtime=0 cores=0-7
/proc/14433/task/14450/stat : 14450 (java) S 14430 14433 14389 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 11698 33554432000 4194304 4196468 140732451010432 140368000575472 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14451] ppid=14430 vsize=26103420 memory=279909998250608 CPUtime=0.08 cores=0-7
/proc/14433/task/14451/stat : 14451 (java) S 14430 14433 14389 0 -1 1077944384 334 0 0 0 8 0 0 0 20 0 20 0 254801306 26729902080 11698 33554432000 4194304 4196468 140732451010432 140367999522928 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14452] ppid=14430 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14452/stat : 14452 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 11698 33554432000 4194304 4196468 140732451010432 140367998471136 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14453] ppid=14430 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/14433/task/14453/stat : 14453 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801306 26729902080 11698 33554432000 4194304 4196468 140732451010432 140367997418672 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46792 KiB

[startup+0.700951 s]
/proc/loadavg: 9.23 9.01 8.86 2/199 14453
/proc/meminfo: memFree=23865436/32770624 swapFree=67108500/67108860
[pid=14433] ppid=14430 vsize=26105488 memory=87424 CPUtime=0.99 cores=0-7
/proc/14433/stat : 14433 (java) S 14430 14433 14389 0 -1 1077944320 17806 0 0 0 95 4 0 0 20 0 20 0 254801300 26732019712 21856 33554432000 4194304 4196468 140732451010432 140732450992976 140368610180855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
/proc/14433/statm: 6526372 21856 3476 1 0 6488444 0
[pid=14433/tid=14435] ppid=14430 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/14433/task/14435/stat : 14435 (java) R 14430 14433 14389 0 -1 4202560 15009 0 0 0 64 3 0 0 20 0 20 0 254801300 26732019712 21856 33554432000 4194304 4196468 140732451010432 140368614396336 140368610202781 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14436] ppid=14430 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14436/stat : 14436 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801301 26732019712 21856 33554432000 4194304 4196468 140732451010432 140368532761616 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14437] ppid=14430 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14437/stat : 14437 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254801301 26732019712 21856 33554432000 4194304 4196468 140732451010432 140368531709072 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14438] ppid=14430 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/14433/task/14438/stat : 14438 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801301 26732019712 21856 33554432000 4194304 4196468 140732451010432 140368530656016 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14439] ppid=14430 vsize=26105488 memory=6388 CPUtime=0 cores=0-7
/proc/14433/task/14439/stat : 14439 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801301 26732019712 21856 33554432000 4194304 4196468 140732451010432 140368529603472 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14440] ppid=14430 vsize=26105488 memory=864 CPUtime=0 cores=0-7
/proc/14433/task/14440/stat : 14440 (java) S 14430 14433 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254801301 26732019712 21856 33554432000 4194304 4196468 140732451010432 140368528550416 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14441] ppid=14430 vsize=26105488 memory=1296 CPUtime=0 cores=0-7
/proc/14433/task/14441/stat : 14441 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801301 26732019712 21856 33554432000 4194304 4196468 140732451010432 140368527497872 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14442] ppid=14430 vsize=26105488 memory=1068 CPUtime=0 cores=0-7
/proc/14433/task/14442/stat : 14442 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801301 26732019712 21856 33554432000 4194304 4196468 140732451010432 140368526444816 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14443] ppid=14430 vsize=26105488 memory=15084 CPUtime=0 cores=0-7
/proc/14433/task/14443/stat : 14443 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254801301 26732019712 21856 33554432000 4194304 4196468 140732451010432 140368525392272 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14444] ppid=14430 vsize=26105488 memory=39148 CPUtime=0 cores=0-7
/proc/14433/task/14444/stat : 14444 (java) S 14430 14433 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254801303 26732019712 21856 33554432000 4194304 4196468 140732451010432 140368006892272 140368610192002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0

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

[pid=14433/tid=14463] ppid=14430 vsize=27852572 memory=6944656592455097440 CPUtime=2448.21 cores=0-7
/proc/14433/task/14463/stat : 14463 (java) R 14430 14433 14389 0 -1 4202560 77706 0 0 0 244633 188 0 0 20 0 46 0 254804570 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367701689816 140368218049856 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14464] ppid=14430 vsize=27852572 memory=6656426216303648864 CPUtime=2460.23 cores=0-7
/proc/14433/task/14464/stat : 14464 (java) R 14430 14433 14389 0 -1 4202560 81615 0 0 0 245807 216 0 0 20 0 46 0 254804571 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367700636760 140368216019588 0 4 0 16800975 0 0 0 -1 6 0 0 28 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14465] ppid=14430 vsize=27852572 memory=3939410127564308512 CPUtime=2461.98 cores=0-7
/proc/14433/task/14465/stat : 14465 (java) R 14430 14433 14389 0 -1 4202560 77131 0 0 0 246006 192 0 0 20 0 46 0 254804573 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367699586864 140368211749896 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14466] ppid=14430 vsize=27852572 memory=12230 CPUtime=0.01 cores=0-7
/proc/14433/task/14466/stat : 14466 (java) S 14430 14433 14389 0 -1 1077944384 593 0 0 0 1 0 0 0 20 0 46 0 254805942 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367698539408 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14467] ppid=14430 vsize=27852572 memory=3618981174334208456 CPUtime=2462.56 cores=0-7
/proc/14433/task/14467/stat : 14467 (java) R 14430 14433 14389 0 -1 4202560 129151 0 0 0 246098 158 0 0 20 0 46 0 254805942 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367697478888 140368218219745 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14468] ppid=14430 vsize=27852572 memory=4629771062077588875 CPUtime=0.01 cores=0-7
/proc/14433/task/14468/stat : 14468 (java) S 14430 14433 14389 0 -1 1077944384 532 0 0 0 1 0 0 0 20 0 46 0 254808842 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367692203664 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14469] ppid=14430 vsize=27852572 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/14433/task/14469/stat : 14469 (java) S 14430 14433 14389 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 46 0 254808844 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367691151120 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14470] ppid=14430 vsize=27852572 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/14433/task/14470/stat : 14470 (java) S 14430 14433 14389 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 46 0 254808846 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367690098064 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14471] ppid=14430 vsize=27852572 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/14433/task/14471/stat : 14471 (java) S 14430 14433 14389 0 -1 1077944384 829 0 0 0 0 0 0 0 20 0 46 0 254808847 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367689045520 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14472] ppid=14430 vsize=27852572 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14433/task/14472/stat : 14472 (java) S 14430 14433 14389 0 -1 1077944384 658 0 0 0 0 0 0 0 20 0 46 0 254808849 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367687992464 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14473] ppid=14430 vsize=27852572 memory=7800344859672537426 CPUtime=0 cores=0-7
/proc/14433/task/14473/stat : 14473 (java) S 14430 14433 14389 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 46 0 254808852 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367686939920 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14474] ppid=14430 vsize=27852572 memory=7236229500900889449 CPUtime=0 cores=0-7
/proc/14433/task/14474/stat : 14474 (java) S 14430 14433 14389 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 46 0 254808855 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367685886864 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14475] ppid=14430 vsize=27852572 memory=7236229500900889449 CPUtime=0 cores=0-7
/proc/14433/task/14475/stat : 14475 (java) S 14430 14433 14389 0 -1 1077944384 1050 0 0 0 0 0 0 0 20 0 46 0 254808856 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367684834320 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14476] ppid=14430 vsize=27852572 memory=7236229500900889449 CPUtime=0 cores=0-7
/proc/14433/task/14476/stat : 14476 (java) S 14430 14433 14389 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 46 0 254808857 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367683782288 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14477] ppid=14430 vsize=27852572 memory=7236229500900889449 CPUtime=0 cores=0-7
/proc/14433/task/14477/stat : 14477 (java) S 14430 14433 14389 0 -1 1077944384 744 0 0 0 0 0 0 0 20 0 46 0 254808860 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367682729744 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14478] ppid=14430 vsize=27852572 memory=7236229500900889449 CPUtime=0 cores=0-7
/proc/14433/task/14478/stat : 14478 (java) S 14430 14433 14389 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 46 0 254808861 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367681676688 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14479] ppid=14430 vsize=27852572 memory=7236229500900889449 CPUtime=0 cores=0-7
/proc/14433/task/14479/stat : 14479 (java) S 14430 14433 14389 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 46 0 254808864 28521033728 2860620 33554432000 4194304 4196468 140732451010432 140367680624144 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
Current children cumulated CPU time: 19877.4 s
Current children cumulated vsize: 27852572 KiB
Current children cumulated memory: 11442480 KiB

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

[startup+2520.39 s]
# the end of solver process 14433 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19841.4 s, system=38.3472 s

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

[startup+2520.21 s]*
/proc/loadavg: 8.55 8.69 8.75 10/226 14541
/proc/meminfo: memFree=12468664/32770624 swapFree=67108500/67108860
[pid=14433] ppid=14430 vsize=28052264 memory=11443632 CPUtime=19879 cores=0-7
/proc/14433/stat : 14433 (java) S 14430 14433 14389 0 -1 1077944320 2317308 0 0 0 1984078 3825 0 0 20 0 48 0 254801300 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140732450992976 140368610180855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
/proc/14433/statm: 7013066 2860908 3637 1 0 6974617 0
[pid=14433/tid=14435] ppid=14430 vsize=28052264 memory=3992 CPUtime=29.51 cores=0-7
/proc/14433/task/14435/stat : 14435 (java) S 14430 14433 14389 0 -1 1077944384 39196 0 0 0 2867 84 0 0 20 0 48 0 254801300 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368614418320 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14436] ppid=14430 vsize=28052264 memory=1928 CPUtime=18.17 cores=0-7
/proc/14433/task/14436/stat : 14436 (java) S 14430 14433 14389 0 -1 1077944384 164148 0 0 0 1541 276 0 0 20 0 48 0 254801301 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368532761616 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14437] ppid=14430 vsize=28052264 memory=4872558044660077418 CPUtime=18.12 cores=0-7
/proc/14433/task/14437/stat : 14437 (java) S 14430 14433 14389 0 -1 1077944384 156648 0 0 0 1541 271 0 0 20 0 48 0 254801301 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368531709072 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14438] ppid=14430 vsize=28052264 memory=13851867369180031 CPUtime=18.09 cores=0-7
/proc/14433/task/14438/stat : 14438 (java) S 14430 14433 14389 0 -1 1077944384 158901 0 0 0 1541 268 0 0 20 0 48 0 254801301 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368530656016 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14439] ppid=14430 vsize=28052264 memory=11442480 CPUtime=18.16 cores=0-7
/proc/14433/task/14439/stat : 14439 (java) S 14430 14433 14389 0 -1 1077944384 153194 0 0 0 1535 281 0 0 20 0 48 0 254801301 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368529603472 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14440] ppid=14430 vsize=28052264 memory=11438384 CPUtime=18.14 cores=0-7
/proc/14433/task/14440/stat : 14440 (java) S 14430 14433 14389 0 -1 1077944384 165455 0 0 0 1552 262 0 0 20 0 48 0 254801301 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368528550416 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14441] ppid=14430 vsize=28052264 memory=2108 CPUtime=18.14 cores=0-7
/proc/14433/task/14441/stat : 14441 (java) S 14430 14433 14389 0 -1 1077944384 160000 0 0 0 1546 268 0 0 20 0 48 0 254801301 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368527497872 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14442] ppid=14430 vsize=28052264 memory=924 CPUtime=17.98 cores=0-7
/proc/14433/task/14442/stat : 14442 (java) S 14430 14433 14389 0 -1 1077944384 153008 0 0 0 1531 267 0 0 20 0 48 0 254801301 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368526444816 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14443] ppid=14430 vsize=28052264 memory=1576 CPUtime=18.13 cores=0-7
/proc/14433/task/14443/stat : 14443 (java) S 14430 14433 14389 0 -1 1077944384 149681 0 0 0 1529 284 0 0 20 0 48 0 254801301 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368525392272 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14444] ppid=14430 vsize=28052264 memory=2180 CPUtime=0.96 cores=0-7
/proc/14433/task/14444/stat : 14444 (java) S 14430 14433 14389 0 -1 1077944384 57075 0 0 0 86 10 0 0 20 0 48 0 254801303 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368006892272 140368610192002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 63 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14445] ppid=14430 vsize=28052264 memory=3992 CPUtime=0 cores=0-7
/proc/14433/task/14445/stat : 14445 (java) S 14430 14433 14389 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 48 0 254801303 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368005838560 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14446] ppid=14430 vsize=28052264 memory=1928 CPUtime=0 cores=0-7
/proc/14433/task/14446/stat : 14446 (java) S 14430 14433 14389 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 48 0 254801303 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368004785408 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14447] ppid=14430 vsize=28052264 memory=7532 CPUtime=0 cores=0-7
/proc/14433/task/14447/stat : 14447 (java) S 14430 14433 14389 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 48 0 254801306 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368003733968 140368610199451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14448] ppid=14430 vsize=28052264 memory=808 CPUtime=4.06 cores=0-7
/proc/14433/task/14448/stat : 14448 (java) R 14430 14433 14389 0 -1 4202560 20182 0 0 0 402 4 0 0 20 0 48 0 254801306 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368002668496 140368590934005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14449] ppid=14430 vsize=28052264 memory=4104 CPUtime=4.23 cores=0-7
/proc/14433/task/14449/stat : 14449 (java) S 14430 14433 14389 0 -1 1077944384 20549 0 0 0 418 5 0 0 20 0 48 0 254801306 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368001628528 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14450] ppid=14430 vsize=28052264 memory=1612 CPUtime=4.95 cores=0-7
/proc/14433/task/14450/stat : 14450 (java) R 14430 14433 14389 0 -1 4202560 28210 0 0 0 489 6 0 0 20 0 48 0 254801306 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140368000561792 140368602470304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14451] ppid=14430 vsize=28052264 memory=6388 CPUtime=1.84 cores=0-7
/proc/14433/task/14451/stat : 14451 (java) S 14430 14433 14389 0 -1 1077944384 41450 0 0 0 174 10 0 0 20 0 48 0 254801306 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367999522928 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14452] ppid=14430 vsize=28052264 memory=864 CPUtime=0 cores=0-7
/proc/14433/task/14452/stat : 14452 (java) S 14430 14433 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 254801306 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367998471136 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14453] ppid=14430 vsize=28052264 memory=1296 CPUtime=1.15 cores=0-7
/proc/14433/task/14453/stat : 14453 (java) S 14430 14433 14389 0 -1 1077944384 4260 0 0 0 46 69 0 0 20 0 48 0 254801306 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367997418672 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 79 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14454] ppid=14430 vsize=28052264 memory=1068 CPUtime=0.01 cores=0-7
/proc/14433/task/14454/stat : 14454 (java) S 14430 14433 14389 0 -1 1077944384 1802 0 0 0 0 1 0 0 20 0 48 0 254804529 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367988171808 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14455] ppid=14430 vsize=28052264 memory=15084 CPUtime=5.68 cores=0-7
/proc/14433/task/14455/stat : 14455 (java) S 14430 14433 14389 0 -1 1077944384 8536 0 0 0 298 270 0 0 20 0 48 0 254804546 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367712216480 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14456] ppid=14430 vsize=28052264 memory=39188 CPUtime=5.34 cores=0-7
/proc/14433/task/14456/stat : 14456 (java) S 14430 14433 14389 0 -1 1077944384 2323 0 0 0 530 4 0 0 20 0 48 0 254804562 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367709066384 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14457] ppid=14430 vsize=28052264 memory=13468 CPUtime=2456.7 cores=0-7
/proc/14433/task/14457/stat : 14457 (java) R 14430 14433 14389 0 -1 4202560 89801 0 0 0 245483 187 0 0 20 0 48 0 254804563 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367708006200 140368209560081 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14458] ppid=14430 vsize=28052264 memory=3356 CPUtime=2468.05 cores=0-7
/proc/14433/task/14458/stat : 14458 (java) R 14430 14433 14389 0 -1 4202560 112949 0 0 0 246629 176 0 0 20 0 48 0 254804563 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367706952808 140368218050164 0 4 0 16800975 0 0 0 -1 6 0 0 25 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14459] ppid=14430 vsize=28052264 memory=492 CPUtime=2452.94 cores=0-7
/proc/14433/task/14459/stat : 14459 (java) R 14430 14433 14389 0 -1 4202560 107547 0 0 0 245094 200 0 0 20 0 48 0 254804570 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367705900664 140368218350536 0 4 0 16800975 0 0 0 -1 7 0 0 24 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14460] ppid=14430 vsize=28052264 memory=1616 CPUtime=5.22 cores=0-7
/proc/14433/task/14460/stat : 14460 (java) S 14430 14433 14389 0 -1 1077944384 2760 0 0 0 516 6 0 0 20 0 48 0 254804570 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367704856208 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14461] ppid=14430 vsize=28052264 memory=932 CPUtime=2453.97 cores=0-7
/proc/14433/task/14461/stat : 14461 (java) R 14430 14433 14389 0 -1 4202560 140293 0 0 0 245223 174 0 0 20 0 48 0 254804570 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367703797712 140368217072402 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14462] ppid=14430 vsize=28052264 memory=1168 CPUtime=5.31 cores=0-7
/proc/14433/task/14462/stat : 14462 (java) S 14430 14433 14389 0 -1 1077944384 3500 0 0 0 523 8 0 0 20 0 48 0 254804570 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367702750608 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14463] ppid=14430 vsize=28052264 memory=4296 CPUtime=2448.39 cores=0-7
/proc/14433/task/14463/stat : 14463 (java) R 14430 14433 14389 0 -1 4202560 77706 0 0 0 244651 188 0 0 20 0 48 0 254804570 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367701690600 140368210973556 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14464] ppid=14430 vsize=28052264 memory=3480 CPUtime=2460.43 cores=0-7
/proc/14433/task/14464/stat : 14464 (java) R 14430 14433 14389 0 -1 4202560 81615 0 0 0 245827 216 0 0 20 0 48 0 254804571 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367700637144 140368215519089 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14465] ppid=14430 vsize=28052264 memory=1228 CPUtime=2462.2 cores=0-7
/proc/14433/task/14465/stat : 14465 (java) R 14430 14433 14389 0 -1 4202560 77131 0 0 0 246028 192 0 0 20 0 48 0 254804573 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367699584080 140368216019331 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14466] ppid=14430 vsize=28052264 memory=10212 CPUtime=0.01 cores=0-7
/proc/14433/task/14466/stat : 14466 (java) S 14430 14433 14389 0 -1 1077944384 593 0 0 0 1 0 0 0 20 0 48 0 254805942 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367698539408 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14467] ppid=14430 vsize=28052264 memory=1612 CPUtime=2462.75 cores=0-7
/proc/14433/task/14467/stat : 14467 (java) R 14430 14433 14389 0 -1 4202560 129151 0 0 0 246117 158 0 0 20 0 48 0 254805942 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367697478968 140368217073417 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14468] ppid=14430 vsize=28052264 memory=6388 CPUtime=0.01 cores=0-7
/proc/14433/task/14468/stat : 14468 (java) S 14430 14433 14389 0 -1 1077944384 532 0 0 0 1 0 0 0 20 0 48 0 254808842 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367692203664 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14469] ppid=14430 vsize=28052264 memory=864 CPUtime=0.02 cores=0-7
/proc/14433/task/14469/stat : 14469 (java) R 14430 14433 14389 0 -1 1077944384 837 0 0 0 2 0 0 0 20 0 48 0 254808844 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367691146736 140368610191061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14470] ppid=14430 vsize=28052264 memory=1296 CPUtime=0 cores=0-7
/proc/14433/task/14470/stat : 14470 (java) S 14430 14433 14389 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 48 0 254808846 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367690098064 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14471] ppid=14430 vsize=28052264 memory=1068 CPUtime=0 cores=0-7
/proc/14433/task/14471/stat : 14471 (java) S 14430 14433 14389 0 -1 1077944384 848 0 0 0 0 0 0 0 20 0 48 0 254808847 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367689045520 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14472] ppid=14430 vsize=28052264 memory=15084 CPUtime=0 cores=0-7
/proc/14433/task/14472/stat : 14472 (java) S 14430 14433 14389 0 -1 1077944384 677 0 0 0 0 0 0 0 20 0 48 0 254808849 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367687992464 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14473] ppid=14430 vsize=28052264 memory=39188 CPUtime=0 cores=0-7
/proc/14433/task/14473/stat : 14473 (java) S 14430 14433 14389 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 48 0 254808852 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367686939920 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14474] ppid=14430 vsize=28052264 memory=13468 CPUtime=0 cores=0-7
/proc/14433/task/14474/stat : 14474 (java) S 14430 14433 14389 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 48 0 254808855 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367685886864 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14475] ppid=14430 vsize=28052264 memory=3356 CPUtime=0.01 cores=0-7
/proc/14433/task/14475/stat : 14475 (java) S 14430 14433 14389 0 -1 1077944384 1330 0 0 0 1 0 0 0 20 0 48 0 254808856 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367684826032 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14476] ppid=14430 vsize=28052264 memory=492 CPUtime=0 cores=0-7
/proc/14433/task/14476/stat : 14476 (java) S 14430 14433 14389 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 48 0 254808857 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367683782288 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14477] ppid=14430 vsize=28052264 memory=288230574492221466 CPUtime=0.01 cores=0-7
/proc/14433/task/14477/stat : 14477 (java) S 14430 14433 14389 0 -1 1077944384 849 0 0 0 1 0 0 0 20 0 48 0 254808860 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367682729744 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14478] ppid=14430 vsize=28052264 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/14433/task/14478/stat : 14478 (java) S 14430 14433 14389 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 48 0 254808861 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367681676688 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14479] ppid=14430 vsize=28052264 memory=13851867369180031 CPUtime=0 cores=0-7
/proc/14433/task/14479/stat : 14479 (java) S 14430 14433 14389 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 48 0 254808864 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367680624144 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14539] ppid=14430 vsize=28052264 memory=932 CPUtime=0 cores=0-7
/proc/14433/task/14539/stat : 14539 (java) S 14430 14433 14389 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 48 0 255053304 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367679570160 140368610191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
[pid=14433/tid=14541] ppid=14430 vsize=28052264 memory=3816 CPUtime=0 cores=0-7
/proc/14433/task/14541/stat : 14541 (java) S 14430 14433 14389 0 -1 1077944384 1073 0 0 0 0 0 0 0 20 0 48 0 255053307 28725518336 2860908 33554432000 4194304 4196468 140732451010432 140367677464320 140368610192002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140732451017805 140732451017989 140732451017989 140732451020751 0
Current children cumulated CPU time: 19879 s
Current children cumulated vsize: 28052264 KiB
Current children cumulated memory: 11443632 KiB

[startup+2520.31 s]*
/proc/loadavg: 8.55 8.69 8.75 2/180 14541
/proc/meminfo: memFree=13042284/32770624 swapFree=67108500/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.39
CPU time (s): 19879.8
CPU user time (s): 19841.4
CPU system time (s): 38.3472
CPU usage (%): 788.758
Max. virtual memory (cumulated for all children) (KiB): 28052264
Max. memory (cumulated for all children) (KiB): 11998668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19841.4
system time used= 38.3472
maximum resident set size= 11998668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2318475
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 324638
involuntary context switches= 417810


# summary of solver processes directly reported to runsolver:
#   pid: 14433
#   total CPU time (s): 19879.8
#   total CPU user time (s): 19841.4
#   total CPU system time (s): 38.3472

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.0603 second user time and 39.0118 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-16 00:33:01
IDJOB=4309282
IDBENCH=141262
IDSOLVER=2793
FILE ID=node104/4309282-1534372381
RUNJOBID= node104-1534372381-14416
PBS_JOBID= 21038285
Free space on /tmp= 44388 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309282-1534372381/watcher-4309282-1534372381 -o /tmp/evaluation-result-4309282-1534372381/solver-4309282-1534372381 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1534372381-14416 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1737808401 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309282-1534372381.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=1737808401

node104.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.11
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.11
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.11
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.11
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:        23922744 kB
MemAvailable:   31895328 kB
Buffers:          190320 kB
Cached:          8001688 kB
SwapCached:            4 kB
Active:          4120852 kB
Inactive:        4122852 kB
Active(anon):       3564 kB
Inactive(anon):   109228 kB
Active(file):    4117288 kB
Inactive(file):  4013624 kB
Unevictable:        7320 kB
Mlocked:            7320 kB
SwapTotal:      67108860 kB
SwapFree:       67108500 kB
Dirty:            126748 kB
Writeback:             0 kB
AnonPages:         59664 kB
Mapped:            55416 kB
Shmem:             57828 kB
Slab:             298068 kB
SReclaimable:     270132 kB
SUnreclaim:        27936 kB
KernelStack:        3136 kB
PageTables:         5040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     357088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 44352 MiB
End job on node104 at 2018-08-16 01:15:02