Trace number 4291860

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-07-02SAT (TO)8284 19974.8 2520.44

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-08-opt_c18.xml
MD5SUM9be5bd0a86f9e024d7fdf548556c4b89
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2415
Best CPU time to get the best result obtained on this benchmark19150.1
Satisfiable
(Un)Satisfiability was proved
Number of variables6202
Number of constraints5744
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":5286},{"size":6,"count":6},{"size":22,"count":36},{"size":24,"count":8},{"size":36,"count":360},{"size":42,"count":22},{"size":44,"count":484}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":12},{"degree":2,"count":5287},{"degree":3,"count":38},{"degree":4,"count":17},{"degree":5,"count":102},{"degree":6,"count":22},{"degree":7,"count":111},{"degree":8,"count":16},{"degree":9,"count":111},{"degree":10,"count":35},{"degree":11,"count":48},{"degree":12,"count":33},{"degree":13,"count":52},{"degree":14,"count":19},{"degree":15,"count":61},{"degree":16,"count":14},{"degree":17,"count":33},{"degree":18,"count":10},{"degree":19,"count":26},{"degree":20,"count":19},{"degree":21,"count":18},{"degree":22,"count":8},{"degree":23,"count":15},{"degree":24,"count":11},{"degree":25,"count":13},{"degree":26,"count":1},{"degree":27,"count":14},{"degree":28,"count":12},{"degree":29,"count":6},{"degree":30,"count":10},{"degree":31,"count":2},{"degree":32,"count":2},{"degree":34,"count":3},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":1},{"degree":38,"count":2},{"degree":39,"count":4},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":458},{"arity":3,"count":5286}]
Number of extensional constraints0
Number of intensional constraints5744
Distribution of constraint types[{"type":"intension","count":5744}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-07-02
0.81/0.65	c seed: 1385594017
0.81/0.65	c timeout: 20160
0.81/0.65	c memlimit: 22000
0.81/0.65	c nbcore: 8
0.81/0.65	c Parsing instance...
6.31/2.04	c Parsing done, starting search...
5252.64/668.85	o 8614
5253.38/669.00	o 8613
5254.19/669.01	o 8612
5254.19/669.02	o 8611
5254.19/669.04	o 8610
5254.19/669.05	o 8608
5254.19/669.07	o 8607
5254.19/669.08	o 8606
5254.19/669.10	o 8605
5254.99/669.13	o 8604
5254.99/669.15	o 8603
5254.99/669.17	o 8602
5255.71/669.21	o 8601
5255.71/669.22	o 8600
5255.71/669.23	o 8599
5255.71/669.25	o 8598
5255.71/669.26	o 8597
5255.71/669.27	o 8596
5255.71/669.28	o 8595
5256.51/669.31	o 8594
5256.51/669.31	o 8593
5256.51/669.33	o 8592
5256.51/669.35	o 8591
5256.51/669.36	o 8590
5256.51/669.36	o 8589
5256.51/669.38	o 8588
5256.51/669.39	o 8587
5257.35/669.40	o 8586
5257.35/669.43	o 8585
5257.35/669.44	o 8584
5257.35/669.45	o 8583
5257.35/669.47	o 8582
5257.35/669.48	o 8581
5257.35/669.49	o 8580
5257.35/669.50	o 8579
5258.13/669.53	o 8578
5258.13/669.57	o 8577
5258.13/669.58	o 8576
5258.13/669.60	o 8575
5258.98/669.66	o 8574
5258.98/669.68	o 8573
5259.70/669.71	o 8572
5259.70/669.72	o 8571
5259.70/669.74	o 8570
5259.70/669.77	o 8569
5259.70/669.79	o 8568
5259.70/669.80	o 8567
5260.55/669.82	o 8566
5260.55/669.85	o 8565
5260.55/669.87	o 8564
5260.55/669.88	o 8563
5260.55/669.89	o 8562
5261.35/669.93	o 8561
5261.35/670.00	o 8560
5262.15/670.02	o 8559
5262.15/670.06	o 8558
5262.15/670.10	o 8557
5262.95/670.16	o 8556
5262.95/670.20	o 8555
5266.07/670.53	o 8554
5270.11/671.08	o 8553
5280.41/672.34	o 8552
5286.05/673.02	o 8551
5286.86/673.13	o 8550
5286.86/673.17	o 8549
5286.86/673.18	o 8548
5287.58/673.24	o 8547
5287.58/673.30	o 8546
5288.42/673.32	o 8545
5288.42/673.34	o 8544
5289.17/673.41	o 8543
5289.97/673.51	o 8542
5289.97/673.55	o 8541
5289.97/673.56	o 8540
5290.77/673.63	o 8539
5290.77/673.66	o 8538
5293.17/673.94	o 8537
5293.17/673.96	o 8536
5293.17/673.98	o 8535
5296.35/674.31	o 8534
5296.35/674.33	o 8533
5297.16/674.44	o 8532
5299.55/674.75	o 8531
5299.55/674.77	o 8530
5299.55/674.79	o 8529
5302.01/675.09	o 8528
5303.52/675.22	o 8527
5303.52/675.23	o 8526
5303.52/675.25	o 8525
5304.97/675.43	o 8524
5304.97/675.45	o 8523
5304.97/675.46	o 8522
5305.76/675.58	o 8521
5305.76/675.60	o 8520
5306.63/675.61	o 8519
5306.63/675.63	o 8518
5306.63/675.65	o 8517
5307.36/675.75	o 8516
5307.36/675.77	o 8515
5307.36/675.78	o 8514
5308.96/675.91	o 8513
5309.82/676.02	o 8512
5309.82/676.03	o 8511
5309.82/676.05	o 8510
5311.38/676.22	o 8509
5311.38/676.24	o 8508
5311.38/676.25	o 8507
5313.73/676.52	o 8506
5314.53/676.68	o 8505
5314.53/676.69	o 8504
5315.32/676.71	o 8503
5316.12/676.89	o 8502
5316.12/676.90	o 8501
5320.17/677.34	o 8500
5320.17/677.36	o 8499
5324.10/677.86	o 8498
5324.10/677.88	o 8497
5324.10/677.90	o 8496
5337.64/679.54	o 8495
5392.63/686.43	o 8494
5450.75/693.72	o 8493
5450.75/693.74	o 8492
5450.75/693.75	o 8491
5450.75/693.77	o 8490
5450.75/693.78	o 8489
5450.75/693.79	o 8488
5450.75/693.80	o 8487
5451.58/693.81	o 8486
5451.58/693.83	o 8485
5451.58/693.83	o 8484
5451.58/693.84	o 8483
5451.58/693.85	o 8482
5451.58/693.86	o 8481
5451.58/693.87	o 8480
5451.58/693.89	o 8479
5451.58/693.90	o 8478
5452.40/693.91	o 8477
5452.40/693.92	o 8476
5452.40/693.93	o 8475
5452.40/693.94	o 8474
5452.40/693.96	o 8473
5452.40/693.97	o 8472
5452.40/693.98	o 8471
5452.40/693.99	o 8470
5452.40/694.00	o 8469
5453.22/694.04	o 8468
5453.22/694.05	o 8467
5453.22/694.06	o 8466
5453.22/694.08	o 8465
5453.22/694.09	o 8464
5453.22/694.10	o 8463
5454.01/694.13	o 8462
5454.01/694.14	o 8461
5454.01/694.15	o 8460
5454.01/694.19	o 8459
5454.01/694.20	o 8458
5454.73/694.21	o 8457
5454.73/694.25	o 8456
5454.73/694.26	o 8455
5454.73/694.27	o 8454
5455.53/694.32	o 8453
5455.53/694.33	o 8452
5455.53/694.34	o 8451
5455.53/694.37	o 8450
5455.53/694.39	o 8449
5455.53/694.40	o 8448
5456.41/694.42	o 8447
5456.41/694.45	o 8446
5456.41/694.46	o 8445
5456.41/694.47	o 8444
5456.41/694.49	o 8443
5457.19/694.53	o 8442
5457.19/694.54	o 8441
5457.19/694.55	o 8440
5457.19/694.60	o 8439
5457.93/694.61	o 8438
5457.93/694.64	o 8437
5457.93/694.67	o 8436
5457.93/694.68	o 8435
5458.78/694.75	o 8434
5458.78/694.77	o 8433
5458.78/694.78	o 8432
5458.78/694.80	o 8431
5459.52/694.80	o 8430
5459.52/694.83	o 8429
5459.52/694.84	o 8428
5459.52/694.85	o 8427
5466.70/695.74	o 8426
5466.70/695.78	o 8425
5467.53/695.80	o 8424
5467.53/695.82	o 8423
5467.53/695.83	o 8422
5467.53/695.86	o 8421
5468.31/695.92	o 8420
5468.31/695.93	o 8419
5468.31/695.95	o 8418
5468.31/695.96	o 8417
5468.31/695.99	o 8416
5468.31/696.00	o 8415
5468.31/696.02	o 8414
5469.14/696.04	o 8413
5469.14/696.05	o 8412
5469.14/696.08	o 8411
5469.14/696.09	o 8410
5469.14/696.12	o 8409
5469.14/696.13	o 8408
5470.10/696.16	o 8407
5470.10/696.18	o 8406
5470.10/696.19	o 8405
5470.72/696.21	o 8404
5470.72/696.24	o 8403
5470.72/696.25	o 8402
5470.72/696.29	o 8401
5471.46/696.31	o 8400
5471.46/696.33	o 8399
5471.46/696.36	o 8398
5471.46/696.38	o 8397
5473.06/696.54	o 8396
5473.86/696.60	o 8395
5473.86/696.63	o 8394
5473.86/696.68	o 8393
5473.86/696.69	o 8392
5474.65/696.71	o 8391
5475.51/696.81	o 8390
5475.51/696.82	o 8389
5725.73/728.23	o 8388
5809.40/738.77	o 8387
5809.40/738.78	o 8386
5809.40/738.80	o 8385
5812.67/739.17	o 8384
5812.67/739.18	o 8383
6893.47/874.82	o 8382
6893.47/874.83	o 8381
7319.29/928.37	o 8380
7335.22/930.39	o 8379
7335.22/930.40	o 8378
7335.99/930.43	o 8377
7335.99/930.44	o 8376
7335.99/930.45	o 8375
7420.31/941.09	o 8374
7425.84/941.73	o 8373
7427.37/941.92	o 8372
7427.37/941.95	o 8371
7427.37/941.96	o 8370
7432.94/942.63	o 8369
7444.87/944.15	o 8368
7444.87/944.16	o 8367
7841.04/994.00	o 8366
7841.90/994.01	o 8365
7841.90/994.04	o 8364
7841.90/994.08	o 8363
7841.90/994.09	o 8362
7891.18/1000.28	o 8361
7891.18/1000.30	o 8360
7892.05/1000.32	o 8359
7892.05/1000.33	o 8358
7957.99/1008.65	o 8357
7957.99/1008.67	o 8356
7990.52/1012.71	o 8355
7990.52/1012.73	o 8354
7990.52/1012.75	o 8353
7990.52/1012.78	o 8352
7990.52/1012.80	o 8351
8055.81/1021.01	o 8350
8056.67/1021.04	o 8349
8056.67/1021.04	o 8348
8056.67/1021.06	o 8347
8090.07/1025.28	o 8346
8122.64/1029.38	o 8345
8123.46/1029.40	o 8344
8123.46/1029.41	o 8343
8129.10/1030.12	o 8342
8129.10/1030.14	o 8341
8129.10/1030.15	o 8340
8129.10/1030.16	o 8339
8129.10/1030.17	o 8338
8174.35/1035.88	o 8337
8174.35/1035.91	o 8336
8175.19/1035.92	o 8335
8175.19/1035.93	o 8334
8221.98/1041.81	o 8333
8221.98/1041.82	o 8332
8221.98/1041.82	o 8331
8221.98/1041.83	o 8330
8253.03/1045.79	o 8329
8253.82/1045.81	o 8328
8274.55/1048.41	o 8327
8274.55/1048.42	o 8326
8274.55/1048.44	o 8325
8274.55/1048.46	o 8324
8274.55/1048.47	o 8323
8315.13/1053.57	o 8322
8315.13/1053.58	o 8321
8315.13/1053.59	o 8320
8321.50/1054.39	o 8319
8372.46/1060.76	o 8318
8372.46/1060.78	o 8317
8372.46/1060.79	o 8316
8373.26/1060.80	o 8315
8406.77/1065.03	o 8314
8431.45/1068.14	o 8313
8431.45/1068.15	o 8312
8627.20/1092.78	o 8311
8818.80/1116.82	o 8310
8818.80/1116.84	o 8309
8818.80/1116.85	o 8308
8952.11/1133.69	o 8307
8962.50/1134.98	o 8306
9210.40/1166.17	o 8305
9210.40/1166.19	o 8304
9334.34/1181.74	o 8303
10317.49/1305.32	o 8302
10650.57/1347.27	o 8301
10686.20/1351.73	o 8300
12343.45/1560.15	o 8299
12343.45/1560.16	o 8298
12356.10/1561.77	o 8297
12356.10/1561.78	o 8296
12616.85/1594.55	o 8295
12617.65/1594.63	o 8294
12617.65/1594.65	o 8293
13906.71/1756.81	o 8292
15498.89/1957.12	o 8291
15498.89/1957.14	o 8290
16341.23/2063.26	o 8289
16516.75/2085.36	o 8288
17808.20/2247.85	o 8287
17808.20/2247.87	o 8286
18468.66/2330.94	o 8285
18468.66/2330.96	o 8284
19971.82/2520.09	s SATISFIABLE
19971.82/2520.10	v <instantiation>
19971.82/2520.10	v 	<list>
19971.82/2520.10	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za1[798] za1[799] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] za1[808] za1[809] za1[810] za1[811] za1[812] za1[813] za1[814] za1[815] za1[816] za1[817] za1[818] za1[819] za1[820] za1[821] za1[822] za1[823] za1[824] za1[825] za1[826] za1[827] za1[828] za1[829] za1[830] za1[831] za1[832] za1[833] za1[834] za1[835] za1[836] za1[837] za1[838] za1[839] za1[840] za1[841] za1[842] za1[843] za1[844] za1[845] za1[846] za1[847] za1[848] za1[849] za1[850] za1[851] za1[852] za1[853] za1[854] za1[855] za1[856] za1[857] za1[858] za1[859] za1[860] za1[861] za1[862] za1[863] za1[864] za1[865] za1[866] za1[867] za1[868] za1[869] za1[870] za1[871] za1[872] za1[873] za1[874] za1[875] za1[876] za1[877] za1[878] za1[879] za1[880] za1[881] za1[882] za1[883] za1[884] za1[885] za1[886] za1[887] za1[888] za1[889] za1[890] za1[891] za1[892] za1[893] za1[894] za1[895] za1[896] za1[897] za1[898] za1[899] za1[900] za1[901] za1[902] za1[903] za1[904] za1[905] za1[906] za1[907] za1[908] za1[909] za1[910] za1[911] za1[912] za1[913] za1[914] za1[915] za1[916] za1[917] za1[918] za1[919] za1[920] za1[921] za1[922] za1[923] za1[924] za1[925] za1[926] za1[927] za1[928] za1[929] za1[930] za1[931] za1[932] za1[933] za1[934] za1[935] za1[936] za1[937] za1[938] za1[939] za1[940] za1[941] za1[942] za1[943] za1[944] za1[945] za1[946] za1[947] za1[948] za1[949] za1[950] za1[951] za1[952] za1[953] za1[954] za1[955] za1[956] za1[957] za1[958] za1[959] za1[960] za1[961] za1[962] za1[963] za1[964] za1[965] za1[966] za1[967] za1[968] za1[969] za1[970] za1[971] za1[972] za1[973] za1[974] za1[975] za1[976] za1[977] za1[978] za1[979] za1[980] za1[981] za1[982] za1[983] za1[984] za1[985] za1[986] za1[987] za1[988] za1[989] za1[990] za1[991] za1[992] za1[993] za1[994] za1[995] za1[996] za1[997] za1[998] za1[999] za1[1000] za1[1001] za1[1002] za1[1003] za1[1004] za1[1005] za1[1006] za1[1007] za1[1008] za1[1009] za1[1010] za1[1011] za1[1012] za1[1013] za1[1014] za1[1015] za1[1016] za1[1017] za1[1018] za1[1019] za1[1020] za1[1021] za1[1022] za1[1023] za1[1024] za1[1025] za1[1026] za1[1027] za1[1028] za1[1029] za1[1030] za1[1031] za1[1032] za1[1033] za1[1034] za1[1035] za1[1036] za1[1037] za1[1038] za1[1039] za1[1040] za1[1041] za1[1042] za1[1043] za1[1044] za1[1045] za1[1046] za1[1047] za1[1048] za1[1049] za1[1050] za1[1051] za1[1052] za1[1053] za1[1054] za1[1055] za1[1056] za1[1057] za1[1058] za1[1059] za1[1060] za1[1061] za1[1062] za1[1063] za1[1064] za1[1065] za1[1066] za1[1067] za1[1068] za1[1069] za1[1070] za1[1071] za1[1072] za1[1073] za1[1074] za1[1075] za1[1076] za1[1077] za1[1078] za1[1079] za1[1080] za1[1081] za1[1082] za1[1083] za1[1084] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za2[1027] za2[1028] za2[1029] za2[1030] za2[1031] za2[1032] za2[1033] za2[1034] za2[1035] za2[1036] za2[1037] za2[1038] za2[1039] za2[1040] za2[1041] za2[1042] za2[1043] za2[1044] za2[1045] za2[1046] za2[1047] za2[1048] za2[1049] za2[1050] za2[1051] za2[1052] za2[1053] za2[1054] za2[1055] za2[1056] za2[1057] za2[1058] za2[1059] za2[1060] za2[1061] za2[1062] za2[1063] za2[1064] za2[1065] za2[1066] za2[1067] za2[1068] za2[1069] za2[1070] za2[1071] za2[1072] za2[1073] za2[1074] za2[1075] za2[1076] za2[1077] za2[1078] za2[1079] za2[1080] za2[1081] za2[1082] za2[1083] za2[1084] za2[1085] za2[1086] za2[1087] za2[1088] za2[1089] za2[1090] za2[1091] za2[1092] za2[1093] za2[1094] za2[1095] za2[1096] za2[1097] za2[1098] za2[1099] za2[1100] za2[1101] za2[1102] za2[1103] za2[1104] za2[1105] za2[1106] za2[1107] za2[1108] za2[1109] za2[1110] za2[1111] za2[1112] za2[1113] za2[1114] za2[1115] za2[1116] za2[1117] za2[1118] za2[1119] za2[1120] za2[1121] za2[1122] za2[1123] za2[1124] za2[1125] za2[1126] za2[1127] za2[1128] za2[1129] za2[1130] za2[1131] za2[1132] za2[1133] za2[1134] za2[1135] za2[1136] za2[1137] za2[1138] za2[1139] za2[1140] za2[1141] za2[1142] za2[1143] za2[1144] za2[1145] za2[1146] za2[1147] za2[1148] za2[1149] za2[1150] za2[1151] za2[1152] za2[1153] za2[1154] za2[1155] za2[1156] za2[1157] za2[1158] za2[1159] za2[1160] za2[1161] za2[1162] za2[1163] za2[1164] za2[1165] za2[1166] za2[1167] za2[1168] za2[1169] za2[1170] za2[1171] za2[1172] za2[1173] za2[1174] za2[1175] za2[1176] za2[1177] za2[1178] za2[1179] za2[1180] za2[1181] za2[1182] za2[1183] za2[1184] za2[1185] za2[1186] za2[1187] za2[1188] za2[1189] za2[1190] za2[1191] za2[1192] za2[1193] za2[1194] za2[1195] za2[1196] za2[1197] za2[1198] za2[1199] za2[1200] za2[1201] za2[1202] za2[1203] za2[1204] za2[1205] za2[1206] za2[1207] za2[1208] za2[1209] za2[1210] za2[1211] za2[1212] za2[1213] za2[1214] za2[1215] za2[1216] za2[1217] za2[1218] za2[1219] za2[1220] za2[1221] za2[1222] za2[1223] za2[1224] za2[1225] za2[1226] za2[1227] za2[1228] za2[1229] za2[1230] za2[1231] za2[1232] za2[1233] za2[1234] za2[1235] za2[1236] za2[1237] za2[1238] za2[1239] za2[1240] za2[1241] za2[1242] za2[1243] za2[1244] za2[1245] za2[1246] za2[1247] za2[1248] za2[1249] za2[1250] za2[1251] za2[1252] za2[1253] za2[1254] za2[1255] za2[1256] za2[1257] za2[1258] za2[1259] za2[1260] za2[1261] za2[1262] za2[1263] za2[1264] za2[1265] za2[1266] za2[1267] za2[1268] za2[1269] za2[1270] za2[1271] za2[1272] za2[1273] za2[1274] za2[1275] za2[1276] za2[1277] za2[1278] za2[1279] za2[1280] za2[1281] za2[1282] za2[1283] za2[1284] za2[1285] za2[1286] za2[1287] za2[1288] za2[1289] za2[1290] za2[1291] za2[1292] za2[1293] za2[1294] za2[1295] za2[1296] za2[1297] za2[1298] za2[1299] za2[1300] za2[1301] za2[1302] za2[1303] za2[1304] za2[1305] za2[1306] za2[1307] za2[1308] za2[1309] za2[1310] za2[1311] za2[1312] za2[1313] za2[1314] za2[1315] za2[1316] za2[1317] za2[1318] za2[1319] za2[1320] za2[1321] za2[1322] za2[1323] za2[1324] za2[1325] za2[1326] za2[1327] za2[1328] za2[1329] za2[1330] za2[1331] za2[1332] za2[1333] za2[1334] za2[1335] za2[1336] za2[1337] za2[1338] za2[1339] za2[1340] za2[1341] za2[1342] za2[1343] za2[1344] za2[1345] za2[1346] za2[1347] za2[1348] za2[1349] za2[1350] za2[1351] za2[1352] za2[1353] za2[1354] za2[1355] za2[1356] za2[1357] za2[1358] za2[1359] za2[1360] za2[1361] za2[1362] za2[1363] za2[1364] za2[1365] za2[1366] za2[1367] za2[1368] za2[1369] za2[1370] za2[1371] za2[1372] za2[1373] za2[1374] za2[1375] za2[1376] za2[1377] za2[1378] za2[1379] za2[1380] za2[1381] za2[1382] za2[1383] za2[1384] za2[1385] za2[1386] za2[1387] za2[1388] za2[1389] za2[1390] za2[1391] za2[1392] za2[1393] za2[1394] za2[1395] za2[1396] za2[1397] za2[1398] za2[1399] za2[1400] za2[1401] za2[1402] za2[1403] za2[1404] za2[1405] za2[1406] za2[1407] za2[1408] za2[1409] za2[1410] za2[1411] za2[1412] za2[1413] za2[1414] za2[1415] za2[1416] za2[1417] za2[1418] za2[1419] za2[1420] za2[1421] za2[1422] za2[1423] za2[1424] za2[1425] za2[1426] za2[1427] za2[1428] za2[1429] za2[1430] za2[1431] za2[1432] za2[1433] za2[1434] za2[1435] za2[1436] za2[1437] za2[1438] za2[1439] za2[1440] za2[1441] za2[1442] za2[1443] za2[1444] za2[1445] za2[1446] za2[1447] za2[1448] za2[1449] za2[1450] za2[1451] za2[1452] za2[1453] za2[1454] za2[1455] za2[1456] za2[1457] za2[1458] za2[1459] za2[1460] za2[1461] za2[1462] za2[1463] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] za3[909] za3[910] za3[911] za3[912] za3[913] za3[914] za3[915] za3[916] za3[917] za3[918] za3[919] za3[920] za3[921] za3[922] za3[923] za3[924] za3[925] za3[926] za3[927] za3[928] za3[929] za3[930] za3[931] za3[932] za3[933] za3[934] za3[935] za3[936] za3[937] za3[938] za3[939] za3[940] za3[941] za3[942] za3[943] za3[944] za3[945] za3[946] za3[947] za3[948] za3[949] za3[950] za3[951] za3[952] za3[953] za3[954] za3[955] za3[956] za3[957] za3[958] za3[959] za3[960] za3[961] za3[962] za3[963] za3[964] za3[965] za3[966] za3[967] za3[968] za3[969] za3[970] za3[971] za3[972] za3[973] za3[974] za3[975] za3[976] za3[977] za3[978] za3[979] za3[980] za3[981] za3[982] za3[983] za3[984] za3[985] za3[986] za3[987] za3[988] za3[989] za3[990] za3[991] za3[992] za3[993] za3[994] za3[995] za3[996] za3[997] za3[998] za3[999] za3[1000] za3[1001] za3[1002] za3[1003] za3[1004] za3[1005] za3[1006] za3[1007] za3[1008] za3[1009] za3[1010] za3[1011] za3[1012] za3[1013] za3[1014] za3[1015] za3[1016] za3[1017] za3[1018] za3[1019] za3[1020] za3[1021] za3[1022] za3[1023] za3[1024] za3[1025] za3[1026] za3[1027] za3[1028] za3[1029] za3[1030] za3[1031] za3[1032] za3[1033] za3[1034] za3[1035] za3[1036] za3[1037] za3[1038] za3[1039] za3[1040] za3[1041] za3[1042] za3[1043] za3[1044] za3[1045] za3[1046] za3[1047] za3[1048] za3[1049] za3[1050] za3[1051] za3[1052] za3[1053] za3[1054] za3[1055] za3[1056] za3[1057] za3[1058] za3[1059] za3[1060] za3[1061] za3[1062] za3[1063] za3[1064] za3[1065] za3[1066] za3[1067] za3[1068] za3[1069] za3[1070] za3[1071] za3[1072] za3[1073] za3[1074] za3[1075] za3[1076] za3[1077] za3[1078] za3[1079] za3[1080] za3[1081] za3[1082] za3[1083] za3[1084] za3[1085] za3[1086] za3[1087] za3[1088] za3[1089] za3[1090] za3[1091] za3[1092] za3[1093] za3[1094] za3[1095] za3[1096] za3[1097] za3[1098] za3[1099] za3[1100] za3[1101] za3[1102] za3[1103] za3[1104] za3[1105] za3[1106] za3[1107] za3[1108] za3[1109] za3[1110] za3[1111] za3[1112] za3[1113] za3[1114] za3[1115] za3[1116] za3[1117] za3[1118] za3[1119] za3[1120] za3[1121] za3[1122] za3[1123] za3[1124] za3[1125] za3[1126] za3[1127] za3[1128] za3[1129] za3[1130] za3[1131] za3[1132] za3[1133] za3[1134] za3[1135] za3[1136] za3[1137] za3[1138] za3[1139] za3[1140] za3[1141] za3[1142] za3[1143] za3[1144] za3[1145] za3[1146] za3[1147] za3[1148] za3[1149] za3[1150] za3[1151] za3[1152] za3[1153] za3[1154] za3[1155] za3[1156] za3[1157] za3[1158] za3[1159] za3[1160] za3[1161] za3[1162] za3[1163] za3[1164] za3[1165] za3[1166] za3[1167] za3[1168] za3[1169] za3[1170] za3[1171] za3[1172] za3[1173] za3[1174] za3[1175] za3[1176] za3[1177] za3[1178] za3[1179] za3[1180] za3[1181] za3[1182] za3[1183] za3[1184] za3[1185] za3[1186] za3[1187] za3[1188] za3[1189] za3[1190] za3[1191] za3[1192] za3[1193] za3[1194] za3[1195] za3[1196] za3[1197] za3[1198] za3[1199] za3[1200] za3[1201] za3[1202] za3[1203] za3[1204] za3[1205] za3[1206] za3[1207] za3[1208] za3[1209] za3[1210] za3[1211] za3[1212] za3[1213] za3[1214] za3[1215] za3[1216] za3[1217] za3[1218] za3[1219] za3[1220] za3[1221] za3[1222] za3[1223] za3[1224] za3[1225] za3[1226] za3[1227] za3[1228] za3[1229] za3[1230] za3[1231] za3[1232] za3[1233] za3[1234] za3[1235] za3[1236] za3[1237] za3[1238] za3[1239] za3[1240] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] za4[1056] za4[1057] za4[1058] za4[1059] za4[1060] za4[1061] za4[1062] za4[1063] za4[1064] za4[1065] za4[1066] za4[1067] za4[1068] za4[1069] za4[1070] za4[1071] za4[1072] za4[1073] za4[1074] za4[1075] za4[1076] za4[1077] za4[1078] za4[1079] za4[1080] za4[1081] za4[1082] za4[1083] za4[1084] za4[1085] za4[1086] za4[1087] za4[1088] za4[1089] za4[1090] za4[1091] za4[1092] za4[1093] za4[1094] za4[1095] za4[1096] za4[1097] za4[1098] za4[1099] za4[1100] za4[1101] za4[1102] za4[1103] za4[1104] za4[1105] za4[1106] za4[1107] za4[1108] za4[1109] za4[1110] za4[1111] za4[1112] za4[1113] za4[1114] za4[1115] za4[1116] za4[1117] za4[1118] za4[1119] za4[1120] za4[1121] za4[1122] za4[1123] za4[1124] za4[1125] za4[1126] za4[1127] za4[1128] za4[1129] za4[1130] za4[1131] za4[1132] za4[1133] za4[1134] za4[1135] za4[1136] za4[1137] za4[1138] za4[1139] za4[1140] za4[1141] za4[1142] za4[1143] za4[1144] za4[1145] za4[1146] za4[1147] za4[1148] za4[1149] za4[1150] za4[1151] za4[1152] za4[1153] za4[1154] za4[1155] za4[1156] za4[1157] za4[1158] za4[1159] za4[1160] za4[1161] za4[1162] za4[1163] za4[1164] za4[1165] za4[1166] za4[1167] za4[1168] za4[1169] za4[1170] za4[1171] za4[1172] za4[1173] za4[1174] za4[1175] za4[1176] za4[1177] za4[1178] za4[1179] za4[1180] za4[1181] za4[1182] za4[1183] za4[1184] za4[1185] za4[1186] za4[1187] za4[1188] za4[1189] za4[1190] za4[1191] za4[1192] za4[1193] za4[1194] za4[1195] za4[1196] za4[1197] za4[1198] za4[1199] za4[1200] za4[1201] za4[1202] za4[1203] za4[1204] za4[1205] za4[1206] za4[1207] za4[1208] za4[1209] za4[1210] za4[1211] za4[1212] za4[1213] za4[1214] za4[1215] za4[1216] za4[1217] za4[1218] za4[1219] za4[1220] za4[1221] za4[1222] za4[1223] za4[1224] za4[1225] za4[1226] za4[1227] za4[1228] za4[1229] za4[1230] za4[1231] za4[1232] za4[1233] za4[1234] za4[1235] za4[1236] za4[1237] za4[1238] za4[1239] za4[1240] za4[1241] za4[1242] za4[1243] za4[1244] za4[1245] za4[1246] za4[1247] za4[1248] za4[1249] za4[1250] za4[1251] za4[1252] za4[1253] za4[1254] za4[1255] za4[1256] za4[1257] za4[1258] za4[1259] za4[1260] za4[1261] za4[1262] za4[1263] za4[1264] za4[1265] za4[1266] za4[1267] za4[1268] za4[1269] za4[1270] za4[1271] za4[1272] za4[1273] za4[1274] za4[1275] za4[1276] za4[1277] za4[1278] za4[1279] za4[1280] za4[1281] za4[1282] za4[1283] za4[1284] za4[1285] za4[1286] za4[1287] za4[1288] za4[1289] za4[1290] za4[1291] za4[1292] za4[1293] za4[1294] za4[1295] za4[1296] za4[1297] za4[1298] za4[1299] za4[1300] za4[1301] za4[1302] za4[1303] za4[1304] za4[1305] za4[1306] za4[1307] za4[1308] za4[1309] za4[1310] za4[1311] za4[1312] za4[1313] za4[1314] za4[1315] za4[1316] za4[1317] za4[1318] za4[1319] za4[1320] za4[1321] za4[1322] za4[1323] za4[1324] za4[1325] za4[1326] za4[1327] za4[1328] za4[1329] za4[1330] za4[1331] za4[1332] za4[1333] za4[1334] za4[1335] za4[1336] za4[1337] za4[1338] za4[1339] za4[1340] za4[1341] za4[1342] za4[1343] za4[1344] za4[1345] za4[1346] za4[1347] za4[1348] za4[1349] za4[1350] za4[1351] za4[1352] za4[1353] za4[1354] za4[1355] za4[1356] za4[1357] za4[1358] za4[1359] za4[1360] za4[1361] za4[1362] za4[1363] za4[1364] za4[1365] za4[1366] za4[1367] za4[1368] za4[1369] za4[1370] za4[1371] za4[1372] za4[1373] za4[1374] za4[1375] za4[1376] za4[1377] za4[1378] za4[1379] za4[1380] za4[1381] za4[1382] za4[1383] za4[1384] za4[1385] za4[1386] za4[1387] za4[1388] za4[1389] za4[1390] za4[1391] za4[1392] za4[1393] za4[1394] za4[1395] za4[1396] za4[1397] za4[1398] za4[1399] za4[1400] za4[1401] za4[1402] za4[1403] za4[1404] za4[1405] za4[1406] za4[1407] za4[1408] za4[1409] za4[1410] za4[1411] za4[1412] za4[1413] za4[1414] za4[1415] za4[1416] za4[1417] za4[1418] za4[1419] za4[1420] za4[1421] za4[1422] za4[1423] za4[1424] za4[1425] za4[1426] za4[1427] za4[1428] za4[1429] za4[1430] za4[1431] za4[1432] za4[1433] za4[1434] za4[1435] za4[1436] za4[1437] za4[1438] za4[1439] za4[1440] za4[1441] za4[1442] za4[1443] za4[1444] za4[1445] za4[1446] za4[1447] za4[1448] za4[1449] za4[1450] za4[1451] za4[1452] za4[1453] za4[1454] za4[1455] za4[1456] za4[1457] za4[1458] za4[1459] za4[1460] za4[1461] za4[1462] za4[1463] za4[1464] za4[1465] za4[1466] za4[1467] za4[1468] za4[1469] za4[1470] za4[1471] za4[1472] za4[1473] za4[1474] za4[1475] za4[1476] za4[1477] za4[1478] za4[1479] za4[1480] za4[1481] za4[1482] za4[1483] za4[1484] za4[1485] za4[1486] za4[1487] za4[1488] za4[1489] za4[1490] za4[1491] za4[1492] za4[1493] za4[1494] za4[1495]
19971.82/2520.10	v 	</list>
19971.82/2520.10	v 	<values>
19971.82/2520.10	v 		428 666 792 554 72 310 470 708 554 792 254 16 666 428 792 554 554 792 736 498 142 380 30 268 792 554 792 554 792 554 554 792 414 652 554 792 792 554 498 736 554 792 764 526 554 792 470 708 764 526 750 512 792 554 792 554 456 694 680 442 394 156 470 708 792 554 554 792 792 554 540 778 792 554 428 666 764 526 540 778 554 792 792 554 554 792 526 764 428 666 778 540 792 554 540 778 526 764 414 652 554 792 540 778 498 736 484 722 156 394 792 554 554 792 792 554 792 554 722 484 666 428 58 296 554 792 764 526 526 764 792 554 540 778 750 512 792 554 414 652 478 240 736 498 680 442 792 554 540 778 792 554 554 792 792 554 750 512 554 792 498 736 554 792 526 764 792 554 554 792 540 778 652 414 792 554 456 694 156 394 394 156 554 792 268 30 142 380 554 792 512 750 792 554 792 554 142 380 394 156 512 750 736 498 778 540 414 652 554 792 792 554 750 512 792 554 456 694 764 526 792 554 680 442 764 526 58 296 736 498 764 526 540 778 512 750 694 456 554 792 442 680 708 470 512 750 512 750 442 680 240 478 680 442 554 792 736 498 282 44 428 666 554 792 680 442 470 708 498 736 722 484 652 414 428 666 750 512 554 792 526 764 414 652 792 554 540 778 792 554 554 792 240 478 736 498 268 30 792 554 554 792 512 750 750 512 456 694 792 554 792 554 666 428 764 526 792 554 666 428 680 442 470 708 470 708 750 512 512 750 694 456 750 512 792 554 554 792 554 792 792 554 778 540 540 778 736 498 778 540 540 778 540 778 526 764 540 778 778 540 484 722 736 498 484 722 722 484 736 498 792 554 540 778 778 540 142 380 470 708 778 540 666 428 778 540 540 778 442 680 540 778 540 778 694 456 540 778 554 792 778 540 778 540 540 778 792 554 380 142 778 540 540 778 526 764 778 540 540 778 792 554 722 484 778 540 792 554 380 142 554 792 722 484 526 764 512 750 498 736 778 540 428 666 526 764 792 554 778 540 554 792 792 554 792 554 764 526 540 778 778 540 540 778 540 778 540 778 526 764 792 554 540 778 428 666 778 540 498 736 526 764 554 792 792 554 394 156 540 778 72 310 30 268 498 736 554 792 456 694 554 792 470 708 778 540 512 750 792 554 540 778 722 484 414 652 736 498 100 338 680 442 778 540 778 540 736 498 792 554 666 428 792 554 442 680 792 554 414 652 750 512 554 792 792 554 484 722 792 554 792 554 554 792 456 694 540 778 456 694 540 778 722 484 540 778 540 778 540 778 540 778 442 680 778 540 736 498 792 554 554 792 442 680 750 512 750 512 750 512 778 540 666 428 778 540 540 778 484 722 778 540 540 778 540 778 778 540 708 470 540 778 540 778 540 778 778 540 512 750 778 540 540 778 428 666 778 540 540 778 470 708 540 778 736 498 554 792 540 778 442 680 778 540 156 394 414 652 554 792 792 554 666 428 778 540 554 792 722 484 156 394 722 484 680 442 540 778 792 554 394 156 792 554 750 512 778 540 778 540 778 540 526 764 778 540 540 778 456 694 296 58 778 540 554 792 156 394 554 792 792 554 470 708 694 456 554 792 554 792 554 792 680 442 540 778 428 666 778 540 736 498 792 554 414 652 512 750 750 512 778 540 778 540 694 456 540 778 778 540 792 554 540 778 778 540 666 428 778 540 778 540 428 666 540 778 778 540 512 750 778 540 722 484 540 778 470 708 694 456 554 792 792 554 778 540 764 526 792 554 736 498 456 694 694 456 778 540 540 778 526 764 680 442 540 778 540 778 498 736 540 778 470 708 540 778 778 540 554 792 540 778 540 778 540 778 540 778 540 778 540 778 778 540 540 778 498 736 792 554 708 470 554 792 540 778 694 456 792 554 792 554 554 792 792 554 792 554 540 778 512 750 680 442 540 778 792 554 778 540 394 156 554 792 540 778 380 142 778 540 554 792 156 394 310 72 310 72 540 778 484 722 540 778 778 540 526 764 338 100 142 380 352 114 540 778 142 380 366 128 666 428 792 554 792 554 540 778 792 554 498 736 540 778 156 394 4 4 4 0 0 4 4 0 4 0 0 0 0 4 0 4 0 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 4 0 4 0 0 0 0 4 0 4 4 0 4 0 4 0 4 4 4 4 0 4 0 4 4 4 0 4 0 0 4 4 0 4 4 4 0 0 4 4 4 0 0 4 4 4 4 4 4 4 4 0 4 4 0 4 0 4 0 4 0 4 4 4 4 0 4 4 0 0 4 4 4 4 4 0 0 4 4 0 0 0 0 0 0 0 0 4 4 0 4 4 4 4 4 4 0 4 4 4 4 0 0 0 4 4 4 0 0 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 4 0 4 0 4 4 0 4 0 4 4 4 4 0 4 4 4 4 4 4 4 0 4 4 4 4 4 0 4 0 4 0 4 4 0 0 0 0 0 0 0 0 0 4 0 0 0 4 0 4 4 0 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 4 4 4 0 0 4 4 0 4 4 0 4 4 4 4 0 0 4 0 0 4 0 4 0 4 4 4 0 0 4 0 0 0 4 0 4 0 0 0 4 0 4 0 0 4 4 0 4 0 4 4 0 0 0 4 4 0 4 0 4 0 0 0 0 0 4 4 4 4 4 4 0 0 4 0 0 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 0 4 0 4 0 4 4 4 0 4 4 4 0 4 4 4 0 4 0 4 0 0 4 4 4 0 0 4 4 4 0 4 0 4 4 4 4 0 4 4 4 0 4 4 4 4 0 4 0 4 4 4 4 0 0 4 0 0 4 0 4 0 4 4 0 4 4 4 4 0 4 4 4 4 4 0 4 4 4 4 4 4 0 0 4 4 4 0 0 0 4 4 4 4 0 0 0 4 0 0 4 0 0 4 4 0 4 0 0 0 0 0 4 0 4 0 4 4 4 4 4 4 4 4 0 0 0 0 0 4 4 0 4 4 0 0 0 0 4 4 0 4 4 0 0 0 0 4 4 0 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 4 4 4 4 4 4 4 4 4 4 0 4 4 4 0 4 4 4 0 4 4 4 4 4 4 4 4 0 0 0 0 0 4 4 0 4 0 0 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 4 0 4 4 4 4 4 4 0 0 4 4 4 4 4 4 4 4 0 0 0 4 4 0 4 4 0 4 0 4 4 4 0 0 4 4 4 4 4 4 4 4 4 4 0 4 4 4 4 0 0 0 0 4 0 4 4 4 0 4 4 0 4 4 0 4 4 0 0 4 4 4 4 4 4 4 0 0 0 4 4 4 0 4 0 4 4 4 0 0 4 0 4 4 4 4 0 0 4 0 4 4 4 4 4 4 0 4 4 4 4 4 4 4 0 4 4 4 4 4 0 4 4 4 4 0 4 4 4 0 4 4 0 4 4 4 4 4 0 4 4 0 4 4 4 4 4 4 0 4 0 0 0 4 0 4 0 0 0 4 4 4 0 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 0 4 4 4 0 0 0 0 0 4 4 4 4 4 4 4 4 0 0 4 0 0 4 4 4 4 4 4 4 4 4 0 4 4 0 4 4 4 4 4 0 4 4 4 4 4 4 4 0 4 4 4 4 4 0 4 4 4 4 4 4 4 4 0 4 4 4 4 4 4 0 4 4 0 4 0 4 0 0 4 4 4 4 4 4 4 4 0 0 0 0 4 4 4 4 4 0 4 4 4 0 0 4 4 4 4 4 4 4 4 4 4 4 4 0 4 0 4 0 4 4 4 4 4 4 4 4 4 4 0 0 4 4 4 4 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 0 4 4 4 0 4 4 4 0 0 4 0 0 4 0 0 4 4 4 4 0 0 0 4 0 4 4 4 0 0 0 0 0 0 4 4 4 4 4 4 4 0 0 0 4 0 0 0 4 0 0 4 0 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 0 4 4 4 4 4 0 0 4 4 4 0 4 0 4 4 4 4 4 0 0 4 0 4 4 4 0 0 4 4 0 0 4 4 0 4 4 0 4 4 4 4 0 0 0 0 4 4 4 4 4 0 4 4 0 4 0 0 4 0 4 4 4 0 0 0 4 4 0 4 4 4 4 4 0 4 0 4 0 3 3 3 3 3 3 3 0 3 3 0 3 3 3 3 3 3 0 3 3 3 3 0 0 3 3 3 0 3 3 0 3 0 0 3 0 3 3 3 0 0 3 0 0 3 3 0 0 3 0 0 3 3 3 0 3 0 3 3 0 3 0 3 3 0 0 0 3 3 3 3 3 3 0 3 3 0 3 0 0 3 0 3 0 0 3 0 0 0 3 3 3 0 3 3 0 0 3 3 3 3 0 0 3 0 3 3 3 0 3 3 3 3 3 3 0 0 3 0 3 0 3 0 0 3 0 3 3 3 3 0 3 3 3 3 3 3 3 3 0 3 0 3 0 3 0 0 3 0 3 0 0 0 3 0 0 0 0 3 3 3 3 3 0 3 0 3 3 0 0 0 3 3 0 3 3 0 0 0 3 3 0 3 3 0 3 0 3 3 0 3 3 0 0 3 3 0 3 3 0 0 3 3 3 3 3 0 3 0 3 3 3 3 3 3 0 0 3 3 3 3 3 3 0 3 3 3 3 3 3 3 3 3 0 3 0 3 0 3 3 3 3 3 3 3 3 0 3 0 3 0 0 3 3 0 3 0 0 0 0 3 3 3 0 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 3 3 3 3 0 3 3 0 3 3 3 3 0 0 3 0 0 3 3 0 0 3 0 3 0 0 0 3 0 0 0 0 0 3 3 3 0 3 0 0 0 0 0 0 3 0 3 0 3 0 0 0 0 3 3 0 3 0 3 3 3 3 3 3 3 3 0 0 3 3 0 0 3 3 0 3 3 0 0 3 3 3 3 0 3 3 3 3 0 3 3 3 0 3 3 3 0 3 3 0 0 0 3 3 3 3 3 0 0 0 0 3 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 0 0 0 3 0 0 3 0 3 0 0 0 3 3 3 0 0 3 3 0 0 0 0 0 3 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 3 3 3 0 0 3 3 3 3 0 3 0 3 0 0 3 0 3 3 0 3 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 3 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 0 0 3 3 0 0 0 3 0 0 0 3 3 3 0 0 0 3 0 0 0 0 3 0 0 0 0 3 0 3 3 0 3 3 3 3 3 0 3 3 3 3 3 0 3 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 3 3 3 3 0 3 0 0 0 3 0 0 0 3 0 0 3 3 0 0 0 3 3 3 3 3 0 3 3 3 0 0 3 3 3 3 3 0 3 3 0 3 3 3 3 0 3 3 0 0 0 3 0 0 0 0 3 3 0 0 0 0 0 3 0 3 3 3 3 3 0 0 3 0 0 0 3 3 3 3 0 3 3 0 3 0 3 0 0 3 3 3 3 3 0 3 3 3 3 0 3 3 3 3 3 3 0 3 3 3 0 3 0 3 3 3 3 0 0 3 0 0 0 0 0 0 3 0 3 3 3 3 3 3 3 3 0 3 3 0 3 3 3 0 0 0 3 0 3 0 3 0 3 0 3 3 3 3 3 3 0 3 3 3 3 0 0 0 3 3 0 0 3 0 0 0 0 0 3 0 3 0 0 0 0 3 0 0 3 3 3 3 3 3 3 0 0 0 3 0 3 3 3 0 3 0 3 3 3 3 0 3 3 0 3 3 0 3 0 3 3 3 3 0 3 3 0 3 3 3 3 3 3 0 0 0 0 0 3 3 0 0 0 3 3 3 0 3 0 3 3 3 3 3 0 3 0 3 0 0 3 3 3 0 0 0 3 0 0 3 3 0 3 3 3 3 3 3 3 0 3 3 0 0 0 3 3 3 0 3 3 3 0 3 3 0 3 0 0 3 3 0 0 3 0 3 3 0 0 0 0 3 3 0 3 3 0 3 3 0 3 3 3 3 0 3 0 0 0 3 0 3 3 3 3 3 3 0 0 0 3 3 3 3 3 3 3 0 3 3 0 3 3 0 3 0 0 3 3 3 0 0 3 0 0 3 0 3 3 0 3 3 0 3 0 3 3 3 3 0 3 0 3 3 3 3 3 0 3 3 3 0 3 3 3 3 3 3 3 3 3 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 3 3 0 3 0 3 3 3 3 3 3 3 0 3 3 3 3 0 0 0 3 3 3 0 3 3 3 3 3 3 3 3 0 3 3 3 3 0 0 3 3 3 0 3 3 0 3 0 3 3 3 3 3 3 3 3 0 0 0 3 3 0 0 3 3 3 3 3 3 3 0 0 3 3 3 3 3 3 0 0 3 0 3 3 3 0 0 3 3 3 3 3 3 3 0 3 3 0 3 3 3 0 3 3 0 3 0 3 3 3 0 3 3 3 3 0 3 0 0 3 3 3 3 3 0 3 3 3 3 3 0 0 0 3 3 3 3 0 3 0 3 0 0 0 0 0 3 3 3 3 0 3 3 0 3 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 0 3 3 3 3 0 3 3 3 3 3 0 3 0 3 3 3 0 0 3 3 3 3 0 0 3 3 3 3 3 3 3 0 0 0 3 3 3 0 3 0 3 3 3 3 3 0 0 0 3 3 0 3 3 3 3 0 0 0 3 3 0 3 3 3 3 3 0 3 3 0 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 0 3 3 3 0 3 0 0 3 3 3 3 3 3 3 3 3 3 3 0 3 3 3 0 3 3 0 0 3 0 3 3 3 3 0 3 3 3 0 3 0 0 3 3 0 3 0 0 0 0 3 3 3 3 0 0 0 3 3 3 0 3 3 3 3 0 3 3 0 3 3 3 3 3 3 3 3 3 3 0 3 3 0 3 0 0 3 3 3 3 0 0 3 3 3 3 0 3 0 0 0 0 0 3 3 3 3 3 0 3 0 3 3 3 0 0 3 3 3 0 0 0 0 3 0 0 3 3 3 0 3 3 3 0 3 3 3 3 3 3 3 3 3 3 3 0 3 3 3 3 3 0 3 0 3 0 3 0 3 3 3 3 3 3 3 3 3 0 3 3 0 3 3 0 0 0 3 0 3 0 3 3 0 3 0 3 3 3 3 3 2 2 2 2 0 0 0 0 0 2 2 2 2 0 0 0 2 2 2 2 0 2 0 2 2 2 0 2 2 0 2 2 2 0 0 0 0 2 2 2 2 2 2 2 2 0 2 2 0 0 2 0 0 2 2 2 0 0 2 2 2 2 2 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 0 2 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 0 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 0 0 0 2 2 2 0 2 2 2 2 0 2 0 2 2 2 2 0 2 2 0 2 2 2 2 2 2 2 2 2 0 2 0 2 0 0 0 2 2 0 0 2 0 2 0 0 2 2 2 2 0 2 2 2 0 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 2 2 2 2 2 0 0 0 2 2 0 0 2 2 2 2 2 0 0 0 0 0 0 0 0 0 2 0 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 0 2 0 2 0 2 2 0 0 2 2 2 2 0 0 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 0 0 2 2 0 2 2 2 0 0 2 0 0 2 2 2 0 0 2 0 2 2 2 2 2 0 0 2 2 0 2 2 2 2 0 0 2 2 2 2 0 2 0 2 0 2 2 2 0 2 2 2 0 2 2 0 2 2 2 0 0 0 0 0 2 2 0 0 2 2 2 2 2 0 2 2 0 0 2 2 2 2 2 2 2 0 2 2 2 2 2 2 0 2 2 0 2 2 2 0 0 2 2 2 0 0 0 2 0 2 0 0 2 2 2 2 2 2 2 0 2 2 2 2 2 2 0 2 2 0 0 2 2 2 0 2 0 0 2 0 2 2 2 0 2 0 0 2 2 0 0 2 2 0 2 2 0 2 2 2 2 2 2 2 2 0 2 0 0 2 0 2 0 2 2 2 0 2 0 0 2 2 0 0 2 2 0 0 2 2 2 2 2 2 0 0 0 0 2 2 0 2 2 0 2 0 0 0 2 0 2 0 0 0 2 2 2 2 2 2 2 2 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 2 0 2 0 0 0 0 2 2 2 0 0 0 2 0 0 0 2 2 2 2 0 2 0 2 2 2 0 0 2 0 2 2 0 2 2 2 2 0 0 2 0 2 2 0 0 0 0 2 0 0 2 0 2 2 2 0 0 0 2 2 2 2 2 2 0 0 0 2 0 2 2 2 2 2 0 2 0 2 2 2 2 0 0 0 2 2 2 2 2 2 0 0 0 0 2 2 2 2 0 2 2 2 2 2 2 0 2 0 2 2 2 2 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 0 2 2 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 2 0 0 2 2 2 0 2 0 0 2 2 2 2 2 2 0 2 2 0 0 0 0 2 0 2 0 2 0 2 0 2 0 0 2 2 2 0 2 0 0 0 2 2 2 2 2 2 2 0 0 2 0 2 2 0 2 0 0 2 2 2 0 0 2 0 0 2 2 2 2 2 2 0 2 0 2 0 0 0 2 2 2 0 0 0 0 2 2 0 0 2 2 0 2 2 2 2 2 2 0 0 2 2 2 0 2 0 2 2 2 2 2 2 0 2 2 2 2 0 2 2 2 2 2 0 2 0 2 0 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 0 0 2 2 0 2 2 2 2 0 2 0 2 2 2 2 0 0 2 2 0 2 2 2 0 2 0 2 2 2 0 2 2 2 0 0 2 2 0 0 2 2 0 0 2 0 0 0 2 0 0 2 2 0 2 2 0 2 2 0 2 2 0 0 2 0 2 0 0 0 0 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 0 2 2 2 0 2 2 0 0 2 2 2 0 0 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 0 0 0 0 2 2 0 2 2 0 2 2 2 2 2 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 2 2 0 2 0 0 2 2 0 2 2 2 0 0 0 0 0 2 0 2 2 0 2 2 2 2 2 0 2 0 0 2 2 0 0 2 2 2 0 2 2 2 2 0 0 2 0 0 0 2 0 2 0 2 2 2 2 0 2 2 2 0 2 2 0 2 2 2 0 0 0 2 2 2 2 0 2 2 2 2 2 2 2 2 2 0 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 0 2 0 0 2 2 0 2 0 2 0 2 2 0 0 2 0 0 0 0 2 2 2 2 2 0 2 2 2 2 2 2 2 0 0 2 2 0 2 2 2 2 2 2 0 0 2 2 0 2 2 0 2 2 2 2 2 0 2 0 0 0 2 0 2 2 2 2 2 0 0 2 2 0 2 0 2 2 2 2 0 0 2 2 0 0 0 2 2 2 0 2 0 0 0 0 0 2 2 2 0 2 2 0 2 2 2 2 2 0 2 2 0 2 2 2 2 0 0 0 2 2 2 2 2 2 0 2 2 0 2 0 2 2 2 2 0 2 0 2 2 2 2 2 0 0 0 0 0 0 0 0 0 2 2 0 2 0 1 0 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 0 1 1 0 1 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 1 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 1 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 
19971.82/2520.11	v 	</values>
19971.82/2520.11	v </instantiation>

Verifier Data 

OK	8284

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291860-1532639517/watcher-4291860-1532639517 -o /tmp/evaluation-result-4291860-1532639517/solver-4291860-1532639517 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532633897-12973 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1385594017 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291860-1532639517.xml 

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

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

solver pid=13971, runsolver pid=13968

[startup+0.10011 s]*
/proc/loadavg: 3.54 3.83 3.08 3/199 13991
/proc/meminfo: memFree=24149152/32770624 swapFree=67077156/67108860
[pid=13971] ppid=13968 vsize=26103424 memory=29608 CPUtime=0.11 cores=0-7
/proc/13971/stat : 13971 (java) S 13968 13971 12946 0 -1 1077944320 6868 0 0 0 10 1 0 0 20 0 20 0 81514839 26729906176 7402 33554432000 4194304 4196468 140720861886704 140720861869248 140229646708471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
/proc/13971/statm: 6525856 7402 3139 1 0 6487932 0
[pid=13971/tid=13973] ppid=13968 vsize=26103424 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13971/task/13973/stat : 13973 (java) R 13968 13971 12946 0 -1 4202560 5023 0 0 0 8 1 0 0 20 0 20 0 81514839 26729906176 7468 33554432000 4194304 4196468 140720861886704 140229650934160 140229626984220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13974] ppid=13968 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/13971/task/13974/stat : 13974 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 7534 33554432000 4194304 4196468 140720861886704 140229609814800 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13975] ppid=13968 vsize=26103424 memory=140629083424384 CPUtime=0 cores=0-7
/proc/13971/task/13975/stat : 13975 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 7534 33554432000 4194304 4196468 140720861886704 140229204114320 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13976] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13976/stat : 13976 (java) S 13968 13971 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 7534 33554432000 4194304 4196468 140720861886704 140229203061776 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13977] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13977/stat : 13977 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 7534 33554432000 4194304 4196468 140720861886704 140229202009232 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13978] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13978/stat : 13978 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 7534 33554432000 4194304 4196468 140720861886704 140229200955664 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13979] ppid=13968 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/13971/task/13979/stat : 13979 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 7534 33554432000 4194304 4196468 140720861886704 140229199903120 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13980] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13980/stat : 13980 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 7534 33554432000 4194304 4196468 140720861886704 140229198850576 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13981] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13981/stat : 13981 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 7534 33554432000 4194304 4196468 140720861886704 140229197798032 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13982] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13982/stat : 13982 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514842 26729906176 7534 33554432000 4194304 4196468 140720861886704 140229043173872 140229646719618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13983] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13983/stat : 13983 (java) S 13968 13971 12946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81514842 26729906176 7534 33554432000 4194304 4196468 140720861886704 140229042120096 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13984] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13984/stat : 13984 (java) S 13968 13971 12946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81514843 26729906176 7534 33554432000 4194304 4196468 140720861886704 140229041067504 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13985] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13985/stat : 13985 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 7600 33554432000 4194304 4196468 140720861886704 140229040016080 140229646727067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13986] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13986/stat : 13986 (java) S 13968 13971 12946 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 7600 33554432000 4194304 4196468 140720861886704 140229038962672 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13987] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13987/stat : 13987 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 7600 33554432000 4194304 4196468 140720861886704 140229037910128 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13988] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13988/stat : 13988 (java) S 13968 13971 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 7600 33554432000 4194304 4196468 140720861886704 140229036857584 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13989] ppid=13968 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/13971/task/13989/stat : 13989 (java) S 13968 13971 12946 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 81514845 26729906176 7600 33554432000 4194304 4196468 140720861886704 140229035805040 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13990] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13990/stat : 13990 (java) S 13968 13971 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 7600 33554432000 4194304 4196468 140720861886704 140229034752736 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13991] ppid=13968 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/13971/task/13991/stat : 13991 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 7600 33554432000 4194304 4196468 140720861886704 140229033700272 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 29608 KiB

[startup+0.210128 s]*
/proc/loadavg: 3.54 3.83 3.08 3/199 13991
/proc/meminfo: memFree=24135696/32770624 swapFree=67077156/67108860
[pid=13971] ppid=13968 vsize=26103424 memory=43100 CPUtime=0.29 cores=0-7
/proc/13971/stat : 13971 (java) S 13968 13971 12946 0 -1 1077944320 10445 0 0 0 26 3 0 0 20 0 20 0 81514839 26729906176 10775 33554432000 4194304 4196468 140720861886704 140720861869248 140229646708471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
/proc/13971/statm: 6525856 10775 3352 1 0 6487932 0
[pid=13971/tid=13973] ppid=13968 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/13971/task/13973/stat : 13973 (java) R 13968 13971 12946 0 -1 4202560 8218 0 0 0 17 2 0 0 20 0 20 0 81514839 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229650937328 140229646730397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13974] ppid=13968 vsize=26103424 memory=9237 CPUtime=0 cores=0-7
/proc/13971/task/13974/stat : 13974 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229609814800 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13975] ppid=13968 vsize=26103424 memory=4122966401186268832 CPUtime=0 cores=0-7
/proc/13971/task/13975/stat : 13975 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229204114320 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13976] ppid=13968 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/13971/task/13976/stat : 13976 (java) S 13968 13971 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229203061776 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13977] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13977/stat : 13977 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229202009232 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13978] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13978/stat : 13978 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229200955664 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13979] ppid=13968 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/13971/task/13979/stat : 13979 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229199903120 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13980] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13980/stat : 13980 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229198850576 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13981] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13981/stat : 13981 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229197798032 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13982] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13982/stat : 13982 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514842 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229043173872 140229646719618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13983] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13983/stat : 13983 (java) S 13968 13971 12946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81514842 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229042120096 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13984] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13984/stat : 13984 (java) S 13968 13971 12946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81514843 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229041067504 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13985] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13985/stat : 13985 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229040016080 140229646727067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13986] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13986/stat : 13986 (java) S 13968 13971 12946 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229038962672 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13987] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13987/stat : 13987 (java) S 13968 13971 12946 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229037910128 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13988] ppid=13968 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/13971/task/13988/stat : 13988 (java) S 13968 13971 12946 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 81514845 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229036857584 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13989] ppid=13968 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/13971/task/13989/stat : 13989 (java) R 13968 13971 12946 0 -1 4202560 294 0 0 0 6 0 0 0 20 0 20 0 81514845 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229035802832 140229638662712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13990] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13990/stat : 13990 (java) S 13968 13971 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229034752736 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13991] ppid=13968 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/13971/task/13991/stat : 13991 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 10775 33554432000 4194304 4196468 140720861886704 140229033700272 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43100 KiB

[startup+0.309367 s]*
/proc/loadavg: 3.54 3.83 3.08 3/199 13991
/proc/meminfo: memFree=24114776/32770624 swapFree=67077156/67108860
[pid=13971] ppid=13968 vsize=26103424 memory=46744 CPUtime=0.43 cores=0-7
/proc/13971/stat : 13971 (java) S 13968 13971 12946 0 -1 1077944320 10895 0 0 0 39 4 0 0 20 0 20 0 81514839 26729906176 11686 33554432000 4194304 4196468 140720861886704 140720861869248 140229646708471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
/proc/13971/statm: 6525856 11686 3387 1 0 6487932 0
[pid=13971/tid=13973] ppid=13968 vsize=26103424 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/13971/task/13973/stat : 13973 (java) R 13968 13971 12946 0 -1 4202560 8572 0 0 0 27 3 0 0 20 0 20 0 81514839 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229650897416 140229628272013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13974] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13974/stat : 13974 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229609814800 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13975] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13975/stat : 13975 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229204114320 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13976] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13976/stat : 13976 (java) S 13968 13971 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229203061776 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13977] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13977/stat : 13977 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229202009232 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13978] ppid=13968 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/13971/task/13978/stat : 13978 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229200955664 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13979] ppid=13968 vsize=26103424 memory=140628973417391 CPUtime=0 cores=0-7
/proc/13971/task/13979/stat : 13979 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229199903120 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13980] ppid=13968 vsize=26103424 memory=140628973419696 CPUtime=0 cores=0-7
/proc/13971/task/13980/stat : 13980 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229198850576 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13981] ppid=13968 vsize=26103424 memory=140628973422000 CPUtime=0 cores=0-7
/proc/13971/task/13981/stat : 13981 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229197798032 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13982] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13982/stat : 13982 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514842 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229043173872 140229646719618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13983] ppid=13968 vsize=26103424 memory=281257946850960 CPUtime=0 cores=0-7
/proc/13971/task/13983/stat : 13983 (java) S 13968 13971 12946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81514842 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229042120096 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13984] ppid=13968 vsize=26103424 memory=281257946857872 CPUtime=0 cores=0-7
/proc/13971/task/13984/stat : 13984 (java) S 13968 13971 12946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81514843 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229041067504 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13985] ppid=13968 vsize=26103424 memory=281257946799024 CPUtime=0 cores=0-7
/proc/13971/task/13985/stat : 13985 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229040016080 140229646727067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13986] ppid=13968 vsize=26103424 memory=281257946871696 CPUtime=0 cores=0-7
/proc/13971/task/13986/stat : 13986 (java) S 13968 13971 12946 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229038962672 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13987] ppid=13968 vsize=26103424 memory=281257946878608 CPUtime=0.01 cores=0-7
/proc/13971/task/13987/stat : 13987 (java) S 13968 13971 12946 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 81514845 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229037910128 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13988] ppid=13968 vsize=26103424 memory=281257946876304 CPUtime=0.01 cores=0-7
/proc/13971/task/13988/stat : 13988 (java) S 13968 13971 12946 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 81514845 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229036857584 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13989] ppid=13968 vsize=26103424 memory=281257946892912 CPUtime=0.07 cores=0-7
/proc/13971/task/13989/stat : 13989 (java) S 13968 13971 12946 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 20 0 81514845 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229035805040 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13990] ppid=13968 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13990/stat : 13990 (java) S 13968 13971 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229034752736 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13991] ppid=13968 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/13971/task/13991/stat : 13991 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514845 26729906176 11686 33554432000 4194304 4196468 140720861886704 140229033700272 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46744 KiB

[startup+0.700918 s]
/proc/loadavg: 3.54 3.83 3.08 3/199 13991
/proc/meminfo: memFree=24101352/32770624 swapFree=67077156/67108860
[pid=13971] ppid=13968 vsize=26105492 memory=85208 CPUtime=0.99 cores=0-7
/proc/13971/stat : 13971 (java) S 13968 13971 12946 0 -1 1077944320 17736 0 0 0 93 6 0 0 20 0 20 0 81514839 26732023808 21302 33554432000 4194304 4196468 140720861886704 140720861869248 140229646708471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
/proc/13971/statm: 6526373 21302 3494 1 0 6488444 0
[pid=13971/tid=13973] ppid=13968 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/13971/task/13973/stat : 13973 (java) R 13968 13971 12946 0 -1 4202560 15030 0 0 0 62 5 0 0 20 0 20 0 81514839 26732023808 21302 33554432000 4194304 4196468 140720861886704 140229650914384 140229614304160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13974] ppid=13968 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13974/stat : 13974 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26732023808 21302 33554432000 4194304 4196468 140720861886704 140229609814800 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13975] ppid=13968 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13975/stat : 13975 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26732023808 21302 33554432000 4194304 4196468 140720861886704 140229204114320 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13976] ppid=13968 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/13971/task/13976/stat : 13976 (java) S 13968 13971 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81514840 26732023808 21302 33554432000 4194304 4196468 140720861886704 140229203061776 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13977] ppid=13968 vsize=26105492 memory=3032 CPUtime=0 cores=0-7
/proc/13971/task/13977/stat : 13977 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26732023808 21302 33554432000 4194304 4196468 140720861886704 140229202009232 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13978] ppid=13968 vsize=26105492 memory=2764 CPUtime=0 cores=0-7
/proc/13971/task/13978/stat : 13978 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514840 26732023808 21302 33554432000 4194304 4196468 140720861886704 140229200955664 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13979] ppid=13968 vsize=26105492 memory=796 CPUtime=0 cores=0-7
/proc/13971/task/13979/stat : 13979 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514840 26732023808 21302 33554432000 4194304 4196468 140720861886704 140229199903120 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13980] ppid=13968 vsize=26105492 memory=1008 CPUtime=0 cores=0-7
/proc/13971/task/13980/stat : 13980 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81514840 26732023808 21302 33554432000 4194304 4196468 140720861886704 140229198850576 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13981] ppid=13968 vsize=26105492 memory=15316 CPUtime=0 cores=0-7
/proc/13971/task/13981/stat : 13981 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514840 26732023808 21302 33554432000 4194304 4196468 140720861886704 140229197798032 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13982] ppid=13968 vsize=26105492 memory=3604 CPUtime=0 cores=0-7
/proc/13971/task/13982/stat : 13982 (java) S 13968 13971 12946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81514842 26732023808 21302 33554432000 4194304 4196468 140720861886704 140229043173872 140229646719618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0

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

[pid=13971/tid=13999] ppid=13968 vsize=27786012 memory=6498324 CPUtime=2457.1 cores=0-7
/proc/13971/task/13999/stat : 13999 (java) R 13968 13971 12946 0 -1 4202560 193840 0 0 0 245533 177 0 0 20 0 45 0 81516067 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140229008687152 140229289600732 0 4 0 16800975 0 0 0 -1 2 0 0 33 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14000] ppid=13968 vsize=27786012 memory=6508588 CPUtime=2454.75 cores=0-7
/proc/13971/task/14000/stat : 14000 (java) R 13968 13971 12946 0 -1 4202560 181260 0 0 0 245280 195 0 0 20 0 45 0 81516067 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140229007632616 140229289725624 0 4 0 16800975 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14001] ppid=13968 vsize=27786012 memory=21404 CPUtime=3.74 cores=0-7
/proc/13971/task/14001/stat : 14001 (java) S 13968 13971 12946 0 -1 1077944384 982 0 0 0 371 3 0 0 20 0 45 0 81516067 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140229006587664 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14002] ppid=13968 vsize=27786012 memory=6493196 CPUtime=0 cores=0-7
/proc/13971/task/14002/stat : 14002 (java) S 13968 13971 12946 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 45 0 81516067 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228803158816 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14003] ppid=13968 vsize=27786012 memory=1876 CPUtime=0 cores=0-7
/proc/13971/task/14003/stat : 14003 (java) S 13968 13971 12946 0 -1 1077944384 683 0 0 0 0 0 0 0 20 0 45 0 81516067 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228802106384 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14004] ppid=13968 vsize=27786012 memory=1828 CPUtime=2451.71 cores=0-7
/proc/13971/task/14004/stat : 14004 (java) R 13968 13971 12946 0 -1 4202560 195877 0 0 0 244962 209 0 0 20 0 45 0 81516067 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228801046088 140229296824929 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14005] ppid=13968 vsize=27786012 memory=800 CPUtime=2449.1 cores=0-7
/proc/13971/task/14005/stat : 14005 (java) R 13968 13971 12946 0 -1 4202560 188641 0 0 0 244723 187 0 0 20 0 45 0 81516068 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228799992760 140229292242240 0 4 0 16800975 0 0 0 -1 6 0 0 36 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14006] ppid=13968 vsize=27786012 memory=5204 CPUtime=2450.45 cores=0-7
/proc/13971/task/14006/stat : 14006 (java) R 13968 13971 12946 0 -1 4202560 216757 0 0 0 244833 212 0 0 20 0 45 0 81516068 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228798940824 140229292243777 0 4 0 16800975 0 0 0 -1 0 0 0 35 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14014] ppid=13968 vsize=27786012 memory=12816 CPUtime=0 cores=0-7
/proc/13971/task/14014/stat : 14014 (java) S 13968 13971 12946 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 45 0 81581726 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228793665040 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14015] ppid=13968 vsize=27786012 memory=6490120 CPUtime=0 cores=0-7
/proc/13971/task/14015/stat : 14015 (java) S 13968 13971 12946 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 45 0 81581727 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228792612496 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14016] ppid=13968 vsize=27786012 memory=6490120 CPUtime=0.01 cores=0-7
/proc/13971/task/14016/stat : 14016 (java) S 13968 13971 12946 0 -1 1077944384 635 0 0 0 1 0 0 0 20 0 45 0 81581727 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228791559952 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14017] ppid=13968 vsize=27786012 memory=3032 CPUtime=0.01 cores=0-7
/proc/13971/task/14017/stat : 14017 (java) S 13968 13971 12946 0 -1 1077944384 393 0 0 0 0 1 0 0 20 0 45 0 81581727 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228790506384 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14018] ppid=13968 vsize=27786012 memory=2764 CPUtime=0.01 cores=0-7
/proc/13971/task/14018/stat : 14018 (java) S 13968 13971 12946 0 -1 1077944384 540 0 0 0 0 1 0 0 20 0 45 0 81581727 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228789453840 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14019] ppid=13968 vsize=27786012 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/13971/task/14019/stat : 14019 (java) S 13968 13971 12946 0 -1 1077944384 515 0 0 0 0 1 0 0 20 0 45 0 81581747 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228788401296 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14020] ppid=13968 vsize=27786012 memory=6495244 CPUtime=0.01 cores=0-7
/proc/13971/task/14020/stat : 14020 (java) S 13968 13971 12946 0 -1 1077944384 703 0 0 0 1 0 0 0 20 0 45 0 81581749 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228787348752 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14021] ppid=13968 vsize=27786012 memory=776 CPUtime=0 cores=0-7
/proc/13971/task/14021/stat : 14021 (java) S 13968 13971 12946 0 -1 1077944384 668 0 0 0 0 0 0 0 20 0 45 0 81581750 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228786296208 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14022] ppid=13968 vsize=27786012 memory=1876 CPUtime=0 cores=0-7
/proc/13971/task/14022/stat : 14022 (java) S 13968 13971 12946 0 -1 1077944384 649 0 0 0 0 0 0 0 20 0 45 0 81581752 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228785243664 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14023] ppid=13968 vsize=27786012 memory=3544 CPUtime=0 cores=0-7
/proc/13971/task/14023/stat : 14023 (java) S 13968 13971 12946 0 -1 1077944384 490 0 0 0 0 0 0 0 20 0 45 0 81581754 28452876288 1622273 33554432000 4194304 4196468 140720861886704 140228784191120 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
Current children cumulated CPU time: 19831.1 s
Current children cumulated vsize: 27786012 KiB
Current children cumulated memory: 6489092 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.42 8.74 8.44 10/225 14063
/proc/meminfo: memFree=17685392/32770624 swapFree=67077168/67108860
[pid=13971] ppid=13968 vsize=27786012 memory=6477804 CPUtime=19971.8 cores=0-7
/proc/13971/stat : 13971 (java) S 13968 13971 12946 0 -1 1077944320 2802769 0 0 0 1994971 2211 0 0 20 0 45 0 81514839 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140720861869248 140229646708471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
/proc/13971/statm: 6946503 1619451 3634 1 0 6908053 0
[pid=13971/tid=13973] ppid=13968 vsize=27786012 memory=8242264893812663142 CPUtime=11.96 cores=0-7
/proc/13971/task/13973/stat : 13973 (java) S 13968 13971 12946 0 -1 1077944384 25319 0 0 0 1173 23 0 0 20 0 45 0 81514839 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229650945936 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13974] ppid=13968 vsize=27786012 memory=4642197910265684584 CPUtime=21.03 cores=0-7
/proc/13971/task/13974/stat : 13974 (java) S 13968 13971 12946 0 -1 1077944384 100953 0 0 0 2045 58 0 0 20 0 45 0 81514840 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229609814800 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13975] ppid=13968 vsize=27786012 memory=4126316290023845779 CPUtime=21.02 cores=0-7
/proc/13971/task/13975/stat : 13975 (java) S 13968 13971 12946 0 -1 1077944384 108125 0 0 0 2046 56 0 0 20 0 45 0 81514840 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229204114320 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13976] ppid=13968 vsize=27786012 memory=1408 CPUtime=20.99 cores=0-7
/proc/13971/task/13976/stat : 13976 (java) S 13968 13971 12946 0 -1 1077944384 100670 0 0 0 2045 54 0 0 20 0 45 0 81514840 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229203061776 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13977] ppid=13968 vsize=27786012 memory=4596 CPUtime=21.01 cores=0-7
/proc/13971/task/13977/stat : 13977 (java) S 13968 13971 12946 0 -1 1077944384 106038 0 0 0 2040 61 0 0 20 0 45 0 81514840 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229202009232 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13978] ppid=13968 vsize=27786012 memory=6482936 CPUtime=21.02 cores=0-7
/proc/13971/task/13978/stat : 13978 (java) S 13968 13971 12946 0 -1 1077944384 109947 0 0 0 2043 59 0 0 20 0 45 0 81514840 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229200955664 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13979] ppid=13968 vsize=27786012 memory=4108 CPUtime=21.03 cores=0-7
/proc/13971/task/13979/stat : 13979 (java) S 13968 13971 12946 0 -1 1077944384 114049 0 0 0 2045 58 0 0 20 0 45 0 81514840 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229199903120 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13980] ppid=13968 vsize=27786012 memory=1398720917958146503 CPUtime=20.98 cores=0-7
/proc/13971/task/13980/stat : 13980 (java) S 13968 13971 12946 0 -1 1077944384 95919 0 0 0 2046 52 0 0 20 0 45 0 81514840 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229198850576 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13981] ppid=13968 vsize=27786012 memory=4126316290023845779 CPUtime=21.07 cores=0-7
/proc/13971/task/13981/stat : 13981 (java) S 13968 13971 12946 0 -1 1077944384 111363 0 0 0 2049 58 0 0 20 0 45 0 81514840 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229197798032 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13982] ppid=13968 vsize=27786012 memory=1692 CPUtime=3.05 cores=0-7
/proc/13971/task/13982/stat : 13982 (java) S 13968 13971 12946 0 -1 1077944384 106956 0 0 0 261 44 0 0 20 0 45 0 81514842 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229043173872 140229646719618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13983] ppid=13968 vsize=27786012 memory=916 CPUtime=0 cores=0-7
/proc/13971/task/13983/stat : 13983 (java) S 13968 13971 12946 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 45 0 81514842 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229042120160 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13984] ppid=13968 vsize=27786012 memory=4856 CPUtime=0 cores=0-7
/proc/13971/task/13984/stat : 13984 (java) S 13968 13971 12946 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 45 0 81514843 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229041067520 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13985] ppid=13968 vsize=27786012 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13971/task/13985/stat : 13985 (java) S 13968 13971 12946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 45 0 81514845 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229040016080 140229646727067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13986] ppid=13968 vsize=27786012 memory=1760 CPUtime=4.61 cores=0-7
/proc/13971/task/13986/stat : 13986 (java) S 13968 13971 12946 0 -1 1077944384 23364 0 0 0 456 5 0 0 20 0 45 0 81514845 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229038962672 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13987] ppid=13968 vsize=27786012 memory=960 CPUtime=4.51 cores=0-7
/proc/13971/task/13987/stat : 13987 (java) S 13968 13971 12946 0 -1 1077944384 18650 0 0 0 446 5 0 0 20 0 45 0 81514845 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229037910128 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13988] ppid=13968 vsize=27786012 memory=1220 CPUtime=4.88 cores=0-7
/proc/13971/task/13988/stat : 13988 (java) S 13968 13971 12946 0 -1 1077944384 23476 0 0 0 483 5 0 0 20 0 45 0 81514845 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229036857584 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13989] ppid=13968 vsize=27786012 memory=1548 CPUtime=1.96 cores=0-7
/proc/13971/task/13989/stat : 13989 (java) S 13968 13971 12946 0 -1 1077944384 45938 0 0 0 187 9 0 0 20 0 45 0 81514845 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229035805040 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13990] ppid=13968 vsize=27786012 memory=2164 CPUtime=0 cores=0-7
/proc/13971/task/13990/stat : 13990 (java) S 13968 13971 12946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 81514845 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229034752736 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13991] ppid=13968 vsize=27786012 memory=3700 CPUtime=0.95 cores=0-7
/proc/13971/task/13991/stat : 13991 (java) S 13968 13971 12946 0 -1 1077944384 8071 0 0 0 51 44 0 0 20 0 45 0 81514845 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229033700272 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13992] ppid=13968 vsize=27786012 memory=844 CPUtime=0.03 cores=0-7
/proc/13971/task/13992/stat : 13992 (java) S 13968 13971 12946 0 -1 1077944384 3096 0 0 0 2 1 0 0 20 0 45 0 81516021 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229020255536 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13993] ppid=13968 vsize=27786012 memory=1460 CPUtime=5.02 cores=0-7
/proc/13971/task/13993/stat : 13993 (java) S 13968 13971 12946 0 -1 1077944384 14975 0 0 0 237 265 0 0 20 0 45 0 81516045 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229017106080 140229646719618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13994] ppid=13968 vsize=27786012 memory=2160 CPUtime=2469.6 cores=0-7
/proc/13971/task/13994/stat : 13994 (java) R 13968 13971 12946 0 -1 4202560 261364 0 0 0 246711 249 0 0 20 0 45 0 81516059 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229013947032 140229296906654 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13995] ppid=13968 vsize=27786012 memory=6768 CPUtime=3.74 cores=0-7
/proc/13971/task/13995/stat : 13995 (java) S 13968 13971 12946 0 -1 1077944384 742 0 0 0 368 6 0 0 20 0 45 0 81516060 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229012902816 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13996] ppid=13968 vsize=27786012 memory=824 CPUtime=3.75 cores=0-7
/proc/13971/task/13996/stat : 13996 (java) S 13968 13971 12946 0 -1 1077944384 1935 0 0 0 370 5 0 0 20 0 45 0 81516060 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229011850384 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13997] ppid=13968 vsize=27786012 memory=1692 CPUtime=2469.18 cores=0-7
/proc/13971/task/13997/stat : 13997 (java) R 13968 13971 12946 0 -1 4202560 217655 0 0 0 246701 217 0 0 20 0 45 0 81516067 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229010789768 140229631085591 0 4 0 16800975 0 0 0 -1 6 0 0 25 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13998] ppid=13968 vsize=27786012 memory=6791534058613427641 CPUtime=2465.99 cores=0-7
/proc/13971/task/13998/stat : 13998 (java) R 13968 13971 12946 0 -1 4202560 218759 0 0 0 246402 197 0 0 20 0 45 0 81516067 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229009736856 140229296824620 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=13999] ppid=13968 vsize=27786012 memory=3032 CPUtime=2474.59 cores=0-7
/proc/13971/task/13999/stat : 13999 (java) R 13968 13971 12946 0 -1 4202560 193955 0 0 0 247282 177 0 0 20 0 45 0 81516067 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229008684200 140229292300885 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14000] ppid=13968 vsize=27786012 memory=2764 CPUtime=2472.17 cores=0-7
/proc/13971/task/14000/stat : 14000 (java) R 13968 13971 12946 0 -1 4202560 181318 0 0 0 247022 195 0 0 20 0 45 0 81516067 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229007632384 140229292300885 0 4 0 16800975 0 0 0 -1 4 0 0 28 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14001] ppid=13968 vsize=27786012 memory=796 CPUtime=3.74 cores=0-7
/proc/13971/task/14001/stat : 14001 (java) S 13968 13971 12946 0 -1 1077944384 982 0 0 0 371 3 0 0 20 0 45 0 81516067 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140229006587664 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14002] ppid=13968 vsize=27786012 memory=1008 CPUtime=0 cores=0-7
/proc/13971/task/14002/stat : 14002 (java) S 13968 13971 12946 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 45 0 81516067 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228803158816 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14003] ppid=13968 vsize=27786012 memory=15316 CPUtime=0 cores=0-7
/proc/13971/task/14003/stat : 14003 (java) S 13968 13971 12946 0 -1 1077944384 683 0 0 0 0 0 0 0 20 0 45 0 81516067 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228802106384 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14004] ppid=13968 vsize=27786012 memory=0 CPUtime=2469.09 cores=0-7
/proc/13971/task/14004/stat : 14004 (java) R 13968 13971 12946 0 -1 4202560 196000 0 0 0 246700 209 0 0 20 0 45 0 81516067 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228801045672 140229289600876 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14005] ppid=13968 vsize=27786012 memory=8098715004751470952 CPUtime=2466.59 cores=0-7
/proc/13971/task/14005/stat : 14005 (java) R 13968 13971 12946 0 -1 4202560 188712 0 0 0 246471 188 0 0 20 0 45 0 81516068 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228799993128 140229293889481 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14006] ppid=13968 vsize=27786012 memory=6224370970525656169 CPUtime=2467.91 cores=0-7
/proc/13971/task/14006/stat : 14006 (java) R 13968 13971 12946 0 -1 4202560 216837 0 0 0 246579 212 0 0 20 0 45 0 81516068 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228798943264 140229286275568 0 4 0 16800975 0 0 0 -1 0 0 0 35 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14014] ppid=13968 vsize=27786012 memory=7157159209185536111 CPUtime=0 cores=0-7
/proc/13971/task/14014/stat : 14014 (java) S 13968 13971 12946 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 45 0 81581726 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228793665040 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14015] ppid=13968 vsize=27786012 memory=7739558436689437800 CPUtime=0 cores=0-7
/proc/13971/task/14015/stat : 14015 (java) S 13968 13971 12946 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 45 0 81581727 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228792612496 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14016] ppid=13968 vsize=27786012 memory=7525629792051687009 CPUtime=0.01 cores=0-7
/proc/13971/task/14016/stat : 14016 (java) S 13968 13971 12946 0 -1 1077944384 635 0 0 0 1 0 0 0 20 0 45 0 81581727 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228791559952 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14017] ppid=13968 vsize=27786012 memory=6005094254251634532 CPUtime=0.01 cores=0-7
/proc/13971/task/14017/stat : 14017 (java) S 13968 13971 12946 0 -1 1077944384 393 0 0 0 0 1 0 0 20 0 45 0 81581727 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228790506384 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14018] ppid=13968 vsize=27786012 memory=1508 CPUtime=0.01 cores=0-7
/proc/13971/task/14018/stat : 14018 (java) S 13968 13971 12946 0 -1 1077944384 540 0 0 0 0 1 0 0 20 0 45 0 81581727 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228789453840 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14019] ppid=13968 vsize=27786012 memory=916 CPUtime=0.01 cores=0-7
/proc/13971/task/14019/stat : 14019 (java) S 13968 13971 12946 0 -1 1077944384 515 0 0 0 0 1 0 0 20 0 45 0 81581747 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228788401296 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14020] ppid=13968 vsize=27786012 memory=4856 CPUtime=0.01 cores=0-7
/proc/13971/task/14020/stat : 14020 (java) S 13968 13971 12946 0 -1 1077944384 703 0 0 0 1 0 0 0 20 0 45 0 81581749 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228787348752 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14021] ppid=13968 vsize=27786012 memory=1408 CPUtime=0 cores=0-7
/proc/13971/task/14021/stat : 14021 (java) S 13968 13971 12946 0 -1 1077944384 668 0 0 0 0 0 0 0 20 0 45 0 81581750 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228786296208 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14022] ppid=13968 vsize=27786012 memory=4596 CPUtime=0 cores=0-7
/proc/13971/task/14022/stat : 14022 (java) S 13968 13971 12946 0 -1 1077944384 649 0 0 0 0 0 0 0 20 0 45 0 81581752 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228785243664 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
[pid=13971/tid=14023] ppid=13968 vsize=27786012 memory=6477808 CPUtime=0 cores=0-7
/proc/13971/task/14023/stat : 14023 (java) S 13968 13971 12946 0 -1 1077944384 490 0 0 0 0 0 0 0 20 0 45 0 81581754 28452876288 1619451 33554432000 4194304 4196468 140720861886704 140228784191120 140229646718677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32649216 140720861889613 140720861889797 140720861889797 140720861892559 0
Current children cumulated CPU time: 19971.8 s
Current children cumulated vsize: 27786012 KiB
Current children cumulated memory: 6477804 KiB

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

[startup+2520.44 s]
# the end of solver process 13971 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19952.7 s, system=22.1578 s

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

[startup+2520.4 s]*
/proc/loadavg: 8.79 8.81 8.46 2/182 14066
/proc/meminfo: memFree=17746164/32770624 swapFree=67077168/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.44
CPU time (s): 19974.8
CPU user time (s): 19952.7
CPU system time (s): 22.1578
CPU usage (%): 792.514
Max. virtual memory (cumulated for all children) (KiB): 27985704
Max. memory (cumulated for all children) (KiB): 8194088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19952.7
system time used= 22.1578
maximum resident set size= 8194088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2810018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 438631
involuntary context switches= 420595


# summary of solver processes directly reported to runsolver:
#   pid: 13971
#   total CPU time (s): 19974.8
#   total CPU user time (s): 19952.7
#   total CPU system time (s): 22.1578

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.266 second user time and 35.1766 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-26 23:11:57
IDJOB=4291860
IDBENCH=141189
IDSOLVER=2745
FILE ID=node102/4291860-1532639517
RUNJOBID= node102-1532633897-12973
PBS_JOBID= 21022186
Free space on /tmp= 52748 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-08-opt_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291860-1532639517/watcher-4291860-1532639517 -o /tmp/evaluation-result-4291860-1532639517/solver-4291860-1532639517 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532633897-12973 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1385594017 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291860-1532639517.xml

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

MD5SUM BENCH= 9be5bd0a86f9e024d7fdf548556c4b89
RANDOM SEED=1385594017

node102.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.51
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.51
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.51
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.51
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:        24166384 kB
MemAvailable:   31958356 kB
Buffers:          201000 kB
Cached:          7826796 kB
SwapCached:         5172 kB
Active:          1390388 kB
Inactive:        6671896 kB
Active(anon):       5524 kB
Inactive(anon):    53672 kB
Active(file):    1384864 kB
Inactive(file):  6618224 kB
Unevictable:        6616 kB
Mlocked:            6616 kB
SwapTotal:      67108860 kB
SwapFree:       67077156 kB
Dirty:             35944 kB
Writeback:             0 kB
AnonPages:         64144 kB
Mapped:            34084 kB
Shmem:             22076 kB
Slab:             237428 kB
SReclaimable:     209440 kB
SUnreclaim:        27988 kB
KernelStack:        3520 kB
PageTables:         4904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52712 MiB
End job on node102 at 2018-07-26 23:53:57