Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering with restarts 2018-08-14 | SAT (TO) | 316240 | 2520.06 | 2486.83 |
Name | Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml |
MD5SUM | 19bcf73076031218e5fd4b7208c9a15e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19049 |
Best CPU time to get the best result obtained on this benchmark | 2400.17 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4749 |
Number of constraints | 4410 |
Number of domains | 9 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}] |
Minimum variable degree | 2 |
Maximum variable degree | 63 |
Distribution of variable degrees | [{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 280 |
Distribution of constraint arities | [{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4409 |
Distribution of constraint types | [{"type":"intension","count":4409},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.67/0.56 c version: 2018-08-14 0.67/0.57 c seed: 1596178237 0.67/0.57 c timeout: 2520 0.67/0.57 c memlimit: 11000 0.67/0.57 c nbcore: 4 0.67/0.59 c Parsing instance... 9.49/4.74 c Parsing done, starting search... 164.18/155.33 o 396077 164.18/155.34 o 396067 164.18/155.34 o 395067 164.18/155.35 o 393067 164.18/155.36 o 392967 164.18/155.36 o 392957 164.18/155.37 o 391967 164.18/155.38 o 390967 164.18/155.38 o 389967 164.18/155.39 o 389867 164.18/155.39 o 388867 164.18/155.40 o 387867 164.43/155.41 o 386867 164.43/155.41 o 386858 164.43/155.42 o 386838 164.43/155.43 o 384838 164.43/155.43 o 384837 164.43/155.44 o 383837 164.43/155.45 o 382837 164.43/155.46 o 382836 164.43/155.47 o 382736 164.43/155.48 o 382135 164.43/155.49 o 382125 164.43/155.49 o 382025 164.43/155.50 o 381925 164.71/155.50 o 381825 164.71/155.51 o 381736 164.71/155.51 o 381735 164.71/155.52 o 381726 164.71/155.52 o 381724 164.71/155.53 o 381635 164.71/155.54 o 381625 164.71/155.54 o 381624 164.71/155.60 o 381069 164.71/155.61 o 381061 164.91/155.61 o 381051 164.91/155.61 o 381041 164.91/155.62 o 381039 164.91/155.62 o 381038 164.91/155.62 o 381037 164.91/155.63 o 381036 164.91/155.63 o 381026 164.91/155.63 o 380026 164.91/155.64 o 379926 164.91/155.64 o 379837 164.91/155.65 o 379737 164.91/155.65 o 379736 164.91/155.66 o 379727 164.91/155.66 o 379723 164.91/155.67 o 379623 165.04/155.70 o 379434 165.04/155.70 o 379433 165.04/155.71 o 379423 165.04/155.71 o 379422 165.04/155.72 o 379322 165.04/155.75 o 378524 165.04/155.75 o 378523 165.04/155.76 o 378522 165.04/155.76 o 378422 165.04/155.78 o 378323 165.04/155.78 o 378313 165.04/155.79 o 378312 165.04/155.79 o 378225 165.14/155.80 o 378224 165.14/155.80 o 378223 165.14/155.81 o 378214 165.14/155.81 o 378213 165.14/155.82 o 378212 165.14/155.82 o 377312 165.14/155.83 o 377212 165.14/155.85 o 377203 165.14/155.87 o 377105 165.14/155.88 o 377104 165.14/155.88 o 377103 165.26/155.91 o 376205 165.26/155.91 o 376204 165.26/155.92 o 376103 165.26/155.96 o 376013 165.39/156.03 o 374614 165.39/156.03 o 374514 165.39/156.03 o 374513 165.39/156.04 o 374512 165.39/156.04 o 374501 165.39/156.05 o 374481 165.49/156.12 o 374420 165.49/156.13 o 374419 165.49/156.13 o 374410 165.49/156.14 o 374401 165.49/156.16 o 374381 165.49/156.16 o 374380 165.49/156.18 o 374371 165.49/156.19 o 374281 165.60/156.21 o 374182 165.60/156.22 o 374181 165.60/156.24 o 374177 165.60/156.25 o 373977 165.60/156.29 o 373976 165.70/156.30 o 373966 165.70/156.31 o 373877 165.70/156.36 o 373876 165.90/156.57 o 372778 165.90/156.57 o 372687 166.00/156.65 o 372035 166.00/156.65 o 372034 166.00/156.66 o 372033 166.00/156.66 o 372032 166.00/156.66 o 372030 166.00/156.67 o 372029 166.00/156.67 o 372018 166.00/156.68 o 372017 166.00/156.69 o 371998 166.00/156.69 o 371997 166.10/156.70 o 371797 166.10/156.71 o 371796 166.10/156.71 o 371685 166.10/156.72 o 371676 166.10/156.75 o 370988 166.10/156.75 o 370979 166.10/156.76 o 370889 166.10/156.78 o 370888 166.10/156.79 o 370805 166.21/156.80 o 370804 166.21/156.81 o 370693 166.21/156.82 o 370684 166.31/156.93 o 370683 166.31/156.93 o 370674 166.31/156.94 o 370673 166.61/157.29 o 370662 166.61/157.30 o 370653 166.71/157.30 o 370564 166.71/157.31 o 370474 166.71/157.32 o 370473 166.71/157.39 o 370004 166.81/157.40 o 369925 166.81/157.41 o 369924 166.81/157.41 o 369914 166.81/157.42 o 369904 166.81/157.43 o 368794 166.81/157.44 o 367784 166.81/157.45 o 367765 166.81/157.46 o 367756 166.81/157.46 o 367754 166.81/157.47 o 367753 166.81/157.47 o 367664 166.81/157.48 o 366674 166.81/157.49 o 366664 166.92/157.51 o 366065 166.92/157.52 o 365863 166.92/157.52 o 365854 166.92/157.53 o 365764 166.92/157.55 o 365763 166.92/157.56 o 365563 166.92/157.56 o 365463 167.03/157.68 o 365384 167.03/157.68 o 365375 167.03/157.69 o 365364 167.13/157.71 o 365363 167.49/158.04 o 364788 167.49/158.04 o 364688 167.49/158.05 o 364588 167.49/158.05 o 364579 167.49/158.06 o 364569 167.49/158.07 o 364567 167.49/158.08 o 364478 167.49/158.09 o 363567 167.49/158.10 o 363557 167.59/158.11 o 363468 167.59/158.12 o 363264 167.59/158.13 o 363263 167.59/158.17 o 362473 167.59/158.18 o 362464 167.59/158.19 o 362453 167.68/158.20 o 362452 167.68/158.20 o 362363 168.08/158.67 o 361773 168.08/158.67 o 361772 168.08/158.67 o 361771 168.08/158.68 o 361671 168.08/158.68 o 361662 168.08/158.69 o 361652 168.19/158.70 o 361563 168.19/158.71 o 361553 168.19/158.72 o 361472 168.19/158.72 o 361463 168.39/158.90 o 361393 168.39/158.90 o 361384 168.39/158.91 o 361374 168.50/159.02 o 361373 168.50/159.03 o 361372 168.50/159.04 o 361363 169.50/160.03 o 361362 169.50/160.04 o 361353 171.65/162.18 o 361082 171.65/162.18 o 361072 171.65/162.18 o 361071 171.65/162.19 o 361070 171.65/162.19 o 360970 171.74/162.20 o 360870 171.74/162.21 o 360770 171.74/162.22 o 360680 171.74/162.23 o 360670 171.94/162.40 o 360658 171.94/162.41 o 360648 171.94/162.41 o 360639 171.94/162.44 o 360560 171.94/162.45 o 360550 172.04/162.56 o 360549 172.34/162.88 o 360548 172.34/162.89 o 360539 172.44/162.91 o 360538 172.74/163.29 o 360537 172.74/163.29 o 360528 173.14/163.67 o 359849 173.14/163.67 o 359840 173.14/163.69 o 359638 173.14/163.69 o 359629 173.24/163.72 o 359628 173.24/163.72 o 359618 173.34/163.86 o 359557 173.34/163.86 o 359548 173.34/163.87 o 359538 173.34/163.88 o 359528 177.67/168.14 o 359527 177.67/168.16 o 359506 177.67/168.18 o 359495 177.86/168.37 o 359494 178.16/168.63 o 359493 178.16/168.63 o 359483 178.76/169.29 o 359474 179.46/169.95 o 359473 179.76/170.29 o 359415 179.76/170.29 o 359406 179.86/170.30 o 359396 179.86/170.31 o 359385 180.36/170.85 o 359354 180.59/171.04 o 359353 182.08/172.60 o 359284 182.18/172.60 o 359275 182.18/172.61 o 359265 182.18/172.67 o 359264 191.99/182.47 o 359226 191.99/182.48 o 359126 191.99/182.48 o 359026 191.99/182.49 o 358926 191.99/182.50 o 358827 192.09/182.51 o 358728 192.09/182.52 o 358727 192.20/182.62 o 358717 192.20/182.67 o 358709 192.20/182.68 o 358707 192.30/182.80 o 358697 192.41/182.80 o 358687 192.41/182.83 o 356797 192.41/182.84 o 356707 192.41/182.85 o 356697 192.41/182.86 o 356687 192.51/182.97 o 356608 192.51/182.98 o 356607 192.51/182.99 o 356597 192.51/183.00 o 356587 192.72/183.15 o 356457 192.72/183.16 o 356447 192.72/183.17 o 356446 192.72/183.18 o 356436 238.54/228.74 o 350297 238.54/228.74 o 349297 238.54/228.75 o 349287 238.54/228.75 o 347397 238.54/228.76 o 347387 238.54/228.77 o 347386 238.54/228.77 o 346377 238.54/228.78 o 346376 238.64/228.84 o 346371 238.64/228.84 o 346370 238.64/228.85 o 346368 238.64/228.85 o 346358 238.64/228.86 o 346357 238.64/228.86 o 346356 238.64/228.89 o 345356 238.74/228.91 o 344356 238.74/228.92 o 343366 238.74/228.93 o 343356 238.74/228.95 o 341337 238.74/228.96 o 341336 238.74/228.98 o 341236 238.74/228.98 o 341136 238.74/229.00 o 339136 238.86/229.02 o 337124 238.86/229.03 o 337114 238.86/229.04 o 337113 238.86/229.05 o 337112 238.86/229.06 o 337003 238.86/229.07 o 337002 238.86/229.08 o 336800 238.96/229.11 o 336790 238.96/229.12 o 336690 238.96/229.12 o 336680 238.96/229.14 o 335700 238.96/229.15 o 335690 238.96/229.17 o 335681 238.96/229.19 o 335607 239.05/229.20 o 335509 239.05/229.21 o 335499 239.17/229.32 o 335471 239.17/229.32 o 335469 239.17/229.33 o 335468 239.17/229.33 o 335379 239.17/229.34 o 335369 239.27/229.46 o 335279 239.37/229.50 o 334480 239.37/229.50 o 334470 239.37/229.55 o 334469 239.88/230.10 o 333471 239.98/230.11 o 333370 239.98/230.13 o 332470 240.07/230.26 o 332469 240.17/230.33 o 332410 240.17/230.34 o 331601 240.17/230.36 o 331469 240.57/230.72 o 331399 240.57/230.72 o 331389 240.57/230.73 o 331379 240.67/230.82 o 331290 240.67/230.82 o 331289 240.67/230.83 o 331279 240.77/230.92 o 331278 240.88/231.07 o 330721 240.88/231.07 o 330621 240.88/231.07 o 330611 240.88/231.09 o 330601 240.98/231.12 o 330489 240.98/231.13 o 330479 240.98/231.14 o 330469 241.18/231.35 o 330468 241.68/231.88 o 330458 244.40/234.51 o 330457 262.42/252.47 o 330431 262.42/252.48 o 330430 262.42/252.48 o 330420 262.42/252.49 o 330419 262.42/252.49 o 330319 262.52/252.50 o 330317 262.52/252.51 o 330117 262.52/252.52 o 329915 262.52/252.53 o 329614 266.27/256.26 o 329607 374.56/363.97 o 329488 374.56/363.97 o 329487 374.56/363.97 o 329477 374.56/363.98 o 329377 374.56/363.98 o 328377 374.56/363.99 o 328367 374.56/364.00 o 328267 374.67/364.01 o 328262 374.67/364.02 o 328258 374.67/364.02 o 328257 374.67/364.05 o 328178 374.67/364.05 o 328169 374.67/364.06 o 328168 374.67/364.09 o 328167 374.77/364.13 o 328157 374.77/364.14 o 328156 374.77/364.16 o 328147 374.77/364.17 o 328146 376.69/366.05 o 328054 376.69/366.06 o 328045 376.69/366.07 o 328044 376.79/366.13 o 328034 376.79/366.14 o 328033 387.86/377.18 o 327955 387.86/377.19 o 327954 388.15/377.48 o 327944 388.15/377.49 o 327943 388.56/377.82 o 327934 388.56/377.82 o 327933 394.71/383.95 o 327853 394.71/383.95 o 326853 394.71/383.96 o 326843 394.93/384.15 o 326842 395.52/384.75 o 326839 395.52/384.75 o 326838 395.52/384.76 o 326837 395.52/384.76 o 326835 395.52/384.77 o 326834 395.63/384.84 o 326833 396.05/385.28 o 326823 397.68/386.80 o 326760 397.68/386.81 o 326749 397.68/386.82 o 326739 397.68/386.82 o 326738 397.68/386.83 o 326737 397.68/386.83 o 326736 397.99/387.19 o 326734 398.08/387.20 o 326724 398.80/387.94 o 326654 398.80/387.95 o 326633 398.80/387.95 o 326624 524.37/512.11 o 326619 524.37/512.11 o 326617 524.37/512.12 o 326616 524.37/512.12 o 326615 524.37/512.13 o 324503 524.37/512.14 o 324394 524.37/512.15 o 324393 524.37/512.16 o 324292 524.37/512.16 o 324192 524.37/512.17 o 323192 524.37/512.19 o 322081 524.47/512.20 o 321071 524.47/512.22 o 320082 524.47/512.23 o 319992 524.47/512.24 o 319982 524.47/512.25 o 319981 524.47/512.26 o 319971 524.47/512.28 o 319072 524.47/512.29 o 318972 524.57/512.30 o 318971 524.57/512.33 o 318893 524.57/512.33 o 318883 524.57/512.34 o 318882 524.57/512.34 o 318871 524.57/512.35 o 318771 524.57/512.37 o 318760 524.57/512.37 o 318759 524.77/512.53 o 318750 524.77/512.58 o 318749 526.70/514.45 o 318713 526.70/514.45 o 318712 526.70/514.46 o 318702 526.70/514.46 o 318692 526.70/514.47 o 318682 526.70/514.47 o 318670 526.70/514.48 o 318660 526.80/514.55 o 318659 526.80/514.59 o 318650 526.80/514.60 o 318649 2254.05/2224.04 o 318616 2254.05/2224.05 o 318606 2254.05/2224.06 o 318596 2254.05/2224.07 o 318595 2254.05/2224.08 o 318585 2254.05/2224.09 o 318575 2254.05/2224.10 o 318574 2254.05/2224.10 o 318573 2254.15/2224.11 o 318563 2254.15/2224.12 o 318553 2254.15/2224.17 o 318455 2254.15/2224.18 o 318454 2254.15/2224.18 o 318453 2254.15/2224.19 o 318452 2254.24/2224.20 o 318432 2254.24/2224.21 o 318332 2254.24/2224.23 o 318330 2254.24/2224.23 o 318329 2254.24/2224.24 o 318319 2254.45/2224.42 o 316504 2254.45/2224.43 o 316503 2254.45/2224.43 o 316493 2254.45/2224.44 o 316393 2254.45/2224.44 o 316383 2254.45/2224.45 o 316382 2254.45/2224.45 o 316381 2254.45/2224.46 o 316371 2254.45/2224.47 o 316361 2254.45/2224.47 o 316360 2254.45/2224.48 o 316350 2254.45/2224.49 o 316330 2254.55/2224.50 o 316320 2357.21/2325.89 o 316303 2357.31/2325.90 o 316293 2357.31/2325.91 o 316283 2357.31/2325.91 o 316282 2357.31/2325.99 o 316274 2357.31/2325.99 o 316273 2357.31/2326.00 o 316272 2357.31/2326.00 o 316262 2357.42/2326.01 o 316252 2357.42/2326.03 o 316251 2357.42/2326.04 o 316241 2360.37/2328.98 o 316240 2520.01/2486.80 s SATISFIABLE 2520.01/2486.81 v <instantiation> 2520.01/2486.81 v <list> 2520.01/2486.81 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] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] 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] 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] 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] 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] 2520.01/2486.81 v </list> 2520.01/2486.81 v <values> 2520.01/2486.81 v 442 680 554 792 694 456 310 72 282 44 428 666 512 750 680 442 310 72 380 142 16 254 16 254 554 792 16 254 694 456 254 16 484 722 414 652 540 778 254 16 442 680 428 666 554 792 498 736 254 16 722 484 44 282 338 100 16 254 722 484 338 100 512 750 44 282 156 394 324 86 750 512 58 296 254 16 16 254 142 380 156 394 296 58 44 282 380 142 792 554 366 128 156 394 30 268 254 16 526 764 540 778 428 666 666 428 414 652 540 778 366 128 750 512 652 414 456 694 44 282 30 268 16 254 428 666 30 268 310 72 428 666 296 58 16 254 442 680 156 394 442 680 442 680 58 296 128 366 394 156 16 254 750 512 44 282 792 554 170 408 58 296 750 512 282 44 268 30 666 428 268 30 58 296 352 114 666 428 484 722 324 86 526 764 296 58 680 442 142 380 666 428 142 380 366 128 792 554 352 114 778 540 414 652 352 114 254 16 142 380 526 764 526 764 526 764 72 310 456 694 722 484 142 380 428 666 694 456 456 694 764 526 268 30 58 296 86 324 666 428 428 666 470 708 540 778 282 44 268 30 30 268 778 540 540 778 30 268 498 736 778 540 282 44 30 268 442 680 310 72 778 540 100 338 428 666 338 100 44 282 694 456 296 58 86 324 30 268 282 44 296 58 540 778 526 764 380 142 268 30 722 484 114 352 30 268 498 736 142 380 324 86 456 694 540 778 512 750 484 722 708 470 268 30 324 86 666 428 30 268 708 470 338 100 86 324 428 666 540 778 44 282 694 456 540 778 142 380 470 708 30 268 338 100 750 512 764 526 72 310 142 380 484 722 792 554 470 708 512 750 778 540 380 142 310 72 456 694 282 44 142 380 380 142 498 736 338 100 666 428 254 16 282 44 72 310 44 282 736 498 414 652 380 142 680 442 428 666 366 128 380 142 750 512 708 470 324 86 736 498 428 666 394 156 296 58 666 428 86 324 282 44 694 456 680 442 352 114 764 526 708 470 722 484 86 324 428 666 778 540 128 366 736 498 498 736 58 296 142 380 526 764 268 30 352 114 414 652 268 30 16 254 156 394 750 512 778 540 764 526 338 100 456 694 268 30 512 750 142 380 484 722 352 114 30 268 114 352 442 680 652 414 156 394 484 722 30 268 778 540 352 114 142 380 722 484 268 30 128 366 778 540 268 30 380 142 296 58 470 708 352 114 268 30 268 30 540 778 694 456 470 708 456 694 366 128 778 540 708 470 128 366 128 366 268 30 310 72 394 156 540 778 428 666 58 296 142 380 268 30 428 666 352 114 708 470 540 778 442 680 296 58 72 310 764 526 442 680 442 680 428 666 100 338 498 736 338 100 296 58 680 442 366 128 30 268 142 380 44 282 666 428 142 380 512 750 310 72 512 750 338 100 736 498 114 352 156 394 100 338 16 254 484 722 366 128 30 268 394 156 380 142 268 30 764 526 86 324 142 380 142 380 666 428 282 44 324 86 44 282 380 142 86 324 484 722 72 310 764 526 764 526 114 352 414 652 268 30 142 380 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 1000 1000 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 0 0 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 1000 1000 0 1000 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 1000 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 1000 0 1000 1000 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 0 0 0 0 1000 0 1000 1000 0 0 1000 1000 0 1000 1000 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 1000 1000 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 1000 1000 1000 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 0 1000 1000 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 100 100 0 100 100 0 0 100 100 0 100 100 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 100 100 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 100 0 100 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 100 100 0 100 0 100 0 100 0 0 100 0 0 0 100 0 100 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 100 100 0 0 100 0 100 100 100 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 100 100 0 0 0 0 0 0 0 100 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 100 0 100 100 0 100 0 0 100 100 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 100 100 0 0 0 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 100 100 100 100 100 0 100 0 0 0 100 100 100 100 0 0 0 100 100 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 100 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 100 100 100 100 100 0 100 0 0 0 0 0 100 100 100 100 100 0 100 0 0 100 0 100 0 0 0 100 0 0 0 100 0 0 0 100 100 0 100 100 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 100 100 100 100 0 100 100 100 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 100 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 100 100 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 100 0 100 0 0 0 100 100 100 100 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 100 0 0 100 100 100 0 0 0 100 0 100 0 100 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 100 0 0 0 0 0 0 0 100 100 100 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 10 0 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 10 10 10 10 0 10 10 0 0 0 0 0 0 10 10 0 0 0 10 0 0 10 10 0 0 0 10 0 10 10 0 10 0 0 0 10 10 10 0 0 10 10 10 0 10 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 10 10 0 10 10 0 0 0 10 0 10 0 0 0 0 0 10 0 0 10 0 10 10 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 0 0 10 0 0 10 0 0 0 0 0 10 10 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 10 10 10 10 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 10 0 10 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 10 10 10 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 10 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 10 10 0 0 10 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 10 10 10 10 0 10 10 0 0 10 0 0 10 10 10 0 0 10 0 0 0 0 0 0 0 10 10 10 0 10 10 0 0 10 0 10 10 10 10 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 10 0 10 0 0 0 0 0 10 0 10 10 10 0 10 0 10 0 10 10 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 10 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 10 0 10 10 0 10 10 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 10 10 10 0 0 0 10 10 10 10 0 0 0 10 0 10 10 0 0 0 0 0 0 10 10 10 10 10 10 0 0 10 0 0 0 10 10 0 0 10 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 2520.01/2486.81 v </values> 2520.01/2486.81 v </instantiation>
OK 316240
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 (13183 MiB free) memory of node 1: 16384 MiB (11037 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308288-1534280580/watcher-4308288-1534280580 -o /tmp/evaluation-result-4308288-1534280580/solver-4308288-1534280580 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534270595-13935 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1596178237 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308288-1534280580.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=14995, runsolver pid=14992 [startup+0.100058 s]* /proc/loadavg: 1.21 1.22 1.27 5/215 15031 /proc/meminfo: memFree=24769868/32770624 swapFree=67108524/67108860 [pid=14995] ppid=14992 vsize=14082736 memory=30228 CPUtime=0.12 cores=0,2,4,6 /proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 6489 0 0 0 11 1 0 0 20 0 15 0 245621237 14420721664 7557 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 /proc/14995/statm: 3520684 7557 3152 1 0 3482761 0 [pid=14995/tid=14997] ppid=14992 vsize=14082736 memory=-8540663193526752614 CPUtime=0.09 cores=0,2,4,6 /proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 4502 0 0 0 8 1 0 0 20 0 15 0 245621237 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729820433936 139729800283486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15004] ppid=14992 vsize=14082736 memory=5793855556563483065 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15006] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15007] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15008] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15014] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621239 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15015] ppid=14992 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245621240 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729289810848 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15016] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245621240 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729288758256 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15020] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15021] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 245621242 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15022] ppid=14992 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15023] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0.01 cores=0,2,4,6 /proc/14995/task/15023/stat : 15023 (java) R 14992 14995 12120 0 -1 4202560 297 0 0 0 1 0 0 0 20 0 15 0 245621242 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729284549360 139729795480224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15024] ppid=14992 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15025] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621243 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 30228 KiB [startup+0.210725 s]* /proc/loadavg: 1.21 1.22 1.27 8/215 15031 /proc/meminfo: memFree=24743060/32770624 swapFree=67108524/67108860 [pid=14995] ppid=14992 vsize=14082736 memory=46276 CPUtime=0.29 cores=0,2,4,6 /proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 10188 0 0 0 28 1 0 0 20 0 15 0 245621237 14420721664 11569 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 /proc/14995/statm: 3520684 11569 3367 1 0 3482761 0 [pid=14995/tid=14997] ppid=14992 vsize=14082736 memory=-8540663193526752614 CPUtime=0.2 cores=0,2,4,6 /proc/14995/task/14997/stat : 14997 (java) S 14992 14995 12120 0 -1 1077944384 7844 0 0 0 19 1 0 0 20 0 15 0 245621237 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729820430352 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15004] ppid=14992 vsize=14082736 memory=5793855556563483065 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15006] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15007] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15008] ppid=14992 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15014] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245621239 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15015] ppid=14992 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245621240 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729289810848 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15016] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245621240 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729288758256 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15020] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15021] ppid=14992 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/14995/task/15021/stat : 15021 (java) R 14992 14995 12120 0 -1 4202560 514 0 0 0 2 0 0 0 20 0 15 0 245621242 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729286644832 139729799766088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15022] ppid=14992 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6 /proc/14995/task/15022/stat : 15022 (java) R 14992 14995 12120 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 245621242 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15023] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0.05 cores=0,2,4,6 /proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 394 0 0 0 5 0 0 0 20 0 15 0 245621242 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15024] ppid=14992 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15025] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621243 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 46276 KiB [startup+0.310676 s]* /proc/loadavg: 1.21 1.22 1.27 6/215 15031 /proc/meminfo: memFree=24729660/32770624 swapFree=67108524/67108860 [pid=14995] ppid=14992 vsize=14082736 memory=49960 CPUtime=0.44 cores=0,2,4,6 /proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 10651 0 0 0 42 2 0 0 20 0 15 0 245621237 14420721664 12490 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 /proc/14995/statm: 3520684 12490 3414 1 0 3482761 0 [pid=14995/tid=14997] ppid=14992 vsize=14082736 memory=280610882978032 CPUtime=0.29 cores=0,2,4,6 /proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 8173 0 0 0 28 1 0 0 20 0 15 0 245621237 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729820414512 139729796479824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15004] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15006] ppid=14992 vsize=14082736 memory=140305553589937 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15007] ppid=14992 vsize=14082736 memory=42225 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15008] ppid=14992 vsize=14082736 memory=140305441627935 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15014] ppid=14992 vsize=14082736 memory=280610883228192 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245621239 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15015] ppid=14992 vsize=14082736 memory=140305441597967 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245621240 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729289810848 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15016] ppid=14992 vsize=14082736 memory=280610995194752 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245621240 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729288758256 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15020] ppid=14992 vsize=14082736 memory=140305441602575 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15021] ppid=14992 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 557 0 0 0 3 0 0 0 20 0 15 0 245621242 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15022] ppid=14992 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6 /proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 15 0 245621242 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15023] ppid=14992 vsize=14082736 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 444 0 0 0 8 0 0 0 20 0 15 0 245621242 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15024] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15025] ppid=14992 vsize=14082736 memory=30228 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621243 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 49960 KiB [startup+0.700773 s] /proc/loadavg: 1.21 1.22 1.27 5/215 15031 /proc/meminfo: memFree=24669308/32770624 swapFree=67108524/67108860 [pid=14995] ppid=14992 vsize=14084804 memory=88136 CPUtime=0.99 cores=0,2,4,6 /proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 17410 0 0 0 95 4 0 0 20 0 15 0 245621237 14422839296 22034 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 /proc/14995/statm: 3521201 22034 3497 1 0 3483273 0 [pid=14995/tid=14997] ppid=14992 vsize=14084804 memory=872 CPUtime=0.67 cores=0,2,4,6 /proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 14483 0 0 0 64 3 0 0 20 0 15 0 245621237 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729820427104 139729799561297 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15004] ppid=14992 vsize=14084804 memory=1288 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15006] ppid=14992 vsize=14084804 memory=1088 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15007] ppid=14992 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15008] ppid=14992 vsize=14084804 memory=8996 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621238 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15014] ppid=14992 vsize=14084804 memory=1120 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245621239 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15015] ppid=14992 vsize=14084804 memory=6064 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245621240 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729289810848 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15016] ppid=14992 vsize=14084804 memory=1724 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245621240 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729288758256 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15020] ppid=14992 vsize=14084804 memory=4004 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15021] ppid=14992 vsize=14084804 memory=219 CPUtime=0.08 cores=0,2,4,6 /proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 700 0 0 0 8 0 0 0 20 0 15 0 245621242 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15022] ppid=14992 vsize=14084804 memory=7 CPUtime=0.06 cores=0,2,4,6 /proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 279 0 0 0 6 0 0 0 20 0 15 0 245621242 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15023] ppid=14992 vsize=14084804 memory=696 CPUtime=0.15 cores=0,2,4,6 /proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 567 0 0 0 15 0 0 0 20 0 15 0 245621242 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15024] ppid=14992 vsize=14084804 memory=280610883412016 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15025] ppid=14992 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621243 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 14084804 KiB Current children cumulated memory: 88136 KiB [startup+1.50135 s] /proc/loadavg: 1.21 1.22 1.27 5/196 15053 /proc/meminfo: memFree=24688844/32770624 swapFree=67108524/67108860 [pid=14995] ppid=14992 vsize=14088900 memory=205712 CPUtime=3.37 cores=0,2,4,6 /proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 24785 0 0 0 328 9 0 0 20 0 15 0 245621237 14427033600 51428 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 /proc/14995/statm: 3522225 51428 3552 1 0 3484297 0 [pid=14995/tid=14997] ppid=14992 vsize=14088900 memory=280610883279296 CPUtime=1.47 cores=0,2,4,6 /proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 17628 0 0 0 140 7 0 0 20 0 15 0 245621237 14427033600 51428 33554432000 4194304 4196468 140727431272048 139729820436960 139729455978580 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15004] ppid=14992 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14427033600 51428 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15006] ppid=14992 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14427033600 51428 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15007] ppid=14992 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14427033600 51428 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15008] ppid=14992 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621238 14427033600 51428 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15014] ppid=14992 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 245621239 14427033600 51428 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 ################ # More data... # ################ /proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 66048 0 0 0 230915 36 0 0 20 0 15 0 245621237 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729820441296 139729452999264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15004] ppid=14992 vsize=14090948 memory=1514516 CPUtime=7.74 cores=0,2,4,6 /proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 18673 0 0 0 734 40 0 0 20 0 15 0 245621238 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15006] ppid=14992 vsize=14090948 memory=1514516 CPUtime=7.72 cores=0,2,4,6 /proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 15569 0 0 0 734 38 0 0 20 0 15 0 245621238 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15007] ppid=14992 vsize=14090948 memory=1512468 CPUtime=7.72 cores=0,2,4,6 /proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 13753 0 0 0 733 39 0 0 20 0 15 0 245621238 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15008] ppid=14992 vsize=14090948 memory=1512468 CPUtime=7.72 cores=0,2,4,6 /proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 16569 0 0 0 734 38 0 0 20 0 15 0 245621238 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15014] ppid=14992 vsize=14090948 memory=11192 CPUtime=3.12 cores=0,2,4,6 /proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 14781 0 0 0 286 26 0 0 20 0 15 0 245621239 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15015] ppid=14992 vsize=14090948 memory=1514516 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729289810912 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15016] ppid=14992 vsize=14090948 memory=1514516 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729288758272 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15020] ppid=14992 vsize=14090948 memory=1516048 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15021] ppid=14992 vsize=14090948 memory=280610882981776 CPUtime=4.06 cores=0,2,4,6 /proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 12864 0 0 0 404 2 0 0 20 0 15 0 245621242 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15022] ppid=14992 vsize=14090948 memory=1514516 CPUtime=3.7 cores=0,2,4,6 /proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 9009 0 0 0 369 1 0 0 20 0 15 0 245621242 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15023] ppid=14992 vsize=14090948 memory=1514516 CPUtime=1.15 cores=0,2,4,6 /proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 18275 0 0 0 113 2 0 0 20 0 15 0 245621242 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15024] ppid=14992 vsize=14090948 memory=1514516 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15025] ppid=14992 vsize=14090948 memory=1514516 CPUtime=1.08 cores=0,2,4,6 /proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 1229 0 0 0 54 54 0 0 20 0 15 0 245621243 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 Current children cumulated CPU time: 2353.65 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 1518096 KiB [startup+2382.3 s] /proc/loadavg: 1.22 1.33 1.41 3/216 15149 /proc/meminfo: memFree=20897932/32770624 swapFree=67108524/67108860 [pid=14995] ppid=14992 vsize=14090948 memory=1545632 CPUtime=2414.49 cores=0,2,4,6 /proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 190490 0 0 0 241191 258 0 0 20 0 15 0 245621237 14429130752 386408 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 /proc/14995/statm: 3522737 386408 3596 1 0 3484809 0 [pid=14995/tid=14997] ppid=14992 vsize=14090948 memory=1545632 CPUtime=2369.13 cores=0,2,4,6 /proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 67041 0 0 0 236877 36 0 0 20 0 15 0 245621237 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729820441056 139729456112775 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15004] ppid=14992 vsize=14090948 memory=1544104 CPUtime=8.02 cores=0,2,4,6 /proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 19012 0 0 0 760 42 0 0 20 0 15 0 245621238 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15006] ppid=14992 vsize=14090948 memory=1540032 CPUtime=8 cores=0,2,4,6 /proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 15746 0 0 0 761 39 0 0 20 0 15 0 245621238 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15007] ppid=14992 vsize=14090948 memory=1512468 CPUtime=8.01 cores=0,2,4,6 /proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 14059 0 0 0 759 42 0 0 20 0 15 0 245621238 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15008] ppid=14992 vsize=14090948 memory=0 CPUtime=8 cores=0,2,4,6 /proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 16857 0 0 0 760 40 0 0 20 0 15 0 245621238 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15014] ppid=14992 vsize=14090948 memory=1540552 CPUtime=3.19 cores=0,2,4,6 /proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 14944 0 0 0 292 27 0 0 20 0 15 0 245621239 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15015] ppid=14992 vsize=14090948 memory=1540036 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729289810912 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15016] ppid=14992 vsize=14090948 memory=1541056 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729288758272 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15020] ppid=14992 vsize=14090948 memory=1538016 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15021] ppid=14992 vsize=14090948 memory=1543096 CPUtime=4.06 cores=0,2,4,6 /proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 12866 0 0 0 404 2 0 0 20 0 15 0 245621242 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15022] ppid=14992 vsize=14090948 memory=1544608 CPUtime=3.7 cores=0,2,4,6 /proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 9011 0 0 0 369 1 0 0 20 0 15 0 245621242 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15023] ppid=14992 vsize=14090948 memory=1545632 CPUtime=1.17 cores=0,2,4,6 /proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 18277 0 0 0 114 3 0 0 20 0 15 0 245621242 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15024] ppid=14992 vsize=14090948 memory=1545632 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15025] ppid=14992 vsize=14090948 memory=1546144 CPUtime=1.11 cores=0,2,4,6 /proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 1245 0 0 0 56 55 0 0 20 0 15 0 245621243 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 Current children cumulated CPU time: 2414.49 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 1545632 KiB [startup+2442.3 s] /proc/loadavg: 1.38 1.36 1.41 3/216 15150 /proc/meminfo: memFree=20953036/32770624 swapFree=67108524/67108860 [pid=14995] ppid=14992 vsize=14090948 memory=1488508 CPUtime=2475.16 cores=0,2,4,6 /proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 195594 0 0 0 247253 263 0 0 20 0 15 0 245621237 14429130752 372127 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 /proc/14995/statm: 3522737 372127 3613 1 0 3484809 0 [pid=14995/tid=14997] ppid=14992 vsize=14090948 memory=1488508 CPUtime=2428.79 cores=0,2,4,6 /proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 67809 0 0 0 242842 37 0 0 20 0 15 0 245621237 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729820440944 139729454998305 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15004] ppid=14992 vsize=14090948 memory=1488516 CPUtime=8.24 cores=0,2,4,6 /proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 19716 0 0 0 782 42 0 0 20 0 15 0 245621238 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15006] ppid=14992 vsize=14090948 memory=0 CPUtime=8.23 cores=0,2,4,6 /proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 16010 0 0 0 782 41 0 0 20 0 15 0 245621238 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15007] ppid=14992 vsize=14090948 memory=1487216 CPUtime=8.23 cores=0,2,4,6 /proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 14792 0 0 0 780 43 0 0 20 0 15 0 245621238 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15008] ppid=14992 vsize=14090948 memory=1488008 CPUtime=8.22 cores=0,2,4,6 /proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 17180 0 0 0 781 41 0 0 20 0 15 0 245621238 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15014] ppid=14992 vsize=14090948 memory=1488508 CPUtime=3.29 cores=0,2,4,6 /proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 17219 0 0 0 301 28 0 0 20 0 15 0 245621239 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15015] ppid=14992 vsize=14090948 memory=1488508 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729289810912 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15016] ppid=14992 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729288758272 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15020] ppid=14992 vsize=14090948 memory=1488508 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15021] ppid=14992 vsize=14090948 memory=1486704 CPUtime=4.06 cores=0,2,4,6 /proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 12870 0 0 0 404 2 0 0 20 0 15 0 245621242 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15022] ppid=14992 vsize=14090948 memory=1488004 CPUtime=3.7 cores=0,2,4,6 /proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 9015 0 0 0 369 1 0 0 20 0 15 0 245621242 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15023] ppid=14992 vsize=14090948 memory=1488508 CPUtime=1.17 cores=0,2,4,6 /proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 18281 0 0 0 114 3 0 0 20 0 15 0 245621242 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15024] ppid=14992 vsize=14090948 memory=288230574492221466 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15025] ppid=14992 vsize=14090948 memory=288230596050944315 CPUtime=1.13 cores=0,2,4,6 /proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 1270 0 0 0 57 56 0 0 20 0 15 0 245621243 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 Current children cumulated CPU time: 2475.16 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 1488508 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2486.8 s] /proc/loadavg: 1.43 1.37 1.41 3/216 15151 /proc/meminfo: memFree=20954464/32770624 swapFree=67108524/67108860 [pid=14995] ppid=14992 vsize=14090948 memory=1486960 CPUtime=2520.01 cores=0,2,4,6 /proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 196714 0 0 0 251734 267 0 0 20 0 15 0 245621237 14429130752 371740 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 /proc/14995/statm: 3522737 371740 3613 1 0 3484809 0 [pid=14995/tid=14997] ppid=14992 vsize=14090948 memory=1088 CPUtime=2473.09 cores=0,2,4,6 /proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 68402 0 0 0 247272 37 0 0 20 0 15 0 245621237 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729820440960 139729454873109 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15004] ppid=14992 vsize=14090948 memory=6791534058613427641 CPUtime=8.36 cores=0,2,4,6 /proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 19875 0 0 0 793 43 0 0 20 0 15 0 245621238 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15006] ppid=14992 vsize=14090948 memory=6791534058613427641 CPUtime=8.34 cores=0,2,4,6 /proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 16045 0 0 0 793 41 0 0 20 0 15 0 245621238 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15007] ppid=14992 vsize=14090948 memory=11192 CPUtime=8.34 cores=0,2,4,6 /proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 14881 0 0 0 791 43 0 0 20 0 15 0 245621238 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15008] ppid=14992 vsize=14090948 memory=752 CPUtime=8.34 cores=0,2,4,6 /proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 17250 0 0 0 792 42 0 0 20 0 15 0 245621238 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15014] ppid=14992 vsize=14090948 memory=1828 CPUtime=3.35 cores=0,2,4,6 /proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 17374 0 0 0 307 28 0 0 20 0 15 0 245621239 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15015] ppid=14992 vsize=14090948 memory=3312 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729289810912 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15016] ppid=14992 vsize=14090948 memory=15708 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729288758272 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15020] ppid=14992 vsize=14090948 memory=1620 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15021] ppid=14992 vsize=14090948 memory=504 CPUtime=4.06 cores=0,2,4,6 /proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 12872 0 0 0 404 2 0 0 20 0 15 0 245621242 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15022] ppid=14992 vsize=14090948 memory=924 CPUtime=3.7 cores=0,2,4,6 /proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 9017 0 0 0 369 1 0 0 20 0 15 0 245621242 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15023] ppid=14992 vsize=14090948 memory=3980 CPUtime=1.17 cores=0,2,4,6 /proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 18283 0 0 0 114 3 0 0 20 0 15 0 245621242 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15024] ppid=14992 vsize=14090948 memory=1932 CPUtime=0 cores=0,2,4,6 /proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 [pid=14995/tid=15025] ppid=14992 vsize=14090948 memory=7288 CPUtime=1.15 cores=0,2,4,6 /proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 1283 0 0 0 58 57 0 0 20 0 15 0 245621243 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 1486960 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2486.83 s] # the end of solver process 14995 was just reported to runsolver # cumulated CPU time of all completed processes: user=2517.38 s, system=2.67973 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2486.83 CPU time (s): 2520.06 CPU user time (s): 2517.38 CPU system time (s): 2.67973 CPU usage (%): 101.336 Max. virtual memory (cumulated for all children) (KiB): 14090948 Max. memory (cumulated for all children) (KiB): 1561892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2517.38 system time used= 2.67973 maximum resident set size= 1564288 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 197432 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2856 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 142026 involuntary context switches= 6926 # summary of solver processes directly reported to runsolver: # pid: 14995 # total CPU time (s): 2520.06 # total CPU user time (s): 2517.38 # total CPU system time (s): 2.67973 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.9542 second user time and 22.4798 second system time The end
Begin job on node107 at 2018-08-14 23:03:00 IDJOB=4308288 IDBENCH=141188 IDSOLVER=2791 FILE ID=node107/4308288-1534280580 RUNJOBID= node107-1534270595-13935 PBS_JOBID= 21038126 Free space on /tmp= 42292 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308288-1534280580/watcher-4308288-1534280580 -o /tmp/evaluation-result-4308288-1534280580/solver-4308288-1534280580 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534270595-13935 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1596178237 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308288-1534280580.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e RANDOM SEED=1596178237 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24803540 kB MemAvailable: 31906444 kB Buffers: 191140 kB Cached: 7132912 kB SwapCached: 20 kB Active: 3902688 kB Inactive: 3475888 kB Active(anon): 3928 kB Inactive(anon): 103184 kB Active(file): 3898760 kB Inactive(file): 3372704 kB Unevictable: 6980 kB Mlocked: 6980 kB SwapTotal: 67108860 kB SwapFree: 67108524 kB Dirty: 35648 kB Writeback: 0 kB AnonPages: 205164 kB Mapped: 54584 kB Shmem: 49632 kB Slab: 288320 kB SReclaimable: 259900 kB SUnreclaim: 28420 kB KernelStack: 3808 kB PageTables: 5272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 352664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 151552 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 42256 MiB End job on node107 at 2018-08-14 23:44:27