Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 181772 | 16607.8 | 2520.14 |
| Name | Rlfap/Rlfap-opt/ Rlfap-graph-13-opt_c18.xml |
| MD5SUM | b4f35f52fd25bddaccbbeb0f9433c3f2 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 181772 |
| Best CPU time to get the best result obtained on this benchmark | 16607.8 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5731 |
| Number of constraints | 5273 |
| Number of domains | 11 |
| Minimum domain size | 2 |
| Maximum domain size | 44 |
| Distribution of domain sizes | [{"size":2,"count":4815},{"size":6,"count":60},{"size":22,"count":30},{"size":24,"count":18},{"size":36,"count":196},{"size":42,"count":130},{"size":44,"count":482}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":2,"count":4815},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":15},{"degree":6,"count":38},{"degree":7,"count":82},{"degree":8,"count":83},{"degree":9,"count":97},{"degree":10,"count":88},{"degree":11,"count":79},{"degree":12,"count":53},{"degree":13,"count":62},{"degree":14,"count":58},{"degree":15,"count":101},{"degree":16,"count":77},{"degree":17,"count":38},{"degree":18,"count":19},{"degree":19,"count":14},{"degree":20,"count":2},{"degree":21,"count":3}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":2,"count":458},{"arity":3,"count":4815}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 5273 |
| Distribution of constraint types | [{"type":"intension","count":5273}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297888-1532705860.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297888-1532705860.xml, -tl, 20160s, -p, 8] 0.11/0.21 c 8 solvers in parallel 0.33/0.28 c parse instance... 88.29/38.85 c solve instance... 107.33/41.40 o 793308 108.10/41.43 o 793307 109.27/42.11 o 793306 113.06/42.69 o 793284 113.76/42.71 o 793193 113.76/42.73 o 793173 113.76/42.74 o 793073 113.76/42.75 o 792073 113.76/42.78 o 792072 113.76/42.79 o 791973 114.07/42.80 o 791972 114.07/42.82 o 791862 114.07/42.84 o 791861 114.07/42.86 o 791852 114.07/42.88 o 791851 114.46/42.90 o 791752 114.46/42.91 o 790752 114.46/42.93 o 790751 114.46/42.94 o 790750 114.46/42.95 o 790662 116.60/43.22 o 790661 116.60/43.23 o 790652 116.60/43.23 o 790651 116.60/43.25 o 789883 116.60/43.26 o 789882 116.86/43.30 o 788883 116.86/43.34 o 788882 116.86/43.36 o 788783 116.86/43.40 o 788782 117.28/43.42 o 787657 117.28/43.43 o 787656 117.28/43.45 o 787655 117.28/43.46 o 787643 117.28/43.48 o 787552 117.28/43.49 o 787542 117.58/43.50 o 787532 117.58/43.51 o 787442 117.58/43.54 o 786442 119.75/45.31 o 786441 119.75/45.32 o 786440 120.13/45.59 o 786431 126.91/51.98 o 786429 127.10/52.02 o 786428 127.10/52.03 o 786329 127.10/52.04 o 786328 127.10/52.08 o 785329 127.10/52.09 o 785328 127.10/52.10 o 785318 127.47/52.14 o 785227 127.47/52.15 o 785226 167.28/57.34 o 784227 167.28/57.35 o 784226 167.28/57.35 o 784216 167.28/57.37 o 784215 167.28/57.38 o 784205 167.60/57.42 o 783317 167.60/57.43 o 783316 167.60/57.43 o 783306 167.60/57.45 o 782531 168.01/57.68 o 782429 168.01/57.69 o 782428 168.60/58.16 o 782419 169.19/58.52 o 782417 169.58/58.88 o 782416 169.58/58.89 o 782415 170.05/59.25 o 782316 170.46/59.60 o 782315 170.88/59.96 o 781316 171.11/60.17 o 781315 171.54/60.52 o 781305 172.18/60.88 o 781304 172.62/61.24 o 781294 173.05/61.59 o 781225 173.61/62.06 o 781215 174.04/62.42 o 781115 174.37/62.77 o 780115 174.80/63.17 o 780114 175.22/63.58 o 780104 175.83/64.01 o 780013 176.08/64.22 o 780012 176.08/64.24 o 780002 176.75/64.61 o 780001 177.08/64.97 o 779991 177.61/65.33 o 779801 177.94/65.69 o 779800 178.38/66.05 o 779790 178.98/66.42 o 779014 179.37/66.64 o 779005 179.37/66.68 o 778693 179.37/66.69 o 778692 179.53/66.72 o 778682 179.98/67.08 o 778681 180.69/67.46 o 778680 185.00/68.32 o 778670 185.45/68.69 o 778601 185.87/69.05 o 778591 186.29/69.41 o 778491 186.62/69.77 o 777491 186.83/69.99 o 777490 186.95/70.00 o 777480 187.79/70.36 o 776581 188.02/70.58 o 776580 188.02/70.59 o 776570 188.48/70.95 o 776561 188.94/71.31 o 776560 189.26/71.68 o 776550 189.26/71.70 o 776540 190.46/72.10 o 775677 190.79/72.31 o 775676 190.79/72.35 o 775666 191.30/72.71 o 775577 191.68/73.08 o 775576 192.10/73.44 o 775566 192.91/73.80 o 774589 193.22/74.01 o 774588 193.54/74.36 o 774578 194.11/74.72 o 774568 194.43/75.07 o 774567 194.43/75.08 o 774478 194.94/75.44 o 774477 195.26/75.79 o 774467 195.82/76.15 o 774466 196.45/76.51 o 774367 196.45/76.52 o 774366 196.85/76.87 o 774356 198.20/77.34 o 773457 198.44/77.55 o 773456 198.44/77.56 o 773446 199.56/78.16 o 773437 199.56/78.17 o 773436 200.08/78.53 o 773426 200.08/78.56 o 773416 201.98/79.11 o 773153 202.30/79.47 o 773152 202.43/79.56 o 773142 203.05/79.91 o 772965 203.50/80.14 o 772964 203.50/80.14 o 772954 203.50/80.16 o 772944 203.50/80.17 o 772943 204.55/80.54 o 772076 204.55/80.55 o 772075 204.55/80.56 o 772065 205.33/80.92 o 772064 205.76/81.14 o 772054 206.37/81.51 o 771155 206.69/81.88 o 771154 206.93/82.09 o 771144 207.36/82.45 o 771135 207.36/82.47 o 771134 207.81/82.82 o 771124 208.24/83.29 o 771114 208.71/83.65 o 771104 208.93/83.86 o 771103 208.93/83.87 o 771102 211.20/84.26 o 771100 211.65/84.61 o 770924 212.09/85.09 o 770923 212.61/85.56 o 770913 213.07/85.91 o 770903 213.40/86.27 o 770902 214.33/86.63 o 770803 214.74/86.98 o 770802 215.16/87.34 o 770792 215.68/87.70 o 770790 216.17/88.06 o 770614 216.69/88.42 o 770613 217.13/88.78 o 770603 217.67/89.13 o 770593 218.08/89.49 o 770592 218.61/89.85 o 770591 219.62/90.22 o 770590 220.32/90.57 o 770024 220.92/91.10 o 770023 221.34/91.31 o 770013 221.79/91.68 o 770003 222.21/92.04 o 770002 222.64/92.39 o 770001 223.23/92.75 o 769925 223.86/93.22 o 769924 224.36/93.69 o 769914 224.85/94.04 o 769904 225.35/94.40 o 769903 225.74/94.76 o 769902 226.26/95.11 o 769894 226.75/95.50 o 769893 227.25/95.85 o 769892 227.76/96.21 o 769715 228.16/96.57 o 769714 228.67/96.92 o 769704 229.08/97.28 o 769694 229.56/97.64 o 769693 229.95/97.99 o 769692 230.45/98.35 o 769691 231.44/98.73 o 769024 232.06/99.26 o 769023 232.18/99.34 o 769013 232.53/99.55 o 769003 232.64/99.63 o 769002 232.64/99.64 o 769001 233.20/100.01 o 768924 233.69/100.48 o 768923 234.22/100.96 o 768913 234.73/101.31 o 768903 235.12/101.67 o 768902 235.55/102.03 o 768901 235.94/102.38 o 768893 236.45/102.74 o 768892 236.77/103.09 o 768891 237.27/103.45 o 768714 237.77/103.80 o 768713 238.18/104.16 o 768703 238.67/104.52 o 768693 238.99/104.87 o 768692 239.42/105.23 o 768691 239.74/105.59 o 768690 240.28/105.94 o 768611 240.73/106.30 o 768610 241.07/106.65 o 768600 241.49/107.01 o 768590 241.83/107.37 o 768589 242.25/107.72 o 768580 242.58/108.08 o 768579 248.77/109.22 o 768575 249.10/109.57 o 768496 250.23/110.23 o 768495 250.54/110.52 o 768485 257.30/116.89 o 768386 257.79/117.29 o 768385 258.27/117.64 o 768375 258.70/118.00 o 768374 259.17/118.36 o 768373 259.67/118.72 o 768372 259.98/119.08 o 768283 260.53/119.47 o 768282 260.76/119.63 o 768272 261.09/119.99 o 768262 262.09/120.35 o 768179 262.52/120.71 o 768178 262.73/120.92 o 768168 263.26/121.29 o 768167 263.70/121.65 o 768158 263.93/121.83 o 768157 264.34/122.19 o 768148 264.87/122.55 o 768147 265.50/122.91 o 768139 265.83/123.27 o 768138 266.45/123.64 o 768137 267.30/124.00 o 768058 267.66/124.36 o 768057 268.19/124.63 o 768056 268.19/124.67 o 768048 268.19/124.68 o 768047 268.19/124.69 o 768037 268.75/125.05 o 768027 269.28/125.54 o 768026 272.33/126.03 o 767939 272.74/126.38 o 767938 273.19/126.74 o 767929 273.76/127.21 o 767928 274.20/127.68 o 767927 274.75/128.16 o 767926 275.31/128.63 o 767925 275.80/129.10 o 767489 276.21/129.46 o 767488 276.65/129.82 o 767478 276.99/130.18 o 767389 277.45/130.53 o 767388 277.45/130.54 o 767378 277.91/130.90 o 767368 278.26/131.26 o 767179 278.67/131.61 o 767178 278.91/131.82 o 767168 279.26/132.18 o 767167 279.26/132.20 o 767158 279.72/132.56 o 767157 280.19/132.92 o 767148 280.53/133.27 o 767147 281.02/133.63 o 767139 281.34/133.99 o 767138 281.83/134.35 o 767137 282.38/134.70 o 767058 282.78/135.06 o 767057 283.01/135.27 o 767056 283.22/135.31 o 767048 283.22/135.32 o 767047 283.22/135.34 o 767037 283.62/135.69 o 767027 284.15/136.17 o 767026 289.66/137.25 o 767025 290.19/137.73 o 767024 290.67/138.20 o 766946 291.08/138.56 o 766945 291.50/138.92 o 766935 291.85/139.28 o 766925 292.39/139.76 o 766915 297.82/140.50 o 766914 298.19/140.87 o 766905 298.62/141.23 o 766904 318.01/143.85 o 766883 318.33/144.21 o 766882 318.81/144.56 o 766872 319.26/144.91 o 766862 319.64/145.26 o 766861 320.11/145.63 o 766852 320.51/145.98 o 766851 324.76/146.82 o 766785 325.15/147.18 o 766784 325.59/147.53 o 766774 325.90/147.89 o 766764 326.40/148.25 o 766763 326.85/148.60 o 766762 327.27/148.96 o 766752 327.72/149.31 o 766742 328.08/149.67 o 766741 328.52/150.02 o 766740 328.96/150.38 o 766663 329.43/150.73 o 766662 329.43/150.75 o 766652 329.96/151.11 o 766642 330.40/151.48 o 766641 330.91/151.84 o 766640 331.31/152.20 o 766563 331.74/152.55 o 766562 331.87/152.60 o 766552 332.21/152.96 o 766542 332.74/153.32 o 766541 333.10/153.67 o 766540 333.57/154.03 o 766463 333.90/154.38 o 766462 334.36/154.74 o 766452 334.76/155.09 o 766442 335.22/155.45 o 766441 335.22/155.47 o 766440 335.72/155.83 o 766363 336.18/156.19 o 766362 336.31/156.24 o 766352 336.77/156.60 o 766342 336.77/156.65 o 766341 337.23/157.00 o 766340 337.58/157.36 o 766339 340.07/157.73 o 766330 340.55/158.21 o 766329 341.10/158.68 o 766261 341.57/159.03 o 766260 341.57/159.05 o 766250 342.05/159.41 o 766240 342.05/159.46 o 766239 342.57/159.81 o 766230 343.04/160.28 o 766229 343.66/160.76 o 766228 360.97/163.22 o 766218 361.34/163.57 o 766217 361.66/163.78 o 766207 362.11/164.14 o 766197 362.59/164.50 o 766187 364.31/164.87 o 766186 364.83/165.23 o 766177 365.13/165.58 o 766176 369.49/166.32 o 765760 369.73/166.53 o 765759 370.03/166.60 o 765749 370.03/166.62 o 765739 370.03/166.64 o 765738 370.41/166.99 o 765737 370.97/167.35 o 765660 371.48/167.71 o 765659 371.82/168.06 o 765649 372.32/168.42 o 765639 372.66/168.78 o 765638 373.11/169.14 o 765637 373.48/169.49 o 765629 374.05/169.96 o 765628 374.61/170.43 o 765627 375.13/170.90 o 765450 375.48/171.26 o 765440 375.60/171.31 o 765439 375.99/171.66 o 765438 376.48/172.02 o 765429 376.96/172.49 o 765428 377.54/172.96 o 765427 378.15/173.44 o 765419 378.52/173.79 o 765418 379.04/174.16 o 765417 379.58/174.52 o 765409 379.92/174.87 o 765408 379.92/174.89 o 765407 380.90/175.26 o 765400 381.40/175.62 o 765399 381.88/175.97 o 765398 382.60/176.33 o 765329 383.15/176.80 o 765328 383.69/177.27 o 765319 384.16/177.63 o 765318 384.16/177.66 o 765317 384.66/178.02 o 765316 385.05/178.38 o 765308 385.54/178.74 o 765298 385.54/178.79 o 765297 386.04/179.15 o 765296 386.04/179.20 o 765288 386.59/179.56 o 765287 386.59/179.56 o 765286 396.36/181.17 o 765285 396.96/181.53 o 765218 397.31/181.88 o 765217 397.43/181.93 o 765207 397.78/182.29 o 765197 398.20/182.65 o 765187 398.20/182.68 o 765186 398.79/183.05 o 765177 399.26/183.40 o 765176 406.59/184.51 o 765129 407.12/184.98 o 765128 407.66/185.45 o 765119 408.65/186.04 o 765118 408.92/186.26 o 765108 409.66/186.63 o 765098 410.54/186.98 o 765002 410.98/187.34 o 764902 411.39/187.69 o 764901 413.90/188.06 o 764896 414.48/188.42 o 764886 415.01/188.78 o 764885 415.76/189.14 o 764828 415.76/189.16 o 764827 415.90/189.21 o 764817 416.23/189.56 o 764816 417.08/189.92 o 764807 417.08/189.98 o 764806 417.58/190.33 o 764797 417.58/190.38 o 764796 418.05/190.74 o 764786 418.43/191.10 o 764776 419.09/191.46 o 764707 419.54/191.81 o 764706 419.92/192.17 o 764697 420.03/192.22 o 764696 420.38/192.58 o 764686 420.82/192.93 o 764676 421.24/193.29 o 764675 423.40/193.66 o 764674 424.60/194.22 o 764666 425.07/194.57 o 764665 425.72/194.93 o 764664 426.36/195.29 o 764663 448.55/198.26 o 764655 448.96/198.61 o 764654 449.33/198.96 o 764596 449.74/199.31 o 764595 450.22/199.68 o 764585 450.63/200.04 o 764575 451.03/200.40 o 764565 451.49/200.75 o 764564 451.84/201.10 o 764555 452.34/201.46 o 764554 452.84/201.82 o 764553 522.34/215.06 o 764477 522.87/215.41 o 764476 523.44/215.79 o 764475 523.95/216.16 o 764474 535.41/217.64 o 764442 535.77/217.99 o 764441 536.21/218.34 o 764431 536.79/218.69 o 764421 536.94/218.71 o 764420 537.62/219.06 o 764419 538.07/219.41 o 764340 538.70/219.76 o 764339 539.12/220.11 o 764329 539.55/220.58 o 764319 540.15/220.94 o 764318 540.15/220.97 o 764317 540.69/221.32 o 764316 541.84/221.85 o 764243 541.84/221.89 o 764242 542.37/222.24 o 764232 542.70/222.59 o 764222 543.26/223.06 o 764221 544.04/223.71 o 764220 544.53/224.06 o 764210 544.84/224.27 o 764200 545.33/224.63 o 764199 545.75/224.98 o 764198 545.91/225.06 o 764121 546.70/225.70 o 764120 547.15/226.06 o 764110 547.50/226.27 o 764100 547.77/226.38 o 764099 547.77/226.39 o 764098 548.01/226.46 o 764021 548.20/226.56 o 764020 548.73/226.91 o 764010 549.39/227.27 o 764000 549.89/227.62 o 763999 550.58/227.97 o 763998 551.14/228.34 o 763921 551.88/228.98 o 763920 552.72/229.33 o 763910 553.13/229.69 o 763900 553.84/230.04 o 763899 554.23/230.40 o 763898 554.86/230.75 o 763821 554.99/230.84 o 763820 555.35/231.19 o 763810 556.02/231.55 o 763800 556.53/231.90 o 763799 557.05/232.26 o 763798 557.56/232.62 o 763797 558.07/232.98 o 763788 558.58/233.33 o 763787 558.99/233.69 o 763786 559.49/234.04 o 763785 560.23/234.40 o 763752 560.63/234.75 o 763751 561.10/235.11 o 763741 561.50/235.46 o 763731 562.42/235.81 o 763730 562.57/235.90 o 763729 563.49/236.39 o 763652 564.01/236.74 o 763651 564.42/237.10 o 763641 565.15/237.47 o 763631 565.64/237.82 o 763630 565.89/238.10 o 763629 566.51/238.59 o 763621 566.74/238.71 o 763620 567.14/239.07 o 763619 567.57/239.44 o 763442 568.08/239.79 o 763441 568.52/240.15 o 763431 569.05/240.50 o 763421 569.91/241.15 o 763420 570.40/241.50 o 763419 570.83/241.86 o 763340 571.32/242.22 o 763339 571.73/242.57 o 763329 572.33/243.04 o 763319 572.72/243.39 o 763318 572.83/243.43 o 763317 573.45/243.78 o 763316 574.48/244.14 o 763242 574.48/244.16 o 763241 575.02/244.51 o 763231 575.48/244.88 o 763221 576.65/245.53 o 763220 576.98/245.88 o 763219 577.58/246.17 o 763209 578.01/246.53 o 763199 578.50/246.88 o 763198 578.64/246.91 o 763197 579.10/247.27 o 763120 579.54/247.62 o 763119 579.54/247.64 o 763109 579.90/247.84 o 763099 579.90/247.85 o 763098 580.10/247.93 o 763097 580.10/247.96 o 763020 580.57/248.33 o 763019 580.91/248.68 o 763009 581.42/249.04 o 762999 581.42/249.06 o 762998 581.98/249.42 o 762997 582.63/249.77 o 762920 583.09/250.12 o 762919 583.46/250.48 o 762909 584.19/250.83 o 762899 584.19/250.86 o 762898 584.96/251.22 o 762897 585.43/251.59 o 762820 586.11/251.94 o 762819 586.11/251.97 o 762809 586.69/252.32 o 762799 587.70/252.97 o 762798 587.82/253.00 o 762797 588.17/253.36 o 762796 588.73/253.72 o 762787 589.14/254.07 o 762786 589.14/254.08 o 762785 589.77/254.45 o 762784 590.60/254.80 o 762718 590.92/255.16 o 762717 591.48/255.51 o 762707 591.84/255.86 o 762697 592.00/255.94 o 762696 592.47/256.30 o 762695 592.91/256.66 o 762694 593.66/257.02 o 762693 603.98/258.52 o 762689 604.33/258.87 o 762688 604.89/259.22 o 762678 605.25/259.58 o 762668 605.72/259.93 o 762667 606.62/260.34 o 762591 607.13/260.71 o 762590 607.13/260.71 o 762580 607.58/261.07 o 762570 607.71/261.14 o 762569 608.31/261.49 o 762568 608.86/261.85 o 762567 609.98/262.21 o 762489 610.28/262.56 o 762488 610.28/262.56 o 762478 610.94/262.92 o 762468 611.62/263.27 o 762467 612.10/263.63 o 762466 612.98/263.98 o 762465 619.12/264.83 o 762464 619.43/265.18 o 762454 620.28/265.54 o 762444 621.53/265.90 o 762443 622.94/266.26 o 762434 624.12/266.62 o 762433 625.20/266.98 o 762365 625.90/267.33 o 762364 626.35/267.69 o 762355 627.21/268.05 o 762354 627.90/268.40 o 762344 628.70/268.78 o 762334 629.64/269.13 o 762265 630.03/269.49 o 762264 630.16/269.57 o 762263 630.72/269.92 o 762255 631.20/270.28 o 762254 631.59/270.63 o 762244 631.59/270.69 o 762234 632.22/271.05 o 762233 634.68/271.79 o 762232 636.26/272.33 o 762224 637.26/272.80 o 762223 638.16/273.27 o 762222 639.30/273.74 o 762221 658.73/276.42 o 762165 659.08/276.77 o 762164 659.35/276.98 o 762154 659.94/277.34 o 762153 660.46/277.70 o 762144 660.56/277.70 o 762143 661.02/278.06 o 762142 705.97/283.95 o 762107 706.41/284.31 o 762106 706.70/284.53 o 762097 706.70/284.54 o 762096 706.89/284.61 o 762086 706.89/284.65 o 762076 707.52/285.01 o 761996 707.84/285.36 o 761995 708.30/285.72 o 761985 708.68/286.08 o 761984 709.11/286.43 o 761895 709.42/286.79 o 761894 709.42/286.80 o 761884 710.01/287.15 o 761796 710.42/287.50 o 761795 710.42/287.52 o 761785 710.80/287.87 o 761784 711.56/288.23 o 761775 711.56/288.24 o 761774 711.94/288.59 o 761765 711.94/288.60 o 761764 712.36/288.95 o 761754 712.79/289.31 o 761744 713.40/289.66 o 761743 714.01/290.02 o 761676 714.33/290.37 o 761675 714.81/290.73 o 761666 715.13/291.08 o 761665 715.55/291.44 o 761655 716.16/291.80 o 761654 716.79/292.17 o 761653 717.21/292.53 o 761643 717.68/292.88 o 761575 718.14/293.24 o 761574 718.57/293.59 o 761565 719.02/293.95 o 761564 719.02/293.98 o 761554 719.83/294.34 o 761553 720.36/294.70 o 761544 720.81/295.05 o 761543 723.47/295.66 o 761534 724.61/296.02 o 761486 724.97/296.37 o 761485 724.97/296.39 o 761475 725.46/296.75 o 761474 725.81/297.10 o 761464 725.92/297.18 o 761375 726.38/297.53 o 761374 727.00/297.90 o 761364 727.35/298.26 o 761363 729.04/298.86 o 761355 729.49/299.21 o 761354 729.49/299.23 o 761344 729.81/299.58 o 761334 730.49/299.94 o 761265 730.86/300.29 o 761264 730.95/300.36 o 761255 731.45/300.72 o 761254 731.79/301.07 o 761244 732.23/301.43 o 761234 732.59/301.78 o 761233 750.28/304.08 o 761232 750.81/304.45 o 761154 751.25/304.81 o 761153 751.46/305.03 o 761143 751.87/305.40 o 761133 752.25/305.76 o 761132 782.90/309.83 o 761123 783.48/310.31 o 761122 784.00/310.78 o 761121 801.84/313.49 o 761110 802.35/313.85 o 761109 802.57/314.07 o 761099 802.84/314.21 o 761089 802.84/314.29 o 761088 802.97/314.30 o 761087 803.52/314.67 o 761080 803.62/314.74 o 761079 803.93/315.10 o 761078 804.40/315.46 o 761001 804.99/315.82 o 761000 805.33/316.18 o 760990 806.03/316.54 o 760980 806.50/316.90 o 760979 806.82/317.26 o 760978 807.23/317.61 o 760977 807.88/317.97 o 760910 808.38/318.33 o 760909 808.38/318.39 o 760899 808.86/318.75 o 760889 808.96/318.89 o 760888 809.58/319.25 o 760887 810.09/319.61 o 760886 817.72/320.73 o 760885 818.25/321.12 o 760884 819.00/321.48 o 760833 819.49/321.84 o 760832 819.66/321.91 o 760822 820.27/322.39 o 760812 820.92/322.74 o 760811 821.31/323.10 o 760810 821.76/323.47 o 760802 821.76/323.47 o 760801 822.24/323.83 o 760800 822.74/324.19 o 760623 823.30/324.66 o 760622 823.97/325.15 o 760612 824.55/325.51 o 760602 824.95/325.87 o 760601 825.40/326.23 o 760600 825.90/326.59 o 760533 826.42/326.95 o 760532 826.88/327.31 o 760522 827.32/327.78 o 760512 828.08/328.14 o 760511 828.74/328.50 o 760510 829.08/328.86 o 760502 829.80/329.22 o 760501 830.18/329.57 o 760500 830.86/329.94 o 760423 831.37/330.41 o 760422 831.84/330.77 o 760412 832.37/331.13 o 760402 832.70/331.48 o 760401 833.14/331.84 o 760400 833.65/332.20 o 760390 834.13/332.56 o 760380 834.61/332.92 o 760379 835.08/333.28 o 760378 835.65/333.64 o 760301 836.04/334.00 o 760300 836.14/334.00 o 760290 836.47/334.36 o 760280 837.04/334.72 o 760279 837.04/334.80 o 760278 837.61/335.15 o 760201 838.10/335.51 o 760200 838.40/335.75 o 760190 839.01/336.12 o 760180 839.01/336.19 o 760179 839.51/336.54 o 760178 840.20/336.91 o 760101 840.62/337.27 o 760100 840.93/337.48 o 760090 841.19/337.64 o 760080 841.37/337.71 o 760079 841.37/337.76 o 760078 841.37/337.78 o 760001 841.55/337.80 o 760000 841.68/337.95 o 759990 842.18/338.30 o 759980 842.54/338.66 o 759979 842.74/338.81 o 759978 843.14/339.17 o 759977 843.67/339.52 o 759968 844.02/339.88 o 759967 844.25/340.04 o 759966 844.75/340.40 o 759965 845.42/340.76 o 759899 845.88/341.11 o 759898 846.35/341.47 o 759888 846.84/341.84 o 759878 846.84/341.86 o 759877 847.46/342.22 o 759876 847.84/342.58 o 759875 847.97/342.62 o 759874 855.78/343.74 o 759724 856.59/344.24 o 759723 857.34/344.72 o 759713 857.84/345.08 o 759703 858.09/345.24 o 759702 858.70/345.60 o 759701 859.13/345.96 o 759622 859.27/346.03 o 759621 860.06/346.69 o 759611 860.46/347.05 o 759601 861.06/347.41 o 759600 861.43/347.77 o 759591 862.10/348.13 o 759590 864.70/348.66 o 759524 865.30/349.13 o 759523 865.86/349.60 o 759513 866.39/349.96 o 759503 866.88/350.32 o 759502 866.88/350.36 o 759501 867.51/350.72 o 759491 867.90/351.08 o 759481 868.38/351.44 o 759480 868.38/351.45 o 759479 868.87/351.81 o 759402 869.36/352.16 o 759401 869.85/352.52 o 759391 870.18/352.88 o 759381 870.78/353.24 o 759380 871.28/353.60 o 759379 871.67/353.96 o 759302 872.10/354.32 o 759301 872.10/354.34 o 759291 872.79/354.72 o 759281 873.17/355.08 o 759280 873.32/355.12 o 759279 873.69/355.48 o 759202 874.26/355.84 o 759201 874.62/356.05 o 759191 875.14/356.41 o 759181 875.46/356.77 o 759180 875.66/356.92 o 759179 876.10/357.29 o 759102 876.54/357.64 o 759101 876.54/357.65 o 759091 876.68/357.71 o 759081 876.90/357.92 o 759080 877.01/358.08 o 759079 877.14/358.16 o 759078 879.12/358.55 o 759069 879.59/358.90 o 759068 879.93/359.26 o 759000 880.28/359.42 o 758999 880.68/359.78 o 758989 880.78/359.82 o 758979 881.24/360.18 o 758978 881.71/360.54 o 758969 882.04/360.90 o 758968 882.68/361.25 o 758967 897.33/363.19 o 758966 901.06/363.92 o 758958 901.06/363.96 o 758957 901.59/364.32 o 758956 906.65/365.07 o 758923 907.38/365.55 o 758922 907.90/366.02 o 758912 908.34/366.37 o 758902 908.93/366.73 o 758901 908.93/366.76 o 758900 909.53/367.12 o 758892 909.82/367.48 o 758891 909.82/367.49 o 758890 910.24/367.84 o 758713 910.67/368.20 o 758712 911.12/368.56 o 758702 911.35/368.72 o 758692 911.70/369.08 o 758691 911.70/369.08 o 758690 912.41/369.44 o 758611 912.89/369.80 o 758610 913.63/370.16 o 758600 913.63/370.16 o 758590 914.25/370.52 o 758589 914.61/370.88 o 758580 915.50/371.35 o 758579 918.04/371.86 o 758513 918.49/372.21 o 758512 918.91/372.57 o 758502 919.68/372.95 o 758492 919.68/372.97 o 758491 920.27/373.32 o 758490 920.81/373.68 o 758480 921.26/374.04 o 758470 921.77/374.40 o 758469 922.13/374.76 o 758468 922.73/375.12 o 758391 923.25/375.47 o 758390 923.68/375.83 o 758380 924.08/376.19 o 758370 924.55/376.55 o 758369 924.55/376.57 o 758368 925.06/376.93 o 758291 925.38/377.29 o 758290 925.48/377.31 o 758280 925.94/377.67 o 758270 926.50/378.03 o 758269 926.82/378.39 o 758268 927.37/378.75 o 758191 927.85/379.10 o 758190 928.17/379.32 o 758180 928.31/379.46 o 758170 928.85/379.83 o 758169 928.85/379.87 o 758168 929.37/380.24 o 758091 929.80/380.60 o 758090 929.80/380.63 o 758080 930.19/380.85 o 758070 930.43/381.01 o 758069 930.43/381.02 o 758068 930.43/381.07 o 758067 932.94/381.74 o 758058 933.42/382.09 o 758057 933.85/382.45 o 757989 934.47/382.81 o 757988 935.01/383.16 o 757978 935.45/383.53 o 757968 935.94/383.88 o 757967 936.49/384.24 o 757958 936.95/384.60 o 757957 937.33/384.96 o 757956 941.12/385.69 o 757948 941.31/385.71 o 757947 941.80/386.07 o 757946 946.37/386.81 o 757860 946.71/387.16 o 757859 947.31/387.52 o 757849 947.50/387.63 o 757760 947.80/387.99 o 757759 947.92/388.03 o 757749 948.35/388.39 o 757748 950.06/388.91 o 757739 950.41/389.26 o 757738 950.80/389.62 o 757737 951.33/389.98 o 757736 952.66/390.34 o 757727 953.40/390.82 o 757726 953.40/390.87 o 757725 953.99/391.34 o 757724 957.78/391.98 o 757717 958.44/392.36 o 757716 958.90/392.71 o 757715 959.52/393.07 o 757714 972.09/394.94 o 757656 972.09/394.97 o 757655 972.51/395.33 o 757645 972.88/395.69 o 757635 972.99/395.72 o 757634 973.49/396.08 o 757633 976.05/396.49 o 757409 976.92/396.85 o 757408 976.92/396.86 o 757398 977.98/397.22 o 757388 978.08/397.39 o 757387 978.64/397.75 o 757386 980.27/398.12 o 757309 980.63/398.48 o 757308 980.63/398.49 o 757298 981.16/398.85 o 757288 981.16/398.86 o 757287 981.77/399.22 o 757286 982.10/399.58 o 757278 982.58/399.94 o 757277 982.76/400.02 o 757276 983.10/400.38 o 757099 983.65/400.80 o 757098 983.65/400.82 o 757088 983.98/401.03 o 757078 983.98/401.10 o 757077 984.14/401.16 o 757076 984.27/401.24 o 757075 984.50/401.32 o 756996 984.87/401.68 o 756995 985.36/402.04 o 756985 985.71/402.39 o 756975 986.12/402.75 o 756974 988.47/403.43 o 756973 988.47/403.47 o 756972 994.30/404.55 o 756965 994.30/404.56 o 756964 995.00/404.92 o 756963 995.33/405.28 o 756962 997.95/405.69 o 756957 998.43/405.74 o 756956 998.79/406.10 o 756946 999.32/406.46 o 756936 999.82/406.81 o 756935 1000.24/407.17 o 756859 1000.41/407.24 o 756858 1000.87/407.60 o 756848 1001.29/407.96 o 756838 1001.73/408.32 o 756837 1001.73/408.33 o 756836 1002.13/408.69 o 756835 1002.61/409.04 o 756757 1003.10/409.41 o 756756 1003.10/409.43 o 756746 1003.53/409.78 o 756736 1003.53/409.79 o 756735 1003.97/410.15 o 756734 1006.80/410.58 o 756726 1007.45/411.06 o 756725 1008.07/411.53 o 756724 1008.61/412.00 o 756723 1010.93/412.68 o 756655 1011.34/413.04 o 756654 1011.66/413.39 o 756644 1012.18/413.75 o 756634 1012.18/413.79 o 756633 1012.66/414.15 o 756632 1029.34/416.38 o 756481 1029.88/416.74 o 756480 1030.24/417.10 o 756470 1030.71/417.46 o 756460 1030.98/417.63 o 756459 1031.31/418.00 o 756458 1031.95/418.35 o 756391 1032.36/418.71 o 756390 1032.94/419.07 o 756380 1033.68/419.46 o 756370 1034.12/419.82 o 756369 1034.52/420.18 o 756368 1034.95/420.54 o 756360 1034.95/420.59 o 756359 1035.43/420.95 o 756358 1035.94/421.31 o 756281 1036.29/421.66 o 756280 1036.80/422.03 o 756270 1037.17/422.38 o 756260 1037.71/422.74 o 756259 1038.04/423.10 o 756258 1038.56/423.47 o 756248 1039.00/423.82 o 756238 1039.39/424.18 o 756237 1039.81/424.54 o 756236 1040.23/424.90 o 756159 1040.63/425.26 o 756158 1040.85/425.48 o 756148 1041.51/425.84 o 756138 1041.51/425.88 o 756137 1042.01/426.23 o 756136 1042.38/426.59 o 756059 1042.84/426.95 o 756058 1042.84/426.97 o 756048 1043.20/427.20 o 756038 1043.31/427.22 o 756037 1043.31/427.23 o 756036 1043.31/427.26 o 755959 1043.31/427.27 o 755958 1043.78/427.63 o 755948 1044.09/427.99 o 755938 1044.09/428.00 o 755937 1044.20/428.01 o 755936 1044.56/428.37 o 755859 1044.96/428.72 o 755858 1045.28/429.08 o 755848 1045.70/429.44 o 755838 1046.15/429.80 o 755837 1046.15/429.81 o 755836 1046.51/430.17 o 755835 1047.06/430.53 o 755826 1047.59/431.00 o 755825 1047.59/431.05 o 755824 1048.17/431.52 o 755747 1048.57/431.88 o 755746 1049.02/432.24 o 755736 1049.38/432.59 o 755726 1049.90/433.07 o 755725 1050.45/433.54 o 755724 1051.08/434.03 o 755723 1051.89/434.50 o 755655 1052.36/434.86 o 755654 1052.49/434.91 o 755644 1052.85/435.26 o 755634 1053.34/435.62 o 755633 1053.79/435.98 o 755632 1079.90/439.35 o 755631 1083.74/440.08 o 755625 1083.88/440.12 o 755624 1084.48/440.59 o 755623 1087.24/441.08 o 755622 1087.91/441.55 o 755621 1095.63/442.90 o 755580 1096.04/443.27 o 755579 1096.49/443.63 o 755569 1096.94/443.99 o 755559 1097.05/444.03 o 755558 1097.50/444.39 o 755557 1097.92/444.74 o 755549 1098.08/444.83 o 755548 1098.45/445.19 o 755547 1098.99/445.55 o 755370 1099.52/445.92 o 755369 1100.07/446.28 o 755359 1100.62/446.65 o 755349 1101.15/447.00 o 755348 1101.54/447.36 o 755347 1102.10/447.72 o 755280 1102.61/448.08 o 755279 1102.88/448.21 o 755269 1103.28/448.57 o 755259 1103.28/448.57 o 755258 1103.68/448.93 o 755257 1104.19/449.29 o 755249 1104.62/449.65 o 755248 1105.20/450.01 o 755247 1105.68/450.37 o 755170 1106.09/450.73 o 755169 1106.34/450.95 o 755159 1106.85/451.31 o 755149 1106.85/451.39 o 755148 1107.38/451.75 o 755147 1107.50/451.86 o 755137 1107.99/452.22 o 755127 1108.46/452.70 o 755126 1109.12/453.17 o 755125 1109.75/453.65 o 755048 1110.23/454.00 o 755047 1110.23/454.02 o 755037 1110.55/454.23 o 755027 1110.70/454.38 o 755026 1110.83/454.41 o 755025 1110.83/454.46 o 754948 1111.44/454.82 o 754947 1111.77/455.18 o 754937 1112.28/455.54 o 754927 1112.86/456.01 o 754926 1113.33/456.48 o 754925 1113.90/456.96 o 754848 1114.38/457.31 o 754847 1114.69/457.67 o 754837 1114.80/457.75 o 754827 1115.35/458.22 o 754826 1115.35/458.25 o 754825 1115.96/458.72 o 754748 1116.26/459.08 o 754747 1116.69/459.44 o 754737 1117.10/459.80 o 754727 1117.51/460.28 o 754726 1118.02/460.75 o 754725 1118.61/461.23 o 754724 1119.51/461.72 o 754715 1119.87/462.08 o 754714 1120.43/462.44 o 754713 1120.83/462.80 o 754712 1121.80/463.16 o 754646 1122.21/463.52 o 754645 1122.21/463.56 o 754635 1122.68/463.92 o 754634 1123.25/464.28 o 754625 1123.80/464.76 o 754624 1124.64/465.23 o 754623 1125.32/465.70 o 754622 1125.87/466.18 o 754621 1129.08/466.85 o 754615 1129.42/467.21 o 754614 1129.95/467.57 o 754613 1130.74/467.93 o 754612 1131.08/468.29 o 754611 1149.58/470.89 o 754599 1150.13/471.25 o 754589 1150.58/471.61 o 754588 1150.92/471.97 o 754587 1151.48/472.33 o 754586 1152.91/472.70 o 754525 1152.91/472.72 o 754524 1153.35/473.19 o 754514 1153.80/473.55 o 754504 1154.24/473.91 o 754503 1154.55/474.27 o 754502 1154.79/474.41 o 754501 1158.49/475.16 o 754493 1158.98/475.52 o 754483 1159.59/475.88 o 754482 1160.57/476.25 o 754473 1161.24/476.61 o 754405 1161.60/476.97 o 754404 1162.04/477.33 o 754395 1162.04/477.37 o 754394 1162.49/477.74 o 754384 1163.07/478.10 o 754383 1164.74/479.07 o 754373 1165.35/479.43 o 754304 1165.67/479.79 o 754303 1165.79/479.81 o 754294 1166.25/480.17 o 754293 1166.25/480.19 o 754283 1166.68/480.55 o 754273 1167.18/480.91 o 754272 1168.34/481.28 o 754271 1168.80/481.64 o 754263 1169.22/482.00 o 754262 1169.62/482.36 o 754261 1170.15/482.72 o 754260 1192.42/486.28 o 754193 1198.41/491.86 o 754192 1199.16/492.37 o 754182 1199.66/492.74 o 754172 1199.80/492.81 o 754171 1200.16/493.17 o 754162 1200.16/493.18 o 754161 1200.59/493.54 o 754160 1280.87/505.70 o 754159 1441.71/526.14 o 754093 1441.71/526.16 o 754092 1441.96/526.38 o 754082 1442.07/526.43 o 754072 1442.27/526.51 o 754071 1454.08/528.11 o 754062 1454.08/528.15 o 754061 1454.59/528.51 o 754060 1587.01/548.92 o 754059 1658.56/558.02 o 754051 1658.56/558.03 o 754050 1659.02/558.39 o 754049 1722.76/566.49 o 754036 1722.96/566.54 o 754035 1723.57/566.92 o 754025 1724.28/567.38 o 754015 1725.00/567.72 o 753915 1725.31/568.08 o 753914 1725.45/568.13 o 753905 1725.80/568.49 o 753904 1726.53/568.85 o 753895 1726.87/569.20 o 753894 1729.72/569.95 o 753815 1730.21/570.31 o 753814 1730.76/570.67 o 753805 1731.20/571.02 o 753804 1731.77/571.38 o 753794 1732.53/571.74 o 753784 1736.08/572.47 o 753783 1737.36/573.16 o 753704 1737.80/573.51 o 753703 1738.79/574.20 o 753693 1739.39/574.56 o 753683 1745.34/575.44 o 753588 1745.89/575.80 o 753488 1746.33/576.16 o 753487 1747.80/576.52 o 753482 1748.17/576.88 o 753472 1748.89/577.24 o 753471 1749.63/577.60 o 753414 1749.99/577.95 o 753413 1749.99/577.96 o 753403 1750.61/578.32 o 753402 1752.05/578.68 o 753393 1752.47/579.04 o 753392 1752.47/579.05 o 753382 1753.10/579.40 o 753372 1753.74/579.76 o 753371 1754.76/580.12 o 753362 1755.54/580.49 o 753294 1756.01/580.84 o 753293 1756.22/581.04 o 753284 1756.53/581.39 o 753283 1756.63/581.40 o 753273 1757.40/581.76 o 753272 1758.36/582.13 o 753262 1759.01/582.49 o 753193 1759.48/582.84 o 753192 1759.87/583.06 o 753183 1760.37/583.42 o 753182 1760.92/583.78 o 753172 1761.06/583.81 o 753162 1761.60/584.17 o 753161 1770.80/585.75 o 753160 1770.80/585.79 o 753082 1772.24/586.51 o 753081 1772.49/586.73 o 753071 1772.60/586.82 o 753061 1772.82/587.02 o 753060 1807.69/591.57 o 753051 1808.58/592.08 o 753050 1809.26/592.44 o 753049 1842.50/596.73 o 753041 1843.09/597.11 o 753040 1844.07/597.52 o 753039 1896.75/604.36 o 753031 1897.43/604.73 o 753021 1898.50/605.41 o 753020 1898.82/605.76 o 753019 1927.34/609.56 o 753018 1940.96/611.41 o 753017 1966.47/614.87 o 752876 1967.13/615.22 o 752875 1967.53/615.60 o 752865 1967.88/615.96 o 752855 1968.21/616.13 o 752854 1968.52/616.48 o 752853 1968.96/616.84 o 752786 1969.28/617.20 o 752785 1969.40/617.22 o 752775 1969.85/617.58 o 752765 1970.27/617.94 o 752764 1970.27/617.96 o 752763 1970.83/618.32 o 752755 1971.17/618.68 o 752754 1971.69/619.03 o 752753 1972.26/619.40 o 752676 1972.57/619.75 o 752675 1973.16/620.11 o 752665 1973.48/620.47 o 752655 1973.91/620.83 o 752654 1974.39/621.19 o 752653 1974.80/621.55 o 752643 1975.26/621.90 o 752633 1975.26/621.98 o 752632 1975.80/622.34 o 752631 1977.07/623.06 o 752554 1977.47/623.42 o 752553 1977.78/623.77 o 752543 1978.23/624.13 o 752533 1978.37/624.24 o 752532 1979.43/624.95 o 752531 1980.00/625.31 o 752454 1980.30/625.66 o 752453 1980.71/626.02 o 752443 1981.06/626.38 o 752433 1981.49/626.74 o 752432 1981.49/626.74 o 752431 1981.98/627.10 o 752354 1982.41/627.46 o 752353 1982.55/627.57 o 752343 1983.00/627.92 o 752333 1983.31/628.28 o 752332 1983.42/628.38 o 752331 1983.88/628.74 o 752254 1984.20/629.10 o 752253 1984.20/629.11 o 752243 1984.73/629.46 o 752233 1985.24/629.82 o 752232 1985.24/629.82 o 752231 1986.33/630.51 o 752230 1986.94/630.99 o 752222 1988.23/631.70 o 752212 1988.54/632.06 o 752211 1988.76/632.28 o 752210 1989.30/632.64 o 752133 1989.71/633.00 o 752132 1990.44/633.71 o 752122 1990.98/634.18 o 752112 1991.39/634.54 o 752111 1991.74/634.76 o 752110 1991.74/634.77 o 752109 1992.51/635.15 o 752041 1993.15/635.50 o 752040 1993.15/635.51 o 752030 1993.77/635.98 o 752020 1994.18/636.34 o 752019 1994.59/636.69 o 752018 2000.28/637.60 o 752017 2025.06/641.03 o 752012 2025.44/641.38 o 752011 2025.55/641.44 o 752010 2025.98/641.81 o 752009 2029.80/642.54 o 752002 2029.91/642.60 o 752001 2030.35/642.96 o 752000 2030.80/643.32 o 751999 2035.31/644.05 o 751998 2052.33/646.42 o 751876 2052.71/646.77 o 751875 2052.83/646.85 o 751865 2052.83/646.86 o 751855 2053.36/647.25 o 751854 2053.49/647.31 o 751853 2054.01/647.67 o 751774 2054.47/648.03 o 751773 2054.85/648.39 o 751763 2055.39/648.75 o 751753 2055.84/649.11 o 751752 2056.17/649.47 o 751744 2056.59/649.83 o 751734 2056.93/650.18 o 751733 2057.35/650.54 o 751732 2057.97/650.90 o 751663 2058.31/651.25 o 751662 2058.78/651.61 o 751652 2059.21/651.97 o 751642 2059.64/652.33 o 751641 2060.23/652.69 o 751633 2060.66/653.05 o 751632 2061.13/653.41 o 751631 2061.64/653.77 o 751554 2062.12/654.13 o 751553 2062.35/654.25 o 751543 2062.81/654.60 o 751533 2063.27/654.97 o 751532 2063.77/655.32 o 751531 2064.30/655.69 o 751454 2064.71/656.04 o 751453 2064.85/656.15 o 751443 2065.26/656.51 o 751433 2065.26/656.53 o 751432 2065.69/656.88 o 751431 2066.25/657.24 o 751354 2066.73/657.60 o 751353 2066.85/657.70 o 751343 2067.28/658.07 o 751333 2067.69/658.42 o 751332 2067.69/658.43 o 751331 2068.02/658.79 o 751254 2068.45/659.15 o 751253 2068.45/659.18 o 751243 2068.61/659.26 o 751233 2069.02/659.62 o 751232 2069.02/659.70 o 751231 2069.63/660.06 o 751230 2070.33/660.53 o 751222 2070.90/661.01 o 751212 2071.40/661.37 o 751211 2071.60/661.59 o 751210 2072.03/661.96 o 751133 2072.15/662.06 o 751132 2072.62/662.42 o 751122 2072.62/662.48 o 751112 2073.05/662.83 o 751111 2073.05/662.84 o 751110 2073.43/663.05 o 751109 2074.22/663.43 o 751041 2074.22/663.43 o 751040 2074.60/663.79 o 751030 2075.14/664.27 o 751020 2075.68/664.62 o 751019 2076.07/664.98 o 751018 2081.42/665.73 o 751017 2197.70/680.46 o 751016 2199.36/681.18 o 751009 2199.48/681.21 o 751008 2199.95/681.59 o 751007 2200.72/681.98 o 750975 2201.21/682.35 o 750974 2201.79/682.73 o 750964 2202.11/683.10 o 750954 2202.53/683.48 o 750953 2202.53/683.48 o 750952 2202.97/683.85 o 750944 2203.08/683.96 o 750943 2203.08/683.98 o 750942 2203.53/684.35 o 750765 2203.53/684.38 o 750764 2203.53/684.39 o 750754 2203.98/684.75 o 750744 2203.98/684.75 o 750743 2204.43/685.11 o 750742 2204.91/685.48 o 750663 2205.33/685.84 o 750662 2205.47/685.94 o 750652 2206.02/686.31 o 750642 2206.02/686.32 o 750641 2206.40/686.68 o 750631 2206.52/686.73 o 750630 2207.73/687.21 o 750621 2208.36/687.87 o 750620 2209.44/688.23 o 750573 2209.44/688.26 o 750572 2209.91/688.63 o 750562 2210.34/688.99 o 750552 2210.44/689.01 o 750551 2211.05/689.39 o 750542 2211.16/689.40 o 750541 2211.67/689.77 o 750532 2212.16/690.14 o 750522 2212.69/690.62 o 750521 2213.43/691.28 o 750520 2213.90/691.64 o 750443 2214.01/691.75 o 750442 2214.01/691.78 o 750432 2214.61/692.14 o 750422 2215.14/692.63 o 750421 2215.84/693.28 o 750420 2216.40/693.65 o 750343 2216.40/693.67 o 750342 2216.40/693.67 o 750332 2216.96/694.04 o 750322 2217.48/694.52 o 750321 2217.48/694.54 o 750320 2217.99/694.91 o 750243 2217.99/694.94 o 750242 2218.46/695.31 o 750232 2218.46/695.32 o 750222 2218.93/695.80 o 750221 2219.03/695.80 o 750220 2219.50/696.16 o 750143 2219.70/696.38 o 750142 2220.11/696.75 o 750132 2220.56/697.11 o 750122 2220.56/697.13 o 750121 2220.81/697.24 o 750120 2221.29/697.61 o 750119 2221.80/697.84 o 750041 2221.80/697.87 o 750040 2221.80/697.88 o 750030 2221.96/697.99 o 750020 2222.14/698.02 o 750019 2222.59/698.38 o 750018 2223.22/698.75 o 750009 2223.84/699.11 o 750008 2224.18/699.47 o 750007 2224.99/699.84 o 749999 2225.34/700.20 o 749998 2225.77/700.56 o 749997 2227.30/700.93 o 749996 2246.84/703.57 o 749994 2247.27/703.93 o 749984 2247.42/704.04 o 749983 2247.84/704.40 o 749982 2248.18/704.77 o 749981 2250.03/705.38 o 749920 2250.49/705.74 o 749919 2250.49/705.76 o 749909 2251.04/706.12 o 749899 2251.04/706.13 o 749898 2251.72/706.53 o 749897 2252.04/706.89 o 749896 2255.66/707.63 o 749888 2256.06/707.99 o 749878 2256.68/708.36 o 749877 2257.59/708.72 o 749868 2258.23/709.09 o 749800 2258.65/709.45 o 749799 2259.08/709.81 o 749790 2259.08/709.82 o 749789 2259.54/710.18 o 749779 2260.24/710.55 o 749778 2260.97/710.92 o 749768 2261.59/711.28 o 749699 2262.01/711.64 o 749698 2262.56/712.01 o 749689 2262.88/712.37 o 749688 2263.01/712.48 o 749678 2263.45/712.84 o 749668 2264.00/713.21 o 749667 2265.01/713.58 o 749666 2265.45/713.94 o 749658 2265.45/713.95 o 749657 2265.85/714.31 o 749656 2266.24/714.67 o 749655 2286.80/717.32 o 749588 2287.16/717.68 o 749587 2287.27/717.70 o 749577 2287.71/718.07 o 749567 2288.25/718.45 o 749566 2288.77/718.82 o 749557 2288.77/718.82 o 749556 2289.12/719.18 o 749555 2344.61/726.66 o 332938 2345.32/727.11 o 332138 2346.04/727.49 o 332038 7441.38/1366.23 o 181782 7457.80/1373.33 o 181772 16606.92/2520.08 s SATISFIABLE 16606.92/2520.08 v <instantiation> 16606.92/2520.08 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za1[798] za1[799] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] za1[808] za1[809] za1[810] za1[811] za1[812] za1[813] za1[814] za1[815] za1[816] za1[817] za1[818] za1[819] za1[820] za1[821] za1[822] za1[823] za1[824] za1[825] za1[826] za1[827] za1[828] za1[829] za1[830] za1[831] za1[832] za1[833] za1[834] za1[835] za1[836] za1[837] za1[838] za1[839] za1[840] za1[841] za1[842] za1[843] za1[844] za1[845] za1[846] za1[847] za1[848] za1[849] za1[850] za1[851] za1[852] za1[853] za1[854] za1[855] za1[856] za1[857] za1[858] za1[859] za1[860] za1[861] za1[862] za1[863] za1[864] za1[865] za1[866] za1[867] za1[868] za1[869] za1[870] za1[871] za1[872] za1[873] za1[874] za1[875] za1[876] za1[877] za1[878] za1[879] za1[880] za1[881] za1[882] za1[883] za1[884] za1[885] za1[886] za1[887] za1[888] za1[889] za1[890] za1[891] za1[892] za1[893] za1[894] za1[895] za1[896] za1[897] za1[898] za1[899] za1[900] za1[901] za1[902] za1[903] za1[904] za1[905] za1[906] za1[907] za1[908] za1[909] za1[910] za1[911] za1[912] za1[913] za1[914] za1[915] za1[916] za1[917] za1[918] za1[919] za1[920] za1[921] za1[922] za1[923] za1[924] za1[925] za1[926] za1[927] za1[928] za1[929] za1[930] za1[931] za1[932] za1[933] za1[934] za1[935] za1[936] za1[937] za1[938] za1[939] za1[940] za1[941] za1[942] za1[943] za1[944] za1[945] za1[946] za1[947] za1[948] za1[949] za1[950] za1[951] za1[952] za1[953] za1[954] za1[955] za1[956] za1[957] za1[958] za1[959] za1[960] za1[961] za1[962] za1[963] za1[964] za1[965] za1[966] za1[967] za1[968] za1[969] za1[970] za1[971] za1[972] za1[973] za1[974] za1[975] za1[976] za1[977] za1[978] za1[979] za1[980] za1[981] za1[982] za1[983] za1[984] za1[985] za1[986] za1[987] za1[988] za1[989] za1[990] za1[991] za1[992] za1[993] za1[994] za1[995] za1[996] za1[997] za1[998] za1[999] za1[1000] za1[1001] za1[1002] za1[1003] za1[1004] za1[1005] za1[1006] za1[1007] za1[1008] za1[1009] za1[1010] za1[1011] za1[1012] za1[1013] za1[1014] za1[1015] za1[1016] za1[1017] za1[1018] za1[1019] za1[1020] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za2[1027] za2[1028] za2[1029] za2[1030] za2[1031] za2[1032] za2[1033] za2[1034] za2[1035] za2[1036] za2[1037] za2[1038] za2[1039] za2[1040] za2[1041] za2[1042] za2[1043] za2[1044] za2[1045] za2[1046] za2[1047] za2[1048] za2[1049] za2[1050] za2[1051] za2[1052] za2[1053] za2[1054] za2[1055] za2[1056] za2[1057] za2[1058] za2[1059] za2[1060] za2[1061] za2[1062] za2[1063] za2[1064] za2[1065] za2[1066] za2[1067] za2[1068] za2[1069] za2[1070] za2[1071] za2[1072] za2[1073] za2[1074] za2[1075] za2[1076] za2[1077] za2[1078] za2[1079] za2[1080] za2[1081] za2[1082] za2[1083] za2[1084] za2[1085] za2[1086] za2[1087] za2[1088] za2[1089] za2[1090] za2[1091] za2[1092] za2[1093] za2[1094] za2[1095] za2[1096] za2[1097] za2[1098] za2[1099] za2[1100] za2[1101] za2[1102] za2[1103] za2[1104] za2[1105] za2[1106] za2[1107] za2[1108] za2[1109] za2[1110] za2[1111] za2[1112] za2[1113] za2[1114] za2[1115] za2[1116] za2[1117] za2[1118] za2[1119] za2[1120] za2[1121] za2[1122] za2[1123] za2[1124] za2[1125] za2[1126] za2[1127] za2[1128] za2[1129] za2[1130] za2[1131] za2[1132] za2[1133] za2[1134] za2[1135] za2[1136] za2[1137] za2[1138] za2[1139] za2[1140] za2[1141] za2[1142] za2[1143] za2[1144] za2[1145] za2[1146] za2[1147] za2[1148] za2[1149] za2[1150] za2[1151] za2[1152] za2[1153] za2[1154] za2[1155] za2[1156] za2[1157] za2[1158] za2[1159] za2[1160] za2[1161] za2[1162] za2[1163] za2[1164] za2[1165] za2[1166] za2[1167] za2[1168] za2[1169] za2[1170] za2[1171] za2[1172] za2[1173] za2[1174] za2[1175] za2[1176] za2[1177] za2[1178] za2[1179] za2[1180] za2[1181] za2[1182] za2[1183] za2[1184] za2[1185] za2[1186] za2[1187] za2[1188] za2[1189] za2[1190] za2[1191] za2[1192] za2[1193] za2[1194] za2[1195] za2[1196] za2[1197] za2[1198] za2[1199] za2[1200] za2[1201] za2[1202] za2[1203] za2[1204] za2[1205] za2[1206] za2[1207] za2[1208] za2[1209] za2[1210] za2[1211] za2[1212] za2[1213] za2[1214] za2[1215] za2[1216] za2[1217] za2[1218] za2[1219] za2[1220] za2[1221] za2[1222] za2[1223] za2[1224] za2[1225] za2[1226] za2[1227] za2[1228] za2[1229] za2[1230] za2[1231] za2[1232] za2[1233] za2[1234] za2[1235] za2[1236] za2[1237] za2[1238] za2[1239] za2[1240] za2[1241] za2[1242] za2[1243] za2[1244] za2[1245] za2[1246] za2[1247] za2[1248] za2[1249] za2[1250] za2[1251] za2[1252] za2[1253] za2[1254] za2[1255] za2[1256] za2[1257] za2[1258] za2[1259] za2[1260] za2[1261] za2[1262] za2[1263] za2[1264] za2[1265] za2[1266] za2[1267] za2[1268] za2[1269] za2[1270] za2[1271] za2[1272] za2[1273] za2[1274] za2[1275] za2[1276] za2[1277] za2[1278] za2[1279] za2[1280] za2[1281] za2[1282] za2[1283] za2[1284] za2[1285] za2[1286] za2[1287] za2[1288] za2[1289] za2[1290] za2[1291] za2[1292] za2[1293] za2[1294] za2[1295] za2[1296] za2[1297] za2[1298] za2[1299] za2[1300] za2[1301] za2[1302] za2[1303] za2[1304] za2[1305] za2[1306] za2[1307] za2[1308] za2[1309] za2[1310] za2[1311] za2[1312] za2[1313] za2[1314] za2[1315] za2[1316] za2[1317] za2[1318] za2[1319] za2[1320] za2[1321] za2[1322] za2[1323] za2[1324] za2[1325] za2[1326] za2[1327] za2[1328] za2[1329] za2[1330] za2[1331] za2[1332] za2[1333] za2[1334] za2[1335] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] za3[909] za3[910] za3[911] za3[912] za3[913] za3[914] za3[915] za3[916] za3[917] za3[918] za3[919] za3[920] za3[921] za3[922] za3[923] za3[924] za3[925] za3[926] za3[927] za3[928] za3[929] za3[930] za3[931] za3[932] za3[933] za3[934] za3[935] za3[936] za3[937] za3[938] za3[939] za3[940] za3[941] za3[942] za3[943] za3[944] za3[945] za3[946] za3[947] za3[948] za3[949] za3[950] za3[951] za3[952] za3[953] za3[954] za3[955] za3[956] za3[957] za3[958] za3[959] za3[960] za3[961] za3[962] za3[963] za3[964] za3[965] za3[966] za3[967] za3[968] za3[969] za3[970] za3[971] za3[972] za3[973] za3[974] za3[975] za3[976] za3[977] za3[978] za3[979] za3[980] za3[981] za3[982] za3[983] za3[984] za3[985] za3[986] za3[987] za3[988] za3[989] za3[990] za3[991] za3[992] za3[993] za3[994] za3[995] za3[996] za3[997] za3[998] za3[999] za3[1000] za3[1001] za3[1002] za3[1003] za3[1004] za3[1005] za3[1006] za3[1007] za3[1008] za3[1009] za3[1010] za3[1011] za3[1012] za3[1013] za3[1014] za3[1015] za3[1016] za3[1017] za3[1018] za3[1019] za3[1020] za3[1021] za3[1022] za3[1023] za3[1024] za3[1025] za3[1026] za3[1027] za3[1028] za3[1029] za3[1030] za3[1031] za3[1032] za3[1033] za3[1034] za3[1035] za3[1036] za3[1037] za3[1038] za3[1039] za3[1040] za3[1041] za3[1042] za3[1043] za3[1044] za3[1045] za3[1046] za3[1047] za3[1048] za3[1049] za3[1050] za3[1051] za3[1052] za3[1053] za3[1054] za3[1055] za3[1056] za3[1057] za3[1058] za3[1059] za3[1060] za3[1061] za3[1062] za3[1063] za3[1064] za3[1065] za3[1066] za3[1067] za3[1068] za3[1069] za3[1070] za3[1071] za3[1072] za3[1073] za3[1074] za3[1075] za3[1076] za3[1077] za3[1078] za3[1079] za3[1080] za3[1081] za3[1082] za3[1083] za3[1084] za3[1085] za3[1086] za3[1087] za3[1088] za3[1089] za3[1090] za3[1091] za3[1092] za3[1093] za3[1094] za3[1095] za3[1096] za3[1097] za3[1098] za3[1099] za3[1100] za3[1101] za3[1102] za3[1103] za3[1104] za3[1105] za3[1106] za3[1107] za3[1108] za3[1109] za3[1110] za3[1111] za3[1112] za3[1113] za3[1114] za3[1115] za3[1116] za3[1117] za3[1118] za3[1119] za3[1120] za3[1121] za3[1122] za3[1123] za3[1124] za3[1125] za3[1126] za3[1127] za3[1128] za3[1129] za3[1130] za3[1131] za3[1132] za3[1133] za3[1134] za3[1135] za3[1136] za3[1137] za3[1138] za3[1139] za3[1140] za3[1141] za3[1142] za3[1143] za3[1144] za3[1145] za3[1146] za3[1147] za3[1148] za3[1149] za3[1150] za3[1151] za3[1152] za3[1153] za3[1154] za3[1155] za3[1156] za3[1157] za3[1158] za3[1159] za3[1160] za3[1161] za3[1162] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] za4[1056] za4[1057] za4[1058] za4[1059] za4[1060] za4[1061] za4[1062] za4[1063] za4[1064] za4[1065] za4[1066] za4[1067] za4[1068] za4[1069] za4[1070] za4[1071] za4[1072] za4[1073] za4[1074] za4[1075] za4[1076] za4[1077] za4[1078] za4[1079] za4[1080] za4[1081] za4[1082] za4[1083] za4[1084] za4[1085] za4[1086] za4[1087] za4[1088] za4[1089] za4[1090] za4[1091] za4[1092] za4[1093] za4[1094] za4[1095] za4[1096] za4[1097] za4[1098] za4[1099] za4[1100] za4[1101] za4[1102] za4[1103] za4[1104] za4[1105] za4[1106] za4[1107] za4[1108] za4[1109] za4[1110] za4[1111] za4[1112] za4[1113] za4[1114] za4[1115] za4[1116] za4[1117] za4[1118] za4[1119] za4[1120] za4[1121] za4[1122] za4[1123] za4[1124] za4[1125] za4[1126] za4[1127] za4[1128] za4[1129] za4[1130] za4[1131] za4[1132] za4[1133] za4[1134] za4[1135] za4[1136] za4[1137] za4[1138] za4[1139] za4[1140] za4[1141] za4[1142] za4[1143] za4[1144] za4[1145] za4[1146] za4[1147] za4[1148] za4[1149] za4[1150] za4[1151] za4[1152] za4[1153] za4[1154] za4[1155] za4[1156] za4[1157] za4[1158] za4[1159] za4[1160] za4[1161] za4[1162] za4[1163] za4[1164] za4[1165] za4[1166] za4[1167] za4[1168] za4[1169] za4[1170] za4[1171] za4[1172] za4[1173] za4[1174] za4[1175] za4[1176] za4[1177] za4[1178] za4[1179] za4[1180] za4[1181] za4[1182] za4[1183] za4[1184] za4[1185] za4[1186] za4[1187] za4[1188] za4[1189] za4[1190] za4[1191] za4[1192] za4[1193] za4[1194] za4[1195] za4[1196] za4[1197] za4[1198] za4[1199] za4[1200] za4[1201] za4[1202] za4[1203] za4[1204] za4[1205] za4[1206] za4[1207] za4[1208] za4[1209] za4[1210] za4[1211] za4[1212] za4[1213] za4[1214] za4[1215] za4[1216] za4[1217] za4[1218] za4[1219] za4[1220] za4[1221] za4[1222] za4[1223] za4[1224] za4[1225] za4[1226] za4[1227] za4[1228] za4[1229] za4[1230] za4[1231] za4[1232] za4[1233] za4[1234] za4[1235] za4[1236] za4[1237] za4[1238] za4[1239] za4[1240] za4[1241] za4[1242] za4[1243] za4[1244] za4[1245] za4[1246] za4[1247] za4[1248] za4[1249] za4[1250] za4[1251] za4[1252] za4[1253] za4[1254] za4[1255] za4[1256] za4[1257] za4[1258] za4[1259] za4[1260] za4[1261] za4[1262] za4[1263] za4[1264] za4[1265] za4[1266] za4[1267] za4[1268] za4[1269] za4[1270] za4[1271] za4[1272] za4[1273] za4[1274] za4[1275] za4[1276] za4[1277] za4[1278] za4[1279] za4[1280] za4[1281] za4[1282] za4[1283] za4[1284] za4[1285] za4[1286] za4[1287] za4[1288] za4[1289] za4[1290] za4[1291] za4[1292] za4[1293] za4[1294] </list> 16606.92/2520.09 v <values>554 792 414 652 254 16 708 470 128 366 512 750 86 324 30 268 268 30 16 254 764 526 498 736 16 254 428 666 30 268 44 282 554 792 58 296 268 30 30 268 512 750 722 484 792 554 554 792 414 652 666 428 540 778 86 324 58 296 16 254 142 380 778 540 142 380 30 268 86 324 44 282 778 540 16 254 16 254 456 694 142 380 442 680 16 254 498 736 16 254 16 254 792 554 100 338 16 254 498 736 16 254 16 254 128 366 540 778 414 652 666 428 16 254 16 254 142 380 478 240 16 254 268 30 456 694 792 554 114 352 310 72 16 254 254 16 526 764 764 526 142 380 156 394 428 666 72 310 694 456 30 268 554 792 58 296 86 324 498 736 414 652 58 296 722 484 16 254 58 296 526 764 114 352 512 750 254 16 554 792 512 750 352 114 792 554 554 792 240 478 792 554 428 666 16 254 792 554 16 254 142 380 142 380 114 352 44 282 512 750 254 16 554 792 394 156 778 540 456 694 792 554 414 652 540 778 16 254 44 282 554 792 44 282 16 254 30 268 44 282 380 142 30 268 254 16 470 708 526 764 16 254 526 764 72 310 44 282 30 268 30 268 764 526 666 428 58 296 498 736 540 778 380 142 240 478 408 170 72 310 498 736 512 750 254 16 156 394 526 764 526 764 736 498 268 30 428 666 470 708 44 282 750 512 778 540 414 652 128 366 470 708 526 764 30 268 498 736 16 254 44 282 540 778 16 254 456 694 540 778 722 484 428 666 722 484 666 428 30 268 86 324 170 408 554 792 30 268 268 30 30 268 414 652 554 792 554 792 72 310 86 324 16 254 16 254 526 764 666 428 44 282 414 652 30 268 72 310 72 310 750 512 456 694 142 380 708 470 268 30 170 408 16 254 540 778 526 764 470 708 414 652 16 254 380 142 72 310 414 652 414 652 708 470 16 254 86 324 156 394 540 778 540 778 16 254 142 380 16 254 554 792 16 254 254 16 428 666 366 128 254 16 30 268 114 352 456 694 240 478 414 652 478 240 470 708 778 540 16 254 554 792 30 268 114 352 750 512 526 764 750 512 470 708 16 254 44 282 512 750 792 554 16 254 156 394 512 750 142 380 16 254 16 254 16 254 100 338 512 750 114 352 526 764 666 428 498 736 240 478 554 792 470 708 526 764 30 268 764 526 722 484 554 792 30 268 540 778 44 282 72 310 554 792 456 694 114 352 16 254 498 736 512 750 30 268 778 540 16 254 16 254 666 428 16 254 16 254 526 764 652 414 792 554 554 792 128 366 268 30 498 736 470 708 16 254 498 736 512 750 142 380 156 394 16 254 428 666 254 16 16 254 512 750 240 478 16 254 408 170 540 778 30 268 750 512 58 296 380 142 58 296 156 394 282 44 414 652 540 778 428 666 470 708 128 366 380 142 142 380 156 394 540 778 498 736 554 792 30 268 254 16 72 310 554 792 540 778 428 666 254 16 16 254 44 282 16 254 414 652 114 352 540 778 114 352 484 722 380 142 156 394 526 764 554 792 512 750 254 16 16 254 142 380 254 16 142 380 254 16 666 428 470 708 380 142 764 526 554 792 512 750 128 366 778 540 554 792 16 254 554 792 750 512 254 16 128 366 114 352 100 338 58 296 16 254 268 30 30 268 16 254 554 792 484 722 86 324 72 310 456 694 380 142 58 296 16 254 16 254 764 526 750 512 470 708 414 652 16 254 16 254 526 764 16 254 16 254 268 30 456 694 540 778 114 352 792 554 142 380 30 268 428 666 310 72 484 722 428 666 268 30 16 254 16 254 414 652 526 764 442 680 72 310 16 254 30 268 16 254 16 254 442 680 128 366 142 380 30 268 792 554 792 554 428 666 498 736 540 778 352 114 428 666 498 736 750 512 268 30 100 338 484 722 30 268 554 792 428 666 170 408 30 268 142 380 44 282 554 792 736 498 58 296 408 170 512 750 142 380 170 408 414 652 526 764 16 254 16 254 30 268 142 380 30 268 666 428 30 268 72 310 86 324 114 352 554 792 16 254 414 652 778 540 554 792 16 254 16 254 666 428 554 792 72 310 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 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 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 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 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 1000 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 1000 0 0 0 1000 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 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 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 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 1000 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 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 1000 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 1000 0 0 0 0 0 0 0 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 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 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 1000 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 0 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 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 0 0 0 0 0 0 0 0 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 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 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 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 0 0 0 0 1000 1000 0 0 0 1000 1000 0 1000 0 0 0 0 0 1000 1000 1000 0 0 0 1000 1000 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 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 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 100 100 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 100 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 0 0 100 100 100 0 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 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 100 0 0 100 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 0 0 0 0 0 0 0 100 100 100 0 0 100 0 0 0 0 100 100 0 0 100 0 0 100 0 0 100 100 0 100 100 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 100 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 100 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 100 0 100 0 100 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 0 100 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 100 100 100 0 0 0 100 0 100 0 0 0 0 0 0 100 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 100 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 100 0 0 0 0 100 0 100 0 100 100 100 100 0 0 100 0 0 0 100 100 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 0 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 100 0 100 0 0 0 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 100 100 100 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 100 0 100 0 100 0 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 0 0 0 100 0 0 0 100 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 100 0 0 0 100 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 100 0 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 100 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 100 100 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 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 100 0 0 100 0 100 0 0 0 100 100 0 0 0 0 0 100 100 0 0 0 0 100 0 0 100 0 0 0 0 0 100 100 0 0 0 10 0 10 10 0 0 10 10 0 0 10 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 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 10 10 10 0 0 10 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 10 10 10 0 0 0 0 0 10 0 0 10 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 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 10 0 0 0 0 0 10 0 10 0 10 10 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 10 10 10 0 0 10 0 10 10 10 0 0 10 10 10 0 10 0 10 0 10 0 0 0 10 0 0 10 10 10 0 0 10 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 10 0 0 10 10 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 10 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 10 0 10 0 0 0 0 0 0 10 0 0 0 10 10 10 10 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 10 10 10 0 10 10 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 10 0 10 0 10 10 10 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 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 10 10 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 10 0 0 10 0 10 0 10 0 0 10 0 10 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 10 0 10 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 10 10 10 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 10 10 0 10 0 10 0 0 0 0 10 10 0 10 0 0 10 10 0 10 10 0 0 10 0 0 10 10 0 10 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 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 10 10 10 0 0 0 10 10 0 0 10 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 </values> 16606.92/2520.09 v </instantiation> 16606.92/2520.09 c Unexpected resolution interruption!
OK 181772
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 (8479 MiB free)
memory of node 1: 16384 MiB (11530 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297888-1532705860/watcher-4297888-1532705860 -o /tmp/evaluation-result-4297888-1532705860/solver-4297888-1532705860 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532697755-20441 --watchdog 2580 HOME/xcsp3-exec -seed 1880431192 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297888-1532705860.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22187, runsolver pid=22184
[startup+0.100136 s]*
/proc/loadavg: 6.43 2.95 2.31 3/199 22208
/proc/meminfo: memFree=20474120/32770624 swapFree=67108860/67108860
[pid=22187] ppid=22184 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22187/stat : 22187 (xcsp3-exec) S 22184 22187 20414 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88149219 115843072 364 33554432000 4194304 5098028 140731632176160 140731632174264 140438785675900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39280640 140731632178229 140731632178432 140731632178432 140731632181194 0
/proc/22187/statm: 28282 364 307 221 0 87 0
[pid=22189] ppid=22187 vsize=26104152 memory=27016 CPUtime=0.11 cores=0-7
/proc/22189/stat : 22189 (java) S 22187 22187 20414 0 -1 1077944320 5680 0 0 0 10 1 0 0 20 0 20 0 88149219 26730651648 6754 33554432000 4194304 4196468 140724970064592 140724970047136 140265419304695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
/proc/22189/statm: 6526038 6754 3001 1 0 6488315 0
[pid=22189/tid=22190] ppid=22187 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) R 22187 22187 20414 0 -1 4202560 3685 0 0 0 8 1 0 0 20 0 20 0 88149219 26730651648 6754 33554432000 4194304 4196468 140724970064592 140265423536688 140265403348325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22191] ppid=22187 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264977484304 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22192] ppid=22187 vsize=26104152 memory=140098186339968 CPUtime=0 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264976431760 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22193] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22187 22187 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264975378704 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22194] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22194/stat : 22194 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264974326160 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22195] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22195/stat : 22195 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264973274128 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22196] ppid=22187 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22196/stat : 22196 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264972221584 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22197] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22197/stat : 22197 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264971168528 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22198] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22198/stat : 22198 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264970115984 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22199] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22199/stat : 22199 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149221 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264815085808 140265419315842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22200] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22200/stat : 22200 (java) S 22187 22187 20414 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88149222 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264814032032 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22201] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22201/stat : 22201 (java) S 22187 22187 20414 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88149222 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264812978928 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22202] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22202/stat : 22202 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149224 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264811927504 140265419323291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22203] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22203/stat : 22203 (java) S 22187 22187 20414 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 88149224 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264810875632 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22204] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22204/stat : 22204 (java) S 22187 22187 20414 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 88149224 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264809823088 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22205] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22205/stat : 22205 (java) S 22187 22187 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88149224 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264808770032 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22206] ppid=22187 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/22189/task/22206/stat : 22206 (java) S 22187 22187 20414 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 88149224 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264807717488 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22207] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22207/stat : 22207 (java) S 22187 22187 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88149225 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264806664672 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22208] ppid=22187 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22208/stat : 22208 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149225 26730651648 6754 33554432000 4194304 4196468 140724970064592 140264805612208 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28472 KiB
[startup+0.210379 s]*
/proc/loadavg: 6.43 2.95 2.31 3/199 22208
/proc/meminfo: memFree=20462760/32770624 swapFree=67108860/67108860
[pid=22187] ppid=22184 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22187/stat : 22187 (xcsp3-exec) S 22184 22187 20414 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88149219 115843072 364 33554432000 4194304 5098028 140731632176160 140731632174264 140438785675900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39280640 140731632178229 140731632178432 140731632178432 140731632181194 0
/proc/22187/statm: 28282 364 307 221 0 87 0
[pid=22189] ppid=22187 vsize=26104152 memory=39212 CPUtime=0.33 cores=0-7
/proc/22189/stat : 22189 (java) S 22187 22187 20414 0 -1 1077944320 8410 0 0 0 31 2 0 0 20 0 20 0 88149219 26730651648 9803 33554432000 4194304 4196468 140724970064592 140724970047136 140265419304695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
/proc/22189/statm: 6526038 9803 3183 1 0 6488315 0
[pid=22189/tid=22190] ppid=22187 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) R 22187 22187 20414 0 -1 4202560 5579 0 0 0 18 1 0 0 20 0 20 0 88149219 26730651648 9803 33554432000 4194304 4196468 140724970064592 140265423539680 140265403385182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22191] ppid=22187 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264977484304 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22192] ppid=22187 vsize=26104152 memory=288370474338051712 CPUtime=0 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264976431760 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22193] ppid=22187 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22187 22187 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264975378704 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22194] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22194/stat : 22194 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264974326160 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22195] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22195/stat : 22195 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264973274128 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22196] ppid=22187 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22196/stat : 22196 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264972221584 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22197] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22197/stat : 22197 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264971168528 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22198] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22198/stat : 22198 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149220 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264970115984 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22199] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22199/stat : 22199 (java) S 22187 22187 20414 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88149221 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264815085808 140265419315842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22200] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22200/stat : 22200 (java) S 22187 22187 20414 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88149222 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264814032032 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22201] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22201/stat : 22201 (java) S 22187 22187 20414 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88149222 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264812978928 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22202] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22202/stat : 22202 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149224 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264811927504 140265419323291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22203] ppid=22187 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/22189/task/22203/stat : 22203 (java) S 22187 22187 20414 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 20 0 88149224 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264810875632 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22204] ppid=22187 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/22189/task/22204/stat : 22204 (java) S 22187 22187 20414 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 20 0 88149224 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264809823088 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22205] ppid=22187 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/22189/task/22205/stat : 22205 (java) S 22187 22187 20414 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 20 0 88149224 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264808770032 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22206] ppid=22187 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7
/proc/22189/task/22206/stat : 22206 (java) S 22187 22187 20414 0 -1 1077944384 781 0 0 0 8 0 0 0 20 0 20 0 88149224 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264807717488 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22207] ppid=22187 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22207/stat : 22207 (java) S 22187 22187 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88149225 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264806664672 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22208] ppid=22187 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22208/stat : 22208 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149225 26730651648 9803 33554432000 4194304 4196468 140724970064592 140264805612208 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40668 KiB
[startup+0.310383 s]*
/proc/loadavg: 6.43 2.95 2.31 3/199 22208
/proc/meminfo: memFree=20455936/32770624 swapFree=67108860/67108860
[pid=22187] ppid=22184 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22187/stat : 22187 (xcsp3-exec) S 22184 22187 20414 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88149219 115843072 364 33554432000 4194304 5098028 140731632176160 140731632174264 140438785675900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39280640 140731632178229 140731632178432 140731632178432 140731632181194 0
/proc/22187/statm: 28282 364 307 221 0 87 0
[pid=22189] ppid=22187 vsize=26108408 memory=46460 CPUtime=0.51 cores=0-7
/proc/22189/stat : 22189 (java) S 22187 22187 20414 0 -1 1077944320 9369 0 0 0 49 2 0 0 20 0 20 0 88149219 26735009792 11615 33554432000 4194304 4196468 140724970064592 140724970047136 140265419304695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
/proc/22189/statm: 6527102 11615 3224 1 0 6488315 0
[pid=22189/tid=22190] ppid=22187 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) R 22187 22187 20414 0 -1 4202560 6301 0 0 0 27 2 0 0 20 0 20 0 88149219 26735009792 11615 33554432000 4194304 4196468 140724970064592 140265423535808 140265403385182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22191] ppid=22187 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149220 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264977484304 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22192] ppid=22187 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149220 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264976431760 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22193] ppid=22187 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22187 22187 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88149220 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264975378704 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22194] ppid=22187 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22194/stat : 22194 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149220 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264974326160 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22195] ppid=22187 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/22189/task/22195/stat : 22195 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149220 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264973274128 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22196] ppid=22187 vsize=26108408 memory=140098075194287 CPUtime=0 cores=0-7
/proc/22189/task/22196/stat : 22196 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149220 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264972221584 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22197] ppid=22187 vsize=26108408 memory=140098075196592 CPUtime=0 cores=0-7
/proc/22189/task/22197/stat : 22197 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149220 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264971168528 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22198] ppid=22187 vsize=26108408 memory=140098075198896 CPUtime=0 cores=0-7
/proc/22189/task/22198/stat : 22198 (java) S 22187 22187 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88149220 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264970115984 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22199] ppid=22187 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22199/stat : 22199 (java) S 22187 22187 20414 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88149221 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264815085808 140265419315842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22200] ppid=22187 vsize=26108408 memory=280196150404752 CPUtime=0 cores=0-7
/proc/22189/task/22200/stat : 22200 (java) S 22187 22187 20414 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88149222 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264814032032 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22201] ppid=22187 vsize=26108408 memory=280196150411664 CPUtime=0 cores=0-7
/proc/22189/task/22201/stat : 22201 (java) S 22187 22187 20414 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88149222 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264812978928 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22202] ppid=22187 vsize=26108408 memory=280196150352944 CPUtime=0 cores=0-7
/proc/22189/task/22202/stat : 22202 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149224 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264811927504 140265419323291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22203] ppid=22187 vsize=26108408 memory=280196150425488 CPUtime=0.03 cores=0-7
/proc/22189/task/22203/stat : 22203 (java) S 22187 22187 20414 0 -1 1077944384 451 0 0 0 3 0 0 0 20 0 20 0 88149224 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264810875632 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22204] ppid=22187 vsize=26108408 memory=280196150432400 CPUtime=0.02 cores=0-7
/proc/22189/task/22204/stat : 22204 (java) S 22187 22187 20414 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 20 0 88149224 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264809823088 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22205] ppid=22187 vsize=26108408 memory=280196150430096 CPUtime=0.03 cores=0-7
/proc/22189/task/22205/stat : 22205 (java) S 22187 22187 20414 0 -1 1077944384 237 0 0 0 3 0 0 0 20 0 20 0 88149224 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264808770032 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22206] ppid=22187 vsize=26108408 memory=280196150446256 CPUtime=0.12 cores=0-7
/proc/22189/task/22206/stat : 22206 (java) S 22187 22187 20414 0 -1 1077944384 909 0 0 0 12 0 0 0 20 0 20 0 88149224 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264807717488 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22207] ppid=22187 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22207/stat : 22207 (java) S 22187 22187 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88149225 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264806664672 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22208] ppid=22187 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22208/stat : 22208 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149225 26735009792 11615 33554432000 4194304 4196468 140724970064592 140264805612208 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47916 KiB
[startup+0.700997 s]
/proc/loadavg: 6.43 2.95 2.31 7/199 22208
/proc/meminfo: memFree=20431544/32770624 swapFree=67108860/67108860
[pid=22187] ppid=22184 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22187/stat : 22187 (xcsp3-exec) S 22184 22187 20414 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88149219 115843072 364 33554432000 4194304 5098028 140731632176160 140731632174264 140438785675900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39280640 140731632178229 140731632178432 140731632178432 140731632181194 0
/proc/22187/statm: 28282 364 307 221 0 87 0
[pid=22189] ppid=22187 vsize=26110532 memory=123328 CPUtime=2.03 cores=0-7
/proc/22189/stat : 22189 (java) S 22187 22187 20414 0 -1 1077944320 13663 0 0 0 197 6 0 0 20 0 20 0 88149219 26737184768 30832 33554432000 4194304 4196468 140724970064592 140724970047136 140265419304695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
/proc/22189/statm: 6527633 30832 3353 1 0 6488827 0
[pid=22189/tid=22190] ppid=22187 vsize=26110532 memory=280196150804144 CPUtime=0.67 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) R 22187 22187 20414 0 -1 4202560 6802 0 0 0 64 3 0 0 20 0 20 0 88149219 26737184768 30832 33554432000 4194304 4196468 140724970064592 140265423540048 140265419326042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22191] ppid=22187 vsize=26110532 memory=140098075403120 CPUtime=0 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149220 26737184768 30832 33554432000 4194304 4196468 140724970064592 140264977484304 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22192] ppid=22187 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88149220 26737184768 30832 33554432000 4194304 4196468 140724970064592 140264976431760 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22193] ppid=22187 vsize=26110532 memory=8540 CPUtime=0 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22187 22187 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88149220 26737184768 30832 33554432000 4194304 4196468 140724970064592 140264975378704 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
################
# More data... #
################
/proc/meminfo: memFree=14475016/32770624 swapFree=67108860/67108860
[pid=22187] ppid=22184 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22187/stat : 22187 (xcsp3-exec) S 22184 22187 20414 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88149219 115843072 364 33554432000 4194304 5098028 140731632176160 140731632174264 140438785675900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39280640 140731632178229 140731632178432 140731632178432 140731632181194 0
/proc/22187/statm: 28282 364 307 221 0 87 0
[pid=22189] ppid=22187 vsize=26645092 memory=6010412 CPUtime=16465.7 cores=0-7
/proc/22189/stat : 22189 (java) S 22187 22187 20414 0 -1 1077944320 2367528 0 0 0 1643624 2945 0 0 20 0 28 0 88149219 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140724970047136 140265419304695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
/proc/22189/statm: 6661273 1502603 3471 1 0 6622467 0
[pid=22189/tid=22190] ppid=22187 vsize=26645092 memory=1456 CPUtime=36.66 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) S 22187 22187 20414 0 -1 1077944384 31364 0 0 0 3621 45 0 0 20 0 28 0 88149219 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140265423545408 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22191] ppid=22187 vsize=26645092 memory=6010412 CPUtime=13.18 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22187 22187 20414 0 -1 1077944384 40422 0 0 0 1128 190 0 0 20 0 28 0 88149220 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264977484304 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22192] ppid=22187 vsize=26645092 memory=4136 CPUtime=13.18 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22187 22187 20414 0 -1 1077944384 38141 0 0 0 1138 180 0 0 20 0 28 0 88149220 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264976431760 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22193] ppid=22187 vsize=26645092 memory=25768 CPUtime=13.21 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22187 22187 20414 0 -1 1077944384 38606 0 0 0 1130 191 0 0 20 0 28 0 88149220 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264975378704 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22194] ppid=22187 vsize=26645092 memory=2420 CPUtime=13.21 cores=0-7
/proc/22189/task/22194/stat : 22194 (java) S 22187 22187 20414 0 -1 1077944384 40694 0 0 0 1134 187 0 0 20 0 28 0 88149220 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264974326160 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22195] ppid=22187 vsize=26645092 memory=288230574492221466 CPUtime=13.17 cores=0-7
/proc/22189/task/22195/stat : 22195 (java) S 22187 22187 20414 0 -1 1077944384 41399 0 0 0 1138 179 0 0 20 0 28 0 88149220 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264973274128 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22196] ppid=22187 vsize=26645092 memory=303430231908417849 CPUtime=13.21 cores=0-7
/proc/22189/task/22196/stat : 22196 (java) S 22187 22187 20414 0 -1 1077944384 43627 0 0 0 1129 192 0 0 20 0 28 0 88149220 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264972221584 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22197] ppid=22187 vsize=26645092 memory=15824378344507954 CPUtime=13.27 cores=0-7
/proc/22189/task/22197/stat : 22197 (java) S 22187 22187 20414 0 -1 1077944384 47404 0 0 0 1137 190 0 0 20 0 28 0 88149220 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264971168528 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22198] ppid=22187 vsize=26645092 memory=15824378344507954 CPUtime=13.04 cores=0-7
/proc/22189/task/22198/stat : 22198 (java) S 22187 22187 20414 0 -1 1077944384 43453 0 0 0 1114 190 0 0 20 0 28 0 88149220 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264970115984 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22199] ppid=22187 vsize=26645092 memory=8243954843185080423 CPUtime=0.49 cores=0-7
/proc/22189/task/22199/stat : 22199 (java) S 22187 22187 20414 0 -1 1077944384 29610 0 0 0 41 8 0 0 20 0 28 0 88149221 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264815085808 140265419315842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22200] ppid=22187 vsize=26645092 memory=7526192728550697064 CPUtime=0 cores=0-7
/proc/22189/task/22200/stat : 22200 (java) S 22187 22187 20414 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 88149222 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264814032096 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22201] ppid=22187 vsize=26645092 memory=8243954843185080423 CPUtime=0 cores=0-7
/proc/22189/task/22201/stat : 22201 (java) S 22187 22187 20414 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 28 0 88149222 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264812978944 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22202] ppid=22187 vsize=26645092 memory=8243954843185080423 CPUtime=0 cores=0-7
/proc/22189/task/22202/stat : 22202 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88149224 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264811927504 140265419323291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22203] ppid=22187 vsize=26645092 memory=5792314560676522089 CPUtime=4.66 cores=0-7
/proc/22189/task/22203/stat : 22203 (java) S 22187 22187 20414 0 -1 1077944384 46864 0 0 0 459 7 0 0 20 0 28 0 88149224 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264810875632 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22204] ppid=22187 vsize=26645092 memory=7236553783782829927 CPUtime=5.26 cores=0-7
/proc/22189/task/22204/stat : 22204 (java) S 22187 22187 20414 0 -1 1077944384 53698 0 0 0 517 9 0 0 20 0 28 0 88149224 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264809823088 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22205] ppid=22187 vsize=26645092 memory=7883361277449299816 CPUtime=4.59 cores=0-7
/proc/22189/task/22205/stat : 22205 (java) S 22187 22187 20414 0 -1 1077944384 37153 0 0 0 453 6 0 0 20 0 28 0 88149224 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264808770032 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22206] ppid=22187 vsize=26645092 memory=7810487944314118767 CPUtime=1.38 cores=0-7
/proc/22189/task/22206/stat : 22206 (java) S 22187 22187 20414 0 -1 1077944384 31648 0 0 0 131 7 0 0 20 0 28 0 88149224 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264807717488 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22207] ppid=22187 vsize=26645092 memory=7093001636425525568 CPUtime=0 cores=0-7
/proc/22189/task/22207/stat : 22207 (java) S 22187 22187 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88149225 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264806664672 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22208] ppid=22187 vsize=26645092 memory=7093001636425525568 CPUtime=0.99 cores=0-7
/proc/22189/task/22208/stat : 22208 (java) S 22187 22187 20414 0 -1 1077944384 6189 0 0 0 47 52 0 0 20 0 28 0 88149225 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264805612208 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2363] ppid=22187 vsize=26645092 memory=4136 CPUtime=1109.36 cores=0-7
/proc/22189/task/2363/stat : 2363 (java) R 22187 22187 20414 0 -1 4202560 53457 0 0 0 110910 26 0 0 20 0 28 0 88286553 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264788414104 140265063650330 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2364] ppid=22187 vsize=26645092 memory=25768 CPUtime=1128.04 cores=0-7
/proc/22189/task/2364/stat : 2364 (java) R 22187 22187 20414 0 -1 4202560 14629 0 0 0 112774 30 0 0 20 0 28 0 88286553 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264794731240 140265063650550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2365] ppid=22187 vsize=26645092 memory=2420 CPUtime=1128.47 cores=0-7
/proc/22189/task/2365/stat : 2365 (java) R 22187 22187 20414 0 -1 4202560 18845 0 0 0 112821 26 0 0 20 0 28 0 88286553 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264789468424 140265063208948 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2366] ppid=22187 vsize=26645092 memory=1292 CPUtime=1128.56 cores=0-7
/proc/22189/task/2366/stat : 2366 (java) R 22187 22187 20414 0 -1 4202560 29111 0 0 0 112846 10 0 0 20 0 28 0 88286553 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264787363688 140265062356871 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2367] ppid=22187 vsize=26645092 memory=1728 CPUtime=1128.29 cores=0-7
/proc/22189/task/2367/stat : 2367 (java) R 22187 22187 20414 0 -1 4202560 50079 0 0 0 112792 37 0 0 20 0 28 0 88286553 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264791576320 140265061034540 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2368] ppid=22187 vsize=26645092 memory=796 CPUtime=1127.17 cores=0-7
/proc/22189/task/2368/stat : 2368 (java) R 22187 22187 20414 0 -1 4202560 113047 0 0 0 112674 43 0 0 20 0 28 0 88286553 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264792626312 140265062356871 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2369] ppid=22187 vsize=26645092 memory=1012 CPUtime=1128.45 cores=0-7
/proc/22189/task/2369/stat : 2369 (java) R 22187 22187 20414 0 -1 4202560 23582 0 0 0 112833 12 0 0 20 0 28 0 88286553 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264790520680 140265063650465 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2370] ppid=22187 vsize=26645092 memory=1228 CPUtime=1126.91 cores=0-7
/proc/22189/task/2370/stat : 2370 (java) R 22187 22187 20414 0 -1 4202560 12693 0 0 0 112681 10 0 0 20 0 28 0 88286553 27284574208 1502603 33554432000 4194304 4196468 140724970064592 140264793678520 140265063208787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
Current children cumulated CPU time: 16465.7 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 6011868 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 8.03 8.29 7.53 9/207 2399
/proc/meminfo: memFree=14494328/32770624 swapFree=67108860/67108860
[pid=22187] ppid=22184 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22187/stat : 22187 (xcsp3-exec) S 22184 22187 20414 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88149219 115843072 364 33554432000 4194304 5098028 140731632176160 140731632174264 140438785675900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39280640 140731632178229 140731632178432 140731632178432 140731632181194 0
/proc/22187/statm: 28282 364 307 221 0 87 0
[pid=22189] ppid=22187 vsize=26645092 memory=5991452 CPUtime=16606.9 cores=0-7
/proc/22189/stat : 22189 (java) S 22187 22187 20414 0 -1 1077944320 2372429 0 0 0 1657746 2946 0 0 20 0 28 0 88149219 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140724970047136 140265419304695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
/proc/22189/statm: 6661273 1497863 3471 1 0 6622467 0
[pid=22189/tid=22190] ppid=22187 vsize=26645092 memory=6010412 CPUtime=36.66 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) S 22187 22187 20414 0 -1 1077944384 31364 0 0 0 3621 45 0 0 20 0 28 0 88149219 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140265423545408 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22191] ppid=22187 vsize=26645092 memory=1456 CPUtime=13.2 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22187 22187 20414 0 -1 1077944384 41193 0 0 0 1130 190 0 0 20 0 28 0 88149220 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264977484304 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22192] ppid=22187 vsize=26645092 memory=1456 CPUtime=13.2 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22187 22187 20414 0 -1 1077944384 38481 0 0 0 1140 180 0 0 20 0 28 0 88149220 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264976431760 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22193] ppid=22187 vsize=26645092 memory=6010412 CPUtime=13.22 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22187 22187 20414 0 -1 1077944384 38893 0 0 0 1131 191 0 0 20 0 28 0 88149220 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264975378704 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22194] ppid=22187 vsize=26645092 memory=6010412 CPUtime=13.23 cores=0-7
/proc/22189/task/22194/stat : 22194 (java) S 22187 22187 20414 0 -1 1077944384 40913 0 0 0 1136 187 0 0 20 0 28 0 88149220 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264974326160 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22195] ppid=22187 vsize=26645092 memory=6010412 CPUtime=13.2 cores=0-7
/proc/22189/task/22195/stat : 22195 (java) S 22187 22187 20414 0 -1 1077944384 41857 0 0 0 1140 180 0 0 20 0 28 0 88149220 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264973274128 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22196] ppid=22187 vsize=26645092 memory=6010412 CPUtime=13.22 cores=0-7
/proc/22189/task/22196/stat : 22196 (java) S 22187 22187 20414 0 -1 1077944384 43964 0 0 0 1130 192 0 0 20 0 28 0 88149220 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264972221584 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22197] ppid=22187 vsize=26645092 memory=1456 CPUtime=13.28 cores=0-7
/proc/22189/task/22197/stat : 22197 (java) S 22187 22187 20414 0 -1 1077944384 47693 0 0 0 1138 190 0 0 20 0 28 0 88149220 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264971168528 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22198] ppid=22187 vsize=26645092 memory=6010412 CPUtime=13.05 cores=0-7
/proc/22189/task/22198/stat : 22198 (java) S 22187 22187 20414 0 -1 1077944384 43704 0 0 0 1115 190 0 0 20 0 28 0 88149220 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264970115984 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22199] ppid=22187 vsize=26645092 memory=1456 CPUtime=0.49 cores=0-7
/proc/22189/task/22199/stat : 22199 (java) S 22187 22187 20414 0 -1 1077944384 29860 0 0 0 41 8 0 0 20 0 28 0 88149221 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264815085808 140265419315842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22200] ppid=22187 vsize=26645092 memory=6010412 CPUtime=0 cores=0-7
/proc/22189/task/22200/stat : 22200 (java) S 22187 22187 20414 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 88149222 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264814032096 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22201] ppid=22187 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/22189/task/22201/stat : 22201 (java) S 22187 22187 20414 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 28 0 88149222 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264812978944 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22202] ppid=22187 vsize=26645092 memory=6010412 CPUtime=0 cores=0-7
/proc/22189/task/22202/stat : 22202 (java) S 22187 22187 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88149224 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264811927504 140265419323291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22203] ppid=22187 vsize=26645092 memory=1456 CPUtime=4.66 cores=0-7
/proc/22189/task/22203/stat : 22203 (java) S 22187 22187 20414 0 -1 1077944384 46864 0 0 0 459 7 0 0 20 0 28 0 88149224 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264810875632 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22204] ppid=22187 vsize=26645092 memory=1456 CPUtime=5.26 cores=0-7
/proc/22189/task/22204/stat : 22204 (java) S 22187 22187 20414 0 -1 1077944384 53698 0 0 0 517 9 0 0 20 0 28 0 88149224 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264809823088 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22205] ppid=22187 vsize=26645092 memory=6010412 CPUtime=4.6 cores=0-7
/proc/22189/task/22205/stat : 22205 (java) S 22187 22187 20414 0 -1 1077944384 37684 0 0 0 454 6 0 0 20 0 28 0 88149224 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264808770032 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22206] ppid=22187 vsize=26645092 memory=5991452 CPUtime=1.38 cores=0-7
/proc/22189/task/22206/stat : 22206 (java) S 22187 22187 20414 0 -1 1077944384 32028 0 0 0 131 7 0 0 20 0 28 0 88149224 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264807717488 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22207] ppid=22187 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/22189/task/22207/stat : 22207 (java) S 22187 22187 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88149225 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264806664672 140265419314901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=22208] ppid=22187 vsize=26645092 memory=1456 CPUtime=1 cores=0-7
/proc/22189/task/22208/stat : 22208 (java) S 22187 22187 20414 0 -1 1077944384 6191 0 0 0 47 53 0 0 20 0 28 0 88149225 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264805612208 140265419315842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2363] ppid=22187 vsize=26645092 memory=1456 CPUtime=1126.69 cores=0-7
/proc/22189/task/2363/stat : 2363 (java) R 22187 22187 20414 0 -1 4202560 53492 0 0 0 112643 26 0 0 20 0 28 0 88286553 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264788414104 140265060343494 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2364] ppid=22187 vsize=26645092 memory=6010412 CPUtime=1145.73 cores=0-7
/proc/22189/task/2364/stat : 2364 (java) R 22187 22187 20414 0 -1 4202560 14661 0 0 0 114543 30 0 0 20 0 28 0 88286553 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264794734176 140265063650561 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2365] ppid=22187 vsize=26645092 memory=6010412 CPUtime=1146.15 cores=0-7
/proc/22189/task/2365/stat : 2365 (java) R 22187 22187 20414 0 -1 4202560 18859 0 0 0 114589 26 0 0 20 0 28 0 88286553 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264789468520 140265063650564 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2366] ppid=22187 vsize=26645092 memory=1456 CPUtime=1146.24 cores=0-7
/proc/22189/task/2366/stat : 2366 (java) R 22187 22187 20414 0 -1 4202560 29240 0 0 0 114614 10 0 0 20 0 28 0 88286553 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264787363056 140265061547335 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2367] ppid=22187 vsize=26645092 memory=1456 CPUtime=1145.97 cores=0-7
/proc/22189/task/2367/stat : 2367 (java) R 22187 22187 20414 0 -1 4202560 50490 0 0 0 114560 37 0 0 20 0 28 0 88286553 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264791573184 140265063208693 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2368] ppid=22187 vsize=26645092 memory=1456 CPUtime=1144.85 cores=0-7
/proc/22189/task/2368/stat : 2368 (java) R 22187 22187 20414 0 -1 4202560 113137 0 0 0 114442 43 0 0 20 0 28 0 88286553 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264792626408 140265063650304 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2369] ppid=22187 vsize=26645092 memory=1456 CPUtime=1146.12 cores=0-7
/proc/22189/task/2369/stat : 2369 (java) R 22187 22187 20414 0 -1 4202560 23587 0 0 0 114600 12 0 0 20 0 28 0 88286553 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264790520680 140265063208787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
[pid=22189/tid=2370] ppid=22187 vsize=26645092 memory=1456 CPUtime=1144.58 cores=0-7
/proc/22189/task/2370/stat : 2370 (java) R 22187 22187 20414 0 -1 4202560 12763 0 0 0 114448 10 0 0 20 0 28 0 88286553 27284574208 1497863 33554432000 4194304 4196468 140724970064592 140264793678456 140265063208948 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36945920 140724970071169 140724970071341 140724970071341 140724970074063 0
Current children cumulated CPU time: 16606.9 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5992908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 22187 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001173 s, system=0.001173 s
[startup+2520.14 s]
# the end of solver process 22189 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16578.3 s, system=29.5044 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.12 s]*
/proc/loadavg: 8.03 8.28 7.53 2/180 2401
/proc/meminfo: memFree=19554976/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.002346 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.14
CPU time (s): 16607.8
CPU user time (s): 16578.3
CPU system time (s): 29.5044
CPU usage (%): 659.003
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 6855440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16578.3
system time used= 29.5044
maximum resident set size= 6855700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2373665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 162678
involuntary context switches= 163588
# summary of solver processes directly reported to runsolver:
# pid: 22187,22189
# total CPU time (s): 16607.8
# total CPU user time (s): 16578.3
# total CPU system time (s): 29.5044
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7943 second user time and 30.5666 second system time
The end
Begin job on node105 at 2018-07-27 17:37:40 IDJOB=4297888 IDBENCH=141198 IDSOLVER=2760 FILE ID=node105/4297888-1532705860 RUNJOBID= node105-1532697755-20441 PBS_JOBID= 21022297 Free space on /tmp= 44624 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-13-opt_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297888-1532705860/watcher-4297888-1532705860 -o /tmp/evaluation-result-4297888-1532705860/solver-4297888-1532705860 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532697755-20441 --watchdog 2580 HOME/xcsp3-exec -seed 1880431192 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297888-1532705860.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b4f35f52fd25bddaccbbeb0f9433c3f2 RANDOM SEED=1880431192 node105.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.32 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.32 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.32 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.32 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: 20490584 kB MemAvailable: 31928496 kB Buffers: 259892 kB Cached: 11317992 kB SwapCached: 0 kB Active: 2385904 kB Inactive: 9246172 kB Active(anon): 8232 kB Inactive(anon): 73364 kB Active(file): 2377672 kB Inactive(file): 9172808 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21844 kB Writeback: 4 kB AnonPages: 61040 kB Mapped: 42032 kB Shmem: 25228 kB Slab: 343212 kB SReclaimable: 315892 kB SUnreclaim: 27320 kB KernelStack: 3232 kB PageTables: 5204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326252 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44600 MiB End job on node105 at 2018-07-27 18:19:41