Trace number 4312086

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-17SAT (TO)458147641 2520.16 2484.73

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test03-0400_c18.xml
MD5SUMa5fe7a04cb5002912ef3d870057982e3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark164004631
Best CPU time to get the best result obtained on this benchmark2520.07
Satisfiable
(Un)Satisfiability was proved
Number of variables6864
Number of constraints4370
Number of domains85
Minimum domain size1
Maximum domain size175
Distribution of domain sizes[{"size":1,"count":8},{"size":2,"count":2413},{"size":11,"count":2021},{"size":12,"count":1},{"size":21,"count":15},{"size":26,"count":8},{"size":29,"count":37},{"size":31,"count":9},{"size":32,"count":9},{"size":33,"count":36},{"size":35,"count":22},{"size":37,"count":62},{"size":41,"count":51},{"size":43,"count":13},{"size":44,"count":6},{"size":47,"count":16},{"size":49,"count":20},{"size":51,"count":47},{"size":53,"count":8},{"size":55,"count":14},{"size":56,"count":16},{"size":57,"count":3},{"size":59,"count":3},{"size":61,"count":30},{"size":63,"count":21},"...",{"size":91,"count":18}, {"size":93,"count":6}, {"size":94,"count":7}, {"size":97,"count":4}, {"size":99,"count":11}, {"size":101,"count":31}, {"size":103,"count":5}, {"size":105,"count":6}, {"size":107,"count":14}, {"size":109,"count":15}, {"size":113,"count":11}, {"size":115,"count":20}, {"size":117,"count":3}, {"size":123,"count":35}, {"size":127,"count":5}, {"size":135,"count":20}, {"size":136,"count":127}, {"size":137,"count":28}, {"size":153,"count":82}, {"size":158,"count":107}, {"size":160,"count":191}, {"size":163,"count":78}, {"size":165,"count":126}, {"size":167,"count":89}, {"size":175,"count":655}]
Minimum variable degree2
Maximum variable degree2022
Distribution of variable degrees[{"degree":2,"count":6063},{"degree":3,"count":3},{"degree":4,"count":12},{"degree":5,"count":22},{"degree":6,"count":42},{"degree":7,"count":47},{"degree":8,"count":59},{"degree":9,"count":62},{"degree":10,"count":77},{"degree":11,"count":88},{"degree":12,"count":91},{"degree":13,"count":96},{"degree":14,"count":131},{"degree":15,"count":70},{"degree":2022,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":328},{"arity":3,"count":2021},{"arity":6,"count":2021}]
Number of extensional constraints2021
Number of intensional constraints2349
Distribution of constraint types[{"type":"extension","count":2021},{"type":"intension","count":2349}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 1184440616
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
57.99/34.92	c Parsing done, starting search...
486.26/458.65	o 458410616
486.26/458.66	o 458410615
486.26/458.68	o 458410611
486.26/458.68	o 458410610
486.26/458.69	o 458410609
486.49/458.71	o 458410604
486.49/458.72	o 458410602
486.49/458.72	o 458410600
486.49/458.74	o 458410599
486.49/458.74	o 458410597
486.49/458.75	o 458410595
486.49/458.76	o 458410594
486.49/458.77	o 458410593
486.49/458.77	o 458410592
486.49/458.79	o 458410591
486.78/458.80	o 458410590
486.78/458.81	o 458410588
486.78/458.82	o 458410587
486.78/458.83	o 458410586
486.96/458.91	o 458410585
486.96/458.91	o 458410583
486.96/458.95	o 458410582
486.96/458.96	o 458410580
486.96/458.98	o 458410575
486.96/458.98	o 458410574
486.96/458.99	o 458410572
486.96/459.01	o 458410571
487.07/459.09	o 458410570
487.20/459.14	o 458390370
487.20/459.15	o 458390368
487.20/459.16	o 458390358
487.20/459.16	o 458390356
487.20/459.17	o 458390353
487.29/459.20	o 458390352
487.29/459.21	o 458390351
487.29/459.22	o 458390349
487.29/459.27	o 458370153
487.29/459.27	o 458370152
487.29/459.28	o 458370149
487.29/459.29	o 458370148
487.39/459.31	o 458370147
487.39/459.32	o 458370140
487.39/459.32	o 458370139
487.39/459.34	o 458370138
487.39/459.35	o 458370137
487.59/459.50	o 458349946
487.59/459.50	o 458349944
487.59/459.51	o 458349943
487.59/459.52	o 458349942
487.59/459.52	o 458349941
487.59/459.53	o 458349940
487.59/459.53	o 458349937
487.59/459.55	o 458349935
487.59/459.55	o 458349934
487.59/459.56	o 458349932
487.59/459.57	o 458349931
487.59/459.58	o 458349930
487.59/459.59	o 458349929
487.59/459.59	o 458349926
487.69/459.61	o 458349919
487.69/459.61	o 458349918
487.69/459.63	o 458349917
487.80/459.73	o 458349916
487.80/459.74	o 458349915
487.80/459.74	o 458349913
487.80/459.75	o 458349912
487.80/459.76	o 458349911
487.80/459.80	o 458349908
487.90/459.83	o 458349907
487.90/459.84	o 458349906
488.00/459.92	o 458349905
488.00/459.93	o 458349904
488.00/459.99	o 458349903
488.11/460.01	o 458349901
488.11/460.02	o 458349900
488.11/460.03	o 458349899
488.11/460.04	o 458349896
488.50/460.41	o 458349894
488.50/460.43	o 458349886
488.50/460.44	o 458349882
488.50/460.45	o 458349877
488.50/460.46	o 458349876
488.50/460.48	o 458349874
488.50/460.49	o 458349871
488.60/460.50	o 458349866
488.60/460.51	o 458349865
488.60/460.55	o 458349862
488.60/460.56	o 458349861
488.60/460.59	o 458349860
488.70/460.60	o 458349859
488.90/460.83	o 458329711
488.90/460.84	o 458329709
488.90/460.85	o 458329708
488.90/460.86	o 458329706
488.90/460.87	o 458329695
488.90/460.88	o 458329691
488.90/460.89	o 458329686
488.90/460.89	o 458329683
489.00/460.90	o 458329675
489.00/460.92	o 458329669
489.00/460.93	o 458329667
489.00/460.94	o 458329650
489.00/460.95	o 458329649
489.21/461.14	o 458329648
489.21/461.14	o 458329647
490.40/462.34	o 458329646
490.60/462.56	o 458329645
490.60/462.57	o 458329644
490.60/462.58	o 458329643
490.70/462.60	o 458329642
490.70/462.63	o 458329641
490.70/462.65	o 458329640
490.80/462.77	o 458309487
490.80/462.77	o 458309486
490.80/462.78	o 458309485
490.80/462.79	o 458309481
490.90/462.80	o 458309477
490.90/462.83	o 458309476
490.90/462.83	o 458309474
490.90/462.84	o 458309463
490.90/462.86	o 458309460
490.90/462.86	o 458309459
491.00/462.93	o 458309458
491.00/462.93	o 458309457
491.11/463.09	o 458309455
491.11/463.09	o 458309454
491.11/463.11	o 458309452
491.22/463.12	o 458309451
491.22/463.14	o 458309449
491.31/463.22	o 458309448
491.31/463.23	o 458309447
491.31/463.24	o 458309446
491.31/463.25	o 458309442
491.31/463.26	o 458309441
491.31/463.27	o 458309440
491.51/463.46	o 458309439
491.81/463.76	o 458289266
491.81/463.77	o 458289265
491.81/463.78	o 458289260
491.91/463.80	o 458289257
491.91/463.81	o 458289256
491.91/463.82	o 458289255
491.91/463.83	o 458289252
491.91/463.86	o 458289247
491.91/463.87	o 458289246
492.20/464.01	o 458289245
492.20/464.01	o 458289244
492.20/464.03	o 458289241
492.20/464.04	o 458289238
492.20/464.05	o 458289237
492.20/464.09	o 458289235
492.49/464.32	o 458289233
492.49/464.33	o 458289232
492.49/464.34	o 458289231
492.49/464.35	o 458289229
492.79/464.60	o 458289227
493.25/464.87	o 458289226
493.25/464.88	o 458289223
493.25/464.89	o 458289222
493.65/465.20	o 458289221
493.65/465.21	o 458289220
494.15/465.75	o 458289218
494.15/465.76	o 458289217
494.15/465.78	o 458289216
494.25/465.80	o 458289212
494.46/466.05	o 458269072
494.46/466.05	o 458269063
494.46/466.06	o 458269062
494.46/466.06	o 458269061
494.46/466.07	o 458248838
494.46/466.08	o 458248837
494.46/466.10	o 458248835
494.46/466.10	o 458248834
494.56/466.12	o 458248827
494.56/466.12	o 458248826
494.56/466.14	o 458248825
494.56/466.15	o 458248821
494.56/466.16	o 458248820
494.56/466.17	o 458248810
494.56/466.19	o 458248808
494.65/466.20	o 458248807
494.65/466.21	o 458248806
494.65/466.22	o 458248805
494.65/466.23	o 458248804
494.65/466.26	o 458248802
494.65/466.27	o 458248801
494.65/466.28	o 458248797
494.76/466.30	o 458248796
494.86/466.47	o 458248794
494.86/466.47	o 458248793
494.96/466.51	o 458248792
494.96/466.52	o 458248791
495.47/467.02	o 458248790
495.47/467.03	o 458248789
495.47/467.04	o 458248788
495.47/467.05	o 458248787
495.47/467.06	o 458248785
495.57/467.15	o 458248783
496.06/467.60	o 458228588
496.06/467.61	o 458228583
496.06/467.62	o 458228580
496.06/467.63	o 458228579
496.06/467.64	o 458228577
496.06/467.65	o 458228572
496.06/467.69	o 458228569
496.16/467.70	o 458228568
496.16/467.71	o 458228567
496.16/467.72	o 458228566
496.16/467.79	o 458228565
496.16/467.80	o 458228564
496.26/467.89	o 458228563
496.35/467.97	o 458228562
496.35/467.98	o 458228561
496.46/468.04	o 458228560
496.46/468.04	o 458228559
496.46/468.07	o 458228557
496.46/468.09	o 458228556
496.46/468.10	o 458228555
498.95/470.58	o 458228554
499.05/470.68	o 458228553
499.05/470.68	o 458228552
499.15/470.71	o 458228551
499.15/470.72	o 458228550
499.15/470.72	o 458228548
499.65/471.21	o 458208362
499.65/471.21	o 458208361
499.65/471.22	o 458208360
499.65/471.23	o 458208359
499.65/471.24	o 458208357
499.65/471.26	o 458208356
499.75/471.36	o 458208355
499.75/471.37	o 458208354
499.75/471.37	o 458208353
499.75/471.38	o 458208352
499.75/471.40	o 458208351
499.85/471.42	o 458208350
499.96/471.51	o 458208349
500.05/471.61	o 458208348
500.05/471.65	o 458208347
500.05/471.66	o 458208346
500.05/471.67	o 458208345
500.05/471.68	o 458208342
500.15/471.73	o 458208341
500.15/471.77	o 458208340
501.26/472.87	o 458208339
501.36/472.92	o 458208338
501.36/472.97	o 458208335
502.86/474.48	o 458208334
503.47/475.06	o 458208333
503.97/475.54	o 458208332
503.97/475.57	o 458208331
508.17/479.71	o 458188199
508.17/479.72	o 458188190
508.17/479.72	o 458188189
508.17/479.73	o 458188188
508.17/479.74	o 458188179
508.17/479.74	o 458188174
508.17/479.75	o 458188173
508.17/479.76	o 458188168
508.17/479.77	o 458188162
508.17/479.77	o 458188161
508.17/479.79	o 458188160
508.17/479.79	o 458188159
508.28/479.80	o 458188158
508.28/479.81	o 458188154
508.28/479.82	o 458188153
508.28/479.83	o 458188147
508.28/479.84	o 458188144
508.28/479.86	o 458188140
508.28/479.89	o 458188138
508.28/479.89	o 458188137
508.38/479.90	o 458188135
508.38/479.91	o 458188132
508.49/480.02	o 458188131
508.49/480.03	o 458188130
508.49/480.04	o 458188129
508.49/480.04	o 458188128
508.49/480.05	o 458188127
508.49/480.07	o 458188125
508.49/480.08	o 458188123
508.68/480.25	o 458188122
508.68/480.26	o 458188121
508.78/480.36	o 458188120
520.28/491.88	o 458188119
520.28/491.88	o 458188117
520.28/491.89	o 458188116
520.38/492.00	o 458188115
520.59/492.13	o 458188114
524.95/496.29	o 458188113
525.76/497.01	o 458188112
527.35/498.64	o 458188111
527.35/498.66	o 458188110
527.65/498.99	o 458188109
532.96/504.24	o 458188108
532.96/504.24	o 458188107
532.96/504.26	o 458188106
533.06/504.36	o 458188105
533.06/504.37	o 458188104
536.66/507.95	o 458188103
536.87/508.13	o 458188102
542.56/513.80	o 458167894
542.56/513.81	o 458167893
542.56/513.82	o 458167892
542.56/513.83	o 458167889
542.56/513.84	o 458167884
542.56/513.86	o 458167878
542.56/513.88	o 458147694
542.56/513.89	o 458147684
542.56/513.89	o 458147683
542.66/513.90	o 458147680
542.66/513.91	o 458147677
542.66/513.93	o 458147670
542.66/513.94	o 458147669
542.66/513.95	o 458147664
542.66/513.97	o 458147658
542.66/514.00	o 458147651
542.77/514.02	o 458147650
542.77/514.03	o 458147649
542.77/514.04	o 458147648
542.77/514.10	o 458147647
542.96/514.20	o 458147645
542.96/514.23	o 458147644
543.66/514.94	o 458147643
543.77/515.02	o 458147642
544.77/516.05	o 458147641
2520.11/2484.70	s SATISFIABLE
2520.11/2484.71	v <instantiation>
2520.11/2484.71	v 	<list>
2520.11/2484.71	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] 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] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] 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] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] 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] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020]
2520.11/2484.71	v 	</list>
2520.11/2484.71	v 	<values>
2520.11/2484.71	v 		2424 2500 2440 2288 2848 2732 2820 2844 2412 2544 2372 2388 2788 2868 2464 2840 2484 2820 2320 2376 2380 2540 2528 2616 2384 2464 2780 2604 2796 2540 2676 2660 2756 2468 2264 2788 2548 2912 2552 2808 2772 2260 2664 2796 2700 2512 2716 2800 2800 2592 2788 2436 2488 2624 2632 2340 2916 2228 2804 2392 2656 2312 2844 2740 2808 2260 2632 2344 2652 2664 2684 2828 2464 2812 2580 2780 2572 2728 2832 2408 2808 2260 2772 2448 2620 2380 2800 2452 2480 2644 2820 2732 2684 2828 2504 2424 2872 2616 2432 2624 2428 2884 2564 2444 2588 2380 2560 2828 2860 2584 2260 2432 2876 2372 2420 2444 2288 2392 2852 2412 2624 2540 2588 2504 2424 2456 2532 2444 2732 2336 2852 2732 2608 2412 2308 2708 2384 2520 2328 2872 2224 2432 2704 2744 2856 2584 2608 2788 2780 2612 2492 2556 2416 2452 2716 2792 2432 2444 2448 2424 2220 2732 2828 2840 2396 2384 2372 2748 2772 2408 2820 2376 2608 2404 2820 2632 2492 2280 2520 2800 2368 2388 2420 2780 2648 2500 2300 2404 2812 2840 2612 2448 2540 2460 2676 2472 2384 2840 2472 2572 2352 2516 2788 2412 2756 2852 2808 2356 2504 2432 2496 2832 2428 2780 2408 2452 2756 2752 2300 2580 2832 2392 2820 2460 2392 2444 2380 2424 2644 2396 2416 2872 2436 2784 2380 2744 2696 2464 2828 2260 2400 2440 2420 2368 2828 2428 2352 2876 2300 2772 2876 2844 2600 2576 2456 2424 2420 2324 2328 2808 2448 2540 2396 2912 2416 2736 2784 2432 2872 2836 2492 2500 2404 2468 2296 2712 2464 2692 2788 2788 2756 2876 2892 2808 2780 2732 2436 2548 2800 2404 2232 2796 2712 2804 2916 2572 2848 2516 2736 2588 2768 2664 2840 2848 2816 2476 2424 2824 2328 2408 2704 2500 2460 2628 2916 2404 2272 2424 2804 2372 2636 2848 2364 2796 2748 2400 2596 2388 2412 2384 2472 2556 2476 2820 2560 2612 2784 2740 2844 2672 2512 2372 2860 2796 2440 2488 2772 2444 2580 2268 2484 2568 2724 2552 2768 2752 2788 2848 2300 2884 2444 2404 2672 2348 2484 2516 2748 2580 2568 2860 2808 2480 2776 2220 2524 2836 2340 2752 2476 2592 2500 2748 2756 2624 2428 2344 2688 2384 2872 2364 2332 2524 2428 2612 2844 2440 2472 2400 2744 2384 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 0 1 0 1 1 0 1 1 0 1 1 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 1 1 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 11 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 1 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 10 10 0 10 1 0 6 6 9 7 1 0 0 10 0 10 0 10 0 0 1 0 10 4 1 0 10 0 0 10 10 0 0 0 10 0 0 0 1 0 10 1 6 0 0 10 0 1 0 9 10 0 10 1 0 1 0 0 10 0 0 0 1 0 0 10 0 0 0 0 0 8 10 0 0 1 0 10 0 10 10 10 5 1 0 10 10 10 0 10 10 0 4 0 0 10 0 10 0 0 0 10 10 0 0 10 5 0 10 0 0 10 0 1 0 0 0 0 10 0 10 1 0 10 9 10 0 9 0 3 0 3 10 7 10 0 8 0 10 1 1 0 10 0 10 0 0 0 0 0 0 0 0 0 10 8 9 8 0 0 0 0 0 9 0 0 10 0 0 0 7 10 0 0 0 10 6 0 0 0 1 10 0 0 0 5 4 10 1 10 0 0 10 1 0 0 1 0 0 10 10 10 0 0 0 0 5 0 0 0 0 1 9 0 0 0 1 10 0 0 1 0 10 0 0 1 10 1 0 0 10 0 1 1 1 10 0 9 9 1 3 10 10 10 0 3 0 8 10 0 0 0 0 1 0 0 0 8 1 0 0 0 10 0 10 0 1 0 0 0 1 0 10 0 0 10 0 1 10 0 10 0 10 0 10 10 1 0 0 10 0 0 0 10 6 10 7 10 0 1 10 0 10 0 0 5 0 1 0 0 8 10 10 10 0 9 10 9 0 0 0 8 0 0 0 0 10 0 10 10 10 0 0 1 3 10 1 0 0 0 8 0 10 10 0 10 10 0 0 10 5 0 5 0 10 0 0 1 0 7 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 9 1 0 10 0 7 0 3 0 10 0 3 0 0 7 10 1 10 0 0 8 7 0 0 0 10 0 10 0 0 0 0 7 0 10 0 10 0 0 4 0 2 1 0 0 0 10 10 1 0 10 0 1 0 0 0 1 0 9 0 9 0 0 10 0 0 0 0 10 0 10 0 3 0 4 0 0 0 0 10 0 10 10 0 8 10 0 0 0 0 10 0 0 10 10 7 10 10 1 0 6 1 10 0 0 1 5 1 10 0 0 8 6 0 0 0 0 10 1 0 9 9 10 10 10 10 0 0 0 6 0 0 4 0 0 0 10 4 0 0 10 0 0 0 3 0 0 7 0 1 10 0 1 0 10 0 1 0 4 0 10 0 10 0 0 10 0 10 0 6 8 1 10 1 0 10 0 0 0 0 0 1 7 0 0 0 0 9 0 0 0 0 0 0 10 0 0 10 10 10 10 0 0 10 0 9 0 0 0 1 1 1 10 9 1 0 10 0 0 10 5 6 0 1 0 0 10 10 1 8 0 0 1 0 1 6 0 0 6 0 0 0 0 0 1 0 6 0 0 0 0 1 0 10 0 0 10 0 9 0 10 10 0 10 10 0 10 0 0 0 8 10 10 0 0 0 0 5 10 0 8 0 7 0 10 1 6 10 10 0 0 0 7 6 0 0 0 5 10 0 8 0 10 10 0 6 1 0 0 1 0 0 9 1 0 10 0 0 10 10 0 1 10 1 0 0 0 0 1 0 8 10 0 0 10 0 0 0 0 6 0 0 0 0 0 0 0 10 7 1 0 4 0 0 10 0 5 0 0 10 0 1 0 10 10 1 0 1 0 0 0 10 0 6 1 0 0 0 8 0 6 0 10 0 0 2 10 10 1 0 0 10 7 10 10 0 0 0 0 0 10 0 1 0 0 10 0 0 4 6 0 7 9 0 2 0 0 10 0 0 0 0 6 10 0 0 0 10 0 3 0 0 0 10 0 0 0 0 0 0 10 0 0 10 2 10 0 1 0 0 10 0 10 10 0 0 1 0 0 0 1 10 0 0 10 9 0 0 1 10 10 0 0 0 0 0 3 1 6 0 3 0 0 10 0 0 1 0 10 0 0 1 10 0 10 10 0 10 0 0 0 10 0 0 10 0 9 0 10 0 0 4 0 0 0 7 0 0 5 0 10 0 9 10 0 0 0 0 0 0 10 8 0 0 7 0 0 10 10 1 0 10 10 0 10 6 1 10 1 0 1 0 0 10 0 10 0 3 1 10 0 0 1 8 10 0 0 0 0 0 10 10 0 10 10 0 10 0 0 0 0 1 0 10 0 0 0 1 0 0 8 1 0 0 10 0 0 10 0 10 0 0 7 0 0 1 0 1 0 0 0 0 0 0 0 0 10 10 0 10 10 10 0 1 0 0 0 10 0 1 0 0 0 1 10 10 10 10 10 10 1 1 10 10 4 0 8 0 10 4 0 6 10 0 10 9 7 10 0 10 0 10 0 0 0 0 1 5 0 0 0 0 10 0 10 4 0 7 0 0 1 10 0 0 0 8 10 0 1 1 0 10 8 0 10 0 10 10 0 0 0 0 10 0 8 5 0 8 9 0 10 0 0 0 10 0 0 0 0 0 0 1 0 0 0 0 4 0 0 0 1 0 0 0 10 0 0 6 0 0 0 10 10 10 0 10 0 0 7 10 10 0 5 10 8 10 0 2 0 10 10 3 8 0 1 0 6 1 0 10 0 1 0 1 0 0 6 10 4 1 0 10 0 7 10 6 0 0 10 0 6 10 1 0 0 4 0 0 3 10 0 0 0 4 0 0 0 10 0 1 0 0 10 10 10 1 1 10 0 0 0 1 0 9 10 9 0 0 10 1 0 0 0 0 0 0 0 0 10 1 10 0 0 10 0 0 0 0 0 0 10 0 0 10 10 9 10 0 10 1 8 0 10 0 0 0 2 7 0 10 0 10 0 0 10 1 0 0 1 0 0 3 0 6 10 6 1 8 10 10 10 1 0 0 0 0 9 0 0 0 4 1 10 7 0 10 10 0 5 0 0 0 0 10 0 10 1 0 1 0 10 6 2 0 0 10 10 10 1 0 1 10 1 0 0 0 0 7 0 0 0 1 7 0 1 0 0 8 10 10 3 0 10 10 0 0 0 10 10 1 0 6 0 0 0 1 0 0 0 10 1 7 0 10 9 0 10 0 5 0 0 1 0 7 0 0 0 0 0 1 0 1 0 0 0 10 0 5 8 10 0 1 0 10 0 10 10 0 10 0 10 0 10 8 10 3 10 1 3 0 0 7 0 1 0 0 0 0 10 0 9 0 10 0 0 1 0 10 10 0 4 10 0 10 10 1 0 7 6 0 10 10 1 10 0 10 0 9 0 7 10 0 0 0 10 0 0 0 5 10 1 10 0 3 0 0 2 9 10 0 0 10 9 0 10 10 6 10 1 1 0 10 4 10 0 0 0 0 1 10 10 1 10 0 1 0 5 10 10 10 0 9 10 5 2 10 0 7 10 0 0 10 0 5 0 0 1 1 4 0 0 1 10 0 0 1 0 10 6 10 10 1 0 10 0 0 10 0 9 0 0 10 0 10 10 0 0 0 0 10 0 0 8 10 0 0 5 10 0 4 0 10 0 10 0 10 0 1 10 0 0 0 0 1 0 0 0 0 0 10 0 9 3 1 6 10 0 10 0 10 4 10 10 0 1 2 0 0 0 0 10 0 10 0 10 10 9 2 7 10 0 10 10 10 10 10 0 0 0 1 0 10 10 10 0 10 10 0 0 10 1 10 1 7 0 0 8 0 5 0 10 10 10 10 0 0 0 6 1 0 0 1 0 6 10 0 10 6 0 1 10 10 10 1 10 0 0 0 0 1 10 0 10 1 0 9 0 10 10 1 0 0 10 10 10 10 0 1 9 0 10 0 5 0 0 0 10 0 0 6 0 0 0 0 0 0 10 0 0 0 0 0 10 1 10 1 10 0 0 10 7 10 10 0 0 10 10 1 1 1 0 10 0 1 0 0 6 10 5 1 10 10 10 10 0 10 7 10 0 6 7 0 5 0 9 0 0 0 9 10 0 6 10 9 0 8 0 10 0 0 7 0 1 0 0 1 9 0 1 10 0 0 0 0 0 0 10 0 3 7 0 0 0 0 0 10 0 6 5 0 1 0 1 10 0 10 0 9 0 1 1 0 10 1 10 10 1 0 1 10 8 1 5 1 6 4 10 0 10 0 0 10 0 10 0 1 0 1 0 0 10 10 10 0 10 0 0 10 1 10 7 10 0 0 0 0 1 0 0 1 0 0 10 0 10 0 1 1 10 0 0 10 0 10 0 0 0 0 10 0 10 0 0 0 10 0 10 10 0 0 10 0 0 9 10 10 10 10 0 0 9 1 1 10 0 10 0 10 10 0 0 7 0 10 6 0 10 10 0 10 10 10 0 1 0 0 1 8 0 0 1 0 5 0 1 10 7 0 1 0 10 0 0 9 7 10 0 10 10 10 0 10 0 0 10 0 0 0 1 0 0 9 10 0 1 0 0 5 1 8 0 10 0 0 9 0 1 0 2 2 10 0 9 1 10 0 10 10 0 0 10 10 0 10 0 0 7 10 10 10 10 0 10 4 10 10 0 10 0 10 10 10 0 10 10 0 0 0 4 0 0 0 0 0 0 0 0 10 8 0 10 36 116 384 308 32 20 356 92 0 36 348 156 60 328 348 296 92 144 60 40 20 132 340 108 236 248 332 388 264 392 380 60 436 52 340 296 56 44 452 284 396 588 156 512 184 564 468 292 540 516 196 584 320 68 188 76 232 288 416 452 4 212 420 68 296 324 108 352 352 4 160 44 64 428 32 8 452 12 352 272 460 296 160 40 32 64 64 344 400 408 612 456 52 16 172 444 196 84 40 332 356 112 236 64 52 140 104 136 244 108 204 140 20 324 468 240 152 420 60 16 20 72 0 84 304 32 568 192 320 128 524 436 28 28 448 8 68 12 12 320 136 308 20 36 12 396 232 464 324 8 472 116 20 64 368 440 256 224 20 328 12 348 224 132 428 252 72 28 108 24 24 308 332 56 532 64 12 8 20 232 260 132 136 96 84 152 88 124 152 276 72 244 56 232 404 376 428 4 364 396 8 452 472 96 104 16 92 160 332 188 36 80 100 240 196 188 252 96 68 172 292 344 132 28 260 292 52 76 180 272 28 212 236 96 288 220 244 96 212 188 228 84 280 488 448 144 8 208 20 348 368 72 52 380 412 32 168 92 168 140 224 196 112 184 232 120 256 172 176 172 64 424 328 224 280 12 228 368 120 196 40 76 144 148 0 64 192 208 148 168 416 124 56 292 376 136 96 280 4 456 152 252 16 44 100 192 256 168 208 260 256 184 296 52 72 148 372 336 64 340 0 484 372 84 240 156 36 268 8 56 112 648 48 352 348 492 232 544 648 584 484 148 596 504 220 72 4 292 380 8 40 112 224 116 124 132 280 208 32 340 504 408 420 36 448 316 164 224 68 168 164 132 332 228 288 92 236 252 188 0 188 376 352 424 36 316 396 428 380 196 152 188 100 420 232 144 368 408 536 228 120 616 348 172 148 140 320 220 124 436 76 52 176 164 268 148 0 96 188 452 76 180 400 424 348 48 396 248 288 8 268 324 316 344 240 68 316 184 136 136 28 144 92 188 184 12 164 296 40 376 284 324 160 0 268 20 252 16 56 232 316 68 220 428 216 392 408 396 84 12 180 208 148 100 336 564 12 400 140 32 316 404 408 4 8 336 212 56 20 56 336 24 24 52 60 428 140 124 236 124 272 208 192 156 164 196 52 408 200 24 284 72 520 492 488 12 144 472 636 452 112 476 220 204 164 612 292 232 168 572 288 588 520 212 24 24 544 376 28 544 476 108 508 572 292 212 172 460 112 40 32 12 28 208 300 76 196 56 80 220 112 248 272 96 84 392 160 112 124 152 112 132 20 412 328 148 268 264 328 320 480 8 432 100 72 480 4 228 120 224 196 8 440 196 456 392 72 64 0 404 52 112 592 48 280 328 404 256 200 100 168 212 332 184 252 148 412 204 300 216 188 28 172 320 132 224 112 64 140 112 156 100 196 124 124 20 28 160 112 264 64 24 300 236 328 264 124 20 152 56 264 96 56 40 420 12 8 36 32 4 284 312 484 400 8 324 48 252 204 164 148 268 176 360 176 292 196 276 60 52 400 428 96 8 16 32 24 48 148 188 16 36 124 188 128 172 276 100 300 280 88 256 364 300 20 412 20 24 328 284 64 60 40 432 152 12 36 0 68 380 424 508 20 188 192 192 152 120 80 428 88 104 164 388 76 348 72 72 284 64 344 228 44 296 368 468 76 112 64 220 320 216 8 12 152 4 24 392 388 440 504 32 188 376 216 268 244 352 132 4 356 372 144 64 220 72 12 68 164 340 24 8 16 44 368 208 8 192 112 276 116 96 84 336 424 272 168 80 112 260 20 372 396 240 480 300 288 180 72 36 292 180 252 332 192 452 72 568 48 152 48 4 568 532 20 428 316 372 224 16 252 96 112 152 12 356 4 428 108 0 208 36 4 44 400 16 144 4 496 92 572 84 72 600 276 484 432 320 120 244 224 140 132 60 0 356 108 460 8 132 200 204 212 132 228 140 196 156 412 144 28 24 24 420 44 432 476 64 344 248 536 140 168 140 144 96 232 8 156 184 8 120 216 80 384 24 28 40 220 16 4 144 160 128 288 144 284 220 156 208 352 112 24 244 260 40 268 244 84 44 188 372 20 328 468 552 20 508 360 248 292 236 324 148 200 196 92 124 552 0 160 652 144 164 560 252 360 340 444 60 320 240 344 44 24 56 184 436 36 60 400 128 456 44 500 32 216 452 360 348 388 292 144 72 104 268 552 144 448 120 572 12 36 188 208 456 456 356 8 20 452 428 120 336 80 196 220 16 88 460 428 144 328 260 68 276 48 80 132 204 192 184 188 20 40 124 76 260 376 264 56 60 156 68 56 204 220 88 288 196 208 184 228 104 248 284 44 340 344 60 272 404 48 404 448 4 384 16 40 76 8 92 44 112 184 108 300 272 84 384 120 160 76 0 68 44 432 324 400 396 432 192 336 140 344 128 132 452 512 244 476 100 8 64 580 284 408 8 0 88 68 16 16 212 232 168 148 340 124 344 48 4 188 396 24 12 48 436 148 112 200 76 120 476 192 8 176 172 316 36 260 112 132 100 100 380 324 148 304 56 36 132 280 212 368 92 240 52 396 264 152 8 76 164 104 132 56 524 364 96 132 420 84 532 56 100 424 20 40 544 88 432 28 608 596 200 128 4 352 372 32 312 284 132 232 192 260 180 372 12 68 288 12 20 404 152 124 336 120 392 276 372 276 12 268 200 60 192 164 0 204 240 156 108 364 380 400 364 248 12 364 288 168 264 8 384 36 28 296 156 56 260 124 144 152 208 232 124 280 64 288 48 104 264 280 232 240 152 132 172 12 28 4 32 460 28 64 16 76 64 360 20 12 148 332 28 368 124 20 400 28 8 180 68 392 400 36 408 364 40 8 256 48 164 76 448 136 364 52 12 128 360 64 112 388 76 0 448 188 532 616 280 184 184 620 52 452 220 108 124 120 236 420 336 412 500 92 124 156 72 400 464 36 436 36 328 508 24 124 248 24 8 388 352 188 80 204 40 368 228 168 464 88 376 32 48 376 24 8 48 328 100 36 8 224 72 16 40 108 176 328 296 220 188 20 24 212 12 404 208 24 12 52 180 484 376 376 148 128 140 208 380 136 404 40 36 416 388 240 36 20 24 96 68 376 336 124 212 80 548 596 136 152 124 568 120 216 116 96 48 8 108 64 16 116 316 276 300 52 104 148 76 416 36 380 384 60 288 40 4 188 16 400 56 72 124 388 380 96 284 80 64 8 76 508 416 340 68 28 140 204 184 320 156 184 140 320 168 92 40 100 308 60 336 132 252 144 76 340 408 300 328 220 288 420 128 36 432 152 256 196 184 212 56 240 136 336 68 188 68 32 372 336 64 176 80 368 40 340 376 348 208 12 328 184 92 440 276 4 28 12 0 12 300 424 32 36 8 468 44 92 24 12 92 120 148 420 296 72 248 56 400 216 272 216 360 32 220 184 44 408 320 20 164 176 440 368 16 116 376 368 40 28 364 376 16 52 52 280 552 276 148 84 100 400 228 388 0 8 436 76 64 96 104 516 244 80 16 28 452 88 292 64 28 12 104 416 312 68 436 416 408 208 88 60 20 328 324 128 208 68 320 32 24 184 56 376 44 352 360 268 88 316 92 36 88 480 388 312 308 200 324 120 216 488 80 252 228 148 84 268 224 208 4 352 0 36 24 24 296 108 116 24 228 56 76 32 44 416 84 16 392 372 468 464 176 40 364 424 204 44 204 204 28 20 96 48 40 500 152 476 12 68 0 380 348 40 552 132 360 412 424 416 324 132 44 12 340 380 4 64 100 268 200 356 128 160 92 48 8 400 144 28 452 368 376 140 332 68 60 168 324 272 52 376 436 420 44 12 0 96 80 44 368 208 380 20 336 80 548 364 16 164 488 488 324 140 172 444 108 0 360 36 264 576 40 424 480 400 24 152 236 232 272 36 24 20 216 108 68 372 0 60 384 548 408 448 468 0 44 468 372 424 248 28 348 244 132 208 152 256 316 428 196 508 200 400 320 52 144 332 64 292 516 336 236 452 308 428 148 4 544 392 400 488 20 376 564 12 424 60 148 276 308 344 60 72 60 376 472 108 492 140 100 132 76 88 284 376 164 8 220 28 516 60 424 276 344 196 104 312 328 372 88 16 88 24 408 4 16 340 28 376 256 260 480 28 124 352 368 20 16 300 344 364 280 360 200 284 32 224 528 228 224 224 272 112 424 404 12 36 336 236 216 84 160 172 92 188 256 104 452 468 44 340 412 464 8 44 248 388 196 276 144 40 188 28 272 72 92 264 116 104 248 80 336 8 140 512 68 336 304 92 168 244 588 112 20 60 332 224 132 68 144 316 116 68 272 76 80 188 64 312 28 180 348 408 192 76 248 284 192 300 32 192 176 32 228 220 272 40 344 196 476 24 84 264 184 100 192 60 72 252 88 232 12 112 4 92 4 296 100 280 256 480 344 112 340 48 96 484 104 560 196 332 196 232 36 232 240 44 364 4 280 224 108 432 4 28 432 164 392 224 92 4 124 12 120 216 432 140 
2520.11/2484.71	v 	</values>
2520.11/2484.71	v </instantiation>

Verifier Data 

OK	458147641

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312086-1534551060/watcher-4312086-1534551060 -o /tmp/evaluation-result-4312086-1534551060/solver-4312086-1534551060 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534541041-19652 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1184440616 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312086-1534551060.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
Current StackSize limit: 8192 KiB

solver pid=20975, runsolver pid=20972

[startup+0.100167 s]*
/proc/loadavg: 1.09 1.29 1.37 3/220 20990
/proc/meminfo: memFree=24461728/32770624 swapFree=67108856/67108860
[pid=20975] ppid=20972 vsize=14082736 memory=31272 CPUtime=0.12 cores=0,2,4,6
/proc/20975/stat : 20975 (java) S 20972 20975 19620 0 -1 1077944320 6718 0 0 0 11 1 0 0 20 0 15 0 272669293 14420721664 7818 33554432000 4194304 4196468 140735012981024 140735012963568 140715734302455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
/proc/20975/statm: 3520684 7818 3154 1 0 3482761 0
[pid=20975/tid=20977] ppid=20972 vsize=14082736 memory=-8701690554792316545 CPUtime=0.09 cores=0,2,4,6
/proc/20975/task/20977/stat : 20977 (java) R 20972 20975 19620 0 -1 4202560 4761 0 0 0 9 0 0 0 20 0 15 0 272669294 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715738528144 140715734314390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20978] ppid=20972 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20978/stat : 20978 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669295 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715686922512 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20979] ppid=20972 vsize=14082736 memory=139852608861824 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20979/stat : 20979 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669295 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715685869968 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20980] ppid=20972 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20980/stat : 20980 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669295 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715684817424 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20981] ppid=20972 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20981/stat : 20981 (java) S 20972 20975 19620 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272669295 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715683764880 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20982] ppid=20972 vsize=14082736 memory=139852608861824 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20982/stat : 20982 (java) S 20972 20975 19620 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272669296 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715208206832 140715734313602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20983] ppid=20972 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20983/stat : 20983 (java) S 20972 20975 19620 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272669297 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715207153056 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20984] ppid=20972 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20984/stat : 20984 (java) S 20972 20975 19620 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272669297 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715206100464 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20985] ppid=20972 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20985/stat : 20985 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715205049040 140715734321051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20986] ppid=20972 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20986/stat : 20986 (java) S 20972 20975 19620 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 272669299 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715203995632 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20987] ppid=20972 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20987/stat : 20987 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715202943088 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20988] ppid=20972 vsize=14082736 memory=139852608861824 CPUtime=0.01 cores=0,2,4,6
/proc/20975/task/20988/stat : 20988 (java) S 20972 20975 19620 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 272669299 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715201890544 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20989] ppid=20972 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20989/stat : 20989 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715200838240 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20990] ppid=20972 vsize=14082736 memory=139852608861824 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20990/stat : 20990 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669300 14420721664 7818 33554432000 4194304 4196468 140735012981024 140715199785776 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31272 KiB

[startup+0.211902 s]*
/proc/loadavg: 1.09 1.29 1.37 6/220 20990
/proc/meminfo: memFree=24445976/32770624 swapFree=67108856/67108860
[pid=20975] ppid=20972 vsize=14082736 memory=47080 CPUtime=0.31 cores=0,2,4,6
/proc/20975/stat : 20975 (java) S 20972 20975 19620 0 -1 1077944320 10392 0 0 0 29 2 0 0 20 0 15 0 272669293 14420721664 11770 33554432000 4194304 4196468 140735012981024 140735012963568 140715734302455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
/proc/20975/statm: 3520684 11770 3367 1 0 3482761 0
[pid=20975/tid=20977] ppid=20972 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/20975/task/20977/stat : 20977 (java) S 20972 20975 19620 0 -1 1077944384 8101 0 0 0 19 1 0 0 20 0 15 0 272669294 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715738524432 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20978] ppid=20972 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20978/stat : 20978 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669295 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715686922512 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20979] ppid=20972 vsize=14082736 memory=288370228760573568 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20979/stat : 20979 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669295 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715685869968 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20980] ppid=20972 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20980/stat : 20980 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669295 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715684817424 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20981] ppid=20972 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20981/stat : 20981 (java) S 20972 20975 19620 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272669295 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715683764880 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20982] ppid=20972 vsize=14082736 memory=139852608861824 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20982/stat : 20982 (java) S 20972 20975 19620 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272669296 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715208206832 140715734313602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20983] ppid=20972 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20983/stat : 20983 (java) S 20972 20975 19620 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272669297 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715207153056 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20984] ppid=20972 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20984/stat : 20984 (java) S 20972 20975 19620 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272669297 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715206100464 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20985] ppid=20972 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20985/stat : 20985 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715205049040 140715734321051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20986] ppid=20972 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20975/task/20986/stat : 20986 (java) R 20972 20975 19620 0 -1 4202560 492 0 0 0 2 0 0 0 20 0 15 0 272669299 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715203995728 140715718212869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20987] ppid=20972 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20975/task/20987/stat : 20987 (java) R 20972 20975 19620 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 15 0 272669299 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715202929936 140715734312661 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20988] ppid=20972 vsize=14082736 memory=139852608861824 CPUtime=0.06 cores=0,2,4,6
/proc/20975/task/20988/stat : 20988 (java) R 20972 20975 19620 0 -1 4202560 299 0 0 0 6 0 0 0 20 0 15 0 272669299 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715201886752 140715713691681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20989] ppid=20972 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20989/stat : 20989 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715200838240 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20990] ppid=20972 vsize=14082736 memory=139852608861824 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20990/stat : 20990 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669300 14420721664 11770 33554432000 4194304 4196468 140735012981024 140715199785776 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47080 KiB

[startup+0.310941 s]*
/proc/loadavg: 1.09 1.29 1.37 4/220 20990
/proc/meminfo: memFree=24442936/32770624 swapFree=67108856/67108860
[pid=20975] ppid=20972 vsize=14082736 memory=50508 CPUtime=0.44 cores=0,2,4,6
/proc/20975/stat : 20975 (java) S 20972 20975 19620 0 -1 1077944320 10791 0 0 0 42 2 0 0 20 0 15 0 272669293 14420721664 12627 33554432000 4194304 4196468 140735012981024 140735012963568 140715734302455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
/proc/20975/statm: 3520684 12627 3370 1 0 3482761 0
[pid=20975/tid=20977] ppid=20972 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/20975/task/20977/stat : 20977 (java) R 20972 20975 19620 0 -1 4202560 8456 0 0 0 28 1 0 0 20 0 15 0 272669294 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715738513968 140715717489264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20978] ppid=20972 vsize=14082736 memory=4294982659 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20978/stat : 20978 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669295 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715686922512 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20979] ppid=20972 vsize=14082736 memory=288370228760573568 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20979/stat : 20979 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669295 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715685869968 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20980] ppid=20972 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20980/stat : 20980 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669295 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715684817424 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20981] ppid=20972 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20981/stat : 20981 (java) S 20972 20975 19620 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272669295 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715683764880 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20982] ppid=20972 vsize=14082736 memory=139852608861824 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20982/stat : 20982 (java) S 20972 20975 19620 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272669296 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715208206832 140715734313602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20983] ppid=20972 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20983/stat : 20983 (java) S 20972 20975 19620 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272669297 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715207153056 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20984] ppid=20972 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20984/stat : 20984 (java) S 20972 20975 19620 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272669297 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715206100464 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20985] ppid=20972 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20985/stat : 20985 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715205049040 140715734321051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20986] ppid=20972 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20975/task/20986/stat : 20986 (java) S 20972 20975 19620 0 -1 1077944384 510 0 0 0 3 0 0 0 20 0 15 0 272669299 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715203995632 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20987] ppid=20972 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20975/task/20987/stat : 20987 (java) S 20972 20975 19620 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 15 0 272669299 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715202943088 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20988] ppid=20972 vsize=14082736 memory=139852608861824 CPUtime=0.08 cores=0,2,4,6
/proc/20975/task/20988/stat : 20988 (java) S 20972 20975 19620 0 -1 1077944384 320 0 0 0 8 0 0 0 20 0 15 0 272669299 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715201890544 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20989] ppid=20972 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20989/stat : 20989 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715200838240 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20990] ppid=20972 vsize=14082736 memory=139852608861824 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20990/stat : 20990 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669300 14420721664 12627 33554432000 4194304 4196468 140735012981024 140715199785776 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50508 KiB

[startup+0.700816 s]
/proc/loadavg: 1.09 1.29 1.37 3/220 20990
/proc/meminfo: memFree=24418876/32770624 swapFree=67108856/67108860
[pid=20975] ppid=20972 vsize=14084804 memory=89160 CPUtime=0.99 cores=0,2,4,6
/proc/20975/stat : 20975 (java) S 20972 20975 19620 0 -1 1077944320 17624 0 0 0 95 4 0 0 20 0 15 0 272669293 14422839296 22290 33554432000 4194304 4196468 140735012981024 140735012963568 140715734302455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
/proc/20975/statm: 3521201 22290 3505 1 0 3483273 0
[pid=20975/tid=20977] ppid=20972 vsize=14084804 memory=229969460487509 CPUtime=0.68 cores=0,2,4,6
/proc/20975/task/20977/stat : 20977 (java) R 20972 20975 19620 0 -1 4202560 14895 0 0 0 64 4 0 0 20 0 15 0 272669294 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715738526560 140715701886915 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20978] ppid=20972 vsize=14084804 memory=1252454 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20978/stat : 20978 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669295 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715686922512 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20979] ppid=20972 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20979/stat : 20979 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669295 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715685869968 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20980] ppid=20972 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20980/stat : 20980 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669295 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715684817424 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20981] ppid=20972 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20981/stat : 20981 (java) S 20972 20975 19620 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272669295 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715683764880 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20982] ppid=20972 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20982/stat : 20982 (java) S 20972 20975 19620 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272669296 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715208206832 140715734313602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20983] ppid=20972 vsize=14084804 memory=-6294447370555122786 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20983/stat : 20983 (java) S 20972 20975 19620 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272669297 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715207153056 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20984] ppid=20972 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20984/stat : 20984 (java) S 20972 20975 19620 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272669297 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715206100464 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20985] ppid=20972 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20985/stat : 20985 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715205049040 140715734321051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20986] ppid=20972 vsize=14084804 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/20975/task/20986/stat : 20986 (java) S 20972 20975 19620 0 -1 1077944384 663 0 0 0 8 0 0 0 20 0 15 0 272669299 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715203995632 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20987] ppid=20972 vsize=14084804 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20975/task/20987/stat : 20987 (java) S 20972 20975 19620 0 -1 1077944384 274 0 0 0 7 0 0 0 20 0 15 0 272669299 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715202943088 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20988] ppid=20972 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/20975/task/20988/stat : 20988 (java) S 20972 20975 19620 0 -1 1077944384 410 0 0 0 15 0 0 0 20 0 15 0 272669299 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715201890544 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20989] ppid=20972 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20989/stat : 20989 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715200838240 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20990] ppid=20972 vsize=14084804 memory=3560 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20990/stat : 20990 (java) S 20972 20975 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272669300 14422839296 22290 33554432000 4194304 4196468 140735012981024 140715199785776 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89160 KiB

[startup+1.50086 s]
/proc/loadavg: 1.09 1.29 1.37 3/220 20990
/proc/meminfo: memFree=24181068/32770624 swapFree=67108856/67108860
[pid=20975] ppid=20972 vsize=14086852 memory=493560 CPUtime=3.14 cores=0,2,4,6
/proc/20975/stat : 20975 (java) S 20972 20975 19620 0 -1 1077944320 21111 0 0 0 268 46 0 0 20 0 15 0 272669293 14424936448 123390 33554432000 4194304 4196468 140735012981024 140735012963568 140715734302455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
/proc/20975/statm: 3521713 123390 3571 1 0 3483785 0
[pid=20975/tid=20977] ppid=20972 vsize=14086852 memory=3303 CPUtime=1.25 cores=0,2,4,6
/proc/20975/task/20977/stat : 20977 (java) R 20972 20975 19620 0 -1 4202560 15329 0 0 0 116 9 0 0 20 0 15 0 272669294 14424936448 123390 33554432000 4194304 4196468 140735012981024 140715738537600 140715363079896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20978] ppid=20972 vsize=14086852 memory=6791534058613427641 CPUtime=0.2 cores=0,2,4,6
/proc/20975/task/20978/stat : 20978 (java) S 20972 20975 19620 0 -1 1077944384 459 0 0 0 11 9 0 0 20 0 15 0 272669295 14424936448 123390 33554432000 4194304 4196468 140735012981024 140715686922512 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20979] ppid=20972 vsize=14086852 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/20975/task/20979/stat : 20979 (java) S 20972 20975 19620 0 -1 1077944384 509 0 0 0 11 9 0 0 20 0 15 0 272669295 14424936448 123390 33554432000 4194304 4196468 140735012981024 140715685869968 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20980] ppid=20972 vsize=14086852 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/20975/task/20980/stat : 20980 (java) S 20972 20975 19620 0 -1 1077944384 194 0 0 0 12 8 0 0 20 0 15 0 272669295 14424936448 123390 33554432000 4194304 4196468 140735012981024 140715684817424 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20981] ppid=20972 vsize=14086852 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/20975/task/20981/stat : 20981 (java) S 20972 20975 19620 0 -1 1077944384 559 0 0 0 11 8 0 0 20 0 15 0 272669295 14424936448 123390 33554432000 4194304 4196468 140735012981024 140715683764880 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20982] ppid=20972 vsize=14086852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20975/task/20982/stat : 20982 (java) S 20972 20975 19620 0 -1 1077944384 303 0 0 0 1 0 0 0 20 0 15 0 272669296 14424936448 123390 33554432000 4194304 4196468 140735012981024 140715208206832 140715734313602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0

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

/proc/20975/task/20977/stat : 20977 (java) R 20972 20975 19620 0 -1 4202560 160717 0 0 0 237270 68 0 0 20 0 15 0 272669294 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715738540496 140715363358296 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20978] ppid=20972 vsize=14090948 memory=2320800 CPUtime=8.23 cores=0,2,4,6
/proc/20975/task/20978/stat : 20978 (java) S 20972 20975 19620 0 -1 1077944384 51030 0 0 0 730 93 0 0 20 0 15 0 272669295 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715686922512 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20979] ppid=20972 vsize=14090948 memory=2314644 CPUtime=8.22 cores=0,2,4,6
/proc/20975/task/20979/stat : 20979 (java) S 20972 20975 19620 0 -1 1077944384 56648 0 0 0 729 93 0 0 20 0 15 0 272669295 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715685869968 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20980] ppid=20972 vsize=14090948 memory=2320800 CPUtime=8.22 cores=0,2,4,6
/proc/20975/task/20980/stat : 20980 (java) S 20972 20975 19620 0 -1 1077944384 51554 0 0 0 731 91 0 0 20 0 15 0 272669295 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715684817424 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20981] ppid=20972 vsize=14090948 memory=2314644 CPUtime=8.2 cores=0,2,4,6
/proc/20975/task/20981/stat : 20981 (java) S 20972 20975 19620 0 -1 1077944384 54512 0 0 0 728 92 0 0 20 0 15 0 272669295 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715683764880 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20982] ppid=20972 vsize=14090948 memory=2314644 CPUtime=0.44 cores=0,2,4,6
/proc/20975/task/20982/stat : 20982 (java) S 20972 20975 19620 0 -1 1077944384 22931 0 0 0 38 6 0 0 20 0 15 0 272669296 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715208206832 140715734313602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20983] ppid=20972 vsize=14090948 memory=2314644 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20983/stat : 20983 (java) S 20972 20975 19620 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272669297 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715207153120 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20984] ppid=20972 vsize=14090948 memory=2310540 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20984/stat : 20984 (java) S 20972 20975 19620 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272669297 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715206100480 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20985] ppid=20972 vsize=14090948 memory=2310540 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20985/stat : 20985 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715205049040 140715734321051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20986] ppid=20972 vsize=14090948 memory=2310540 CPUtime=3.62 cores=0,2,4,6
/proc/20975/task/20986/stat : 20986 (java) S 20972 20975 19620 0 -1 1077944384 14207 0 0 0 360 2 0 0 20 0 15 0 272669299 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715203995632 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20987] ppid=20972 vsize=14090948 memory=2355172 CPUtime=3.82 cores=0,2,4,6
/proc/20975/task/20987/stat : 20987 (java) S 20972 20975 19620 0 -1 1077944384 14899 0 0 0 380 2 0 0 20 0 15 0 272669299 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715202943088 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20988] ppid=20972 vsize=14090948 memory=2314644 CPUtime=1.38 cores=0,2,4,6
/proc/20975/task/20988/stat : 20988 (java) S 20972 20975 19620 0 -1 1077944384 14752 0 0 0 136 2 0 0 20 0 15 0 272669299 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715201890544 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20989] ppid=20972 vsize=14090948 memory=2314644 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20989/stat : 20989 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715200838240 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20990] ppid=20972 vsize=14090948 memory=2310540 CPUtime=1.38 cores=0,2,4,6
/proc/20975/task/20990/stat : 20990 (java) S 20972 20975 19620 0 -1 1077944384 1918 0 0 0 67 71 0 0 20 0 15 0 272669300 14429130752 577635 33554432000 4194304 4196468 140735012981024 140715199785776 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
Current children cumulated CPU time: 2416.98 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2310540 KiB

[startup+2442.3 s]
/proc/loadavg: 1.88 1.96 1.94 3/219 21243
/proc/meminfo: memFree=20606780/32770624 swapFree=67108856/67108860
[pid=20975] ppid=20972 vsize=14090948 memory=2259756 CPUtime=2477.42 cores=0,2,4,6
/proc/20975/stat : 20975 (java) S 20972 20975 19620 0 -1 1077944320 448211 0 0 0 247236 506 0 0 20 0 15 0 272669293 14429130752 564939 33554432000 4194304 4196468 140735012981024 140735012963568 140715734302455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
/proc/20975/statm: 3522737 564939 3618 1 0 3484809 0
[pid=20975/tid=20977] ppid=20972 vsize=14090948 memory=2355172 CPUtime=2433.23 cores=0,2,4,6
/proc/20975/task/20977/stat : 20977 (java) R 20972 20975 19620 0 -1 4202560 161663 0 0 0 243255 68 0 0 20 0 15 0 272669294 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715738540480 140715364813921 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20978] ppid=20972 vsize=14090948 memory=2282840 CPUtime=8.37 cores=0,2,4,6
/proc/20975/task/20978/stat : 20978 (java) S 20972 20975 19620 0 -1 1077944384 51481 0 0 0 744 93 0 0 20 0 15 0 272669295 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715686922512 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20979] ppid=20972 vsize=14090948 memory=2277708 CPUtime=8.36 cores=0,2,4,6
/proc/20975/task/20979/stat : 20979 (java) S 20972 20975 19620 0 -1 1077944384 57564 0 0 0 743 93 0 0 20 0 15 0 272669295 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715685869968 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20980] ppid=20972 vsize=14090948 memory=56 CPUtime=8.35 cores=0,2,4,6
/proc/20975/task/20980/stat : 20980 (java) S 20972 20975 19620 0 -1 1077944384 52030 0 0 0 744 91 0 0 20 0 15 0 272669295 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715684817424 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20981] ppid=20972 vsize=14090948 memory=2266936 CPUtime=8.33 cores=0,2,4,6
/proc/20975/task/20981/stat : 20981 (java) S 20972 20975 19620 0 -1 1077944384 55131 0 0 0 741 92 0 0 20 0 15 0 272669295 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715683764880 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20982] ppid=20972 vsize=14090948 memory=2266936 CPUtime=0.45 cores=0,2,4,6
/proc/20975/task/20982/stat : 20982 (java) S 20972 20975 19620 0 -1 1077944384 23110 0 0 0 38 7 0 0 20 0 15 0 272669296 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715208206832 140715734313602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20983] ppid=20972 vsize=14090948 memory=2259756 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20983/stat : 20983 (java) S 20972 20975 19620 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272669297 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715207153120 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20984] ppid=20972 vsize=14090948 memory=2261292 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20984/stat : 20984 (java) S 20972 20975 19620 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272669297 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715206100480 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20985] ppid=20972 vsize=14090948 memory=2259756 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20985/stat : 20985 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715205049040 140715734321051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20986] ppid=20972 vsize=14090948 memory=2261292 CPUtime=3.62 cores=0,2,4,6
/proc/20975/task/20986/stat : 20986 (java) S 20972 20975 19620 0 -1 1077944384 14209 0 0 0 360 2 0 0 20 0 15 0 272669299 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715203995632 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20987] ppid=20972 vsize=14090948 memory=2261292 CPUtime=3.82 cores=0,2,4,6
/proc/20975/task/20987/stat : 20987 (java) S 20972 20975 19620 0 -1 1077944384 14902 0 0 0 380 2 0 0 20 0 15 0 272669299 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715202943088 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20988] ppid=20972 vsize=14090948 memory=2261292 CPUtime=1.38 cores=0,2,4,6
/proc/20975/task/20988/stat : 20988 (java) S 20972 20975 19620 0 -1 1077944384 14754 0 0 0 136 2 0 0 20 0 15 0 272669299 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715201890544 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20989] ppid=20972 vsize=14090948 memory=2261292 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20989/stat : 20989 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715200838240 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20990] ppid=20972 vsize=14090948 memory=6588 CPUtime=1.42 cores=0,2,4,6
/proc/20975/task/20990/stat : 20990 (java) S 20972 20975 19620 0 -1 1077944384 1936 0 0 0 69 73 0 0 20 0 15 0 272669300 14429130752 564939 33554432000 4194304 4196468 140735012981024 140715199785776 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
Current children cumulated CPU time: 2477.42 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2259756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2484.7 s]
/proc/loadavg: 1.87 1.95 1.94 3/219 21243
/proc/meminfo: memFree=20683612/32770624 swapFree=67108856/67108860
[pid=20975] ppid=20972 vsize=14090948 memory=2224872 CPUtime=2520.11 cores=0,2,4,6
/proc/20975/stat : 20975 (java) S 20972 20975 19620 0 -1 1077944320 449645 0 0 0 251503 508 0 0 20 0 15 0 272669293 14429130752 556218 33554432000 4194304 4196468 140735012981024 140735012963568 140715734302455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
/proc/20975/statm: 3522737 556218 3618 1 0 3484809 0
[pid=20975/tid=20977] ppid=20972 vsize=14090948 memory=2225896 CPUtime=2475.53 cores=0,2,4,6
/proc/20975/task/20977/stat : 20977 (java) R 20972 20975 19620 0 -1 4202560 162288 0 0 0 247485 68 0 0 20 0 15 0 272669294 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715738540560 140715367422030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20978] ppid=20972 vsize=14090948 memory=2225896 CPUtime=8.45 cores=0,2,4,6
/proc/20975/task/20978/stat : 20978 (java) S 20972 20975 19620 0 -1 1077944384 51643 0 0 0 752 93 0 0 20 0 15 0 272669295 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715686922512 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20979] ppid=20972 vsize=14090948 memory=2225896 CPUtime=8.45 cores=0,2,4,6
/proc/20975/task/20979/stat : 20979 (java) S 20972 20975 19620 0 -1 1077944384 57796 0 0 0 752 93 0 0 20 0 15 0 272669295 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715685869968 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20980] ppid=20972 vsize=14090948 memory=2246416 CPUtime=8.44 cores=0,2,4,6
/proc/20975/task/20980/stat : 20980 (java) S 20972 20975 19620 0 -1 1077944384 52243 0 0 0 753 91 0 0 20 0 15 0 272669295 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715684817424 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20981] ppid=20972 vsize=14090948 memory=0 CPUtime=8.42 cores=0,2,4,6
/proc/20975/task/20981/stat : 20981 (java) S 20972 20975 19620 0 -1 1077944384 55326 0 0 0 750 92 0 0 20 0 15 0 272669295 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715683764880 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20982] ppid=20972 vsize=14090948 memory=2235644 CPUtime=0.46 cores=0,2,4,6
/proc/20975/task/20982/stat : 20982 (java) S 20972 20975 19620 0 -1 1077944384 23115 0 0 0 39 7 0 0 20 0 15 0 272669296 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715208206832 140715734313602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20983] ppid=20972 vsize=14090948 memory=2225896 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20983/stat : 20983 (java) S 20972 20975 19620 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272669297 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715207153120 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20984] ppid=20972 vsize=14090948 memory=2225896 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20984/stat : 20984 (java) S 20972 20975 19620 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272669297 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715206100480 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20985] ppid=20972 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20985/stat : 20985 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715205049040 140715734321051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20986] ppid=20972 vsize=14090948 memory=2225896 CPUtime=3.62 cores=0,2,4,6
/proc/20975/task/20986/stat : 20986 (java) S 20972 20975 19620 0 -1 1077944384 14209 0 0 0 360 2 0 0 20 0 15 0 272669299 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715203995632 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20987] ppid=20972 vsize=14090948 memory=33 CPUtime=3.82 cores=0,2,4,6
/proc/20975/task/20987/stat : 20987 (java) S 20972 20975 19620 0 -1 1077944384 14902 0 0 0 380 2 0 0 20 0 15 0 272669299 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715202943088 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20988] ppid=20972 vsize=14090948 memory=2225896 CPUtime=1.38 cores=0,2,4,6
/proc/20975/task/20988/stat : 20988 (java) S 20972 20975 19620 0 -1 1077944384 14754 0 0 0 136 2 0 0 20 0 15 0 272669299 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715201890544 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20989] ppid=20972 vsize=14090948 memory=2225896 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20989/stat : 20989 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715200838240 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20990] ppid=20972 vsize=14090948 memory=2225896 CPUtime=1.44 cores=0,2,4,6
/proc/20975/task/20990/stat : 20990 (java) S 20972 20975 19620 0 -1 1077944384 1940 0 0 0 70 74 0 0 20 0 15 0 272669300 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715199785776 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2224872 KiB

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

[startup+2484.73 s]
# the end of solver process 20975 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.06 s, system=5.09296 s

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

[startup+2484.7 s]
/proc/loadavg: 1.87 1.95 1.94 3/219 21243
/proc/meminfo: memFree=20683612/32770624 swapFree=67108856/67108860
[pid=20975] ppid=20972 vsize=14090948 memory=2224872 CPUtime=2520.11 cores=0,2,4,6
/proc/20975/stat : 20975 (java) S 20972 20975 19620 0 -1 1077944320 449645 0 0 0 251503 508 0 0 20 0 15 0 272669293 14429130752 556218 33554432000 4194304 4196468 140735012981024 140735012963568 140715734302455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
/proc/20975/statm: 3522737 556218 3618 1 0 3484809 0
[pid=20975/tid=20977] ppid=20972 vsize=14090948 memory=2225896 CPUtime=2475.53 cores=0,2,4,6
/proc/20975/task/20977/stat : 20977 (java) R 20972 20975 19620 0 -1 4202560 162288 0 0 0 247485 68 0 0 20 0 15 0 272669294 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715738540560 140715367422030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20978] ppid=20972 vsize=14090948 memory=2225896 CPUtime=8.45 cores=0,2,4,6
/proc/20975/task/20978/stat : 20978 (java) S 20972 20975 19620 0 -1 1077944384 51643 0 0 0 752 93 0 0 20 0 15 0 272669295 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715686922512 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20979] ppid=20972 vsize=14090948 memory=2225896 CPUtime=8.45 cores=0,2,4,6
/proc/20975/task/20979/stat : 20979 (java) S 20972 20975 19620 0 -1 1077944384 57796 0 0 0 752 93 0 0 20 0 15 0 272669295 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715685869968 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20980] ppid=20972 vsize=14090948 memory=2246416 CPUtime=8.44 cores=0,2,4,6
/proc/20975/task/20980/stat : 20980 (java) S 20972 20975 19620 0 -1 1077944384 52243 0 0 0 753 91 0 0 20 0 15 0 272669295 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715684817424 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20981] ppid=20972 vsize=14090948 memory=0 CPUtime=8.42 cores=0,2,4,6
/proc/20975/task/20981/stat : 20981 (java) S 20972 20975 19620 0 -1 1077944384 55326 0 0 0 750 92 0 0 20 0 15 0 272669295 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715683764880 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20982] ppid=20972 vsize=14090948 memory=2235644 CPUtime=0.46 cores=0,2,4,6
/proc/20975/task/20982/stat : 20982 (java) S 20972 20975 19620 0 -1 1077944384 23115 0 0 0 39 7 0 0 20 0 15 0 272669296 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715208206832 140715734313602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20983] ppid=20972 vsize=14090948 memory=2225896 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20983/stat : 20983 (java) S 20972 20975 19620 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272669297 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715207153120 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20984] ppid=20972 vsize=14090948 memory=2225896 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20984/stat : 20984 (java) S 20972 20975 19620 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272669297 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715206100480 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20985] ppid=20972 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20985/stat : 20985 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715205049040 140715734321051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20986] ppid=20972 vsize=14090948 memory=2225896 CPUtime=3.62 cores=0,2,4,6
/proc/20975/task/20986/stat : 20986 (java) S 20972 20975 19620 0 -1 1077944384 14209 0 0 0 360 2 0 0 20 0 15 0 272669299 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715203995632 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20987] ppid=20972 vsize=14090948 memory=33 CPUtime=3.82 cores=0,2,4,6
/proc/20975/task/20987/stat : 20987 (java) S 20972 20975 19620 0 -1 1077944384 14902 0 0 0 380 2 0 0 20 0 15 0 272669299 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715202943088 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20988] ppid=20972 vsize=14090948 memory=2225896 CPUtime=1.38 cores=0,2,4,6
/proc/20975/task/20988/stat : 20988 (java) S 20972 20975 19620 0 -1 1077944384 14754 0 0 0 136 2 0 0 20 0 15 0 272669299 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715201890544 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20989] ppid=20972 vsize=14090948 memory=2225896 CPUtime=0 cores=0,2,4,6
/proc/20975/task/20989/stat : 20989 (java) S 20972 20975 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272669299 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715200838240 140715734312661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
[pid=20975/tid=20990] ppid=20972 vsize=14090948 memory=2225896 CPUtime=1.44 cores=0,2,4,6
/proc/20975/task/20990/stat : 20990 (java) S 20972 20975 19620 0 -1 1077944384 1940 0 0 0 70 74 0 0 20 0 15 0 272669300 14429130752 556218 33554432000 4194304 4196468 140735012981024 140715199785776 140715734313602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140735012983880 140735012984073 140735012984073 140735012986831 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2224872 KiB

Child status: 143
Real time (s): 2484.73
CPU time (s): 2520.16
CPU user time (s): 2515.06
CPU system time (s): 5.09296
CPU usage (%): 101.426
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 5634580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.06
system time used= 5.09296
maximum resident set size= 5634660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450101
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61098
involuntary context switches= 2862


# summary of solver processes directly reported to runsolver:
#   pid: 20975
#   total CPU time (s): 2520.16
#   total CPU user time (s): 2515.06
#   total CPU system time (s): 5.09296

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7582 second user time and 24.3924 second system time

The end

Launcher Data 

Begin job on node132 at 2018-08-18 02:11:01
IDJOB=4312086
IDBENCH=141268
IDSOLVER=2799
FILE ID=node132/4312086-1534551060
RUNJOBID= node132-1534541041-19652
PBS_JOBID= 21038639
Free space on /tmp= 57576 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test03-0400_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312086-1534551060/watcher-4312086-1534551060 -o /tmp/evaluation-result-4312086-1534551060/solver-4312086-1534551060 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534541041-19652 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1184440616 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312086-1534551060.xml

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

MD5SUM BENCH= a5fe7a04cb5002912ef3d870057982e3
RANDOM SEED=1184440616

node132.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.65
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.65
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.65
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.65
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:        24480632 kB
MemAvailable:   31691040 kB
Buffers:          258288 kB
Cached:          7237248 kB
SwapCached:            4 kB
Active:          4503696 kB
Inactive:        3256992 kB
Active(anon):     241176 kB
Inactive(anon):    92944 kB
Active(file):    4262520 kB
Inactive(file):  3164048 kB
Unevictable:        6968 kB
Mlocked:            6968 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:            183612 kB
Writeback:             0 kB
AnonPages:        272188 kB
Mapped:            34872 kB
Shmem:             66204 kB
Slab:             227736 kB
SReclaimable:     199352 kB
SUnreclaim:        28384 kB
KernelStack:        3584 kB
PageTables:         5748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1239684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 57472 MiB
End job on node132 at 2018-08-18 02:52:26