Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2018-08-14 | SAT (TO) | 235860764 | 252.152 | 216.751 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml |
| MD5SUM | 970c879d9e656f0525c6818b69538b39 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 162507055 |
| Best CPU time to get the best result obtained on this benchmark | 68.7953 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4976 |
| Number of constraints | 3812 |
| Number of domains | 49 |
| Minimum domain size | 1 |
| Maximum domain size | 151 |
| Distribution of domain sizes | [{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 1426 |
| Distribution of variable degrees | [{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}] |
| Number of extensional constraints | 1425 |
| Number of intensional constraints | 2387 |
| Distribution of constraint types | [{"type":"extension","count":1425},{"type":"intension","count":2387}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 707964410 0.67/0.56 c timeout: 252 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 30.49/18.49 c Parsing done, starting first complete search... 37.99/22.83 o 241094176 37.99/22.84 o 241079925 37.99/22.86 o 241079916 37.99/22.87 o 241065656 37.99/22.89 o 241065648 38.23/22.91 o 241051396 38.23/22.93 o 241037146 38.23/22.95 o 241022906 38.23/22.96 o 241022896 38.23/22.98 o 241022886 38.23/22.99 o 241008636 38.23/23.00 o 241008626 38.46/23.01 o 240994366 38.46/23.03 o 240980106 38.46/23.05 o 240965846 38.46/23.06 o 240965836 38.46/23.07 o 240951586 38.46/23.09 o 240951585 38.46/23.10 o 240951576 38.66/23.12 o 240937316 38.66/23.16 o 240923102 38.66/23.16 o 240923094 38.66/23.17 o 240923084 38.66/23.18 o 240923076 38.66/23.18 o 240923066 38.78/23.21 o 240908836 38.78/23.22 o 240908826 38.78/23.23 o 240908816 38.78/23.24 o 240908806 38.78/23.27 o 240894564 38.78/23.28 o 240894556 38.78/23.28 o 240894546 38.88/23.37 o 240894537 38.98/23.41 o 240880306 38.98/23.42 o 240880296 38.98/23.43 o 240880287 38.98/23.44 o 240880277 38.98/23.47 o 240866055 38.98/23.48 o 240866047 38.98/23.49 o 240866037 38.98/23.50 o 240866027 39.08/23.50 o 240866017 39.28/23.72 o 240851795 39.28/23.73 o 240851787 39.28/23.74 o 240851777 39.28/23.76 o 240851775 39.28/23.76 o 240851767 39.53/23.98 o 240837562 39.53/23.98 o 240837554 39.53/23.99 o 240837545 39.53/24.00 o 240837535 39.68/24.01 o 240837525 39.68/24.05 o 240837517 40.80/25.16 o 240823322 40.80/25.16 o 240823313 40.80/25.17 o 240823303 40.80/25.17 o 240823294 40.80/25.18 o 240823285 40.80/25.19 o 240823275 40.80/25.20 o 240823265 40.90/25.20 o 240823257 51.66/35.97 o 240809042 51.66/35.98 o 240794782 51.66/36.00 o 240794772 52.06/36.36 o 240794764 53.66/37.96 o 240794754 55.26/39.51 o 240794751 55.26/39.52 o 240794745 55.26/39.52 o 240794737 57.16/41.40 c First complete search done, starting ALNS search... 57.92/42.04 o 240780535 64.17/44.86 o 240766285 64.17/44.87 o 240766275 64.17/44.87 o 240752025 64.17/44.87 o 240752015 64.17/44.88 o 240752006 64.17/44.88 o 240737746 64.17/44.88 o 240723496 64.17/44.88 o 240723486 64.17/44.89 o 240709236 64.17/44.89 o 240709226 64.17/44.89 o 240694976 64.31/44.90 o 240694966 64.31/44.90 o 240680726 64.31/44.98 o 240680716 64.31/44.99 o 240666466 64.31/44.99 o 240666456 64.31/44.99 o 240666455 64.31/45.00 o 240666445 64.31/45.00 o 240652205 64.31/45.00 o 240652195 64.31/45.00 o 240637955 64.64/45.01 o 240637945 65.64/45.82 o 240623673 67.39/47.22 o 240580893 67.39/47.22 o 240580892 67.39/47.22 o 240580883 67.39/47.23 o 240580882 67.39/47.23 o 240566633 67.39/47.23 o 240566623 67.39/47.23 o 240566622 67.39/47.24 o 240552373 67.39/47.24 o 240552363 67.39/47.24 o 240552362 67.39/47.25 o 240538122 67.39/47.25 o 240538121 67.39/47.25 o 240538112 67.39/47.25 o 240538111 67.39/47.25 o 240538103 67.39/47.26 o 240538102 67.39/47.26 o 240523872 67.39/47.26 o 240523862 67.39/47.26 o 240523861 67.39/47.27 o 240523853 67.39/47.27 o 240523852 67.39/47.27 o 240523851 67.39/47.28 o 240509612 67.39/47.28 o 240509602 67.39/47.28 o 240509601 67.39/47.29 o 240509600 67.39/47.29 o 240495361 67.39/47.29 o 240495351 67.39/47.30 o 240495350 68.09/47.89 o 240495341 68.19/47.90 o 240481091 68.19/47.90 o 240481081 68.19/47.90 o 240466831 68.19/47.91 o 240466821 68.19/47.91 o 240452571 68.19/47.91 o 240452561 68.19/47.91 o 240438311 68.19/47.92 o 240438301 68.19/47.92 o 240438293 68.19/47.92 o 240424053 68.19/47.93 o 240424043 68.19/47.93 o 240409793 68.19/47.93 o 240409791 68.19/47.94 o 240409783 68.19/47.94 o 240395533 68.19/47.94 o 240395523 68.19/47.95 o 240381273 68.19/47.95 o 240381263 68.19/47.95 o 240381260 68.19/47.96 o 240367020 68.69/48.35 o 240367016 68.69/48.36 o 240367015 68.69/48.37 o 240367013 68.69/48.38 o 240367006 68.69/48.39 o 240367005 68.79/48.40 o 240367003 68.79/48.41 o 240366996 68.79/48.42 o 240366993 68.79/48.43 o 240366986 68.79/48.44 o 240366984 68.79/48.45 o 240366983 68.79/48.46 o 240366976 68.79/48.48 o 240366975 68.79/48.49 o 240366973 68.89/48.50 o 240366966 68.89/48.51 o 240366965 68.89/48.52 o 240366963 68.89/48.53 o 240366956 68.89/48.55 o 240352789 68.89/48.55 o 240352788 68.89/48.56 o 240352781 68.89/48.57 o 240352779 68.89/48.58 o 240352778 68.89/48.58 o 240352771 68.89/48.59 o 240352769 69.00/48.60 o 240352768 69.00/48.61 o 240352761 69.00/48.62 o 240352754 69.00/48.63 o 240352751 69.00/48.64 o 240352744 69.00/48.65 o 240352742 69.00/48.66 o 240352735 69.00/48.67 o 240352734 69.00/48.68 o 240352731 69.00/48.69 o 240352724 69.00/48.70 o 240352722 69.10/48.71 o 240352715 69.10/48.72 o 240352713 69.10/48.73 o 240352706 69.10/48.74 o 240352705 69.10/48.75 o 240352704 69.10/48.76 o 240352703 69.10/48.77 o 240352696 69.10/48.78 o 240338538 69.10/48.79 o 240338536 69.20/48.80 o 240338529 69.20/48.81 o 240338528 69.20/48.81 o 240338521 69.86/49.32 o 240310001 69.86/49.35 o 240295741 69.86/49.36 o 240281481 69.86/49.38 o 240267230 69.86/49.40 o 240267228 70.08/49.41 o 240252968 70.08/49.42 o 240238718 70.08/49.45 o 240238708 70.08/49.47 o 240224458 70.08/49.49 o 240224448 70.21/49.51 o 240210198 70.21/49.53 o 240210188 70.21/49.54 o 240195938 70.21/49.56 o 240195928 70.21/49.58 o 240181678 70.32/49.61 o 240181668 70.32/49.62 o 240167418 70.32/49.65 o 240167408 70.32/49.66 o 240153158 70.32/49.68 o 240153148 70.43/49.70 o 240138898 70.43/49.72 o 240138897 70.43/49.74 o 240124647 70.43/49.77 o 240124644 70.43/49.78 o 240110394 70.53/49.80 o 240110378 70.53/49.82 o 240110377 70.53/49.84 o 240096127 70.53/49.86 o 240096124 70.53/49.88 o 240081874 70.53/49.90 o 240081857 70.68/49.92 o 240067604 70.68/49.94 o 240067596 70.68/49.96 o 240053344 70.68/49.98 o 240053337 70.68/50.00 o 240039084 70.80/50.03 o 240039077 70.80/50.04 o 240024824 70.80/50.06 o 240024818 70.80/50.08 o 240010573 70.80/50.09 o 240010572 70.80/50.10 o 240010564 70.90/50.11 o 240010558 71.10/50.30 o 239996323 71.10/50.32 o 239996314 71.10/50.33 o 239996308 71.10/50.34 o 239996304 71.10/50.35 o 239996298 71.20/50.47 o 239982073 71.20/50.48 o 239982064 71.20/50.49 o 239982058 71.30/50.50 o 239982054 71.30/50.51 o 239982048 71.30/50.53 o 239982044 71.30/50.54 o 239982038 71.30/50.56 o 239982037 71.30/50.57 o 239982031 71.30/50.59 o 239967803 71.41/50.60 o 239967794 71.41/50.61 o 239967788 71.41/50.62 o 239967784 71.41/50.63 o 239967778 71.41/50.69 o 239953553 71.51/50.70 o 239953552 71.51/50.72 o 239953544 71.51/50.73 o 239953538 71.51/50.75 o 239953534 71.51/50.76 o 239953528 71.51/50.78 o 239953524 71.51/50.79 o 239953518 71.61/50.80 o 239953517 71.61/50.81 o 239953511 71.61/50.83 o 239939283 71.61/50.84 o 239939274 71.61/50.85 o 239939268 71.61/50.86 o 239939264 71.61/50.87 o 239939258 72.12/51.37 o 239939252 72.12/51.40 o 239939250 72.22/51.43 o 239939245 72.22/51.46 o 239939243 72.22/51.49 o 239939236 72.32/51.52 o 239939235 72.32/51.55 o 239925011 72.32/51.58 o 239925010 72.62/51.80 o 239924994 72.62/51.81 o 239924984 72.62/51.84 o 239910743 72.62/51.85 o 239910733 72.62/51.86 o 239910732 72.62/51.88 o 239896483 72.62/51.89 o 239896482 72.62/51.90 o 239896473 72.72/51.90 o 239896472 72.72/51.92 o 239896464 72.72/51.93 o 239882223 72.72/51.94 o 239882222 72.72/51.95 o 239882213 72.72/51.96 o 239882212 72.72/51.97 o 239882204 72.72/51.99 o 239867963 72.72/52.00 o 239867953 72.83/52.01 o 239867952 72.83/52.02 o 239867944 72.83/52.04 o 239853703 72.83/52.04 o 239853693 72.83/52.05 o 239853692 73.23/52.49 o 239853685 73.33/52.51 o 239853684 73.33/52.54 o 239853676 73.33/52.57 o 239853675 73.33/52.59 o 239853674 73.43/52.62 o 239853666 73.43/52.65 o 239853665 73.43/52.68 o 239853657 73.53/52.71 o 239853656 73.53/52.74 o 239853655 73.53/52.77 o 239853647 73.64/52.80 o 239853646 73.64/52.83 o 239853645 73.64/52.86 o 239853637 73.64/52.89 o 239853636 73.74/52.93 o 239853635 73.74/52.96 o 239853627 73.74/53.00 o 239853626 74.22/53.12 o 239853618 74.22/53.16 o 239853611 76.57/55.49 o 239839351 76.68/55.56 o 239825109 76.68/55.57 o 239825100 76.68/55.59 o 239810849 76.78/55.61 o 239810840 76.78/55.62 o 239796589 80.20/58.84 o 239753809 80.52/59.14 o 239753807 81.05/59.60 o 239753779 81.05/59.64 o 239753761 81.05/59.66 o 239739510 81.15/59.74 o 239725288 81.15/59.74 o 239725259 81.15/59.75 o 239725250 81.25/59.85 o 239696786 81.25/59.88 o 239696767 81.35/59.95 o 239682516 81.35/60.00 o 239682507 81.46/60.08 o 239682506 81.56/60.14 o 239682497 81.65/60.23 o 239668265 81.65/60.28 o 239668256 81.77/60.33 o 239654005 81.77/60.39 o 239653995 81.87/60.45 o 239653986 83.54/61.57 o 239639726 83.54/61.60 o 239625466 83.65/61.63 o 239611206 84.27/62.20 o 239596946 84.27/62.26 o 239582695 84.77/62.76 o 239582688 84.97/62.93 o 239568445 84.97/62.95 o 239568435 85.08/63.03 o 239568428 85.19/63.15 o 239554168 85.28/63.23 o 239539915 85.38/63.31 o 239525655 85.38/63.37 o 239525648 85.48/63.46 o 239511405 85.48/63.50 o 239511395 85.58/63.57 o 239511388 85.68/63.67 o 239497135 85.78/63.73 o 239497128 88.70/66.56 o 239497126 88.70/66.59 o 239497120 88.80/66.66 o 239482870 89.31/67.12 o 239468601 89.40/67.23 o 239454350 90.77/67.94 o 239440099 91.75/68.76 o 239425839 91.85/68.80 o 239425828 91.85/68.82 o 239411568 91.85/68.85 o 239397310 91.95/68.93 o 239397308 91.95/68.98 o 239383050 92.06/69.02 o 239383048 92.06/69.09 o 239368798 92.16/69.12 o 239368790 92.16/69.19 o 239368788 92.26/69.22 o 239354528 92.26/69.28 o 239340270 92.36/69.38 o 239340260 92.46/69.43 o 239326000 92.56/69.57 o 239311740 92.66/69.65 o 239297480 92.76/69.70 o 239297478 92.76/69.74 o 239283220 92.87/69.87 o 239268960 92.97/69.97 o 239268959 92.97/70.00 o 239268950 93.07/70.06 o 239254690 93.18/70.11 o 239240430 93.47/70.46 o 239240423 93.67/70.60 o 239226172 93.77/70.73 o 239226169 93.77/70.79 o 239226163 93.97/70.90 o 239211918 93.97/70.96 o 239211912 95.79/72.49 o 239197652 95.89/72.53 o 239183392 96.19/72.85 o 239183386 96.40/73.01 o 239183384 96.40/73.10 o 239183377 96.69/73.33 o 239183376 96.79/73.42 o 239183374 96.97/73.51 o 239183367 97.17/73.72 o 239183366 97.27/73.82 o 239183364 97.37/73.91 o 239183357 97.58/74.13 o 239169135 97.67/74.21 o 239169133 97.67/74.29 o 239169126 97.77/74.37 o 239169125 98.37/74.94 o 239169116 98.88/75.44 o 239169114 98.88/75.47 o 239169107 98.98/75.54 o 239154873 99.28/75.86 o 239154863 99.38/75.93 o 239154862 99.38/76.01 o 239140603 100.37/76.67 o 239097843 100.37/76.69 o 239097842 100.99/77.11 o 239083593 100.99/77.16 o 239083592 101.71/77.83 o 239083591 101.82/77.91 o 239083582 101.82/77.99 o 239083575 101.93/78.09 o 239083572 102.03/78.17 o 239083567 102.12/78.26 o 239069341 102.22/78.32 o 239069332 102.22/78.38 o 239069325 102.32/78.45 o 239069324 102.42/78.51 o 239069322 102.42/78.57 o 239069315 103.03/79.18 o 239055072 103.12/79.25 o 239055065 103.62/79.78 o 239040806 103.62/79.79 o 239040805 103.72/79.81 o 239026556 103.72/79.82 o 239026555 104.13/80.26 o 239026546 104.24/80.30 o 239026536 104.51/80.48 o 239012286 104.77/80.57 o 239012276 104.87/80.62 o 238998026 104.87/80.66 o 238998016 104.97/80.71 o 238983766 104.97/80.78 o 238983756 105.07/80.88 o 238983746 105.17/80.92 o 238969496 105.17/81.00 o 238955246 105.38/81.13 o 238955236 105.47/81.23 o 238940996 105.47/81.26 o 238940986 105.57/81.35 o 238940976 105.67/81.40 o 238926726 105.77/81.50 o 238926706 105.87/81.66 o 238912446 105.97/81.75 o 238898196 106.68/82.41 o 238898195 106.78/82.53 o 238869694 107.29/83.01 o 238855444 107.29/83.09 o 238855442 107.39/83.18 o 238841184 107.48/83.25 o 238841182 107.58/83.34 o 238812673 107.68/83.40 o 238812671 107.78/83.51 o 238812663 107.78/83.58 o 238812661 109.21/84.99 o 238812654 109.42/85.12 o 238812652 109.61/85.32 o 238812646 109.71/85.47 o 238812644 110.71/86.03 o 238812634 110.71/86.10 o 238812627 110.81/86.12 o 238812620 110.81/86.19 o 238798374 110.90/86.25 o 238798367 111.00/86.30 o 238798360 111.10/86.40 o 238784114 111.10/86.45 o 238784107 111.10/86.49 o 238784100 111.20/86.56 o 238769869 111.20/86.59 o 238769862 111.30/86.61 o 238769855 111.30/86.66 o 238755605 111.40/86.70 o 238755603 111.40/86.74 o 238755596 111.40/86.78 o 238755589 111.50/86.84 o 238741343 111.50/86.89 o 238741336 111.60/86.92 o 238741329 111.71/87.01 o 238727083 111.71/87.05 o 238727076 111.71/87.08 o 238727069 111.81/87.17 o 238712833 111.90/87.21 o 238712826 111.90/87.24 o 238712819 112.10/87.40 o 238712794 112.10/87.43 o 238712787 112.10/87.45 o 238712780 112.20/87.55 o 238712778 115.11/90.40 o 238712768 115.11/90.42 o 238698518 115.31/90.69 o 238669998 115.41/90.77 o 238641478 115.51/90.85 o 238627218 115.62/90.93 o 238612958 115.62/91.00 o 238598698 115.72/91.07 o 238584438 115.82/91.15 o 238570178 115.91/91.25 o 238555918 116.01/91.35 o 238541658 116.32/91.60 o 238527398 116.42/91.70 o 238513138 116.52/91.86 o 238498878 116.98/92.09 o 238484618 117.22/92.20 o 238470358 117.32/92.33 o 238456098 117.92/92.99 o 238384749 118.13/93.11 o 238370489 118.22/93.25 o 238356229 118.32/93.35 o 238341969 118.42/93.47 o 238327719 118.72/93.73 o 238313459 118.92/93.90 o 238299207 119.02/94.09 o 238284956 119.22/94.22 o 238284947 119.82/94.89 o 238284946 119.92/94.97 o 238270696 122.89/97.53 o 238270693 122.89/97.59 o 238270691 122.99/97.65 o 238270683 123.09/97.74 o 238270682 123.19/97.83 o 238270676 123.29/97.92 o 238270674 123.40/98.05 o 238256441 123.50/98.12 o 238256433 123.50/98.19 o 238256432 123.59/98.26 o 238256424 123.69/98.34 o 238256422 123.79/98.41 o 238256414 123.89/98.52 o 238256406 123.99/98.61 o 238242173 123.99/98.67 o 238242165 124.09/98.74 o 238242164 124.19/98.80 o 238242156 124.59/99.21 o 238242155 124.59/99.28 o 238213636 124.69/99.34 o 238213635 124.79/99.43 o 238185116 124.79/99.46 o 238185115 125.19/99.87 o 238170856 125.19/99.89 o 238170855 125.29/99.92 o 238170846 125.29/99.93 o 238170845 125.99/100.66 o 238142345 126.19/100.86 o 238128066 126.40/101.05 o 238113835 127.19/101.87 o 238099585 127.79/102.47 o 238085332 127.89/102.60 o 238071082 128.79/103.04 o 238056822 128.89/103.13 o 238042562 129.29/103.54 o 238042550 129.69/103.90 o 238042540 129.90/104.11 o 238042533 130.09/104.31 o 238042530 130.19/104.48 o 238042523 130.39/104.68 o 238042520 130.59/104.89 o 238042513 131.29/105.59 o 238028272 131.49/105.75 o 238028262 131.59/105.80 o 238014012 131.59/105.89 o 238014002 131.69/105.93 o 237999752 131.80/106.06 o 237999742 131.90/106.15 o 237985482 132.09/106.30 o 237971222 132.19/106.40 o 237956972 132.29/106.51 o 237956953 132.39/106.64 o 237942693 132.49/106.72 o 237928443 132.59/106.80 o 237928433 132.69/106.90 o 237914173 132.69/106.98 o 237899923 133.62/107.85 o 237899922 135.83/109.66 o 237899918 135.93/109.77 o 237899917 136.13/109.93 o 237885668 136.13/109.99 o 237885667 136.34/110.16 o 237885658 136.43/110.26 o 237885657 136.63/110.44 o 237871418 136.73/110.53 o 237871417 138.76/112.59 o 237857166 138.86/112.66 o 237857164 138.96/112.75 o 237857157 139.26/113.04 o 237842906 139.26/113.10 o 237842904 139.36/113.17 o 237842897 139.66/113.46 o 237828646 139.76/113.52 o 237828644 139.76/113.59 o 237828637 140.46/114.24 o 237814377 140.56/114.34 o 237800117 141.69/115.18 o 237785867 142.06/115.40 o 237785864 142.16/115.51 o 237771614 142.26/115.64 o 237771607 144.28/117.56 o 237771597 145.87/119.08 o 237757337 146.06/119.21 o 237743077 146.16/119.34 o 237728817 146.26/119.48 o 237714557 146.46/119.60 o 237700297 149.74/122.42 o 237686038 149.74/122.49 o 237686037 149.84/122.59 o 237671788 149.94/122.62 o 237671787 150.04/122.71 o 237671778 150.04/122.80 o 237671777 152.26/125.00 o 237657527 152.46/125.15 o 237657517 152.66/125.31 o 237643267 152.86/125.56 o 237629017 153.57/126.25 o 237629008 153.57/126.28 o 237629007 153.67/126.35 o 237614758 153.67/126.38 o 237614757 153.87/126.58 o 237600485 153.97/126.61 o 237586235 154.17/126.81 o 237586228 154.27/126.91 o 237586219 154.27/127.00 o 237571975 157.78/130.08 o 237571966 157.88/130.13 o 237543455 157.88/130.18 o 237543454 160.38/132.69 o 237543416 160.58/132.81 o 237529175 160.68/132.94 o 237514915 161.38/133.28 o 237500674 161.68/133.51 o 237500665 161.78/133.65 o 237500662 162.08/133.94 o 237500656 162.89/134.76 o 237486406 163.89/135.71 o 237472146 163.99/135.83 o 237443636 164.79/136.67 o 237429396 164.89/136.72 o 237429394 164.89/136.77 o 237429387 165.09/136.99 o 237429386 165.79/137.69 o 237415136 165.89/137.73 o 237415134 165.89/137.78 o 237415127 165.99/137.87 o 237415126 166.20/138.06 o 237400876 166.20/138.10 o 237400874 166.30/138.15 o 237400867 166.39/138.23 o 237400866 167.54/138.96 o 237400857 167.65/139.02 o 237400856 168.14/139.57 o 237386607 168.24/139.63 o 237386597 168.34/139.73 o 237386596 168.84/140.23 o 237372347 169.26/140.60 o 237372337 169.26/140.69 o 237358087 169.36/140.79 o 237343837 169.77/141.12 o 237329577 169.86/141.20 o 237329567 169.96/141.32 o 237315317 169.96/141.34 o 237315307 170.06/141.41 o 237301067 170.06/141.48 o 237301057 170.56/141.94 o 237301056 171.06/142.44 o 237286797 171.16/142.55 o 237286796 171.36/142.74 o 237272537 171.46/142.85 o 237272536 171.86/143.26 o 237258277 171.96/143.36 o 237258276 172.69/144.03 o 237229747 172.88/144.25 o 237215495 174.38/145.32 o 237201235 174.48/145.45 o 237186975 174.58/145.55 o 237172725 174.68/145.64 o 237172715 174.78/145.75 o 237158465 174.88/145.84 o 237158455 175.48/146.44 o 237158444 175.58/146.58 o 237158443 176.09/147.06 o 237158434 176.29/147.20 o 237158433 176.39/147.33 o 237144184 176.49/147.46 o 237144183 176.79/147.71 o 237144176 176.89/147.82 o 237144175 177.49/148.43 o 237129926 177.59/148.56 o 237129925 178.40/149.38 o 237101415 179.32/150.24 o 237087155 179.87/150.46 o 237072895 180.27/150.83 o 237044366 180.37/150.96 o 237015854 180.58/151.12 o 237001594 180.67/151.29 o 236987334 180.87/151.44 o 236987326 180.97/151.54 o 236973074 181.07/151.66 o 236958814 181.27/151.81 o 236944554 181.37/151.97 o 236944546 181.58/152.16 o 236930294 181.67/152.29 o 236916034 182.48/153.03 o 236887503 182.67/153.21 o 236873253 182.77/153.35 o 236873243 182.97/153.58 o 236873241 183.48/154.04 o 236858996 183.77/154.32 o 236858986 184.27/154.84 o 236844726 184.37/154.92 o 236830466 187.10/157.37 o 236830458 187.30/157.54 o 236816207 187.30/157.59 o 236816205 187.41/157.66 o 236816198 187.61/157.89 o 236801946 187.71/157.95 o 236801938 187.82/158.05 o 236787686 187.92/158.12 o 236787678 188.01/158.30 o 236773426 188.11/158.36 o 236773418 188.31/158.53 o 236759175 188.31/158.59 o 236759173 188.41/158.65 o 236759166 188.51/158.71 o 236759165 188.51/158.79 o 236759158 189.07/159.23 o 236759149 189.17/159.37 o 236730638 189.27/159.44 o 236716378 189.57/159.71 o 236702118 190.65/160.50 o 236687878 190.75/160.60 o 236687869 191.45/161.31 o 236687865 191.75/161.64 o 236687863 191.85/161.76 o 236687855 192.05/161.94 o 236687852 192.16/162.02 o 236687851 192.26/162.11 o 236673613 192.26/162.17 o 236673605 192.45/162.38 o 236673600 192.55/162.47 o 236673599 192.65/162.59 o 236673592 193.26/163.16 o 236645081 193.45/163.36 o 236630830 194.49/164.08 o 236616597 194.89/164.43 o 236616587 195.00/164.58 o 236602337 195.10/164.65 o 236602327 195.19/164.76 o 236602317 195.29/164.82 o 236588067 195.29/164.86 o 236573817 195.39/164.91 o 236573807 195.50/165.06 o 236559557 195.60/165.12 o 236559547 196.40/165.91 o 236559545 196.50/166.02 o 236559535 197.20/166.70 o 236545294 197.20/166.79 o 236545284 197.51/167.04 o 236531044 197.61/167.15 o 236531034 199.12/168.30 o 236531033 199.22/168.49 o 236531025 202.12/171.40 o 236516775 202.42/171.60 o 236502515 202.83/172.03 o 236473995 203.87/173.01 o 236459735 204.56/173.78 o 236459725 204.76/173.94 o 236459715 205.07/174.23 o 236459714 205.62/174.49 o 236459713 205.76/174.57 o 236459712 206.06/174.89 o 236459703 206.16/174.95 o 236445443 206.27/175.09 o 236431183 206.56/175.38 o 236416923 207.66/176.42 o 236402663 207.66/176.47 o 236388403 207.76/176.52 o 236374153 207.76/176.56 o 236374143 207.96/176.74 o 236359893 207.96/176.77 o 236359883 209.27/178.10 o 236345631 209.56/178.35 o 236331371 209.86/178.64 o 236317111 210.07/178.85 o 236302851 210.87/179.64 o 236302828 210.97/179.70 o 236288578 211.17/179.98 o 236288573 211.38/180.14 o 236288572 211.47/180.28 o 236274312 213.65/182.04 o 236260052 213.94/182.30 o 236245792 214.54/182.95 o 236231541 214.65/183.01 o 236231532 214.75/183.15 o 236217281 214.84/183.22 o 236217272 215.54/184.00 o 236203022 215.84/184.25 o 236203012 217.05/185.49 o 236203003 217.55/185.91 o 236188753 217.55/185.98 o 236188743 218.35/186.35 o 236174493 218.55/186.52 o 236174483 218.75/186.79 o 236160233 218.95/186.91 o 236160223 222.45/190.40 o 236160212 223.19/190.67 o 236160211 223.36/190.75 o 236160203 223.77/191.20 o 236160200 224.36/191.75 o 236145967 224.46/191.83 o 236145966 224.56/191.93 o 236145958 224.67/192.03 o 236145957 224.77/192.12 o 236145949 224.86/192.22 o 236145948 224.96/192.32 o 236145940 225.56/192.96 o 236131737 225.67/193.10 o 236131733 225.86/193.24 o 236131720 225.96/193.38 o 236131719 226.16/193.56 o 236131710 226.26/193.69 o 236131709 226.56/193.90 o 236131700 226.67/194.04 o 236131699 226.96/194.38 o 236117495 227.16/194.52 o 236117491 227.56/194.99 o 236103231 232.00/198.78 o 236103221 232.10/198.82 o 236103211 232.20/199.00 o 236088961 232.32/199.02 o 236088951 232.42/199.16 o 236074701 232.51/199.26 o 236074691 232.71/199.46 o 236060441 232.71/199.48 o 236060431 232.91/199.60 o 236046181 232.91/199.69 o 236046171 233.50/200.24 o 236046162 233.71/200.48 o 236031911 234.51/201.20 o 236017651 237.08/203.01 o 236017644 237.27/203.28 o 236017634 237.57/203.57 o 236003404 237.87/203.83 o 236003394 238.08/204.08 o 236003384 238.97/204.97 o 236003376 239.27/205.20 o 235989116 239.67/205.69 o 235974864 239.77/205.77 o 235974856 240.08/206.01 o 235960604 240.18/206.15 o 235960596 240.87/206.84 o 235960589 241.85/207.26 o 235960582 242.59/208.00 o 235960577 245.61/210.97 o 235946324 245.72/211.04 o 235946317 245.91/211.23 o 235932064 247.01/212.34 o 235917814 247.21/212.51 o 235917804 247.31/212.62 o 235903554 248.06/213.00 o 235903544 248.87/213.50 o 235889294 249.07/213.71 o 235889284 251.50/216.19 o 235875024 251.59/216.23 o 235860764 252.09/216.70 s SATISFIABLE 252.09/216.71 v <instantiation> 252.09/216.71 v <list> 252.09/216.71 v f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] 252.09/216.71 v </list> 252.09/216.71 v <values> 252.09/216.71 v 2516 2296 2696 2696 2732 2520 2764 2748 2604 2528 2704 2480 2764 2572 2616 2484 2704 2660 2756 2780 2648 2504 2280 2220 2520 2580 2724 2820 2768 2728 2260 2684 2256 2576 2444 2304 2700 2684 2704 2656 2484 2740 2588 2424 2644 2576 2352 2668 2484 2736 2520 2584 2696 2788 2816 2796 2552 2632 2652 2708 2756 2544 2756 2780 2512 2724 2472 2744 2660 2620 2724 2552 2668 2376 2744 2508 2788 2704 2576 2516 2744 2800 2820 2556 2332 2480 2776 2676 2664 2688 2560 2564 2648 2464 2528 2312 2756 2616 2520 2628 2460 2560 2736 2284 2676 2728 2580 2776 2744 2536 2500 2736 2500 2664 2220 2804 2744 2520 2620 2440 2688 2372 2400 2620 2540 2716 2624 2764 2548 2660 2716 2520 2580 2720 2708 2544 2748 2716 2724 2448 2336 2716 2768 2488 2668 2584 2588 2748 2708 2628 2704 2592 2744 2708 2492 2656 2768 2512 2748 2720 2656 2524 2708 2532 2388 2356 2484 2420 2544 2272 2296 2692 2592 2652 2528 2624 2460 2668 2748 2740 2540 2816 2612 2652 2288 2644 2604 2716 2288 2624 2496 2576 2596 2588 2780 2532 2744 2556 2684 2804 2728 2772 2688 2700 2740 2744 2512 2648 2772 2700 2548 2244 2520 2540 2444 2736 2620 2524 2704 2764 2428 2728 2784 2744 2360 2636 2780 2688 2520 2616 2504 2744 2788 2536 2464 2684 2584 2772 2560 2384 2672 2812 2688 2588 2556 2612 2576 2628 2492 2696 2492 2704 2680 2812 2596 2500 2692 2696 2560 2684 2512 2396 2504 2660 2780 2724 2560 2276 2716 2764 2620 2520 2312 2648 2820 2632 2500 2444 2460 2688 2760 2260 2560 2756 2736 2640 2560 2724 2568 2636 2728 2328 2548 2600 2652 2688 2532 2696 2468 2628 2532 2480 2564 2632 2704 2588 2452 2636 2536 2236 2684 2704 2756 2336 2544 2588 2724 2504 2408 2508 2624 2708 2480 2584 2588 2248 2684 2240 2724 2492 2784 2676 2748 2616 2628 2344 2808 2484 2368 2472 2580 2776 2744 2492 2548 2532 2488 2520 2680 2488 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 11 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 1 1 1 0 1 1 1 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 1 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 0 0 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 0 1 1 0 0 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 1 0 1 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 10 10 10 10 10 10 7 10 0 10 0 0 10 10 10 0 10 10 0 10 10 10 10 0 10 10 0 10 0 10 10 0 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 0 0 10 10 10 0 10 0 10 10 10 10 10 10 0 0 0 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 0 10 0 10 10 10 0 0 10 0 10 10 0 10 10 10 10 0 10 10 10 0 10 0 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 10 0 0 10 10 10 0 10 10 0 10 0 0 10 10 0 10 10 10 10 0 0 10 10 0 10 0 0 10 10 10 0 10 10 0 10 10 10 10 0 10 10 0 0 10 0 0 10 10 10 0 0 10 0 10 10 10 10 8 10 10 0 9 0 7 10 0 10 0 0 0 10 10 10 0 10 10 0 10 10 10 0 10 0 10 10 10 10 10 10 0 10 10 10 10 0 10 0 10 10 10 0 0 10 10 10 0 0 0 10 0 10 0 0 10 10 10 0 10 10 10 10 0 10 0 10 10 0 10 0 10 10 0 10 10 10 0 10 10 10 0 10 0 0 0 0 10 0 0 0 10 0 10 0 0 0 10 10 0 10 10 10 10 0 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 7 10 10 0 0 0 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 0 10 10 10 10 10 10 0 0 0 10 0 10 10 0 9 10 10 10 10 10 0 10 10 10 0 0 10 10 0 0 10 10 10 10 10 0 10 10 10 10 0 0 10 10 10 0 0 10 10 0 10 10 10 10 10 10 10 8 10 10 10 10 0 10 10 10 0 0 0 0 10 10 0 10 10 10 0 10 10 10 10 0 0 10 0 10 10 0 10 10 10 0 0 10 10 10 0 0 10 0 10 0 10 10 0 0 10 0 10 0 0 10 10 10 10 10 10 10 10 0 0 10 10 0 0 0 10 10 10 10 10 0 10 10 10 0 0 10 0 10 10 10 10 10 10 0 10 10 10 0 10 10 0 10 10 10 10 10 0 10 10 0 0 10 10 10 10 0 0 10 10 10 0 10 10 0 10 10 0 0 0 0 0 10 0 10 10 0 0 10 10 10 10 0 0 8 10 10 10 10 0 10 10 10 0 0 0 0 10 0 0 10 10 0 10 10 0 0 10 10 0 10 10 0 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 0 0 10 10 0 0 10 10 0 0 10 10 0 10 0 0 10 0 10 0 10 10 0 0 10 0 0 10 10 10 10 0 10 10 0 9 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 0 10 10 10 0 0 0 0 0 0 10 10 10 0 10 0 10 0 0 10 10 0 0 0 10 10 0 10 10 10 10 10 10 10 0 10 0 0 0 10 10 0 0 0 10 10 0 0 0 10 0 10 0 0 0 0 10 10 10 10 10 10 0 10 10 0 10 10 10 0 10 0 10 10 0 0 0 0 10 10 10 10 0 10 10 0 0 10 0 0 0 6 10 0 10 10 0 0 0 10 10 10 0 10 10 10 10 10 10 0 0 0 0 0 10 10 10 10 10 0 0 10 0 10 10 10 10 10 10 0 10 0 10 10 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 0 10 10 0 0 0 10 10 10 0 0 0 10 10 10 0 0 10 0 0 0 10 0 0 10 10 0 0 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 0 0 10 10 10 10 10 10 10 0 0 0 10 10 10 0 0 0 10 10 10 10 10 10 10 0 10 10 10 10 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 10 0 10 0 10 10 0 0 0 10 8 10 0 10 10 0 0 10 10 0 10 10 10 10 10 10 8 10 10 10 0 10 10 10 0 10 0 10 0 10 10 10 0 10 10 10 10 0 10 0 0 10 0 10 10 10 10 0 10 0 10 10 0 10 10 10 0 0 0 10 0 10 0 10 10 10 10 10 10 10 10 0 0 0 10 10 10 10 0 0 10 10 0 0 0 10 10 10 0 10 10 0 10 10 9 10 10 10 0 0 10 10 10 0 10 10 10 10 10 0 0 0 10 10 0 10 0 10 10 0 10 0 0 9 10 10 0 10 10 10 10 10 10 0 0 0 10 0 10 0 10 10 0 0 10 10 10 10 10 10 0 10 0 10 0 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 0 0 10 10 0 0 0 10 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 0 10 10 10 10 10 10 0 0 0 10 0 10 10 0 10 10 0 10 10 10 0 10 0 10 0 10 0 0 10 10 0 10 10 10 0 0 10 10 0 10 10 8 0 10 10 10 0 10 10 0 0 10 10 10 10 10 10 10 0 10 8 10 10 10 10 0 0 0 0 0 0 10 9 10 10 10 0 10 10 10 10 8 10 0 10 10 10 10 0 10 0 0 0 10 0 10 0 0 10 0 10 0 0 0 0 0 10 10 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 0 0 10 0 10 10 10 10 10 0 0 10 10 0 10 0 0 10 0 10 10 10 10 10 0 10 0 10 10 10 0 0 10 0 10 0 0 0 0 10 0 0 10 0 10 10 0 0 0 0 10 10 10 10 0 0 10 10 10 0 10 0 0 10 0 0 10 10 0 0 10 10 10 0 0 0 0 10 10 0 0 0 10 10 10 0 10 10 0 10 10 0 10 10 0 0 0 10 0 10 10 10 10 10 10 10 0 10 10 0 0 10 0 10 0 10 10 10 0 10 0 0 10 10 10 0 10 0 0 10 0 0 10 0 10 0 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 0 10 10 10 0 10 0 0 10 0 0 0 10 10 0 0 0 10 0 0 10 10 10 10 10 10 10 10 0 0 10 0 10 10 0 10 0 0 10 9 0 0 10 0 0 0 10 10 10 10 0 10 0 0 0 44 116 28 200 168 240 108 4 440 316 392 516 264 124 440 40 124 108 52 48 48 4 36 8 204 120 212 76 232 44 20 76 136 436 40 108 72 64 12 436 48 8 12 36 48 84 12 12 168 32 184 184 176 36 40 8 68 144 244 320 112 60 80 88 44 176 44 264 8 464 412 20 20 284 280 412 16 192 152 104 72 176 92 32 140 12 92 240 92 36 68 56 424 16 264 44 36 320 144 40 284 220 176 4 40 308 196 176 64 260 144 68 200 260 508 60 16 44 208 0 132 396 52 8 172 132 144 16 80 12 68 12 108 140 36 140 52 280 168 80 88 68 376 172 260 72 140 192 424 20 16 40 156 32 20 116 0 160 440 28 84 40 24 60 236 36 56 8 244 72 76 40 8 56 144 76 248 368 36 76 28 68 20 136 156 264 40 40 56 52 268 20 200 344 448 408 420 316 324 436 68 560 584 356 280 260 180 236 260 144 56 188 24 248 20 36 28 156 72 20 36 284 176 180 24 164 20 76 340 448 200 0 584 348 92 268 80 368 492 72 184 16 40 192 456 148 300 468 56 104 184 32 160 60 76 64 316 444 464 524 328 128 332 356 228 164 80 60 40 84 92 76 204 76 216 144 300 88 68 124 184 144 48 100 412 404 316 188 292 384 168 48 180 76 40 52 184 60 4 68 36 164 156 4 16 68 156 4 196 64 124 136 100 28 132 260 108 216 76 232 4 232 228 116 228 92 40 276 44 256 4 212 120 108 84 128 260 220 120 236 112 164 388 84 156 68 68 104 52 96 48 120 4 44 100 164 64 180 8 36 44 24 76 92 196 116 136 76 80 16 80 16 44 296 172 156 76 76 28 48 12 244 108 252 248 128 56 224 8 20 8 68 176 204 28 132 224 216 188 20 76 408 32 160 328 100 240 296 284 228 92 164 336 152 124 284 72 4 464 512 48 160 60 468 40 12 60 8 136 20 8 88 188 84 88 52 124 144 96 68 132 172 60 40 352 72 124 264 4 120 84 120 136 192 248 48 300 20 40 104 168 128 68 212 348 264 40 300 0 244 316 132 452 96 292 256 304 176 180 140 244 116 76 8 8 260 140 112 164 20 84 184 20 204 20 244 304 24 120 432 96 284 256 84 120 100 20 180 72 188 172 332 84 236 84 372 136 188 108 184 108 40 128 48 108 84 172 344 404 148 316 116 368 204 212 0 76 148 16 16 164 188 188 268 100 264 168 12 48 184 260 428 144 20 292 108 20 68 104 76 144 32 72 72 4 32 16 0 24 40 68 300 92 288 152 96 76 432 508 104 48 116 44 220 104 160 188 44 200 168 68 224 440 88 304 172 184 32 192 108 60 184 236 84 380 12 128 88 0 176 64 172 88 24 172 168 48 92 144 28 20 36 124 16 152 148 28 28 32 76 52 144 196 140 4 64 60 248 196 312 216 184 144 16 64 68 4 32 120 128 96 136 12 48 104 60 92 96 220 36 228 244 140 188 216 168 188 276 316 236 216 152 208 520 16 288 140 28 164 116 244 108 24 68 176 64 116 76 8 96 156 60 0 64 296 148 148 60 36 28 24 20 124 20 56 176 136 148 60 8 188 8 288 16 72 388 52 60 112 216 416 228 76 108 88 440 208 96 100 40 40 192 56 20 100 336 132 88 196 8 20 208 8 120 280 68 24 152 4 76 228 28 8 116 12 268 92 248 184 188 56 128 264 4 148 24 264 596 520 320 468 116 132 172 244 148 48 112 60 72 260 276 0 116 284 284 136 4 100 176 292 56 248 72 144 252 80 92 96 444 76 56 376 84 216 256 264 384 36 28 404 308 192 184 412 88 200 252 304 36 184 152 192 8 64 16 148 40 80 100 32 300 136 48 92 128 196 272 480 88 32 124 156 160 44 48 172 28 80 28 160 136 48 80 12 40 160 60 8 168 48 304 8 72 412 116 48 148 264 380 468 36 172 32 188 72 52 124 196 52 340 228 12 300 196 144 68 104 84 88 324 28 312 20 124 84 124 12 200 40 44 16 4 148 52 340 124 48 28 92 100 60 24 36 164 160 296 56 364 248 180 48 72 128 388 128 240 288 204 136 24 156 228 236 32 24 32 392 224 40 324 92 184 40 40 8 340 132 56 96 212 8 196 132 12 72 36 80 92 12 28 388 284 284 116 40 88 156 4 100 100 32 252 388 232 116 60 156 168 216 312 20 148 160 224 236 76 136 52 124 56 52 296 148 180 4 204 12 176 8 72 236 112 248 180 120 224 208 232 132 32 88 68 76 216 24 204 40 8 224 412 32 60 8 76 148 16 68 12 104 16 156 348 144 212 272 20 140 40 308 100 80 144 372 332 240 220 236 208 388 92 52 164 256 88 216 224 152 120 132 156 8 216 176 180 160 4 104 80 124 8 164 48 76 108 48 120 84 36 180 36 4 64 80 16 148 220 20 8 72 244 4 72 192 128 132 96 120 48 92 132 76 64 192 180 336 416 476 484 192 100 176 184 152 128 16 76 8 176 272 276 260 156 156 132 4 124 200 160 52 212 104 136 92 88 180 192 28 84 80 244 212 120 96 48 16 20 0 48 264 496 32 188 8 168 120 60 68 248 156 8 224 140 20 72 28 236 148 52 124 8 4 68 60 208 44 220 80 4 144 180 252 8 180 108 68 36 252 272 284 112 220 84 200 480 164 184 152 224 52 76 168 176 52 100 60 72 36 136 256 248 64 284 36 224 8 276 52 280 344 256 184 12 48 288 132 8 76 180 60 8 244 204 32 64 80 144 136 192 160 120 44 60 184 56 8 108 0 252 136 84 112 84 36 24 140 240 4 120 48 248 4 64 164 144 56 148 88 92 56 184 56 124 8 40 96 172 24 180 220 72 276 236 148 96 48 136 68 272 156 196 44 284 252 384 136 60 152 96 56 92 8 20 12 56 116 52 0 168 4 336 100 352 96 8 116 12 112 124 68 48 4 72 128 84 8 160 88 80 176 28 28 40 84 56 196 36 320 152 72 136 188 284 84 264 180 16 96 412 36 192 24 40 192 72 232 128 232 12 28 392 40 328 124 128 4 156 4 24 84 88 208 52 4 296 28 52 36 308 88 164 20 40 16 76 108 172 96 344 4 152 224 152 328 160 36 112 96 164 60 264 156 176 368 116 120 52 40 444 124 252 88 44 268 84 140 8 184 112 244 244 240 444 192 40 252.09/216.71 v </values> 252.09/216.71 v </instantiation>
OK 235860764
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 (6774 MiB free)
memory of node 1: 16384 MiB (12634 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310573-1534330804/watcher-4310573-1534330804 -o /tmp/evaluation-result-4310573-1534330804/solver-4310573-1534330804 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534329093-21608 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 707964410 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310573-1534330804.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22867, runsolver pid=22864
[startup+0.104943 s]*
/proc/loadavg: 1.84 1.67 1.60 3/215 22882
/proc/meminfo: memFree=19854880/32770624 swapFree=67108688/67108860
[pid=22867] ppid=22864 vsize=14082736 memory=33392 CPUtime=0.11 cores=1,3,5,7
/proc/22867/stat : 22867 (java) S 22864 22867 21576 0 -1 1077944320 7289 0 0 0 10 1 0 0 20 0 15 0 250643348 14420721664 8348 33554432000 4194304 4196468 140724522768816 140724522751360 139800529641207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
/proc/22867/statm: 3520684 8348 3139 1 0 3482761 0
[pid=22867/tid=22869] ppid=22864 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/22867/task/22869/stat : 22869 (java) R 22864 22867 21576 0 -1 4202560 5364 0 0 0 8 1 0 0 20 0 15 0 250643348 14420721664 8348 33554432000 4194304 4196468 140724522768816 139800533861160 139800513721694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22870] ppid=22864 vsize=14082736 memory=5793855215282817465 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22870/stat : 22870 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643349 14420721664 8348 33554432000 4194304 4196468 140724522768816 139800459729680 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22871] ppid=22864 vsize=14082736 memory=139964272924288 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22871/stat : 22871 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643349 14420721664 8348 33554432000 4194304 4196468 140724522768816 139800458677136 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22872] ppid=22864 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22872/stat : 22872 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643349 14420721664 8348 33554432000 4194304 4196468 140724522768816 139800457624592 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22873] ppid=22864 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22873/stat : 22873 (java) S 22864 22867 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250643349 14420721664 8348 33554432000 4194304 4196468 140724522768816 139800456572048 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22874] ppid=22864 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22874/stat : 22874 (java) S 22864 22867 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250643350 14420721664 8348 33554432000 4194304 4196468 140724522768816 139799440648176 139800529652354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22875] ppid=22864 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22875/stat : 22875 (java) S 22864 22867 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250643351 14420721664 8348 33554432000 4194304 4196468 140724522768816 139799439594400 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22876] ppid=22864 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22876/stat : 22876 (java) S 22864 22867 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250643351 14420721664 8348 33554432000 4194304 4196468 140724522768816 139799438541808 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22877] ppid=22864 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22877/stat : 22877 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14420721664 8348 33554432000 4194304 4196468 140724522768816 139799437490384 139800529659803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22878] ppid=22864 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22878/stat : 22878 (java) S 22864 22867 21576 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 250643353 14420721664 8348 33554432000 4194304 4196468 140724522768816 139799436438000 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22879] ppid=22864 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22879/stat : 22879 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14420721664 8348 33554432000 4194304 4196468 140724522768816 139799435385456 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22880] ppid=22864 vsize=14082736 memory=139964272924288 CPUtime=0.01 cores=1,3,5,7
/proc/22867/task/22880/stat : 22880 (java) R 22864 22867 21576 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 15 0 250643353 14420721664 8348 33554432000 4194304 4196468 140724522768816 139799434332912 139800509881236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22881] ppid=22864 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22881/stat : 22881 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14420721664 8348 33554432000 4194304 4196468 140724522768816 139799433280608 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22882] ppid=22864 vsize=14082736 memory=139964272924288 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22882/stat : 22882 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643354 14420721664 8348 33554432000 4194304 4196468 140724522768816 139799432227120 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33392 KiB
[startup+0.21023 s]*
/proc/loadavg: 1.84 1.67 1.60 4/215 22882
/proc/meminfo: memFree=19840828/32770624 swapFree=67108688/67108860
[pid=22867] ppid=22864 vsize=14082736 memory=46780 CPUtime=0.3 cores=1,3,5,7
/proc/22867/stat : 22867 (java) S 22864 22867 21576 0 -1 1077944320 10283 0 0 0 28 2 0 0 20 0 15 0 250643348 14420721664 11695 33554432000 4194304 4196468 140724522768816 140724522751360 139800529641207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
/proc/22867/statm: 3520684 11695 3376 1 0 3482761 0
[pid=22867/tid=22869] ppid=22864 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/22867/task/22869/stat : 22869 (java) R 22864 22867 21576 0 -1 1077944384 8053 0 0 0 18 1 0 0 20 0 15 0 250643348 14420721664 11695 33554432000 4194304 4196468 140724522768816 139800533868336 139800529651413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22870] ppid=22864 vsize=14082736 memory=4211973690477714826 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22870/stat : 22870 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643349 14420721664 11695 33554432000 4194304 4196468 140724522768816 139800459729680 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22871] ppid=22864 vsize=14082736 memory=139964272924288 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22871/stat : 22871 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643349 14420721664 11695 33554432000 4194304 4196468 140724522768816 139800458677136 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22872] ppid=22864 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22872/stat : 22872 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643349 14420721664 11695 33554432000 4194304 4196468 140724522768816 139800457624592 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22873] ppid=22864 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22873/stat : 22873 (java) S 22864 22867 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250643349 14420721664 11695 33554432000 4194304 4196468 140724522768816 139800456572048 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22874] ppid=22864 vsize=14082736 memory=139964272924288 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22874/stat : 22874 (java) S 22864 22867 21576 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250643350 14420721664 11695 33554432000 4194304 4196468 140724522768816 139799440648176 139800529652354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22875] ppid=22864 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22875/stat : 22875 (java) S 22864 22867 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250643351 14420721664 11695 33554432000 4194304 4196468 140724522768816 139799439594400 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22876] ppid=22864 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22876/stat : 22876 (java) S 22864 22867 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250643351 14420721664 11695 33554432000 4194304 4196468 140724522768816 139799438541808 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22877] ppid=22864 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22877/stat : 22877 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14420721664 11695 33554432000 4194304 4196468 140724522768816 139799437490384 139800529659803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22878] ppid=22864 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22867/task/22878/stat : 22878 (java) R 22864 22867 21576 0 -1 4202560 434 0 0 0 2 0 0 0 20 0 15 0 250643353 14420721664 11695 33554432000 4194304 4196468 140724522768816 139799436438000 139800511185904 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22879] ppid=22864 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22879/stat : 22879 (java) R 22864 22867 21576 0 -1 4202560 139 0 0 0 0 0 0 0 20 0 15 0 250643353 14420721664 11695 33554432000 4194304 4196468 140724522768816 139799435385456 139800511011520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22880] ppid=22864 vsize=14082736 memory=139964272924288 CPUtime=0.06 cores=1,3,5,7
/proc/22867/task/22880/stat : 22880 (java) S 22864 22867 21576 0 -1 1077944384 278 0 0 0 6 0 0 0 20 0 15 0 250643353 14420721664 11695 33554432000 4194304 4196468 140724522768816 139799434332912 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22881] ppid=22864 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22881/stat : 22881 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14420721664 11695 33554432000 4194304 4196468 140724522768816 139799433280608 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22882] ppid=22864 vsize=14082736 memory=139964272924288 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22882/stat : 22882 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643354 14420721664 11695 33554432000 4194304 4196468 140724522768816 139799432227120 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46780 KiB
[startup+0.310532 s]*
/proc/loadavg: 1.84 1.67 1.60 3/215 22882
/proc/meminfo: memFree=19837124/32770624 swapFree=67108688/67108860
[pid=22867] ppid=22864 vsize=14082736 memory=50412 CPUtime=0.43 cores=1,3,5,7
/proc/22867/stat : 22867 (java) S 22864 22867 21576 0 -1 1077944320 10718 0 0 0 41 2 0 0 20 0 15 0 250643348 14420721664 12603 33554432000 4194304 4196468 140724522768816 140724522751360 139800529641207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
/proc/22867/statm: 3520684 12603 3379 1 0 3482761 0
[pid=22867/tid=22869] ppid=22864 vsize=14082736 memory=6735269665583770266 CPUtime=0.29 cores=1,3,5,7
/proc/22867/task/22869/stat : 22869 (java) R 22864 22867 21576 0 -1 4202560 8439 0 0 0 28 1 0 0 20 0 15 0 250643348 14420721664 12603 33554432000 4194304 4196468 140724522768816 139800533859200 139800515321909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22870] ppid=22864 vsize=14082736 memory=4211973690477714826 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22870/stat : 22870 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643349 14420721664 12603 33554432000 4194304 4196468 140724522768816 139800459729680 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22871] ppid=22864 vsize=14082736 memory=279928398842240 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22871/stat : 22871 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643349 14420721664 12603 33554432000 4194304 4196468 140724522768816 139800458677136 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22872] ppid=22864 vsize=14082736 memory=279928251863552 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22872/stat : 22872 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643349 14420721664 12603 33554432000 4194304 4196468 140724522768816 139800457624592 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22873] ppid=22864 vsize=14082736 memory=139964125917967 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22873/stat : 22873 (java) S 22864 22867 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250643349 14420721664 12603 33554432000 4194304 4196468 140724522768816 139800456572048 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22874] ppid=22864 vsize=14082736 memory=279928398849152 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22874/stat : 22874 (java) S 22864 22867 21576 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250643350 14420721664 12603 33554432000 4194304 4196468 140724522768816 139799440648176 139800529652354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22875] ppid=22864 vsize=14082736 memory=139964125922575 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22875/stat : 22875 (java) S 22864 22867 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250643351 14420721664 12603 33554432000 4194304 4196468 140724522768816 139799439594400 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22876] ppid=22864 vsize=14082736 memory=139964125946487 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22876/stat : 22876 (java) S 22864 22867 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250643351 14420721664 12603 33554432000 4194304 4196468 140724522768816 139799438541808 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22877] ppid=22864 vsize=14082736 memory=139964125948792 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22877/stat : 22877 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14420721664 12603 33554432000 4194304 4196468 140724522768816 139799437490384 139800529659803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22878] ppid=22864 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22867/task/22878/stat : 22878 (java) S 22864 22867 21576 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 15 0 250643353 14420721664 12603 33554432000 4194304 4196468 140724522768816 139799436438000 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22879] ppid=22864 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22867/task/22879/stat : 22879 (java) S 22864 22867 21576 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 15 0 250643353 14420721664 12603 33554432000 4194304 4196468 140724522768816 139799435385456 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22880] ppid=22864 vsize=14082736 memory=139964272924288 CPUtime=0.08 cores=1,3,5,7
/proc/22867/task/22880/stat : 22880 (java) S 22864 22867 21576 0 -1 1077944384 298 0 0 0 8 0 0 0 20 0 15 0 250643353 14420721664 12603 33554432000 4194304 4196468 140724522768816 139799434332912 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22881] ppid=22864 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22881/stat : 22881 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14420721664 12603 33554432000 4194304 4196468 140724522768816 139799433280608 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22882] ppid=22864 vsize=14082736 memory=139964272957680 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22882/stat : 22882 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643354 14420721664 12603 33554432000 4194304 4196468 140724522768816 139799432227120 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50412 KiB
[startup+0.700742 s]
/proc/loadavg: 1.84 1.67 1.60 3/215 22882
/proc/meminfo: memFree=19815360/32770624 swapFree=67108688/67108860
[pid=22867] ppid=22864 vsize=14084804 memory=88964 CPUtime=0.99 cores=1,3,5,7
/proc/22867/stat : 22867 (java) S 22864 22867 21576 0 -1 1077944320 17577 0 0 0 94 5 0 0 20 0 15 0 250643348 14422839296 22241 33554432000 4194304 4196468 140724522768816 140724522751360 139800529641207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
/proc/22867/statm: 3521201 22241 3506 1 0 3483273 0
[pid=22867/tid=22869] ppid=22864 vsize=14084804 memory=56 CPUtime=0.67 cores=1,3,5,7
/proc/22867/task/22869/stat : 22869 (java) R 22864 22867 21576 0 -1 4202560 14861 0 0 0 63 4 0 0 20 0 15 0 250643348 14422839296 22241 33554432000 4194304 4196468 140724522768816 139800533856144 139800515007585 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22870] ppid=22864 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22870/stat : 22870 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643349 14422839296 22241 33554432000 4194304 4196468 140724522768816 139800459729680 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22871] ppid=22864 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22871/stat : 22871 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643349 14422839296 22241 33554432000 4194304 4196468 140724522768816 139800458677136 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22872] ppid=22864 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22872/stat : 22872 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643349 14422839296 22241 33554432000 4194304 4196468 140724522768816 139800457624592 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22873] ppid=22864 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22873/stat : 22873 (java) S 22864 22867 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250643349 14422839296 22241 33554432000 4194304 4196468 140724522768816 139800456572048 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22874] ppid=22864 vsize=14084804 memory=748 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22874/stat : 22874 (java) S 22864 22867 21576 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250643350 14422839296 22241 33554432000 4194304 4196468 140724522768816 139799440648176 139800529652354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22875] ppid=22864 vsize=14084804 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22875/stat : 22875 (java) S 22864 22867 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250643351 14422839296 22241 33554432000 4194304 4196468 140724522768816 139799439594400 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22876] ppid=22864 vsize=14084804 memory=6608 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22876/stat : 22876 (java) S 22864 22867 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250643351 14422839296 22241 33554432000 4194304 4196468 140724522768816 139799438541808 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22877] ppid=22864 vsize=14084804 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22877/stat : 22877 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14422839296 22241 33554432000 4194304 4196468 140724522768816 139799437490384 139800529659803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22878] ppid=22864 vsize=14084804 memory=4452 CPUtime=0.08 cores=1,3,5,7
/proc/22867/task/22878/stat : 22878 (java) S 22864 22867 21576 0 -1 1077944384 602 0 0 0 8 0 0 0 20 0 15 0 250643353 14422839296 22241 33554432000 4194304 4196468 140724522768816 139799436438000 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22879] ppid=22864 vsize=14084804 memory=3732 CPUtime=0.06 cores=1,3,5,7
/proc/22867/task/22879/stat : 22879 (java) S 22864 22867 21576 0 -1 1077944384 325 0 0 0 6 0 0 0 20 0 15 0 250643353 14422839296 22241 33554432000 4194304 4196468 140724522768816 139799435385456 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22880] ppid=22864 vsize=14084804 memory=12668 CPUtime=0.15 cores=1,3,5,7
/proc/22867/task/22880/stat : 22880 (java) S 22864 22867 21576 0 -1 1077944384 407 0 0 0 15 0 0 0 20 0 15 0 250643353 14422839296 22241 33554432000 4194304 4196468 140724522768816 139799434332912 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22881] ppid=22864 vsize=14084804 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22881/stat : 22881 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14422839296 22241 33554432000 4194304 4196468 140724522768816 139799433280608 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22882] ppid=22864 vsize=14084804 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22882/stat : 22882 (java) S 22864 22867 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250643354 14422839296 22241 33554432000 4194304 4196468 140724522768816 139799432227120 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88964 KiB
[startup+1.50095 s]
/proc/loadavg: 1.84 1.67 1.60 6/215 22882
/proc/meminfo: memFree=19270104/32770624 swapFree=67108688/67108860
[pid=22867] ppid=22864 vsize=14086852 memory=407648 CPUtime=3.21 cores=1,3,5,7
/proc/22867/stat : 22867 (java) S 22864 22867 21576 0 -1 1077944320 20018 0 0 0 283 38 0 0 20 0 15 0 250643348 14424936448 101912 33554432000 4194304 4196468 140724522768816 140724522751360 139800529641207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
/proc/22867/statm: 3521713 101912 3567 1 0 3483785 0
[pid=22867/tid=22869] ppid=22864 vsize=14086852 memory=3868 CPUtime=1.34 cores=1,3,5,7
/proc/22867/task/22869/stat : 22869 (java) R 22864 22867 21576 0 -1 4202560 15342 0 0 0 126 8 0 0 20 0 15 0 250643348 14424936448 101912 33554432000 4194304 4196468 140724522768816 139800533874776 139800132927605 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22870] ppid=22864 vsize=14086852 memory=68404 CPUtime=0.09 cores=1,3,5,7
/proc/22867/task/22870/stat : 22870 (java) S 22864 22867 21576 0 -1 1077944384 94 0 0 0 3 6 0 0 20 0 15 0 250643349 14424936448 101912 33554432000 4194304 4196468 140724522768816 139800459729680 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22871] ppid=22864 vsize=14086852 memory=1224 CPUtime=0.11 cores=1,3,5,7
/proc/22867/task/22871/stat : 22871 (java) S 22864 22867 21576 0 -1 1077944384 192 0 0 0 4 7 0 0 20 0 15 0 250643349 14424936448 101912 33554432000 4194304 4196468 140724522768816 139800458677136 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22872] ppid=22864 vsize=14086852 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/22867/task/22872/stat : 22872 (java) S 22864 22867 21576 0 -1 1077944384 162 0 0 0 3 7 0 0 20 0 15 0 250643349 14424936448 101912 33554432000 4194304 4196468 140724522768816 139800457624592 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22873] ppid=22864 vsize=14086852 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/22867/task/22873/stat : 22873 (java) S 22864 22867 21576 0 -1 1077944384 163 0 0 0 3 7 0 0 20 0 15 0 250643349 14424936448 101912 33554432000 4194304 4196468 140724522768816 139800456572048 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22874] ppid=22864 vsize=14086852 memory=7379241870439769942 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22874/stat : 22874 (java) S 22864 22867 21576 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 250643350 14424936448 101912 33554432000 4194304 4196468 140724522768816 139799440648176 139800529652354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
################
# More data... #
################
/proc/22867/task/22869/stat : 22869 (java) R 22864 22867 21576 0 -1 4202560 43904 0 0 0 9712 49 0 0 20 0 15 0 250643348 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139800533874528 139800140526434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22870] ppid=22864 vsize=14092996 memory=279928251822480 CPUtime=4.38 cores=1,3,5,7
/proc/22867/task/22870/stat : 22870 (java) S 22864 22867 21576 0 -1 1077944384 4090 0 0 0 375 63 0 0 20 0 15 0 250643349 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139800459729680 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22871] ppid=22864 vsize=14092996 memory=0 CPUtime=4.4 cores=1,3,5,7
/proc/22867/task/22871/stat : 22871 (java) S 22864 22867 21576 0 -1 1077944384 3739 0 0 0 377 63 0 0 20 0 15 0 250643349 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139800458677136 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22872] ppid=22864 vsize=14092996 memory=3868 CPUtime=4.37 cores=1,3,5,7
/proc/22867/task/22872/stat : 22872 (java) S 22864 22867 21576 0 -1 1077944384 5248 0 0 0 377 60 0 0 20 0 15 0 250643349 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139800457624592 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22873] ppid=22864 vsize=14092996 memory=68416 CPUtime=4.36 cores=1,3,5,7
/proc/22867/task/22873/stat : 22873 (java) S 22864 22867 21576 0 -1 1077944384 5113 0 0 0 374 62 0 0 20 0 15 0 250643349 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139800456572048 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22874] ppid=22864 vsize=14092996 memory=5110428 CPUtime=0.19 cores=1,3,5,7
/proc/22867/task/22874/stat : 22874 (java) S 22864 22867 21576 0 -1 1077944384 9554 0 0 0 18 1 0 0 20 0 15 0 250643350 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139799440648176 139800529652354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22875] ppid=22864 vsize=14092996 memory=5110424 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22875/stat : 22875 (java) S 22864 22867 21576 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 250643351 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139799439594464 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22876] ppid=22864 vsize=14092996 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22876/stat : 22876 (java) S 22864 22867 21576 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250643351 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139799438541824 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22877] ppid=22864 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22877/stat : 22877 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139799437490384 139800529659803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22878] ppid=22864 vsize=14092996 memory=38536 CPUtime=5.19 cores=1,3,5,7
/proc/22867/task/22878/stat : 22878 (java) S 22864 22867 21576 0 -1 1077944384 11764 0 0 0 516 3 0 0 20 0 15 0 250643353 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139799436438000 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22879] ppid=22864 vsize=14092996 memory=1612 CPUtime=5.31 cores=1,3,5,7
/proc/22867/task/22879/stat : 22879 (java) S 22864 22867 21576 0 -1 1077944384 14174 0 0 0 529 2 0 0 20 0 15 0 250643353 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139799435385456 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22880] ppid=22864 vsize=14092996 memory=6791534058613427641 CPUtime=1.74 cores=1,3,5,7
/proc/22867/task/22880/stat : 22880 (java) S 22864 22867 21576 0 -1 1077944384 19018 0 0 0 170 4 0 0 20 0 15 0 250643353 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139799434332912 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22881] ppid=22864 vsize=14092996 memory=5108720 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22881/stat : 22881 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139799433280608 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22882] ppid=22864 vsize=14092996 memory=5108536 CPUtime=0.06 cores=1,3,5,7
/proc/22867/task/22882/stat : 22882 (java) S 22864 22867 21576 0 -1 1077944384 1046 0 0 0 2 4 0 0 20 0 15 0 250643354 14431227904 1277607 33554432000 4194304 4196468 140724522768816 139799432227120 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
Current children cumulated CPU time: 127.69 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5110428 KiB
[startup+162.301 s]
/proc/loadavg: 1.77 1.77 1.66 3/216 22907
/proc/meminfo: memFree=11676512/32770624 swapFree=67108688/67108860
[pid=22867] ppid=22864 vsize=14092996 memory=5207384 CPUtime=192.45 cores=1,3,5,7
/proc/22867/stat : 22867 (java) S 22864 22867 21576 0 -1 1077944320 137315 0 0 0 18920 325 0 0 20 0 15 0 250643348 14431227904 1301846 33554432000 4194304 4196468 140724522768816 140724522751360 139800529641207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
/proc/22867/statm: 3523249 1301846 3623 1 0 3485321 0
[pid=22867/tid=22869] ppid=22864 vsize=14092996 memory=5207384 CPUtime=156.21 cores=1,3,5,7
/proc/22867/task/22869/stat : 22869 (java) R 22864 22867 21576 0 -1 4202560 50729 0 0 0 15571 50 0 0 20 0 15 0 250643348 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139800533874624 139800141663846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22870] ppid=22864 vsize=14092996 memory=5199196 CPUtime=5.74 cores=1,3,5,7
/proc/22867/task/22870/stat : 22870 (java) S 22864 22867 21576 0 -1 1077944384 4731 0 0 0 510 64 0 0 20 0 15 0 250643349 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139800459729680 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22871] ppid=22864 vsize=14092996 memory=5203288 CPUtime=5.76 cores=1,3,5,7
/proc/22867/task/22871/stat : 22871 (java) S 22864 22867 21576 0 -1 1077944384 5247 0 0 0 510 66 0 0 20 0 15 0 250643349 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139800458677136 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22872] ppid=22864 vsize=14092996 memory=5207384 CPUtime=5.75 cores=1,3,5,7
/proc/22867/task/22872/stat : 22872 (java) S 22864 22867 21576 0 -1 1077944384 5975 0 0 0 513 62 0 0 20 0 15 0 250643349 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139800457624592 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22873] ppid=22864 vsize=14092996 memory=5207384 CPUtime=5.74 cores=1,3,5,7
/proc/22867/task/22873/stat : 22873 (java) S 22864 22867 21576 0 -1 1077944384 6923 0 0 0 510 64 0 0 20 0 15 0 250643349 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139800456572048 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22874] ppid=22864 vsize=14092996 memory=5207384 CPUtime=0.2 cores=1,3,5,7
/proc/22867/task/22874/stat : 22874 (java) S 22864 22867 21576 0 -1 1077944384 9783 0 0 0 19 1 0 0 20 0 15 0 250643350 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139799440648176 139800529652354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22875] ppid=22864 vsize=14092996 memory=56 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22875/stat : 22875 (java) S 22864 22867 21576 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 250643351 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139799439594464 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22876] ppid=22864 vsize=14092996 memory=5203288 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22876/stat : 22876 (java) S 22864 22867 21576 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250643351 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139799438541824 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22877] ppid=22864 vsize=14092996 memory=5190992 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22877/stat : 22877 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139799437490384 139800529659803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22878] ppid=22864 vsize=14092996 memory=5199196 CPUtime=5.59 cores=1,3,5,7
/proc/22867/task/22878/stat : 22878 (java) S 22864 22867 21576 0 -1 1077944384 14959 0 0 0 556 3 0 0 20 0 15 0 250643353 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139799436438000 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22879] ppid=22864 vsize=14092996 memory=2336 CPUtime=5.49 cores=1,3,5,7
/proc/22867/task/22879/stat : 22879 (java) S 22864 22867 21576 0 -1 1077944384 15003 0 0 0 547 2 0 0 20 0 15 0 250643353 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139799435385456 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22880] ppid=22864 vsize=14092996 memory=0 CPUtime=1.78 cores=1,3,5,7
/proc/22867/task/22880/stat : 22880 (java) S 22864 22867 21576 0 -1 1077944384 21483 0 0 0 173 5 0 0 20 0 15 0 250643353 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139799434332912 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22881] ppid=22864 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22881/stat : 22881 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139799433280608 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22882] ppid=22864 vsize=14092996 memory=5207384 CPUtime=0.09 cores=1,3,5,7
/proc/22867/task/22882/stat : 22882 (java) S 22864 22867 21576 0 -1 1077944384 1079 0 0 0 3 6 0 0 20 0 15 0 250643354 14431227904 1301846 33554432000 4194304 4196468 140724522768816 139799432227120 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
Current children cumulated CPU time: 192.45 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5207384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+216.701 s]
/proc/loadavg: 1.91 1.81 1.68 3/216 22985
/proc/meminfo: memFree=16616436/32770624 swapFree=67108688/67108860
[pid=22867] ppid=22864 vsize=14092996 memory=5281128 CPUtime=252.09 cores=1,3,5,7
/proc/22867/stat : 22867 (java) S 22864 22867 21576 0 -1 1077944320 160727 0 0 0 24876 333 0 0 20 0 15 0 250643348 14431227904 1320282 33554432000 4194304 4196468 140724522768816 140724522751360 139800529641207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
/proc/22867/statm: 3523249 1320282 3623 1 0 3485321 0
[pid=22867/tid=22869] ppid=22864 vsize=14092996 memory=5281128 CPUtime=208.94 cores=1,3,5,7
/proc/22867/task/22869/stat : 22869 (java) R 22864 22867 21576 0 -1 4202560 57272 0 0 0 20843 51 0 0 20 0 15 0 250643348 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139800533877560 139800137959504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22870] ppid=22864 vsize=14092996 memory=5281128 CPUtime=7.4 cores=1,3,5,7
/proc/22867/task/22870/stat : 22870 (java) S 22864 22867 21576 0 -1 1077944384 8464 0 0 0 675 65 0 0 20 0 15 0 250643349 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139800459729680 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22871] ppid=22864 vsize=14092996 memory=5281124 CPUtime=7.42 cores=1,3,5,7
/proc/22867/task/22871/stat : 22871 (java) S 22864 22867 21576 0 -1 1077944384 8979 0 0 0 674 68 0 0 20 0 15 0 250643349 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139800458677136 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22872] ppid=22864 vsize=14092996 memory=5254792 CPUtime=7.4 cores=1,3,5,7
/proc/22867/task/22872/stat : 22872 (java) S 22864 22867 21576 0 -1 1077944384 8289 0 0 0 677 63 0 0 20 0 15 0 250643349 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139800457624592 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22873] ppid=22864 vsize=14092996 memory=5265604 CPUtime=7.39 cores=1,3,5,7
/proc/22867/task/22873/stat : 22873 (java) S 22864 22867 21576 0 -1 1077944384 8799 0 0 0 674 65 0 0 20 0 15 0 250643349 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139800456572048 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22874] ppid=22864 vsize=14092996 memory=5272584 CPUtime=0.21 cores=1,3,5,7
/proc/22867/task/22874/stat : 22874 (java) S 22864 22867 21576 0 -1 1077944384 10042 0 0 0 20 1 0 0 20 0 15 0 250643350 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799440648176 139800529652354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22875] ppid=22864 vsize=14092996 memory=5272584 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22875/stat : 22875 (java) S 22864 22867 21576 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 250643351 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799439594464 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22876] ppid=22864 vsize=14092996 memory=5278908 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22876/stat : 22876 (java) S 22864 22867 21576 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 250643351 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799438541824 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22877] ppid=22864 vsize=14092996 memory=5281080 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22877/stat : 22877 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799437490384 139800529659803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22878] ppid=22864 vsize=14092996 memory=5281128 CPUtime=5.67 cores=1,3,5,7
/proc/22867/task/22878/stat : 22878 (java) S 22864 22867 21576 0 -1 1077944384 16280 0 0 0 564 3 0 0 20 0 15 0 250643353 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799436438000 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22879] ppid=22864 vsize=14092996 memory=5281124 CPUtime=5.65 cores=1,3,5,7
/proc/22867/task/22879/stat : 22879 (java) S 22864 22867 21576 0 -1 1077944384 16693 0 0 0 563 2 0 0 20 0 15 0 250643353 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799435385456 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22880] ppid=22864 vsize=14092996 memory=5281128 CPUtime=1.8 cores=1,3,5,7
/proc/22867/task/22880/stat : 22880 (java) S 22864 22867 21576 0 -1 1077944384 23122 0 0 0 175 5 0 0 20 0 15 0 250643353 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799434332912 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22881] ppid=22864 vsize=14092996 memory=5265604 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22881/stat : 22881 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799433280608 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22882] ppid=22864 vsize=14092996 memory=164 CPUtime=0.13 cores=1,3,5,7
/proc/22867/task/22882/stat : 22882 (java) S 22864 22867 21576 0 -1 1077944384 1375 0 0 0 4 9 0 0 20 0 15 0 250643354 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799432227120 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5281128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+216.751 s]
# the end of solver process 22867 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.788 s, system=3.36377 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+216.701 s]
/proc/loadavg: 1.91 1.81 1.68 3/216 22985
/proc/meminfo: memFree=16616436/32770624 swapFree=67108688/67108860
[pid=22867] ppid=22864 vsize=14092996 memory=5281128 CPUtime=252.09 cores=1,3,5,7
/proc/22867/stat : 22867 (java) S 22864 22867 21576 0 -1 1077944320 160727 0 0 0 24876 333 0 0 20 0 15 0 250643348 14431227904 1320282 33554432000 4194304 4196468 140724522768816 140724522751360 139800529641207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
/proc/22867/statm: 3523249 1320282 3623 1 0 3485321 0
[pid=22867/tid=22869] ppid=22864 vsize=14092996 memory=5281128 CPUtime=208.94 cores=1,3,5,7
/proc/22867/task/22869/stat : 22869 (java) R 22864 22867 21576 0 -1 4202560 57272 0 0 0 20843 51 0 0 20 0 15 0 250643348 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139800533877560 139800137959504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22870] ppid=22864 vsize=14092996 memory=5281128 CPUtime=7.4 cores=1,3,5,7
/proc/22867/task/22870/stat : 22870 (java) S 22864 22867 21576 0 -1 1077944384 8464 0 0 0 675 65 0 0 20 0 15 0 250643349 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139800459729680 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22871] ppid=22864 vsize=14092996 memory=5281124 CPUtime=7.42 cores=1,3,5,7
/proc/22867/task/22871/stat : 22871 (java) S 22864 22867 21576 0 -1 1077944384 8979 0 0 0 674 68 0 0 20 0 15 0 250643349 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139800458677136 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22872] ppid=22864 vsize=14092996 memory=5254792 CPUtime=7.4 cores=1,3,5,7
/proc/22867/task/22872/stat : 22872 (java) S 22864 22867 21576 0 -1 1077944384 8289 0 0 0 677 63 0 0 20 0 15 0 250643349 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139800457624592 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22873] ppid=22864 vsize=14092996 memory=5265604 CPUtime=7.39 cores=1,3,5,7
/proc/22867/task/22873/stat : 22873 (java) S 22864 22867 21576 0 -1 1077944384 8799 0 0 0 674 65 0 0 20 0 15 0 250643349 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139800456572048 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22874] ppid=22864 vsize=14092996 memory=5272584 CPUtime=0.21 cores=1,3,5,7
/proc/22867/task/22874/stat : 22874 (java) S 22864 22867 21576 0 -1 1077944384 10042 0 0 0 20 1 0 0 20 0 15 0 250643350 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799440648176 139800529652354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22875] ppid=22864 vsize=14092996 memory=5272584 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22875/stat : 22875 (java) S 22864 22867 21576 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 250643351 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799439594464 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22876] ppid=22864 vsize=14092996 memory=5278908 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22876/stat : 22876 (java) S 22864 22867 21576 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 250643351 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799438541824 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22877] ppid=22864 vsize=14092996 memory=5281080 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22877/stat : 22877 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799437490384 139800529659803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22878] ppid=22864 vsize=14092996 memory=5281128 CPUtime=5.67 cores=1,3,5,7
/proc/22867/task/22878/stat : 22878 (java) S 22864 22867 21576 0 -1 1077944384 16280 0 0 0 564 3 0 0 20 0 15 0 250643353 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799436438000 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22879] ppid=22864 vsize=14092996 memory=5281124 CPUtime=5.65 cores=1,3,5,7
/proc/22867/task/22879/stat : 22879 (java) S 22864 22867 21576 0 -1 1077944384 16693 0 0 0 563 2 0 0 20 0 15 0 250643353 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799435385456 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22880] ppid=22864 vsize=14092996 memory=5281128 CPUtime=1.8 cores=1,3,5,7
/proc/22867/task/22880/stat : 22880 (java) S 22864 22867 21576 0 -1 1077944384 23122 0 0 0 175 5 0 0 20 0 15 0 250643353 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799434332912 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22881] ppid=22864 vsize=14092996 memory=5265604 CPUtime=0 cores=1,3,5,7
/proc/22867/task/22881/stat : 22881 (java) S 22864 22867 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250643353 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799433280608 139800529651413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
[pid=22867/tid=22882] ppid=22864 vsize=14092996 memory=164 CPUtime=0.13 cores=1,3,5,7
/proc/22867/task/22882/stat : 22882 (java) S 22864 22867 21576 0 -1 1077944384 1375 0 0 0 4 9 0 0 20 0 15 0 250643354 14431227904 1320282 33554432000 4194304 4196468 140724522768816 139799432227120 139800529652354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140724522775643 140724522775822 140724522775822 140724522778575 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5281128 KiB
Child status: 143
Real time (s): 216.751
CPU time (s): 252.152
CPU user time (s): 248.788
CPU system time (s): 3.36377
CPU usage (%): 116.332
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 5281128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.788
system time used= 3.36377
maximum resident set size= 5281636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12043
involuntary context switches= 546
# summary of solver processes directly reported to runsolver:
# pid: 22867
# total CPU time (s): 252.152
# total CPU user time (s): 248.788
# total CPU system time (s): 3.36377
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29097 second user time and 2.21583 second system time
The end
Begin job on node106 at 2018-08-15 13:00:05 IDJOB=4310573 IDBENCH=141273 IDSOLVER=2796 FILE ID=node106/4310573-1534330804 RUNJOBID= node106-1534329093-21608 PBS_JOBID= 21038157 Free space on /tmp= 42124 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310573-1534330804/watcher-4310573-1534330804 -o /tmp/evaluation-result-4310573-1534330804/solver-4310573-1534330804 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534329093-21608 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 707964410 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310573-1534330804.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39 RANDOM SEED=707964410 node106.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 19874752 kB MemAvailable: 29017192 kB Buffers: 202528 kB Cached: 9154948 kB SwapCached: 0 kB Active: 7765672 kB Inactive: 4522140 kB Active(anon): 2877176 kB Inactive(anon): 113648 kB Active(file): 4888496 kB Inactive(file): 4408492 kB Unevictable: 6968 kB Mlocked: 6968 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 118496 kB Writeback: 0 kB AnonPages: 2958072 kB Mapped: 69116 kB Shmem: 57824 kB Slab: 302432 kB SReclaimable: 273912 kB SUnreclaim: 28520 kB KernelStack: 3792 kB PageTables: 11284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4554148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2830336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 42296 MiB End job on node106 at 2018-08-15 13:03:42