Trace number 4308346

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)386915602 2520.05 2498.14

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml
MD5SUM3d35ef38e8714b8368aba06bbd25b59a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark372103316
Best CPU time to get the best result obtained on this benchmark2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables6038
Number of constraints3927
Number of domains31
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2094},{"size":11,"count":1839},{"size":12,"count":1},{"size":21,"count":98},{"size":23,"count":52},{"size":33,"count":21},{"size":35,"count":35},{"size":39,"count":50},{"size":41,"count":27},{"size":43,"count":72},{"size":45,"count":55},{"size":59,"count":83},{"size":65,"count":46},{"size":67,"count":53},{"size":83,"count":41},{"size":99,"count":155},{"size":111,"count":164},{"size":114,"count":81},{"size":126,"count":165},{"size":146,"count":205},{"size":151,"count":696}]
Minimum variable degree2
Maximum variable degree1840
Distribution of variable degrees[{"degree":2,"count":5517},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":17},{"degree":10,"count":28},{"degree":11,"count":24},{"degree":12,"count":23},{"degree":13,"count":37},{"degree":14,"count":44},{"degree":15,"count":45},{"degree":16,"count":38},{"degree":17,"count":46},{"degree":18,"count":63},{"degree":19,"count":76},{"degree":20,"count":46},{"degree":1840,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":249},{"arity":3,"count":1839},{"arity":6,"count":1839}]
Number of extensional constraints1839
Number of intensional constraints2088
Distribution of constraint types[{"type":"extension","count":1839},{"type":"intension","count":2088}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.68/0.56	c version: 2018-08-14
0.68/0.56	c seed: 1938569297
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
37.04/22.16	c Parsing done, starting search...
547.91/530.25	o 388037965
547.91/530.26	o 388037957
547.91/530.27	o 388019560
547.91/530.28	o 388019557
547.91/530.30	o 388019548
548.13/530.31	o 388001158
548.13/530.33	o 387982758
548.13/530.34	o 387964368
548.13/530.36	o 387945968
548.13/530.37	o 387927568
548.13/530.38	o 387909178
548.34/530.40	o 387890778
548.34/530.42	o 387890776
548.34/530.43	o 387890768
548.34/530.44	o 387872368
548.51/530.50	o 387853972
548.51/530.51	o 387853971
548.51/530.55	o 387835580
548.51/530.56	o 387835571
548.51/530.59	o 387817171
548.62/530.64	o 387817168
549.03/531.06	o 387817158
549.03/531.07	o 387798768
549.03/531.09	o 387780377
549.03/531.10	o 387780371
549.03/531.10	o 387780368
549.14/531.15	o 387780367
549.14/531.15	o 387761977
549.14/531.16	o 387761968
549.63/531.61	o 387761967
549.63/531.62	o 387743571
549.63/531.63	o 387743568
549.73/531.74	o 387725178
549.83/531.88	o 387725177
549.83/531.89	o 387725174
549.93/531.91	o 387725168
549.93/531.92	o 387706778
550.53/532.53	o 387688396
550.53/532.54	o 387688387
550.53/532.55	o 387688378
550.53/532.57	o 387669978
551.04/533.02	o 387669977
551.04/533.05	o 387651598
551.04/533.05	o 387651595
551.04/533.06	o 387651586
551.04/533.07	o 387651577
551.44/533.49	o 387651576
551.54/533.53	o 387651573
551.64/533.61	o 387633187
551.64/533.63	o 387633186
551.94/533.95	o 387633183
551.94/533.99	o 387614787
552.34/534.32	o 387614778
552.34/534.33	o 387596387
553.20/535.19	o 387577996
553.29/535.20	o 387577987
554.59/536.57	o 387559606
554.59/536.58	o 387559597
554.69/536.62	o 387559587
554.99/536.98	o 387541206
554.99/536.99	o 387541197
555.10/537.01	o 387541187
572.27/554.19	o 387541186
572.46/554.34	o 387541185
572.46/554.34	o 387541177
572.97/554.80	o 387522787
572.97/554.82	o 387504387
603.12/584.95	o 387485996
688.00/669.55	o 387485992
688.00/669.57	o 387467596
688.00/669.58	o 387467592
688.10/669.62	o 387449192
688.10/669.64	o 387430802
688.21/669.79	o 387430792
688.31/669.80	o 387412402
688.31/669.88	o 387412393
688.41/669.90	o 387394003
688.41/669.94	o 387394002
690.11/671.66	o 387394001
691.31/672.82	o 387393999
691.31/672.83	o 387393991
691.31/672.84	o 387375591
691.31/672.85	o 387357191
691.31/672.86	o 387338811
691.41/672.90	o 387320419
691.41/672.91	o 387320411
693.81/675.33	o 387320405
693.81/675.34	o 387320399
693.81/675.35	o 387302000
693.81/675.36	o 387301999
693.81/675.37	o 387301992
693.81/675.38	o 387301989
694.31/675.89	o 387283605
694.41/675.90	o 387283595
694.41/675.91	o 387283589
694.41/675.95	o 387283586
694.41/675.96	o 387283579
694.41/675.96	o 387265189
696.81/678.36	o 387265188
696.91/678.41	o 387246788
701.88/683.31	o 387246784
701.88/683.33	o 387228394
701.88/683.35	o 387228384
701.88/683.36	o 387209988
701.88/683.37	o 387191588
701.98/683.40	o 387191583
701.98/683.41	o 387191578
701.98/683.43	o 387173188
701.98/683.46	o 387154794
701.98/683.47	o 387136394
701.98/683.49	o 387117994
702.08/683.51	o 387117992
702.08/683.51	o 387117984
702.08/683.53	o 387099594
702.08/683.58	o 387081198
703.79/685.25	o 387081189
703.79/685.25	o 387081184
703.79/685.28	o 387062788
703.90/685.31	o 387062784
703.90/685.32	o 387044388
704.00/685.43	o 387025998
704.00/685.44	o 387025989
704.00/685.46	o 387007589
704.00/685.47	o 387007584
704.00/685.49	o 386989188
704.10/685.51	o 386989184
704.10/685.54	o 386970788
704.10/685.55	o 386970784
706.48/687.84	o 386952402
706.48/687.87	o 386934019
706.48/687.88	o 386934011
706.48/687.90	o 386934002
706.88/688.22	o 386915628
706.88/688.23	o 386915624
706.88/688.24	o 386915619
706.88/688.25	o 386915610
706.88/688.26	o 386915602
2520.00/2498.11	s SATISFIABLE
2520.00/2498.12	v <instantiation>
2520.00/2498.12	v 	<list>
2520.00/2498.12	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]
2520.00/2498.12	v 	</list>
2520.00/2498.12	v 	<values>
2520.00/2498.12	v 		2428 2236 2720 2748 2516 2644 2292 2744 2464 2344 2800 2760 2388 2380 2484 2264 2672 2544 2624 2440 2468 2756 2436 2592 2740 2740 2584 2800 2592 2756 2796 2748 2760 2580 2512 2752 2608 2340 2624 2620 2788 2428 2452 2496 2660 2436 2500 2752 2352 2632 2792 2508 2784 2220 2220 2516 2476 2680 2552 2484 2300 2568 2420 2780 2492 2780 2640 2452 2532 2796 2616 2712 2724 2492 2736 2260 2260 2292 2468 2476 2428 2324 2340 2428 2476 2644 2228 2776 2800 2604 2760 2684 2512 2276 2220 2256 2772 2480 2492 2608 2776 2412 2680 2620 2280 2456 2760 2304 2784 2252 2384 2588 2504 2268 2448 2344 2684 2756 2796 2568 2444 2680 2636 2228 2556 2300 2284 2472 2508 2724 2460 2436 2436 2656 2444 2340 2296 2756 2620 2548 2568 2224 2596 2532 2224 2396 2592 2304 2592 2680 2796 2380 2444 2780 2312 2620 2732 2764 2740 2548 2268 2504 2428 2632 2636 2608 2816 2476 2476 2260 2228 2424 2780 2676 2564 2820 2420 2604 2452 2724 2780 2468 2412 2664 2292 2336 2240 2344 2244 2464 2296 2468 2660 2756 2796 2420 2220 2720 2488 2696 2672 2428 2528 2468 2264 2636 2300 2820 2268 2220 2468 2604 2260 2332 2756 2304 2640 2280 2252 2676 2420 2468 2648 2764 2800 2240 2660 2548 2656 2428 2380 2380 2260 2788 2596 2284 2468 2428 2764 2484 2820 2724 2452 2472 2644 2632 2424 2444 2780 2796 2412 2404 2744 2348 2460 2476 2632 2260 2516 2552 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 1 1 0 1 1 0 0 0 11 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 1 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 10 0 4 0 10 10 0 0 0 0 10 10 10 10 0 10 0 0 10 0 10 0 10 10 10 9 10 10 10 0 0 8 10 0 10 0 0 10 0 10 10 10 10 0 0 0 10 10 0 10 10 0 0 10 10 0 10 0 10 10 0 0 0 0 10 10 10 0 10 0 0 10 10 0 0 10 0 10 10 10 10 0 0 10 0 10 0 0 0 10 0 10 0 10 10 10 10 10 10 0 10 10 0 0 10 0 10 0 0 10 10 10 10 10 0 10 10 10 0 10 0 0 0 10 0 10 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 10 10 10 0 0 10 10 0 0 10 10 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 10 10 0 0 0 10 10 0 0 0 10 10 10 10 0 0 10 0 10 0 0 10 0 10 10 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 10 0 0 10 0 10 0 0 0 10 10 0 10 10 10 0 0 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 10 0 10 0 10 10 10 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 10 10 0 0 0 10 10 10 10 0 10 0 0 10 0 0 10 0 10 10 0 10 10 0 0 10 0 10 0 10 10 10 0 0 10 0 10 0 0 0 10 0 10 10 0 0 10 10 0 0 10 0 10 0 0 0 10 10 0 10 0 0 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 10 10 10 10 0 10 10 0 10 0 0 0 10 0 0 0 10 10 0 10 10 0 10 10 0 0 10 10 10 0 0 0 10 0 0 0 10 10 0 10 0 0 0 0 10 0 0 10 0 10 10 10 0 10 10 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 10 10 0 10 10 0 10 0 10 0 10 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 10 10 10 10 10 0 10 0 0 0 10 10 10 10 10 10 10 0 10 0 10 0 10 10 0 0 10 10 10 0 0 0 0 10 0 10 0 10 0 0 10 0 0 10 10 0 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 0 0 0 0 0 0 10 0 0 10 10 10 0 0 0 10 10 0 10 0 10 0 10 0 10 10 0 0 0 10 10 10 0 0 10 10 0 0 10 0 0 0 10 10 10 10 10 0 0 10 0 10 0 0 0 10 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 10 10 0 0 0 0 0 10 0 10 10 0 0 10 10 0 10 10 10 0 0 0 10 0 10 0 0 10 0 0 10 0 10 0 0 0 0 10 10 0 10 10 0 10 0 0 0 0 0 10 0 10 10 0 10 0 0 0 10 0 10 0 0 10 0 0 10 10 0 0 0 10 10 10 0 0 10 0 10 10 10 0 0 10 0 0 0 0 0 1 10 10 10 0 0 10 10 10 10 10 10 10 10 0 10 0 10 0 10 0 10 10 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 10 10 10 0 0 0 10 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 10 0 0 10 10 0 10 10 0 10 0 10 0 0 10 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 10 10 0 0 10 0 10 10 10 0 10 0 10 0 0 10 10 10 10 0 10 10 0 0 10 10 0 10 10 10 0 10 0 0 10 10 0 10 0 0 10 0 0 10 0 0 0 10 10 0 0 10 10 10 10 10 0 10 10 10 10 0 0 0 10 10 0 0 10 10 0 10 0 10 10 0 0 10 10 10 10 0 10 10 10 10 0 0 10 10 0 0 0 10 10 10 0 10 0 0 10 0 0 10 10 0 10 10 0 10 10 0 0 0 0 10 0 0 0 0 0 0 10 0 10 10 0 10 0 10 0 10 0 0 0 7 10 0 0 0 10 10 0 0 0 0 0 0 10 10 10 0 10 0 10 10 10 10 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 10 10 10 0 0 0 10 0 10 10 10 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 0 10 10 0 10 10 0 10 0 0 10 0 10 10 0 10 0 10 0 10 10 10 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 10 10 0 10 10 10 0 10 10 10 10 0 0 0 0 0 0 10 10 0 10 0 0 10 0 10 0 10 0 10 0 10 10 10 10 0 0 0 0 0 10 0 10 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 10 10 10 10 10 10 10 0 10 10 0 0 0 10 0 10 10 0 0 10 10 0 10 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 10 0 0 9 10 10 0 10 0 0 10 10 10 0 0 0 10 0 0 10 10 0 0 0 0 0 10 10 0 10 0 10 0 0 10 10 0 0 0 10 0 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 10 0 10 10 10 10 0 0 10 10 0 10 10 10 6 10 10 0 10 0 0 0 0 0 10 0 0 10 0 0 0 10 10 0 0 0 10 0 10 0 10 10 10 0 0 0 0 0 10 0 10 10 0 0 10 0 0 10 0 10 0 0 10 10 0 10 0 10 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 10 7 10 10 10 10 10 10 0 10 0 10 0 10 10 10 10 0 0 0 0 0 10 0 0 0 0 10 0 0 10 10 10 10 0 0 0 6 10 10 10 0 10 0 10 0 0 10 10 0 0 0 0 10 10 10 0 0 0 10 10 10 0 10 10 0 0 10 0 0 10 0 0 0 10 0 10 0 0 0 10 8 0 10 0 0 10 0 0 0 10 9 10 0 0 10 0 10 10 10 10 0 10 0 10 10 10 10 0 0 0 10 0 0 0 10 0 0 10 10 0 0 10 0 10 10 10 0 0 0 10 0 0 0 10 0 10 10 10 10 0 0 0 0 0 0 0 10 10 10 10 0 10 0 0 10 10 10 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 0 10 0 10 9 0 10 10 0 4 0 0 0 10 0 10 0 0 0 10 0 0 10 0 0 0 0 10 10 10 10 10 0 10 0 10 0 0 10 10 10 10 0 0 10 10 10 0 0 10 0 0 0 10 10 0 10 10 0 8 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 0 10 0 10 0 10 10 10 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 10 0 0 10 10 10 10 0 0 0 10 0 10 10 10 0 0 10 10 0 0 0 0 0 10 10 0 10 10 0 10 10 10 10 10 10 0 0 10 10 10 0 0 10 10 0 0 0 0 0 10 10 0 10 10 10 0 0 0 10 0 10 10 0 10 10 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 0 10 10 10 10 10 0 0 10 10 0 10 0 10 10 0 10 0 0 10 0 10 10 0 10 10 10 10 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 10 0 0 10 10 10 0 0 10 10 10 10 10 0 0 0 10 0 0 0 10 10 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 10 0 10 0 10 0 10 0 0 10 10 0 0 0 0 10 0 10 0 0 10 10 0 10 8 10 0 10 10 0 10 10 0 10 0 9 0 10 10 0 10 0 10 0 10 0 10 0 10 0 0 0 0 10 0 0 0 10 0 10 10 0 10 0 0 10 10 0 10 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 10 0 312 152 76 188 348 176 332 208 176 76 140 48 0 392 368 544 244 384 212 208 12 504 32 56 8 560 68 312 408 396 544 24 256 280 40 60 460 292 132 420 268 436 168 408 404 296 16 276 296 88 260 232 120 164 264 252 160 248 144 32 304 4 168 368 128 36 376 112 184 8 32 52 120 384 176 0 200 168 128 172 28 332 144 488 468 120 176 88 152 72 308 324 104 272 276 524 76 128 156 328 244 336 180 168 292 204 324 416 276 52 4 64 416 92 336 116 116 92 224 436 32 332 84 420 0 304 20 4 372 504 4 20 136 332 580 76 20 4 540 284 100 144 36 500 380 4 496 332 356 8 372 96 388 372 396 200 56 408 352 88 168 56 56 368 408 160 124 392 96 56 76 96 32 136 108 88 252 400 20 20 152 280 104 24 68 176 220 304 516 36 12 32 132 40 116 372 200 204 156 392 148 156 124 412 216 228 108 12 452 92 28 72 60 232 268 260 108 240 20 120 80 276 276 124 164 128 8 8 36 92 32 32 8 48 24 384 120 300 356 220 12 204 28 188 240 156 152 356 16 224 144 20 12 380 124 128 28 308 152 100 312 196 252 0 168 40 8 44 256 288 20 488 280 32 296 196 348 56 176 40 324 0 96 156 244 328 380 320 156 96 92 60 300 252 364 316 340 224 352 296 124 288 212 76 120 244 56 28 248 292 280 304 192 144 80 328 100 500 48 312 12 320 288 208 272 132 60 472 60 232 148 296 268 336 132 68 292 108 72 140 140 356 216 300 44 52 372 324 64 40 544 456 164 144 232 420 324 124 540 4 396 28 76 88 172 144 60 180 56 176 148 272 24 4 344 476 120 532 16 148 528 336 36 4 228 340 452 112 24 552 4 368 416 24 372 180 24 304 444 88 336 264 460 104 316 164 228 284 496 292 104 164 276 172 152 144 176 12 100 152 316 32 108 164 104 108 160 44 84 172 172 244 148 260 308 300 400 240 24 448 308 28 4 40 96 76 304 316 88 40 348 136 440 436 164 40 56 268 336 128 48 100 88 80 112 304 104 212 324 156 240 180 116 212 384 172 344 36 364 28 276 40 4 128 208 32 28 240 276 16 40 168 160 12 296 28 568 4 328 28 560 368 124 528 32 44 328 68 8 64 48 348 0 164 144 0 204 180 152 200 168 288 224 368 212 244 368 212 144 312 56 44 20 68 268 256 164 260 324 248 224 120 128 432 100 156 152 92 104 192 328 96 184 316 80 204 276 300 32 40 184 320 156 104 196 12 344 132 16 80 240 208 144 188 80 32 248 148 156 28 132 532 268 476 308 160 448 308 188 68 28 284 408 456 332 428 28 448 444 204 212 68 116 404 156 48 24 156 208 148 392 368 188 156 164 372 108 312 288 344 36 568 244 524 288 364 188 456 548 96 4 380 24 80 136 232 124 80 204 256 44 212 88 140 148 248 104 160 48 104 528 180 296 520 264 80 40 424 460 372 84 560 344 124 244 76 200 536 240 216 456 296 52 100 24 88 24 104 224 32 144 280 296 216 248 36 16 184 48 4 48 156 216 88 12 212 96 52 260 252 124 112 456 420 140 460 132 300 420 160 224 168 4 92 104 16 108 108 84 268 332 292 300 292 128 204 36 252 144 292 188 108 180 80 140 20 264 64 172 192 412 40 380 432 124 520 32 464 496 216 148 88 112 12 344 64 224 100 152 104 108 64 128 140 116 200 376 24 8 8 156 152 88 64 360 500 192 144 496 308 124 440 232 520 356 368 292 448 312 356 336 520 232 284 280 264 232 32 188 100 188 148 196 36 184 208 252 436 24 144 556 384 16 560 156 44 32 388 156 196 20 172 420 152 92 228 40 148 344 152 144 312 24 160 232 152 72 72 192 192 228 148 0 60 220 284 56 108 132 272 64 232 212 272 320 24 304 352 200 536 72 464 164 108 188 64 172 312 200 324 320 364 236 16 24 104 204 104 288 368 36 472 228 240 232 136 424 328 56 256 0 92 56 232 24 12 188 264 56 72 4 184 156 232 252 396 40 20 4 516 208 472 316 356 476 268 308 44 496 212 480 372 556 44 164 144 484 20 196 40 332 416 400 436 168 20 120 184 328 24 504 264 144 64 504 72 176 256 88 32 332 164 288 168 188 128 124 172 204 188 0 8 256 296 204 32 116 32 28 0 184 236 128 208 64 104 32 160 248 328 56 72 356 496 304 64 40 56 0 44 36 340 4 124 148 80 200 348 252 32 8 0 204 40 220 392 48 220 80 280 244 224 236 32 416 368 360 76 52 340 300 180 152 76 156 224 232 56 112 364 76 116 68 240 444 192 428 184 92 264 156 212 556 20 212 364 204 532 192 324 572 348 20 556 580 44 316 356 452 152 168 52 176 128 136 136 200 508 36 128 164 428 100 180 240 240 460 92 80 348 80 80 336 208 244 56 168 208 40 20 28 200 148 400 288 188 20 144 380 552 48 536 460 336 452 44 48 40 232 248 88 188 32 540 524 80 44 48 172 92 428 88 432 240 140 512 544 136 224 312 24 136 36 68 212 24 60 144 216 180 124 176 20 188 144 20 164 40 100 232 180 328 184 308 24 12 172 348 44 316 180 80 16 120 396 348 352 356 324 536 52 304 4 224 92 268 32 8 56 260 144 248 8 0 244 204 216 348 420 252 228 256 164 52 28 176 132 16 152 68 288 188 40 516 72 228 228 36 204 220 52 60 508 532 324 228 292 332 492 124 420 84 124 52 444 20 564 316 500 20 4 324 184 192 296 504 176 424 128 472 208 236 432 144 84 44 20 360 20 92 48 152 256 88 160 160 156 56 44 236 168 192 204 200 260 244 192 44 328 260 200 496 136 104 4 224 100 180 56 112 204 248 156 144 348 188 452 204 8 100 352 40 288 4 4 128 240 48 80 72 424 444 232 212 76 456 312 40 108 160 124 292 0 576 120 392 448 124 92 284 100 124 8 88 176 200 228 180 224 192 300 96 396 132 200 20 68 324 180 160 416 84 60 356 496 368 84 512 320 192 36 32 76 560 56 256 32 80 224 48 88 144 128 92 244 88 232 128 40 72 124 44 444 252 308 348 168 496 60 12 388 480 516 212 232 324 4 76 12 124 156 496 56 32 484 344 128 120 36 28 8 200 32 56 176 48 68 384 196 196 60 124 84 388 20 324 396 204 192 152 184 336 136 120 356 40 480 100 320 80 292 272 376 172 124 56 484 448 148 496 332 64 64 396 104 132 288 28 360 12 20 192 56 112 4 148 324 92 116 176 324 592 20 436 472 76 380 80 408 36 184 92 336 216 336 184 148 264 312 64 264 268 152 60 20 280 500 220 384 268 400 236 124 296 128 104 212 76 476 260 160 116 148 204 332 340 68 172 188 136 260 228 380 440 84 536 0 528 536 328 416 368 256 96 48 0 88 136 20 232 280 276 24 160 112 40 300 540 536 140 336 24 92 112 12 200 104 192 176 208 56 88 312 388 248 100 104 8 0 168 312 248 512 80 68 472 488 280 304 148 248 56 244 120 84 288 236 396 24 68 488 32 336 512 8 312 28 100 168 260 100 200 128 360 16 80 372 148 28 392 104 164 368 352 188 116 80 160 396 384 208 232 132 172 196 148 140 148 348 52 200 188 48 144 8 184 156 16 208 64 568 260 180 340 360 400 496 376 16 208 248 120 268 156 136 284 144 200 92 24 332 336 376 400 228 160 360 196 224 256 28 32 484 368 232 172 0 252 352 0 56 8 248 136 72 104 400 412 136 116 204 32 160 488 92 360 268 32 132 296 88 68 76 180 436 412 292 76 124 312 552 452 168 292 44 300 192 260 12 192 4 360 216 332 40 88 184 232 56 96 380 0 16 36 268 44 376 288 328 512 400 336 368 60 32 184 172 252 236 76 76 24 184 68 396 392 36 436 412 12 196 0 48 56 352 352 204 392 8 224 4 332 496 40 180 392 224 528 328 208 88 24 300 56 28 180 24 560 468 96 456 136 448 476 12 64 328 44 172 380 144 32 172 208 236 192 80 320 40 296 328 8 140 300 280 212 140 20 212 128 192 28 168 120 244 204 368 24 96 408 344 44 120 172 168 232 24 204 176 344 48 124 212 12 164 20 92 448 164 
2520.00/2498.12	v 	</values>
2520.00/2498.12	v </instantiation>

Verifier Data 

OK	386915602

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308346-1534288084/watcher-4308346-1534288084 -o /tmp/evaluation-result-4308346-1534288084/solver-4308346-1534288084 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534270595-13935 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1938569297 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308346-1534288084.xml 

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

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


[startup+0.100066 s]*
/proc/loadavg: 1.09 1.24 1.33 3/215 15755
/proc/meminfo: memFree=24388220/32770624 swapFree=67108524/67108860
[pid=15740] ppid=15737 vsize=14082736 memory=31940 CPUtime=0.12 cores=0,2,4,6
/proc/15740/stat : 15740 (java) S 15737 15740 12120 0 -1 1077944320 6896 0 0 0 10 2 0 0 20 0 15 0 246371616 14420721664 7985 33554432000 4194304 4196468 140721344306704 140721344289248 140347314679543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
/proc/15740/statm: 3520684 7985 3150 1 0 3482761 0
[pid=15740/tid=15742] ppid=15737 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/15740/task/15742/stat : 15742 (java) R 15737 15740 12120 0 -1 4202560 4927 0 0 0 8 1 0 0 20 0 15 0 246371616 14420721664 7985 33554432000 4194304 4196468 140721344306704 140347318882664 140347314701469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15743] ppid=15737 vsize=14082736 memory=5793855751882455481 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15743/stat : 15743 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371617 14420721664 7985 33554432000 4194304 4196468 140721344306704 140347252279952 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15744] ppid=15737 vsize=14082736 memory=140500872562304 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15744/stat : 15744 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371617 14420721664 7985 33554432000 4194304 4196468 140721344306704 140346909006352 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15745] ppid=15737 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15745/stat : 15745 (java) S 15737 15740 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246371617 14420721664 7985 33554432000 4194304 4196468 140721344306704 140346907953552 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15746] ppid=15737 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15746/stat : 15746 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371617 14420721664 7985 33554432000 4194304 4196468 140721344306704 140346906900752 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15747] ppid=15737 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15747/stat : 15747 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371618 14420721664 7985 33554432000 4194304 4196468 140721344306704 140346856881008 140347314690690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15748] ppid=15737 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15748/stat : 15748 (java) S 15737 15740 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246371619 14420721664 7985 33554432000 4194304 4196468 140721344306704 140346855826976 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15749] ppid=15737 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15749/stat : 15749 (java) S 15737 15740 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246371619 14420721664 7985 33554432000 4194304 4196468 140721344306704 140346854774128 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15750] ppid=15737 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15750/stat : 15750 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14420721664 7985 33554432000 4194304 4196468 140721344306704 140346853722448 140347314698139 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15751] ppid=15737 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15751/stat : 15751 (java) S 15737 15740 12120 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 246371621 14420721664 7985 33554432000 4194304 4196468 140721344306704 140346852669808 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15752] ppid=15737 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15752/stat : 15752 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14420721664 7985 33554432000 4194304 4196468 140721344306704 140346851617008 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15753] ppid=15737 vsize=14082736 memory=140500872562304 CPUtime=0.01 cores=0,2,4,6
/proc/15740/task/15753/stat : 15753 (java) R 15737 15740 12120 0 -1 4202560 281 0 0 0 1 0 0 0 20 0 15 0 246371621 14420721664 7985 33554432000 4194304 4196468 140721344306704 140346850564208 140347314691478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15754] ppid=15737 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15754/stat : 15754 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14420721664 7985 33554432000 4194304 4196468 140721344306704 140346849511648 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15755] ppid=15737 vsize=14082736 memory=140500872562304 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15755/stat : 15755 (java) S 15737 15740 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246371622 14420721664 7985 33554432000 4194304 4196468 140721344306704 140346780544176 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31940 KiB

[startup+0.216175 s]*
/proc/loadavg: 1.09 1.24 1.33 5/215 15755
/proc/meminfo: memFree=24372468/32770624 swapFree=67108524/67108860
[pid=15740] ppid=15737 vsize=14082736 memory=47736 CPUtime=0.32 cores=0,2,4,6
/proc/15740/stat : 15740 (java) S 15737 15740 12120 0 -1 1077944320 10577 0 0 0 29 3 0 0 20 0 15 0 246371616 14420721664 11934 33554432000 4194304 4196468 140721344306704 140721344289248 140347314679543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
/proc/15740/statm: 3520684 11934 3357 1 0 3482761 0
[pid=15740/tid=15742] ppid=15737 vsize=14082736 memory=6735269665583770266 CPUtime=0.21 cores=0,2,4,6
/proc/15740/task/15742/stat : 15742 (java) R 15737 15740 12120 0 -1 4202560 8271 0 0 0 19 2 0 0 20 0 15 0 246371616 14420721664 11934 33554432000 4194304 4196468 140721344306704 140347318905520 140346933078166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15743] ppid=15737 vsize=14082736 memory=4211974227077352842 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15743/stat : 15743 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371617 14420721664 11934 33554432000 4194304 4196468 140721344306704 140347252279952 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15744] ppid=15737 vsize=14082736 memory=140500872562304 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15744/stat : 15744 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371617 14420721664 11934 33554432000 4194304 4196468 140721344306704 140346909006352 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15745] ppid=15737 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15745/stat : 15745 (java) S 15737 15740 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246371617 14420721664 11934 33554432000 4194304 4196468 140721344306704 140346907953552 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15746] ppid=15737 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15746/stat : 15746 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371617 14420721664 11934 33554432000 4194304 4196468 140721344306704 140346906900752 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15747] ppid=15737 vsize=14082736 memory=140500872562304 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15747/stat : 15747 (java) S 15737 15740 12120 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246371618 14420721664 11934 33554432000 4194304 4196468 140721344306704 140346856881008 140347314690690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15748] ppid=15737 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15748/stat : 15748 (java) S 15737 15740 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246371619 14420721664 11934 33554432000 4194304 4196468 140721344306704 140346855826976 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15749] ppid=15737 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15749/stat : 15749 (java) S 15737 15740 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246371619 14420721664 11934 33554432000 4194304 4196468 140721344306704 140346854774128 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15750] ppid=15737 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15750/stat : 15750 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14420721664 11934 33554432000 4194304 4196468 140721344306704 140346853722448 140347314698139 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15751] ppid=15737 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15740/task/15751/stat : 15751 (java) R 15737 15740 12120 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 15 0 246371621 14420721664 11934 33554432000 4194304 4196468 140721344306704 140346852669904 140347314689749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15752] ppid=15737 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15740/task/15752/stat : 15752 (java) S 15737 15740 12120 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 15 0 246371621 14420721664 11934 33554432000 4194304 4196468 140721344306704 140346851617136 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15753] ppid=15737 vsize=14082736 memory=140500872562304 CPUtime=0.06 cores=0,2,4,6
/proc/15740/task/15753/stat : 15753 (java) S 15737 15740 12120 0 -1 1077944384 311 0 0 0 6 0 0 0 20 0 15 0 246371621 14420721664 11934 33554432000 4194304 4196468 140721344306704 140346850564208 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15754] ppid=15737 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15754/stat : 15754 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14420721664 11934 33554432000 4194304 4196468 140721344306704 140346849511648 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15755] ppid=15737 vsize=14082736 memory=140500872562304 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15755/stat : 15755 (java) S 15737 15740 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246371622 14420721664 11934 33554432000 4194304 4196468 140721344306704 140346780544176 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47736 KiB

[startup+0.310582 s]*
/proc/loadavg: 1.09 1.24 1.33 5/215 15755
/proc/meminfo: memFree=24369428/32770624 swapFree=67108524/67108860
[pid=15740] ppid=15737 vsize=14082736 memory=51328 CPUtime=0.45 cores=0,2,4,6
/proc/15740/stat : 15740 (java) S 15737 15740 12120 0 -1 1077944320 10931 0 0 0 42 3 0 0 20 0 15 0 246371616 14420721664 12832 33554432000 4194304 4196468 140721344306704 140721344289248 140347314679543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
/proc/15740/statm: 3520684 12832 3407 1 0 3482761 0
[pid=15740/tid=15742] ppid=15737 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/15740/task/15742/stat : 15742 (java) R 15737 15740 12120 0 -1 4202560 8598 0 0 0 28 2 0 0 20 0 15 0 246371616 14420721664 12832 33554432000 4194304 4196468 140721344306704 140347318887376 140347298760030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15743] ppid=15737 vsize=14082736 memory=4211974227077352842 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15743/stat : 15743 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371617 14420721664 12832 33554432000 4194304 4196468 140721344306704 140347252279952 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15744] ppid=15737 vsize=14082736 memory=140500872564669 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15744/stat : 15744 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371617 14420721664 12832 33554432000 4194304 4196468 140721344306704 140346909006352 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15745] ppid=15737 vsize=14082736 memory=140500728404328 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15745/stat : 15745 (java) S 15737 15740 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246371617 14420721664 12832 33554432000 4194304 4196468 140721344306704 140346907953552 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15746] ppid=15737 vsize=14082736 memory=140500728401359 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15746/stat : 15746 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371617 14420721664 12832 33554432000 4194304 4196468 140721344306704 140346906900752 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15747] ppid=15737 vsize=14082736 memory=140500872574451 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15747/stat : 15747 (java) S 15737 15740 12120 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246371618 14420721664 12832 33554432000 4194304 4196468 140721344306704 140346856881008 140347314690690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15748] ppid=15737 vsize=14082736 memory=140500728410575 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15748/stat : 15748 (java) S 15737 15740 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246371619 14420721664 12832 33554432000 4194304 4196468 140721344306704 140346855826976 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15749] ppid=15737 vsize=14082736 memory=281001456811920 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15749/stat : 15749 (java) S 15737 15740 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246371619 14420721664 12832 33554432000 4194304 4196468 140721344306704 140346854774128 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15750] ppid=15737 vsize=14082736 memory=281001456809584 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15750/stat : 15750 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14420721664 12832 33554432000 4194304 4196468 140721344306704 140346853722448 140347314698139 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15751] ppid=15737 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15740/task/15751/stat : 15751 (java) S 15737 15740 12120 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 15 0 246371621 14420721664 12832 33554432000 4194304 4196468 140721344306704 140346852669808 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15752] ppid=15737 vsize=14082736 memory=2240 CPUtime=0.02 cores=0,2,4,6
/proc/15740/task/15752/stat : 15752 (java) S 15737 15740 12120 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 15 0 246371621 14420721664 12832 33554432000 4194304 4196468 140721344306704 140346851617008 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15753] ppid=15737 vsize=14082736 memory=140500872562304 CPUtime=0.08 cores=0,2,4,6
/proc/15740/task/15753/stat : 15753 (java) S 15737 15740 12120 0 -1 1077944384 320 0 0 0 8 0 0 0 20 0 15 0 246371621 14420721664 12832 33554432000 4194304 4196468 140721344306704 140346850564208 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15754] ppid=15737 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15754/stat : 15754 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14420721664 12832 33554432000 4194304 4196468 140721344306704 140346849511648 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15755] ppid=15737 vsize=14082736 memory=140500872562304 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15755/stat : 15755 (java) S 15737 15740 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246371622 14420721664 12832 33554432000 4194304 4196468 140721344306704 140346780544176 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51328 KiB

[startup+0.700827 s]
/proc/loadavg: 1.09 1.24 1.33 3/215 15755
/proc/meminfo: memFree=24345740/32770624 swapFree=67108524/67108860
[pid=15740] ppid=15737 vsize=14084804 memory=90780 CPUtime=0.99 cores=0,2,4,6
/proc/15740/stat : 15740 (java) S 15737 15740 12120 0 -1 1077944320 17638 0 0 0 95 4 0 0 20 0 15 0 246371616 14422839296 22695 33554432000 4194304 4196468 140721344306704 140721344289248 140347314679543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
/proc/15740/statm: 3521201 22695 3499 1 0 3483273 0
[pid=15740/tid=15742] ppid=15737 vsize=14084804 memory=1120 CPUtime=0.67 cores=0,2,4,6
/proc/15740/task/15742/stat : 15742 (java) R 15737 15740 12120 0 -1 4202560 14930 0 0 0 64 3 0 0 20 0 15 0 246371616 14422839296 22695 33554432000 4194304 4196468 140721344306704 140347318903648 140347314701469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15743] ppid=15737 vsize=14084804 memory=6064 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15743/stat : 15743 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371617 14422839296 22695 33554432000 4194304 4196468 140721344306704 140347252279952 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15744] ppid=15737 vsize=14084804 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15744/stat : 15744 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371617 14422839296 22695 33554432000 4194304 4196468 140721344306704 140346909006352 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15745] ppid=15737 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15745/stat : 15745 (java) S 15737 15740 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246371617 14422839296 22695 33554432000 4194304 4196468 140721344306704 140346907953552 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15746] ppid=15737 vsize=14084804 memory=7957390390475708010 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15746/stat : 15746 (java) S 15737 15740 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246371617 14422839296 22695 33554432000 4194304 4196468 140721344306704 140346906900752 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15747] ppid=15737 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15747/stat : 15747 (java) S 15737 15740 12120 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246371618 14422839296 22695 33554432000 4194304 4196468 140721344306704 140346856881008 140347314690690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15748] ppid=15737 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15748/stat : 15748 (java) S 15737 15740 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246371619 14422839296 22695 33554432000 4194304 4196468 140721344306704 140346855826976 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15749] ppid=15737 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15749/stat : 15749 (java) S 15737 15740 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246371619 14422839296 22695 33554432000 4194304 4196468 140721344306704 140346854774128 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15750] ppid=15737 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15750/stat : 15750 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14422839296 22695 33554432000 4194304 4196468 140721344306704 140346853722448 140347314698139 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15751] ppid=15737 vsize=14084804 memory=220 CPUtime=0.07 cores=0,2,4,6
/proc/15740/task/15751/stat : 15751 (java) S 15737 15740 12120 0 -1 1077944384 564 0 0 0 7 0 0 0 20 0 15 0 246371621 14422839296 22695 33554432000 4194304 4196468 140721344306704 140346852669808 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15752] ppid=15737 vsize=14084804 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/15740/task/15752/stat : 15752 (java) S 15737 15740 12120 0 -1 1077944384 374 0 0 0 7 0 0 0 20 0 15 0 246371621 14422839296 22695 33554432000 4194304 4196468 140721344306704 140346851617008 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15753] ppid=15737 vsize=14084804 memory=698 CPUtime=0.15 cores=0,2,4,6
/proc/15740/task/15753/stat : 15753 (java) S 15737 15740 12120 0 -1 1077944384 386 0 0 0 15 0 0 0 20 0 15 0 246371621 14422839296 22695 33554432000 4194304 4196468 140721344306704 140346850564208 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15754] ppid=15737 vsize=14084804 memory=281001456995824 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15754/stat : 15754 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14422839296 22695 33554432000 4194304 4196468 140721344306704 140346849511648 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15755] ppid=15737 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15755/stat : 15755 (java) S 15737 15740 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246371622 14422839296 22695 33554432000 4194304 4196468 140721344306704 140346780544176 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90780 KiB

[startup+1.50134 s]
/proc/loadavg: 1.09 1.24 1.33 5/215 15755
/proc/meminfo: memFree=24107000/32770624 swapFree=67108524/67108860
[pid=15740] ppid=15737 vsize=14086852 memory=429624 CPUtime=3.22 cores=0,2,4,6
/proc/15740/stat : 15740 (java) S 15737 15740 12120 0 -1 1077944320 20358 0 0 0 286 36 0 0 20 0 15 0 246371616 14424936448 107406 33554432000 4194304 4196468 140721344306704 140721344289248 140347314679543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
/proc/15740/statm: 3521713 107406 3565 1 0 3483785 0
[pid=15740/tid=15742] ppid=15737 vsize=14086852 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/15740/task/15742/stat : 15742 (java) R 15737 15740 12120 0 -1 4202560 15417 0 0 0 127 8 0 0 20 0 15 0 246371616 14424936448 107406 33554432000 4194304 4196468 140721344306704 140347318915216 140346935867349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15743] ppid=15737 vsize=14086852 memory=-6585528546044026665 CPUtime=0.1 cores=0,2,4,6
/proc/15740/task/15743/stat : 15743 (java) S 15737 15740 12120 0 -1 1077944384 140 0 0 0 4 6 0 0 20 0 15 0 246371617 14424936448 107406 33554432000 4194304 4196468 140721344306704 140347252279952 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15744] ppid=15737 vsize=14086852 memory=-6007061419334001509 CPUtime=0.11 cores=0,2,4,6
/proc/15740/task/15744/stat : 15744 (java) S 15737 15740 12120 0 -1 1077944384 235 0 0 0 5 6 0 0 20 0 15 0 246371617 14424936448 107406 33554432000 4194304 4196468 140721344306704 140346909006352 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15745] ppid=15737 vsize=14086852 memory=-7665519475289969198 CPUtime=0.1 cores=0,2,4,6
/proc/15740/task/15745/stat : 15745 (java) S 15737 15740 12120 0 -1 1077944384 106 0 0 0 4 6 0 0 20 0 15 0 246371617 14424936448 107406 33554432000 4194304 4196468 140721344306704 140346907953552 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15746] ppid=15737 vsize=14086852 memory=4946530875449645952 CPUtime=0.11 cores=0,2,4,6
/proc/15740/task/15746/stat : 15746 (java) S 15737 15740 12120 0 -1 1077944384 133 0 0 0 5 6 0 0 20 0 15 0 246371617 14424936448 107406 33554432000 4194304 4196468 140721344306704 140346906900752 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15747] ppid=15737 vsize=14086852 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15747/stat : 15747 (java) S 15737 15740 12120 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 246371618 14424936448 107406 33554432000 4194304 4196468 140721344306704 140346856881008 140347314690690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0

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

/proc/15740/task/15742/stat : 15742 (java) R 15737 15740 12120 0 -1 4202560 209521 0 0 0 237722 67 0 0 20 0 15 0 246371616 14429130752 642308 33554432000 4194304 4196468 140721344306704 140347318917648 140346935429808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15743] ppid=15737 vsize=14090948 memory=2571284 CPUtime=4.03 cores=0,2,4,6
/proc/15740/task/15743/stat : 15743 (java) S 15737 15740 12120 0 -1 1077944384 48392 0 0 0 332 71 0 0 20 0 15 0 246371617 14429130752 642308 33554432000 4194304 4196468 140721344306704 140347252279952 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15744] ppid=15737 vsize=14090948 memory=2582572 CPUtime=4.05 cores=0,2,4,6
/proc/15740/task/15744/stat : 15744 (java) S 15737 15740 12120 0 -1 1077944384 45437 0 0 0 332 73 0 0 20 0 15 0 246371617 14429130752 642308 33554432000 4194304 4196468 140721344306704 140346909006352 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15745] ppid=15737 vsize=14090948 memory=2569232 CPUtime=4.03 cores=0,2,4,6
/proc/15740/task/15745/stat : 15745 (java) S 15737 15740 12120 0 -1 1077944384 46006 0 0 0 329 74 0 0 20 0 15 0 246371617 14429130752 642308 33554432000 4194304 4196468 140721344306704 140346907953552 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15746] ppid=15737 vsize=14090948 memory=2569232 CPUtime=4.04 cores=0,2,4,6
/proc/15740/task/15746/stat : 15746 (java) S 15737 15740 12120 0 -1 1077944384 47364 0 0 0 327 77 0 0 20 0 15 0 246371617 14429130752 642308 33554432000 4194304 4196468 140721344306704 140346906900752 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15747] ppid=15737 vsize=14090948 memory=2569232 CPUtime=0.28 cores=0,2,4,6
/proc/15740/task/15747/stat : 15747 (java) S 15737 15740 12120 0 -1 1077944384 19915 0 0 0 22 6 0 0 20 0 15 0 246371618 14429130752 642308 33554432000 4194304 4196468 140721344306704 140346856881008 140347314690690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15748] ppid=15737 vsize=14090948 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15748/stat : 15748 (java) S 15737 15740 12120 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 246371619 14429130752 642308 33554432000 4194304 4196468 140721344306704 140346855827040 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15749] ppid=15737 vsize=14090948 memory=2582572 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15749/stat : 15749 (java) S 15737 15740 12120 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 246371619 14429130752 642308 33554432000 4194304 4196468 140721344306704 140346854774144 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15750] ppid=15737 vsize=14090948 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15750/stat : 15750 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14429130752 642308 33554432000 4194304 4196468 140721344306704 140346853722448 140347314698139 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15751] ppid=15737 vsize=14090948 memory=2571284 CPUtime=3.59 cores=0,2,4,6
/proc/15740/task/15751/stat : 15751 (java) S 15737 15740 12120 0 -1 1077944384 15086 0 0 0 357 2 0 0 20 0 15 0 246371621 14429130752 642308 33554432000 4194304 4196468 140721344306704 140346852669808 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15752] ppid=15737 vsize=14090948 memory=3712 CPUtime=3.26 cores=0,2,4,6
/proc/15740/task/15752/stat : 15752 (java) S 15737 15740 12120 0 -1 1077944384 10781 0 0 0 324 2 0 0 20 0 15 0 246371621 14429130752 642308 33554432000 4194304 4196468 140721344306704 140346851617008 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15753] ppid=15737 vsize=14090948 memory=1740 CPUtime=1.34 cores=0,2,4,6
/proc/15740/task/15753/stat : 15753 (java) S 15737 15740 12120 0 -1 1077944384 23378 0 0 0 130 4 0 0 20 0 15 0 246371621 14429130752 642308 33554432000 4194304 4196468 140721344306704 140346850564208 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15754] ppid=15737 vsize=14090948 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15754/stat : 15754 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14429130752 642308 33554432000 4194304 4196468 140721344306704 140346849511648 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15755] ppid=15737 vsize=14090948 memory=6791534058613427641 CPUtime=1.28 cores=0,2,4,6
/proc/15740/task/15755/stat : 15755 (java) S 15737 15740 12120 0 -1 1077944384 1888 0 0 0 61 67 0 0 20 0 15 0 246371622 14429130752 642308 33554432000 4194304 4196468 140721344306704 140346780544176 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
Current children cumulated CPU time: 2403.91 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2569232 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.68 1.79 4/215 15929
/proc/meminfo: memFree=19867748/32770624 swapFree=67108524/67108860
[pid=15740] ppid=15737 vsize=14090948 memory=2536912 CPUtime=2464.04 cores=0,2,4,6
/proc/15740/stat : 15740 (java) S 15737 15740 12120 0 -1 1077944320 471512 0 0 0 245972 432 0 0 20 0 15 0 246371616 14429130752 634228 33554432000 4194304 4196468 140721344306704 140721344289248 140347314679543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
/proc/15740/statm: 3522737 634228 3618 1 0 3484809 0
[pid=15740/tid=15742] ppid=15737 vsize=14090948 memory=2538452 CPUtime=2437.85 cores=0,2,4,6
/proc/15740/task/15742/stat : 15742 (java) R 15737 15740 12120 0 -1 4202560 210786 0 0 0 243717 68 0 0 20 0 15 0 246371616 14429130752 634228 33554432000 4194304 4196468 140721344306704 140347318917520 140346945162030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15743] ppid=15737 vsize=14090948 memory=2548712 CPUtime=4.07 cores=0,2,4,6
/proc/15740/task/15743/stat : 15743 (java) S 15737 15740 12120 0 -1 1077944384 48702 0 0 0 336 71 0 0 20 0 15 0 246371617 14429130752 634228 33554432000 4194304 4196468 140721344306704 140347252279952 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15744] ppid=15737 vsize=14090948 memory=2546660 CPUtime=4.09 cores=0,2,4,6
/proc/15740/task/15744/stat : 15744 (java) S 15737 15740 12120 0 -1 1077944384 45608 0 0 0 336 73 0 0 20 0 15 0 246371617 14429130752 634228 33554432000 4194304 4196468 140721344306704 140346909006352 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15745] ppid=15737 vsize=14090948 memory=2538452 CPUtime=4.07 cores=0,2,4,6
/proc/15740/task/15745/stat : 15745 (java) S 15737 15740 12120 0 -1 1077944384 46172 0 0 0 333 74 0 0 20 0 15 0 246371617 14429130752 634228 33554432000 4194304 4196468 140721344306704 140346907953552 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15746] ppid=15737 vsize=14090948 memory=2538452 CPUtime=4.08 cores=0,2,4,6
/proc/15740/task/15746/stat : 15746 (java) S 15737 15740 12120 0 -1 1077944384 47586 0 0 0 331 77 0 0 20 0 15 0 246371617 14429130752 634228 33554432000 4194304 4196468 140721344306704 140346906900752 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15747] ppid=15737 vsize=14090948 memory=2536912 CPUtime=0.29 cores=0,2,4,6
/proc/15740/task/15747/stat : 15747 (java) S 15737 15740 12120 0 -1 1077944384 20089 0 0 0 22 7 0 0 20 0 15 0 246371618 14429130752 634228 33554432000 4194304 4196468 140721344306704 140346856881008 140347314690690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15748] ppid=15737 vsize=14090948 memory=2536912 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15748/stat : 15748 (java) S 15737 15740 12120 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 246371619 14429130752 634228 33554432000 4194304 4196468 140721344306704 140346855827040 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15749] ppid=15737 vsize=14090948 memory=2536912 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15749/stat : 15749 (java) S 15737 15740 12120 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 246371619 14429130752 634228 33554432000 4194304 4196468 140721344306704 140346854774144 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15750] ppid=15737 vsize=14090948 memory=2536912 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15750/stat : 15750 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14429130752 634228 33554432000 4194304 4196468 140721344306704 140346853722448 140347314698139 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15751] ppid=15737 vsize=14090948 memory=2536912 CPUtime=3.59 cores=0,2,4,6
/proc/15740/task/15751/stat : 15751 (java) S 15737 15740 12120 0 -1 1077944384 15088 0 0 0 357 2 0 0 20 0 15 0 246371621 14429130752 634228 33554432000 4194304 4196468 140721344306704 140346852669808 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15752] ppid=15737 vsize=14090948 memory=2546660 CPUtime=3.27 cores=0,2,4,6
/proc/15740/task/15752/stat : 15752 (java) S 15737 15740 12120 0 -1 1077944384 10784 0 0 0 325 2 0 0 20 0 15 0 246371621 14429130752 634228 33554432000 4194304 4196468 140721344306704 140346851617008 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15753] ppid=15737 vsize=14090948 memory=3712 CPUtime=1.34 cores=0,2,4,6
/proc/15740/task/15753/stat : 15753 (java) S 15737 15740 12120 0 -1 1077944384 23380 0 0 0 130 4 0 0 20 0 15 0 246371621 14429130752 634228 33554432000 4194304 4196468 140721344306704 140346850564208 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15754] ppid=15737 vsize=14090948 memory=66924 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15754/stat : 15754 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14429130752 634228 33554432000 4194304 4196468 140721344306704 140346849511648 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15755] ppid=15737 vsize=14090948 memory=2536912 CPUtime=1.31 cores=0,2,4,6
/proc/15740/task/15755/stat : 15755 (java) S 15737 15740 12120 0 -1 1077944384 1908 0 0 0 62 69 0 0 20 0 15 0 246371622 14429130752 634228 33554432000 4194304 4196468 140721344306704 140346780544176 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
Current children cumulated CPU time: 2464.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2536912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2498.11 s]
/proc/loadavg: 1.64 1.68 1.78 4/215 15930
/proc/meminfo: memFree=19904740/32770624 swapFree=67108524/67108860
[pid=15740] ppid=15737 vsize=14090948 memory=2507160 CPUtime=2520 cores=0,2,4,6
/proc/15740/stat : 15740 (java) S 15737 15740 12120 0 -1 1077944320 474742 0 0 0 251566 434 0 0 20 0 15 0 246371616 14429130752 626790 33554432000 4194304 4196468 140721344306704 140721344289248 140347314679543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
/proc/15740/statm: 3522737 626790 3618 1 0 3484809 0
[pid=15740/tid=15742] ppid=15737 vsize=14090948 memory=2507160 CPUtime=2493.6 cores=0,2,4,6
/proc/15740/task/15742/stat : 15742 (java) R 15737 15740 12120 0 -1 4202560 212051 0 0 0 249292 68 0 0 20 0 15 0 246371616 14429130752 626790 33554432000 4194304 4196468 140721344306704 140347318917792 140346945471237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15743] ppid=15737 vsize=14090948 memory=2507160 CPUtime=4.11 cores=0,2,4,6
/proc/15740/task/15743/stat : 15743 (java) S 15737 15740 12120 0 -1 1077944384 49264 0 0 0 340 71 0 0 20 0 15 0 246371617 14429130752 626790 33554432000 4194304 4196468 140721344306704 140347252279952 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15744] ppid=15737 vsize=14090948 memory=2507160 CPUtime=4.13 cores=0,2,4,6
/proc/15740/task/15744/stat : 15744 (java) S 15737 15740 12120 0 -1 1077944384 45890 0 0 0 340 73 0 0 20 0 15 0 246371617 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346909006352 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15745] ppid=15737 vsize=14090948 memory=2512804 CPUtime=4.11 cores=0,2,4,6
/proc/15740/task/15745/stat : 15745 (java) S 15737 15740 12120 0 -1 1077944384 46518 0 0 0 337 74 0 0 20 0 15 0 246371617 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346907953552 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15746] ppid=15737 vsize=14090948 memory=2520496 CPUtime=4.12 cores=0,2,4,6
/proc/15740/task/15746/stat : 15746 (java) S 15737 15740 12120 0 -1 1077944384 47972 0 0 0 335 77 0 0 20 0 15 0 246371617 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346906900752 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15747] ppid=15737 vsize=14090948 memory=2520496 CPUtime=0.29 cores=0,2,4,6
/proc/15740/task/15747/stat : 15747 (java) S 15737 15740 12120 0 -1 1077944384 20431 0 0 0 22 7 0 0 20 0 15 0 246371618 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346856881008 140347314690690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15748] ppid=15737 vsize=14090948 memory=2527680 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15748/stat : 15748 (java) S 15737 15740 12120 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 246371619 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346855827040 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15749] ppid=15737 vsize=14090948 memory=56 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15749/stat : 15749 (java) S 15737 15740 12120 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 246371619 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346854774144 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15750] ppid=15737 vsize=14090948 memory=2519472 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15750/stat : 15750 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346853722448 140347314698139 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15751] ppid=15737 vsize=14090948 memory=2507160 CPUtime=3.59 cores=0,2,4,6
/proc/15740/task/15751/stat : 15751 (java) S 15737 15740 12120 0 -1 1077944384 15092 0 0 0 357 2 0 0 20 0 15 0 246371621 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346852669808 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15752] ppid=15737 vsize=14090948 memory=2507160 CPUtime=3.27 cores=0,2,4,6
/proc/15740/task/15752/stat : 15752 (java) S 15737 15740 12120 0 -1 1077944384 10789 0 0 0 325 2 0 0 20 0 15 0 246371621 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346851617008 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15753] ppid=15737 vsize=14090948 memory=504 CPUtime=1.34 cores=0,2,4,6
/proc/15740/task/15753/stat : 15753 (java) S 15737 15740 12120 0 -1 1077944384 23384 0 0 0 130 4 0 0 20 0 15 0 246371621 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346850564208 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15754] ppid=15737 vsize=14090948 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15754/stat : 15754 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346849511648 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15755] ppid=15737 vsize=14090948 memory=66924 CPUtime=1.33 cores=0,2,4,6
/proc/15740/task/15755/stat : 15755 (java) S 15737 15740 12120 0 -1 1077944384 1942 0 0 0 63 70 0 0 20 0 15 0 246371622 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346780544176 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2507160 KiB

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

[startup+2498.14 s]
# the end of solver process 15740 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.69 s, system=4.35698 s

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

[startup+2498.11 s]
/proc/loadavg: 1.64 1.68 1.78 4/215 15930
/proc/meminfo: memFree=19904740/32770624 swapFree=67108524/67108860
[pid=15740] ppid=15737 vsize=14090948 memory=2507160 CPUtime=2520 cores=0,2,4,6
/proc/15740/stat : 15740 (java) S 15737 15740 12120 0 -1 1077944320 474742 0 0 0 251566 434 0 0 20 0 15 0 246371616 14429130752 626790 33554432000 4194304 4196468 140721344306704 140721344289248 140347314679543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
/proc/15740/statm: 3522737 626790 3618 1 0 3484809 0
[pid=15740/tid=15742] ppid=15737 vsize=14090948 memory=2507160 CPUtime=2493.6 cores=0,2,4,6
/proc/15740/task/15742/stat : 15742 (java) R 15737 15740 12120 0 -1 4202560 212051 0 0 0 249292 68 0 0 20 0 15 0 246371616 14429130752 626790 33554432000 4194304 4196468 140721344306704 140347318917792 140346945471237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15743] ppid=15737 vsize=14090948 memory=2507160 CPUtime=4.11 cores=0,2,4,6
/proc/15740/task/15743/stat : 15743 (java) S 15737 15740 12120 0 -1 1077944384 49264 0 0 0 340 71 0 0 20 0 15 0 246371617 14429130752 626790 33554432000 4194304 4196468 140721344306704 140347252279952 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15744] ppid=15737 vsize=14090948 memory=2507160 CPUtime=4.13 cores=0,2,4,6
/proc/15740/task/15744/stat : 15744 (java) S 15737 15740 12120 0 -1 1077944384 45890 0 0 0 340 73 0 0 20 0 15 0 246371617 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346909006352 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15745] ppid=15737 vsize=14090948 memory=2512804 CPUtime=4.11 cores=0,2,4,6
/proc/15740/task/15745/stat : 15745 (java) S 15737 15740 12120 0 -1 1077944384 46518 0 0 0 337 74 0 0 20 0 15 0 246371617 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346907953552 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15746] ppid=15737 vsize=14090948 memory=2520496 CPUtime=4.12 cores=0,2,4,6
/proc/15740/task/15746/stat : 15746 (java) S 15737 15740 12120 0 -1 1077944384 47972 0 0 0 335 77 0 0 20 0 15 0 246371617 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346906900752 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15747] ppid=15737 vsize=14090948 memory=2520496 CPUtime=0.29 cores=0,2,4,6
/proc/15740/task/15747/stat : 15747 (java) S 15737 15740 12120 0 -1 1077944384 20431 0 0 0 22 7 0 0 20 0 15 0 246371618 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346856881008 140347314690690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15748] ppid=15737 vsize=14090948 memory=2527680 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15748/stat : 15748 (java) S 15737 15740 12120 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 246371619 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346855827040 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15749] ppid=15737 vsize=14090948 memory=56 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15749/stat : 15749 (java) S 15737 15740 12120 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 246371619 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346854774144 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15750] ppid=15737 vsize=14090948 memory=2519472 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15750/stat : 15750 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346853722448 140347314698139 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15751] ppid=15737 vsize=14090948 memory=2507160 CPUtime=3.59 cores=0,2,4,6
/proc/15740/task/15751/stat : 15751 (java) S 15737 15740 12120 0 -1 1077944384 15092 0 0 0 357 2 0 0 20 0 15 0 246371621 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346852669808 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15752] ppid=15737 vsize=14090948 memory=2507160 CPUtime=3.27 cores=0,2,4,6
/proc/15740/task/15752/stat : 15752 (java) S 15737 15740 12120 0 -1 1077944384 10789 0 0 0 325 2 0 0 20 0 15 0 246371621 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346851617008 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15753] ppid=15737 vsize=14090948 memory=504 CPUtime=1.34 cores=0,2,4,6
/proc/15740/task/15753/stat : 15753 (java) S 15737 15740 12120 0 -1 1077944384 23384 0 0 0 130 4 0 0 20 0 15 0 246371621 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346850564208 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15754] ppid=15737 vsize=14090948 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/15740/task/15754/stat : 15754 (java) S 15737 15740 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246371621 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346849511648 140347314689749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
[pid=15740/tid=15755] ppid=15737 vsize=14090948 memory=66924 CPUtime=1.33 cores=0,2,4,6
/proc/15740/task/15755/stat : 15755 (java) S 15737 15740 12120 0 -1 1077944384 1942 0 0 0 63 70 0 0 20 0 15 0 246371622 14429130752 626790 33554432000 4194304 4196468 140721344306704 140346780544176 140347314690690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140721344308296 140721344308489 140721344308489 140721344311247 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2507160 KiB

Child status: 143
Real time (s): 2498.14
CPU time (s): 2520.05
CPU user time (s): 2515.69
CPU system time (s): 4.35698
CPU usage (%): 100.877
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 4713520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.69
system time used= 4.35698
maximum resident set size= 4756552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61321
involuntary context switches= 3108


# summary of solver processes directly reported to runsolver:
#   pid: 15740
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2515.69
#   total CPU system time (s): 4.35698

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8839 second user time and 20.7997 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-15 01:08:04
IDJOB=4308346
IDBENCH=141262
IDSOLVER=2791
FILE ID=node107/4308346-1534288084
RUNJOBID= node107-1534270595-13935
PBS_JOBID= 21038126
Free space on /tmp= 42204 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308346-1534288084/watcher-4308346-1534288084 -o /tmp/evaluation-result-4308346-1534288084/solver-4308346-1534288084 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534270595-13935 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1938569297 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308346-1534288084.xml

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

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=1938569297

node107.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.40
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.40
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.40
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.40
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:        24407860 kB
MemAvailable:   31606220 kB
Buffers:          193520 kB
Cached:          7226076 kB
SwapCached:           20 kB
Active:          4294376 kB
Inactive:        3478144 kB
Active(anon):     302592 kB
Inactive(anon):   103184 kB
Active(file):    3991784 kB
Inactive(file):  3374960 kB
Unevictable:        6980 kB
Mlocked:            6980 kB
SwapTotal:      67108860 kB
SwapFree:       67108524 kB
Dirty:            126628 kB
Writeback:             0 kB
AnonPages:        358360 kB
Mapped:            67692 kB
Shmem:             49632 kB
Slab:             288392 kB
SReclaimable:     260076 kB
SUnreclaim:        28316 kB
KernelStack:        3520 kB
PageTables:         6188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1219012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 42100 MiB
End job on node107 at 2018-08-15 01:49:43