Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Hybrid 2018-08-14 | SAT (TO) | 250507 | 2520.16 | 2454.25 |
Name | Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml |
MD5SUM | 19bcf73076031218e5fd4b7208c9a15e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19049 |
Best CPU time to get the best result obtained on this benchmark | 2400.17 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4749 |
Number of constraints | 4410 |
Number of domains | 9 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}] |
Minimum variable degree | 2 |
Maximum variable degree | 63 |
Distribution of variable degrees | [{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 280 |
Distribution of constraint arities | [{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4409 |
Distribution of constraint types | [{"type":"intension","count":4409},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.67/0.56 c version: 2018-08-14 0.67/0.56 c seed: 111865904 0.67/0.56 c timeout: 2520 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 9.83/5.48 c Parsing done, starting first complete search... 74.59/67.03 o 423098 74.59/67.04 o 422098 74.59/67.04 o 421998 74.59/67.05 o 421898 74.59/67.06 o 421896 74.59/67.06 o 421795 74.59/67.07 o 420795 74.59/67.07 o 419795 74.59/67.08 o 419695 74.59/67.08 o 418695 74.59/67.09 o 417694 74.59/67.09 o 415694 74.59/67.10 o 415684 74.59/67.10 o 414684 74.81/67.11 o 414584 74.81/67.12 o 414583 74.81/67.13 o 414574 75.08/67.22 o 414375 75.08/67.23 o 414374 75.08/67.28 o 414363 75.08/67.29 o 414362 75.29/67.36 o 413473 75.29/67.36 o 413472 75.29/67.37 o 413372 75.29/67.37 o 413282 75.29/67.38 o 413273 75.29/67.38 o 413262 75.29/67.39 o 413261 75.60/67.63 o 413162 75.60/67.64 o 413061 75.60/67.67 o 411161 75.60/67.68 o 411061 75.70/67.71 o 409061 75.70/67.72 o 409041 75.84/67.84 o 408963 75.84/67.84 o 408953 75.84/67.84 o 408952 75.84/67.85 o 408854 75.84/67.85 o 408853 75.84/67.86 o 408852 76.05/68.01 o 408765 76.05/68.01 o 408764 76.05/68.01 o 408763 76.05/68.02 o 408762 76.34/68.30 o 408743 76.34/68.33 o 408735 76.34/68.33 o 408734 76.34/68.34 o 408733 76.34/68.34 o 408643 76.75/68.73 o 408256 76.75/68.73 o 408156 76.75/68.74 o 408155 76.75/68.74 o 407154 76.75/68.75 o 407053 76.75/68.75 o 406843 79.35/71.28 o 406842 83.36/75.26 o 406834 83.36/75.27 o 406833 88.19/80.07 o 406832 95.60/87.48 o 406511 95.60/87.49 o 405512 95.60/87.50 o 405412 95.70/87.56 o 405355 95.70/87.56 o 405354 95.70/87.57 o 405353 95.70/87.58 o 405343 95.80/87.63 o 405314 95.80/87.64 o 405313 95.80/87.65 o 405223 95.90/87.79 o 405123 97.50/89.37 o 405116 97.50/89.37 o 405115 97.50/89.37 o 405114 97.50/89.38 o 405113 97.60/89.40 o 405023 98.91/90.76 o 405022 113.43/105.23 o 405015 113.43/105.24 o 405014 113.43/105.24 o 405013 121.36/113.11 o 405012 162.49/154.27 o 404589 162.49/154.28 o 404489 162.49/154.28 o 404488 162.49/154.29 o 403489 162.49/154.29 o 403389 162.59/154.30 o 403379 162.59/154.31 o 403301 162.59/154.31 o 403300 162.59/154.32 o 403299 162.59/154.32 o 403289 162.59/154.34 o 403201 162.59/154.34 o 403200 162.59/154.35 o 403100 163.40/155.13 o 403099 168.91/160.61 o 403002 168.91/160.61 o 403001 168.91/160.62 o 402999 189.55/181.25 o 401292 189.55/181.25 o 401192 189.55/181.26 o 401191 189.55/181.26 o 401091 189.55/181.27 o 400990 189.55/181.27 o 400890 189.55/181.28 o 400889 189.55/181.29 o 400831 189.55/181.29 o 400830 189.55/181.30 o 400829 189.66/181.30 o 400819 189.66/181.31 o 400809 189.66/181.32 o 400799 189.66/181.32 o 399899 189.66/181.33 o 398898 189.66/181.37 o 398379 189.66/181.37 o 398378 189.66/181.38 o 398278 189.66/181.39 o 398179 189.66/181.40 o 398178 189.77/181.41 o 398088 189.77/181.43 o 397988 189.87/181.57 o 397987 190.67/182.35 o 397900 190.67/182.35 o 397898 190.67/182.38 o 397889 190.67/182.38 o 397888 190.67/182.39 o 397799 190.77/182.40 o 397798 253.07/244.54 o 397700 253.07/244.54 o 397698 265.04/256.47 c First complete search done, starting ALNS search... 267.73/257.94 o 396698 267.73/257.95 o 395698 267.73/257.95 o 395598 269.77/259.62 o 395201 269.77/259.69 o 395101 269.88/259.73 o 394101 270.09/259.94 o 394091 270.31/260.18 o 394001 270.40/260.22 o 393991 270.50/260.30 o 393101 270.50/260.33 o 392101 270.50/260.37 o 391101 270.60/260.40 o 391091 270.60/260.44 o 391001 270.60/260.47 o 390991 271.03/260.82 o 390901 271.03/260.86 o 390891 272.28/261.91 o 390101 272.28/261.93 o 390001 272.28/261.96 o 389901 272.28/261.99 o 389900 272.49/262.16 o 389801 272.49/262.18 o 389800 272.89/262.58 o 389703 272.89/262.59 o 389702 274.61/263.88 o 389592 274.72/263.90 o 389582 274.72/263.99 o 389581 278.98/268.02 o 389190 280.35/269.35 o 389090 280.94/269.84 o 389080 280.94/269.86 o 389070 280.94/269.89 o 389069 281.09/269.90 o 389059 281.09/269.93 o 389000 281.09/269.97 o 388989 281.22/270.02 o 388979 281.77/270.40 o 388891 281.77/270.46 o 388880 281.77/270.49 o 388879 281.89/270.56 o 388791 281.99/270.61 o 388780 281.99/270.67 o 388779 282.19/270.86 o 388772 282.29/270.93 o 388771 282.41/271.08 o 388770 282.51/271.19 o 388691 282.62/271.27 o 388680 282.72/271.36 o 388679 282.82/271.45 o 388672 282.92/271.50 o 388671 283.02/271.65 o 388670 283.12/271.77 o 388669 283.24/271.87 o 388661 283.56/272.06 o 388660 283.85/272.24 o 388659 283.96/272.30 o 388658 283.96/272.38 o 388657 284.06/272.46 o 388656 284.16/272.54 o 388655 284.27/272.62 o 388654 284.39/272.77 o 388651 284.49/272.85 o 388650 284.59/272.96 o 387879 284.59/273.01 o 387878 284.70/273.06 o 387877 284.80/273.12 o 387876 284.80/273.19 o 387875 284.89/273.27 o 387874 284.99/273.35 o 387779 285.09/273.43 o 387778 285.19/273.50 o 387777 285.19/273.58 o 387776 285.29/273.65 o 387775 285.39/273.74 o 387769 285.49/273.81 o 387768 285.49/273.89 o 387767 285.59/273.96 o 387766 285.70/274.03 o 387765 285.80/274.12 o 387759 285.89/274.20 o 387758 285.89/274.27 o 387757 285.99/274.34 o 387756 286.09/274.42 o 387755 286.20/274.51 o 387679 286.20/274.59 o 387678 286.29/274.67 o 387677 286.39/274.74 o 387676 286.49/274.82 o 387675 286.59/274.92 o 387669 286.79/275.03 o 387668 286.79/275.10 o 387667 286.89/275.17 o 387666 286.98/275.24 o 387665 287.08/275.33 o 387659 287.18/275.40 o 387658 287.18/275.47 o 387657 287.28/275.55 o 387656 287.38/275.62 o 387655 287.48/275.71 o 387654 287.58/275.80 o 387651 287.68/275.96 o 387579 287.68/276.00 o 387569 287.79/276.03 o 387568 287.79/276.10 o 387567 288.32/276.51 o 387559 288.32/276.52 o 387558 288.32/276.58 o 387557 288.42/276.62 o 387556 288.42/276.67 o 387555 288.52/276.73 o 387554 288.52/276.79 o 387546 288.62/276.83 o 387545 288.62/276.88 o 387544 288.72/276.94 o 387543 288.72/277.00 o 387542 302.72/289.54 o 386642 302.72/289.55 o 386632 302.72/289.58 o 385642 302.82/289.60 o 385632 302.82/289.63 o 385622 302.82/289.66 o 384632 302.82/289.69 o 384622 302.93/289.72 o 384532 302.93/289.74 o 384522 303.13/289.99 o 384422 303.13/290.00 o 384421 303.36/290.02 o 384412 303.36/290.03 o 384411 305.10/291.69 o 384364 305.20/291.73 o 384354 305.20/291.78 o 384353 305.30/291.81 o 384343 305.40/291.96 o 384264 305.51/292.01 o 384253 305.51/292.07 o 384243 305.93/292.48 o 383253 306.05/292.53 o 383243 306.05/292.58 o 383242 306.15/292.61 o 383153 306.15/292.63 o 383152 306.15/292.67 o 383143 306.25/292.70 o 383142 306.25/292.74 o 383141 306.75/293.28 o 383140 306.85/293.39 o 383133 306.96/293.42 o 383132 306.96/293.46 o 383131 307.06/293.52 o 383130 308.12/294.52 o 383067 308.73/295.12 o 382967 309.22/295.62 o 382966 309.42/295.85 o 382267 309.52/295.93 o 382167 309.52/296.00 o 382067 309.63/296.07 o 381967 309.82/296.26 o 381966 310.22/296.66 o 381965 310.52/297.00 o 381964 313.07/299.41 o 381957 313.07/299.47 o 381956 313.17/299.52 o 381955 313.17/299.59 o 381954 314.37/300.78 o 381947 314.47/300.84 o 381946 314.57/300.90 o 381945 314.57/300.96 o 381944 315.07/301.46 o 381257 315.17/301.52 o 381256 315.17/301.57 o 381157 315.27/301.63 o 381156 315.39/301.70 o 381155 315.39/301.76 o 381154 315.49/301.83 o 381147 315.49/301.89 o 381146 315.59/301.94 o 381145 315.70/302.01 o 381144 315.70/302.09 o 381057 315.80/302.14 o 381056 315.89/302.20 o 381055 315.89/302.26 o 381054 315.99/302.33 o 381047 315.99/302.38 o 381046 316.09/302.44 o 381045 316.19/302.50 o 381044 316.29/302.63 o 380957 316.29/302.69 o 380956 316.39/302.74 o 380955 316.49/302.80 o 380954 316.49/302.87 o 380947 316.59/302.93 o 380946 316.59/302.98 o 380945 316.71/303.04 o 380944 317.40/303.78 o 380857 317.50/303.83 o 380856 317.50/303.89 o 380855 317.60/303.95 o 380854 317.71/304.02 o 380847 317.71/304.07 o 380846 317.81/304.13 o 380845 317.90/304.26 o 380844 317.90/304.29 o 379845 318.00/304.32 o 379844 318.00/304.36 o 379843 319.54/305.85 o 379834 319.64/305.91 o 379833 320.06/306.35 o 379033 333.16/319.37 o 378044 333.34/319.42 o 378034 333.34/319.48 o 378033 333.84/319.91 o 378024 333.84/319.97 o 378023 333.95/320.05 o 377044 333.95/320.10 o 377034 334.08/320.16 o 377033 334.17/320.21 o 377024 334.17/320.26 o 377023 334.37/320.44 o 376044 334.37/320.49 o 376043 334.47/320.54 o 376034 334.47/320.59 o 376033 334.57/320.63 o 376024 334.57/320.68 o 376023 334.67/320.75 o 375044 334.77/320.80 o 375034 334.77/320.85 o 375024 334.87/320.94 o 375023 334.98/321.03 o 374044 334.98/321.07 o 374034 335.08/321.19 o 374024 335.17/321.24 o 373044 335.17/321.29 o 373034 335.27/321.35 o 373024 335.37/321.43 o 373023 335.77/321.90 o 373014 335.87/321.95 o 373013 335.87/321.99 o 373004 335.98/322.04 o 373003 336.08/322.17 o 373002 336.27/322.39 o 373001 337.87/323.92 o 372994 337.87/323.99 o 372993 337.98/324.07 o 372992 338.08/324.17 o 372991 338.67/324.76 o 372823 338.77/324.80 o 372822 338.77/324.88 o 372813 338.87/324.97 o 372812 338.99/325.04 o 372803 339.08/325.12 o 372802 339.21/325.21 o 372793 339.21/325.29 o 372792 339.31/325.38 o 372791 340.12/326.15 o 372623 340.12/326.20 o 372613 340.22/326.28 o 372603 340.32/326.36 o 372602 340.42/326.44 o 372593 340.52/326.52 o 372592 340.62/326.61 o 372591 340.72/326.72 o 371844 340.72/326.78 o 371834 340.82/326.86 o 371833 340.92/326.94 o 371824 341.03/327.01 o 371823 341.03/327.09 o 371814 341.13/327.16 o 371813 341.22/327.25 o 371812 341.32/327.37 o 371804 341.42/327.44 o 371794 341.52/327.52 o 371793 341.62/327.60 o 371792 341.72/327.72 o 371791 341.82/327.81 o 371623 341.82/327.86 o 371613 341.92/327.91 o 371603 341.92/327.96 o 371602 341.92/328.00 o 371601 342.13/328.11 o 371593 342.13/328.19 o 371592 342.22/328.26 o 371591 343.22/329.21 o 371523 343.22/329.25 o 371513 343.32/329.31 o 371512 343.32/329.35 o 371511 343.42/329.42 o 371503 343.42/329.47 o 371502 343.52/329.52 o 371501 343.62/329.62 o 371493 343.62/329.69 o 371492 343.72/329.77 o 371491 343.82/329.87 o 371423 343.92/329.91 o 371413 343.92/329.95 o 371412 343.92/329.99 o 371411 344.03/330.05 o 371403 344.03/330.10 o 371402 344.13/330.14 o 371401 344.27/330.25 o 371393 344.37/330.32 o 371392 344.37/330.39 o 371391 344.77/330.72 o 371323 344.77/330.77 o 371313 344.87/330.81 o 371312 344.87/330.88 o 371303 344.97/330.92 o 371302 344.97/330.99 o 371301 345.08/331.09 o 371293 345.18/331.18 o 371292 345.27/331.28 o 371291 346.18/332.17 o 370544 346.27/332.24 o 370543 346.37/332.30 o 370534 346.37/332.37 o 370533 346.47/332.43 o 370524 346.47/332.49 o 370523 346.57/332.55 o 370522 346.67/332.65 o 370514 346.77/332.74 o 370513 346.87/332.83 o 370512 346.97/332.93 o 370504 347.08/333.02 o 370503 361.03/346.83 o 370498 361.23/347.03 o 370497 361.43/347.23 o 369497 361.43/347.28 o 369487 361.63/347.44 o 369397 361.63/347.48 o 369387 361.93/347.71 o 369377 362.13/348.00 o 368677 362.24/348.06 o 368577 362.35/348.12 o 368477 362.35/348.17 o 367677 362.44/348.22 o 367577 362.44/348.28 o 367477 362.54/348.34 o 367476 362.64/348.43 o 367387 362.74/348.50 o 367386 362.74/348.58 o 367377 362.84/348.64 o 367376 362.84/348.70 o 367287 362.94/348.75 o 367286 363.04/348.84 o 367277 363.04/348.89 o 367276 363.14/348.98 o 366567 363.25/349.02 o 366467 363.25/349.08 o 366466 363.35/349.14 o 366367 363.35/349.19 o 366366 363.44/349.26 o 366277 363.54/349.31 o 366276 363.54/349.39 o 366267 363.64/349.45 o 366266 363.74/349.51 o 366177 363.74/349.57 o 366176 363.84/349.66 o 366167 363.94/349.71 o 366166 363.94/349.80 o 366077 364.04/349.89 o 366076 364.35/350.13 o 366075 365.95/351.75 o 366066 366.05/351.86 o 365976 366.26/352.02 o 365975 366.45/352.23 o 365974 366.55/352.37 o 365973 366.70/352.44 o 365966 366.80/352.50 o 365965 366.80/352.56 o 365964 366.90/352.63 o 365876 366.90/352.70 o 365875 367.00/352.75 o 365874 368.80/354.51 o 365867 368.80/354.58 o 365866 368.90/354.63 o 365865 369.91/355.69 o 365778 370.01/355.76 o 365777 370.11/355.87 o 365076 370.21/355.93 o 365075 370.32/356.02 o 364976 370.32/356.08 o 364975 370.43/356.18 o 364967 370.52/356.24 o 364966 370.62/356.32 o 364877 370.62/356.37 o 364876 370.73/356.47 o 364868 370.83/356.53 o 364867 380.45/366.05 o 364857 381.14/366.73 o 363957 381.24/366.82 o 363947 381.34/366.91 o 363857 381.34/367.00 o 363847 381.76/367.34 o 363748 381.76/367.38 o 363747 381.86/367.43 o 362848 381.86/367.46 o 362847 381.96/367.50 o 362748 381.96/367.53 o 362747 382.47/368.01 o 362738 382.47/368.04 o 362737 382.57/368.15 o 362736 385.99/371.42 o 362208 386.29/371.71 o 362119 386.39/371.80 o 362108 386.49/371.97 o 362019 386.60/372.07 o 362008 386.79/372.24 o 361208 386.89/372.38 o 361108 387.09/372.52 o 361008 387.29/372.73 o 360998 387.60/373.02 o 360988 387.89/373.32 o 360978 387.99/373.47 o 360219 388.29/373.72 o 360208 388.39/373.88 o 360198 388.60/374.04 o 360109 388.70/374.14 o 360098 388.79/374.25 o 360088 388.99/374.42 o 360009 389.09/374.51 o 359998 389.19/374.62 o 359988 389.60/375.03 o 359978 389.70/375.11 o 359968 390.09/375.59 o 359909 390.19/375.69 o 359898 390.78/375.91 o 359888 390.92/376.02 o 359878 390.92/376.10 o 359868 392.21/377.30 o 359210 392.21/377.36 o 359110 392.41/377.52 o 359100 392.71/377.86 o 359090 392.81/377.95 o 359080 393.02/378.12 o 359010 393.11/378.22 o 359000 393.21/378.33 o 358990 393.31/378.41 o 358980 393.71/378.82 o 358970 393.81/378.93 o 358900 393.92/379.04 o 358890 394.02/379.14 o 358880 394.11/379.23 o 358870 394.71/379.89 o 358868 395.02/380.12 o 358210 395.11/380.20 o 358200 395.11/380.28 o 358190 395.21/380.34 o 358180 395.41/380.50 o 358110 395.41/380.60 o 358090 395.61/380.72 o 358080 395.71/380.83 o 358010 395.81/380.94 o 358000 395.92/381.06 o 357990 396.02/381.16 o 357980 396.21/381.32 o 357970 396.31/381.43 o 357900 396.48/381.56 o 357890 396.58/381.67 o 357880 396.68/381.76 o 357870 405.13/390.07 o 357865 405.23/390.16 o 357855 405.62/390.52 o 357854 405.72/390.62 o 357853 405.93/390.81 o 357852 405.93/390.87 o 357851 407.63/392.59 o 357839 407.73/392.66 o 357829 408.33/393.21 o 357819 409.81/394.46 o 357818 409.91/394.56 o 357808 410.01/394.62 o 357798 411.11/395.71 o 357797 411.11/395.78 o 357796 411.21/395.89 o 357795 412.61/397.20 o 357788 412.61/397.25 o 357787 412.61/397.29 o 357778 412.71/397.34 o 357777 412.81/397.41 o 357776 412.81/397.45 o 357775 413.31/397.94 o 357774 413.81/398.44 o 357766 413.81/398.49 o 357765 413.91/398.56 o 357764 415.35/399.73 o 357758 415.35/399.77 o 357757 415.45/399.85 o 357756 415.45/399.89 o 357746 415.55/399.97 o 357745 415.66/400.05 o 357744 418.15/402.59 o 357736 418.25/402.68 o 357735 418.35/402.73 o 357734 418.35/402.79 o 357726 418.45/402.86 o 357725 418.55/402.92 o 357724 445.59/428.81 o 357636 445.69/428.91 o 357635 445.80/429.02 o 357626 445.90/429.11 o 357625 445.99/429.22 o 357624 446.09/429.32 o 357623 446.19/429.42 o 357616 446.29/429.52 o 357615 446.39/429.62 o 357614 446.49/429.73 o 357613 446.90/430.11 o 357526 446.99/430.21 o 357525 447.09/430.30 o 357524 447.19/430.40 o 357523 447.29/430.53 o 357423 447.60/430.80 o 356443 447.60/430.86 o 356423 472.73/453.92 o 356362 472.84/454.07 o 356352 473.03/454.27 o 356142 473.33/454.52 o 356132 473.63/454.81 o 356051 473.84/455.01 o 356042 473.94/455.18 o 355462 474.13/455.39 o 355352 474.33/455.59 o 355271 474.53/455.79 o 355051 474.73/456.00 o 355042 475.03/456.27 o 355041 475.33/456.50 o 355032 475.53/456.79 o 354553 475.84/457.03 o 354543 476.03/457.24 o 354443 476.23/457.48 o 354433 476.43/457.69 o 354362 476.63/457.83 o 354352 476.85/458.03 o 354142 477.04/458.29 o 354132 477.85/459.06 o 354051 478.04/459.22 o 354041 478.24/459.46 o 353462 478.44/459.67 o 353352 478.64/459.88 o 353271 478.85/460.08 o 353051 479.14/460.34 o 353041 479.44/460.69 o 353032 479.64/460.88 o 352553 479.85/461.03 o 352543 480.04/461.26 o 352443 480.24/461.41 o 352433 480.44/461.63 o 352362 480.54/461.77 o 352352 480.74/461.96 o 352142 481.04/462.22 o 352132 481.34/462.51 o 352122 481.54/462.70 o 352112 481.85/463.06 o 351951 482.14/463.31 o 351941 482.36/463.60 o 351932 482.56/463.79 o 351453 482.87/464.02 o 351443 483.06/464.22 o 351343 483.26/464.45 o 351333 483.46/464.66 o 351262 483.66/464.86 o 351252 483.87/465.04 o 351042 484.06/465.24 o 351032 484.36/465.50 o 351022 484.46/465.67 o 351012 485.16/466.30 o 351009 485.26/466.48 o 350999 486.10/467.21 o 350989 486.10/467.26 o 350799 486.10/467.27 o 350789 486.20/467.32 o 350779 486.30/467.44 o 349789 486.30/467.47 o 349779 486.40/467.51 o 348789 486.40/467.53 o 348779 486.40/467.57 o 347789 486.50/467.61 o 347779 487.51/468.65 o 347010 487.71/468.84 o 346990 487.93/469.05 o 346980 488.43/469.59 o 346910 488.63/469.74 o 346890 488.83/469.93 o 346880 489.13/470.23 o 346879 489.94/471.07 o 346870 490.13/471.29 o 346869 491.94/473.03 o 346010 492.04/473.16 o 345990 492.23/473.36 o 345980 492.44/473.52 o 345910 492.53/473.68 o 345890 492.84/473.90 o 345880 493.07/474.13 o 345879 494.36/475.40 o 345870 494.56/475.63 o 345869 501.28/482.30 o 345820 501.38/482.47 o 345800 501.68/482.71 o 345790 501.88/482.95 o 345789 502.28/483.31 o 345780 502.48/483.54 o 345779 505.21/486.25 o 345770 505.41/486.44 o 345769 507.21/488.27 o 345720 507.41/488.44 o 345700 521.26/501.68 o 345654 521.36/501.77 o 345644 521.57/501.90 o 345643 521.67/502.09 o 345554 521.87/502.20 o 345544 521.97/502.34 o 345543 522.17/502.58 o 345465 522.27/502.69 o 345464 522.37/502.80 o 345455 522.47/502.89 o 345454 522.67/503.02 o 345453 522.77/503.12 o 345444 522.87/503.21 o 345443 523.17/503.52 o 345442 524.37/504.73 o 345434 524.47/504.83 o 345433 525.04/505.12 o 345432 525.33/505.48 o 345424 525.43/505.58 o 345423 525.63/505.77 o 345422 527.05/507.17 o 345421 528.34/508.42 o 345365 528.44/508.51 o 345364 528.64/508.73 o 345363 528.84/508.94 o 345362 529.05/509.18 o 345355 529.14/509.25 o 345354 529.34/509.47 o 345353 529.54/509.70 o 345352 530.16/510.16 o 345351 530.70/510.53 o 345344 530.89/510.74 o 345343 531.09/510.97 o 345342 531.39/511.20 o 345341 531.71/511.50 o 345340 531.91/511.70 o 345320 532.01/511.83 o 345241 532.01/511.87 o 345221 540.78/520.31 o 345180 540.98/520.53 o 345170 541.18/520.77 o 345160 541.38/520.99 o 345159 541.91/521.21 o 345149 542.12/521.42 o 345139 542.32/521.63 o 345129 542.42/521.78 o 345119 544.42/523.76 o 344588 544.62/523.91 o 344578 544.73/524.05 o 344568 545.22/524.50 o 344480 545.32/524.64 o 344470 545.42/524.79 o 344460 545.73/525.07 o 344458 546.03/525.31 o 344380 546.13/525.49 o 344370 546.33/525.64 o 344360 546.63/525.90 o 344358 546.74/526.10 o 344350 547.03/526.35 o 344348 547.23/526.58 o 344278 547.77/526.82 o 344178 547.87/526.97 o 344168 548.08/527.12 o 344158 548.17/527.29 o 344148 548.67/527.70 o 344138 548.77/527.85 o 344128 555.44/534.22 o 344118 555.54/534.39 o 344108 555.84/534.64 o 344098 555.94/534.79 o 344088 564.02/542.78 o 344079 564.14/542.81 o 344078 564.24/543.00 o 344077 564.74/543.48 o 344076 565.24/543.99 o 342176 565.35/544.06 o 342076 566.04/544.70 o 340883 566.40/545.01 o 340873 567.99/546.63 o 340863 570.01/548.69 o 339863 571.11/549.76 o 338864 572.42/551.07 o 338863 572.71/551.30 o 337864 572.81/551.45 o 337863 590.09/568.68 o 337722 590.29/568.83 o 337712 590.39/568.94 o 337622 590.50/569.07 o 337612 591.19/569.71 o 337522 591.39/569.90 o 337512 591.50/570.01 o 337502 591.60/570.17 o 337412 591.69/570.26 o 337402 592.19/570.77 o 337401 592.39/570.97 o 337391 592.60/571.15 o 337301 592.69/571.24 o 337291 592.89/571.47 o 337281 592.99/571.56 o 337271 593.19/571.77 o 337212 593.29/571.85 o 337202 593.50/572.07 o 337201 593.60/572.14 o 337191 593.79/572.32 o 337101 593.89/572.43 o 337091 594.09/572.64 o 337081 594.19/572.73 o 337071 602.35/580.82 o 337070 602.45/581.00 o 336071 602.85/581.38 o 336070 602.95/581.44 o 336069 603.05/581.53 o 336068 624.26/602.66 o 335069 625.17/603.56 o 335000 625.39/603.75 o 334980 625.49/603.88 o 334969 627.50/605.83 o 334960 627.70/606.01 o 334959 629.12/607.42 o 334890 629.22/607.53 o 334889 629.42/607.72 o 334870 629.52/607.86 o 334869 631.53/609.79 o 334758 660.57/638.42 o 334757 660.77/638.64 o 334756 683.48/658.79 o 334174 683.68/658.98 o 334074 683.89/659.18 o 334073 684.08/659.39 o 334072 684.48/659.73 o 333974 684.68/659.96 o 333973 685.41/660.42 o 333972 685.88/660.83 o 333971 686.28/661.29 o 333874 686.78/661.73 o 333873 687.19/662.14 o 333872 687.58/662.57 o 333871 688.09/663.05 o 333870 688.98/663.91 o 333869 689.58/664.50 o 333868 690.09/665.07 o 333867 691.09/665.78 o 333866 691.89/666.52 o 333774 692.19/666.88 o 333773 692.69/667.35 o 333772 693.40/668.02 o 333771 693.89/668.55 o 333770 694.50/669.12 o 333769 695.09/669.77 o 333768 696.40/670.72 o 332768 698.50/672.88 o 332767 699.50/673.81 o 332569 699.71/674.06 o 332369 699.90/674.29 o 332358 700.20/674.51 o 332357 700.40/674.71 o 332356 708.74/682.59 o 331775 708.94/682.72 o 331765 709.14/682.96 o 331764 709.35/683.18 o 331754 709.64/683.43 o 331753 709.84/683.65 o 331744 710.04/683.80 o 331743 710.54/684.39 o 331575 710.74/684.51 o 331565 710.94/684.72 o 331555 711.14/684.94 o 331554 711.35/685.17 o 331544 711.54/685.37 o 331543 718.79/692.52 o 330796 718.99/692.73 o 330795 719.19/692.91 o 330786 719.40/693.11 o 330785 719.59/693.32 o 330784 719.79/693.50 o 330775 719.89/693.64 o 330774 720.09/693.89 o 330596 720.30/694.02 o 330595 720.49/694.20 o 330586 720.59/694.33 o 330585 720.79/694.55 o 330575 720.99/694.78 o 330574 721.19/695.00 o 330565 721.49/695.22 o 330564 721.69/695.49 o 329906 721.89/695.61 o 329896 723.19/696.98 o 329796 723.30/697.09 o 329786 723.59/697.35 o 329777 725.60/699.05 o 329767 725.79/699.29 o 329766 727.09/700.54 o 329667 727.19/700.62 o 329666 728.89/702.33 o 329577 729.49/702.96 o 329566 729.79/703.20 o 329556 732.56/705.72 o 329546 735.36/708.54 o 329536 735.56/708.70 o 328636 737.22/710.19 o 328537 737.41/710.39 o 328536 737.91/710.83 o 327556 738.22/711.14 o 327554 738.41/711.36 o 327546 738.61/711.57 o 327544 739.51/712.49 o 327455 739.71/712.68 o 327445 739.91/712.89 o 327435 740.81/713.75 o 327434 743.24/715.95 o 326426 743.24/715.98 o 326425 743.35/716.02 o 326424 745.99/718.67 o 326334 746.09/718.79 o 326324 746.59/719.24 o 325630 746.69/719.38 o 325629 746.89/719.50 o 325628 746.99/719.64 o 325627 747.19/719.85 o 325626 747.59/720.29 o 325625 748.19/720.82 o 325624 748.59/721.26 o 325623 749.33/721.77 o 325622 749.64/722.08 o 325621 750.43/722.87 o 325620 752.65/725.04 o 325551 752.75/725.11 o 325550 752.75/725.17 o 325549 752.94/725.36 o 325548 753.14/725.55 o 325547 753.44/725.87 o 325546 753.65/726.06 o 325545 754.04/726.43 o 325544 754.44/726.83 o 325543 756.59/727.60 o 325542 756.79/727.88 o 325541 757.29/728.37 o 325540 757.79/728.82 o 325539 758.02/729.02 o 325538 758.21/729.26 o 325537 758.61/729.62 o 325536 758.91/729.94 o 325535 759.31/730.35 o 325534 759.71/730.71 o 325533 760.02/731.05 o 325532 760.51/731.58 o 325531 760.91/731.94 o 325530 763.83/734.82 o 325450 763.83/734.86 o 325449 763.93/734.90 o 325448 764.04/735.02 o 325447 764.14/735.13 o 325446 764.33/735.37 o 325445 764.43/735.48 o 325444 764.83/735.81 o 325443 764.93/735.92 o 325442 765.43/736.42 o 325441 765.93/736.92 o 325437 766.23/737.23 o 325436 766.53/737.57 o 325435 766.93/737.91 o 325434 767.23/738.28 o 325433 767.63/738.66 o 325432 768.06/739.03 o 325431 768.65/739.68 o 325430 771.45/742.42 o 325429 772.06/743.02 o 325428 772.35/743.33 o 325427 772.95/744.00 o 325426 773.98/744.77 o 325425 774.49/745.25 o 325424 775.49/746.25 o 325423 776.19/746.98 o 325422 776.89/747.69 o 325421 777.89/748.64 o 324828 777.99/748.76 o 324819 778.09/748.86 o 324818 778.30/749.05 o 324809 778.40/749.15 o 324808 778.79/749.54 o 324807 779.19/749.99 o 324798 779.66/750.26 o 324788 780.12/750.66 o 324779 780.22/750.73 o 324778 780.63/751.15 o 324777 781.22/751.74 o 324776 781.82/752.30 o 324775 782.42/752.91 o 324774 782.92/753.49 o 324768 783.32/753.86 o 324767 783.92/754.41 o 324766 784.42/755.00 o 324765 785.02/755.58 o 324764 785.64/756.18 o 324763 786.23/756.78 o 324762 786.93/757.50 o 324761 787.64/758.16 o 324630 788.13/758.68 o 324629 788.73/759.22 o 324628 789.23/759.75 o 324627 789.83/760.35 o 324620 790.43/760.90 o 324619 791.67/762.17 o 323719 791.86/762.37 o 323619 814.57/784.80 o 322719 814.88/785.11 o 322709 815.27/785.51 o 322619 815.47/785.72 o 322609 815.97/786.27 o 322599 816.27/786.56 o 321719 816.37/786.68 o 321619 816.67/786.90 o 321609 819.99/790.28 o 321519 820.19/790.47 o 321419 820.39/790.67 o 321409 821.30/791.54 o 321408 824.42/794.69 o 321311 825.02/795.20 o 321309 825.62/795.82 o 321301 826.02/796.20 o 321299 827.42/797.67 o 321298 848.97/818.97 o 320308 849.18/819.15 o 320298 851.27/821.27 o 319397 851.47/821.45 o 319387 851.67/821.64 o 319298 851.89/821.82 o 319288 856.63/826.34 o 319287 856.93/826.66 o 319286 857.23/827.00 o 319285 857.63/827.36 o 319277 857.93/827.70 o 319276 858.34/828.02 o 319275 858.63/828.36 o 319274 859.29/828.81 o 319273 859.60/829.18 o 319267 859.89/829.46 o 319266 860.29/829.82 o 319265 860.59/830.16 o 319264 860.99/830.51 o 319263 861.29/830.87 o 319262 861.89/831.47 o 319257 862.29/831.83 o 319256 862.60/832.17 o 319255 863.06/832.59 o 319254 863.54/832.95 o 319253 863.94/833.39 o 319252 864.55/833.95 o 319251 865.15/834.56 o 319247 865.55/834.94 o 319246 865.85/835.29 o 319245 866.45/835.86 o 319244 867.05/836.43 o 319243 867.55/836.98 o 319242 868.24/837.57 o 319241 868.94/838.24 o 319237 869.24/838.58 o 319236 869.75/839.10 o 319235 870.34/839.64 o 319234 870.85/840.18 o 319233 871.44/840.74 o 319232 871.94/841.28 o 319231 883.50/852.45 o 319221 884.70/853.70 o 319141 884.90/853.89 o 319131 885.11/854.10 o 319121 887.11/856.01 o 319120 887.30/856.28 o 319030 887.50/856.47 o 319020 888.50/857.41 o 318341 888.70/857.62 o 318331 889.09/857.91 o 318241 889.20/858.06 o 318231 889.49/858.34 o 318141 889.69/858.58 o 318131 891.39/860.26 o 317450 891.59/860.49 o 317440 891.89/860.77 o 317350 892.09/861.00 o 317340 892.39/861.25 o 317330 892.69/861.53 o 317250 892.89/861.73 o 317240 893.09/861.95 o 317230 893.39/862.23 o 317229 893.69/862.50 o 317139 893.89/862.71 o 317129 901.92/870.47 o 317117 902.83/871.33 o 317115 903.43/871.99 o 317107 903.64/872.17 o 317105 904.13/872.63 o 317103 904.54/873.07 o 317097 904.73/873.23 o 317095 905.03/873.56 o 317087 905.23/873.72 o 317085 905.54/874.04 o 317084 905.73/874.26 o 317083 908.10/876.31 o 317082 909.00/877.21 o 317081 910.60/878.82 o 316347 910.81/879.09 o 316345 911.10/879.39 o 316327 911.40/879.63 o 316325 911.70/879.95 o 316316 911.81/880.04 o 316314 912.10/880.34 o 316296 912.40/880.64 o 316294 912.70/880.92 o 316293 913.32/881.32 o 316292 913.62/881.62 o 316239 913.82/881.88 o 316237 914.22/882.21 o 316228 914.42/882.47 o 316226 914.82/882.80 o 316206 915.13/883.11 o 316188 915.32/883.39 o 316186 915.72/883.73 o 316184 916.03/884.02 o 316183 916.32/884.31 o 316182 916.62/884.66 o 316148 916.72/884.77 o 316128 917.03/885.04 o 316126 917.32/885.36 o 316117 919.40/887.14 o 316044 919.99/887.76 o 316043 920.49/888.22 o 316042 920.89/888.67 o 316041 921.30/889.07 o 316040 921.79/889.54 o 316034 921.99/889.77 o 316033 922.30/890.03 o 316032 922.69/890.50 o 316031 922.99/890.76 o 316030 923.79/891.52 o 316029 925.15/892.69 o 316028 928.56/896.09 o 316023 929.16/896.66 o 316022 929.76/897.25 o 316021 930.36/897.89 o 316020 931.34/898.57 o 316019 932.04/899.21 o 316018 932.95/900.19 o 316017 933.95/901.18 o 316015 934.24/901.46 o 316014 934.64/901.85 o 316013 935.34/902.52 o 316012 936.04/903.21 o 316011 936.77/903.96 o 316010 937.47/904.64 o 316009 938.27/905.46 o 316008 939.17/906.32 o 315956 939.27/906.42 o 315955 939.77/906.90 o 315954 940.17/907.38 o 315953 964.78/931.80 o 314963 964.88/931.90 o 313973 964.88/931.99 o 313963 964.99/932.08 o 313953 965.18/932.27 o 313952 965.59/932.63 o 313852 965.83/932.89 o 313851 966.21/933.10 o 312852 966.50/933.31 o 312851 973.88/939.54 o 312751 973.98/939.68 o 312750 978.80/944.48 o 312651 979.00/944.64 o 312650 989.22/954.83 o 310751 989.32/954.94 o 310651 989.82/955.40 o 310650 994.35/959.98 o 308651 997.48/963.05 o 308650 1008.32/973.80 o 308064 1008.72/974.21 o 307964 1009.11/974.65 o 307954 1011.34/976.85 o 307944 1011.65/977.19 o 307934 1012.04/977.59 o 307844 1012.45/977.98 o 307834 1015.07/980.57 o 307174 1015.47/980.94 o 307164 1015.87/981.32 o 307154 1016.37/981.88 o 307074 1016.77/982.24 o 307064 1017.17/982.61 o 307054 1017.97/983.43 o 307044 1018.27/983.77 o 307034 1018.68/984.18 o 306954 1019.09/984.53 o 306944 1019.39/984.88 o 306934 1040.61/1005.99 o 306925 1040.91/1006.21 o 306915 1042.22/1007.51 o 306912 1042.32/1007.67 o 306902 1043.23/1008.57 o 306901 1044.14/1009.43 o 306899 1044.54/1009.88 o 306822 1044.74/1010.06 o 306812 1045.14/1010.46 o 306809 1045.34/1010.63 o 306799 1048.56/1013.87 o 306040 1048.77/1014.07 o 306039 1048.96/1014.27 o 306038 1049.61/1014.61 o 306020 1049.81/1014.80 o 306019 1049.91/1015.00 o 306018 1050.21/1015.26 o 306017 1050.61/1015.61 o 306011 1050.81/1015.80 o 306010 1051.02/1016.05 o 306009 1051.31/1016.31 o 306008 1051.61/1016.63 o 306007 1052.02/1017.08 o 305917 1052.32/1017.34 o 305910 1052.42/1017.46 o 305909 1052.62/1017.66 o 305908 1053.23/1018.12 o 305907 1053.62/1018.53 o 305906 1054.02/1019.00 o 305817 1054.52/1019.41 o 305816 1054.92/1019.89 o 305810 1055.13/1020.09 o 305809 1055.52/1020.47 o 305808 1055.92/1020.85 o 305807 1056.42/1021.32 o 305806 1057.13/1021.91 o 305805 1057.53/1022.40 o 305804 1058.24/1023.04 o 305799 1058.53/1023.35 o 305798 1058.93/1023.76 o 305797 1059.43/1024.25 o 305796 1059.93/1024.76 o 305795 1060.53/1025.31 o 305794 1060.94/1025.79 o 305793 1061.74/1026.45 o 305792 1062.54/1027.20 o 305791 1063.14/1027.82 o 305790 1064.54/1029.25 o 305789 1065.84/1030.56 o 305709 1066.74/1031.37 o 305708 1067.64/1032.27 o 305698 1068.34/1032.99 o 305697 1068.84/1033.41 o 305618 1068.94/1033.56 o 305597 1069.25/1033.86 o 305587 1098.87/1063.09 o 304908 1099.06/1063.24 o 304907 1099.16/1063.37 o 304808 1099.36/1063.51 o 304807 1099.46/1063.69 o 304708 1099.66/1063.81 o 304707 1099.87/1064.01 o 304706 1101.06/1065.28 o 304698 1101.26/1065.43 o 304697 1101.46/1065.61 o 304696 1102.36/1066.51 o 304608 1102.46/1066.68 o 304607 1102.66/1066.83 o 304606 1102.87/1067.02 o 304598 1102.97/1067.19 o 304597 1103.16/1067.35 o 304596 1103.36/1067.59 o 303808 1103.56/1067.75 o 303807 1103.66/1067.89 o 303806 1103.87/1068.06 o 303708 1104.08/1068.22 o 303707 1104.18/1068.33 o 303706 1104.38/1068.50 o 303698 1104.48/1068.62 o 303697 1104.59/1068.75 o 303696 1104.79/1068.94 o 303608 1104.89/1069.06 o 303607 1105.09/1069.21 o 303606 1105.19/1069.39 o 303598 1105.39/1069.52 o 303597 1105.49/1069.64 o 303596 1105.89/1070.08 o 303594 1106.09/1070.20 o 303593 1106.19/1070.34 o 303592 1106.39/1070.54 o 303504 1106.49/1070.66 o 303503 1106.68/1070.87 o 303494 1106.89/1071.07 o 303493 1107.08/1071.26 o 303492 1107.38/1071.51 o 303404 1107.48/1071.67 o 303394 1107.68/1071.86 o 303393 1107.89/1072.04 o 303392 1109.02/1073.17 o 303304 1109.21/1073.32 o 303303 1109.41/1073.50 o 303294 1109.51/1073.63 o 303293 1109.72/1073.80 o 303292 1109.92/1074.06 o 303284 1110.12/1074.21 o 303283 1110.32/1074.41 o 303282 1110.52/1074.68 o 303274 1110.72/1074.85 o 303273 1110.93/1075.03 o 303272 1113.03/1077.19 o 303182 1113.95/1078.02 o 303172 1114.44/1078.53 o 303082 1129.36/1093.01 o 303005 1129.55/1093.24 o 302995 1130.16/1093.61 o 302994 1130.46/1093.96 o 302993 1130.96/1094.46 o 302992 1131.86/1095.32 o 302991 1134.77/1098.24 o 302990 1138.27/1101.55 o 302989 1164.93/1127.47 o 302981 1165.17/1127.68 o 302081 1165.37/1127.87 o 301981 1165.58/1128.09 o 301980 1165.90/1128.31 o 301979 1166.10/1128.59 o 301970 1167.60/1130.06 o 301969 1172.43/1134.81 o 301959 1174.23/1136.70 o 300969 1174.53/1136.99 o 300959 1177.13/1139.50 o 300958 1181.05/1143.43 o 300389 1181.55/1143.96 o 300380 1182.15/1144.53 o 300379 1182.79/1145.13 o 300370 1183.28/1145.62 o 300369 1184.08/1146.41 o 300209 1184.48/1146.90 o 300208 1184.98/1147.39 o 300200 1185.48/1147.87 o 300199 1185.98/1148.32 o 300189 1186.38/1148.77 o 300188 1186.88/1149.25 o 300180 1187.28/1149.69 o 300179 1187.90/1150.23 o 300170 1188.40/1150.71 o 300169 1192.10/1154.42 o 300089 1192.50/1154.85 o 300088 1193.00/1155.34 o 300080 1193.43/1155.80 o 300079 1194.03/1156.35 o 300078 1194.43/1156.79 o 300070 1194.93/1157.27 o 300069 1197.03/1159.39 o 300068 1197.43/1159.73 o 300060 1197.74/1160.06 o 300059 1198.26/1160.51 o 300058 1198.77/1161.09 o 300049 1198.96/1161.22 o 300048 1199.96/1162.22 o 300047 1207.52/1169.39 o 300046 1209.12/1170.94 o 300045 1211.72/1173.51 o 299344 1211.82/1173.64 o 299244 1211.92/1173.76 o 299234 1212.12/1173.93 o 299144 1212.23/1174.07 o 299134 1212.42/1174.22 o 299055 1212.52/1174.33 o 299045 1213.93/1175.53 o 299044 1213.93/1175.59 o 299034 1214.03/1175.68 o 298244 1214.13/1175.78 o 298144 1214.23/1175.89 o 298044 1214.33/1175.99 o 298034 1215.13/1176.71 o 297944 1215.13/1176.79 o 297934 1215.83/1177.44 o 296934 1216.03/1177.63 o 295934 1243.03/1203.06 o 295554 1243.53/1203.55 o 295454 1245.74/1205.70 o 295444 1246.15/1206.17 o 295364 1246.44/1206.44 o 295354 1247.05/1207.04 o 295344 1247.84/1207.80 o 295243 1271.85/1231.76 o 294771 1272.55/1232.43 o 294770 1273.05/1232.92 o 294769 1275.08/1234.74 o 294670 1275.68/1235.33 o 294669 1276.28/1235.90 o 294668 1277.99/1237.64 o 294667 1279.78/1239.23 o 293667 1283.19/1242.67 o 293666 1283.38/1242.88 o 293665 1283.69/1243.14 o 293664 1286.30/1245.47 o 293658 1286.50/1245.67 o 293657 1286.70/1245.87 o 293656 1288.01/1247.19 o 293567 1288.20/1247.33 o 293556 1300.05/1258.62 o 293552 1300.15/1258.76 o 293551 1300.35/1258.91 o 293550 1300.55/1259.15 o 293549 1300.94/1259.52 o 293548 1301.94/1260.57 o 293547 1303.17/1261.55 o 293546 1304.17/1262.51 o 293545 1304.57/1262.90 o 293544 1305.37/1263.76 o 293543 1306.17/1264.51 o 293542 1307.38/1265.71 o 293541 1309.41/1267.77 o 293540 1311.91/1270.28 o 293482 1312.11/1270.44 o 293472 1312.31/1270.63 o 293471 1312.51/1270.83 o 293470 1312.82/1271.18 o 293462 1313.01/1271.36 o 293461 1313.21/1271.57 o 293460 1314.01/1272.35 o 293459 1314.93/1273.29 o 293458 1315.84/1274.19 o 293457 1316.93/1275.22 o 291667 1317.13/1275.49 o 291657 1317.33/1275.65 o 291567 1317.63/1275.92 o 291557 1317.84/1276.18 o 291467 1318.13/1276.44 o 291457 1331.18/1289.44 o 291448 1335.10/1293.32 o 291438 1341.63/1299.85 o 291436 1341.84/1300.04 o 291435 1342.03/1300.22 o 290527 1342.13/1300.39 o 290525 1350.89/1309.07 o 290524 1355.30/1313.42 o 290404 1365.68/1323.75 o 290395 1366.18/1324.28 o 290385 1369.20/1327.27 o 290384 1369.70/1327.74 o 290375 1370.01/1328.06 o 290374 1370.61/1328.62 o 290365 1371.11/1329.14 o 290364 1373.14/1331.19 o 290363 1373.73/1331.72 o 290362 1377.95/1335.96 o 290323 1378.47/1336.45 o 290313 1378.87/1336.85 o 290303 1379.27/1337.23 o 290293 1379.67/1337.65 o 290283 1380.08/1338.06 o 290273 1380.47/1338.48 o 290272 1381.08/1339.01 o 290223 1381.37/1339.38 o 290213 1381.89/1339.83 o 290203 1382.20/1340.17 o 290193 1382.70/1340.68 o 290192 1383.21/1341.19 o 290190 1383.40/1341.36 o 290189 1391.18/1349.10 o 289389 1391.37/1349.25 o 289289 1391.67/1349.55 o 289189 1393.80/1351.69 o 288291 1393.90/1351.79 o 288290 1394.10/1351.98 o 287291 1394.21/1352.07 o 287290 1394.40/1352.25 o 287191 1394.60/1352.42 o 287190 1394.80/1352.63 o 287189 1397.13/1354.94 o 287188 1397.53/1355.30 o 287187 1399.38/1357.17 o 287177 1400.07/1357.85 o 287097 1400.28/1358.03 o 287077 1401.46/1359.03 o 287076 1453.29/1409.95 o 287075 1453.70/1410.36 o 287074 1458.99/1415.54 o 287065 1459.19/1415.74 o 287055 1459.39/1415.94 o 287054 1460.11/1416.51 o 286185 1460.51/1416.97 o 286174 1461.81/1418.25 o 286074 1462.11/1418.53 o 286073 1462.41/1418.89 o 286072 1462.72/1419.11 o 285872 1463.41/1419.84 o 285871 1464.02/1420.45 o 285861 1464.42/1420.84 o 285851 1465.03/1421.46 o 285771 1465.56/1421.97 o 285751 1473.49/1429.83 o 284851 1473.59/1429.98 o 284850 1473.80/1430.18 o 284751 1473.99/1430.31 o 284750 1474.39/1430.78 o 284742 1474.49/1430.89 o 284741 1497.33/1452.09 o 284737 1497.82/1452.57 o 284736 1498.72/1453.40 o 284735 1499.72/1454.46 o 284734 1500.95/1455.62 o 284733 1502.05/1456.79 o 284732 1529.66/1484.16 o 284731 1539.22/1493.65 o 283622 1544.47/1498.84 o 283621 1546.47/1500.89 o 283611 1546.78/1501.13 o 283610 1551.13/1505.45 o 283602 1551.33/1505.67 o 283601 1552.74/1507.01 o 283502 1553.13/1507.44 o 283501 1555.07/1509.36 o 283500 1560.93/1515.13 o 283299 1561.22/1515.48 o 283298 1589.79/1543.66 o 283188 1589.99/1543.85 o 283186 1590.30/1544.18 o 283078 1591.02/1544.82 o 283058 1591.42/1545.21 o 283056 1591.84/1545.65 o 282968 1592.14/1546.00 o 282966 1592.54/1546.34 o 282948 1592.84/1546.63 o 282946 1595.18/1548.99 o 282858 1595.48/1549.22 o 282856 1595.80/1549.54 o 282838 1596.10/1549.80 o 282836 1597.43/1551.19 o 282835 1598.25/1551.99 o 282817 1598.55/1552.22 o 282815 1610.37/1563.89 o 282748 1624.33/1577.57 o 282747 1626.98/1580.18 o 281747 1627.27/1580.49 o 280747 1642.34/1595.20 o 280069 1642.74/1595.69 o 279069 1643.15/1596.07 o 278069 1647.73/1600.54 o 277070 1647.96/1600.79 o 277069 1659.25/1611.87 o 276712 1661.17/1613.72 o 276512 1661.90/1614.43 o 276492 1662.53/1615.05 o 276482 1663.43/1615.91 o 276412 1663.95/1616.41 o 276392 1664.45/1616.97 o 276382 1665.18/1617.64 o 276292 1665.58/1618.06 o 276282 1666.08/1618.57 o 276272 1666.48/1618.93 o 276262 1667.71/1620.15 o 276261 1669.45/1621.87 o 276260 1671.07/1623.41 o 276259 1671.68/1624.01 o 276250 1671.90/1624.22 o 276249 1674.43/1626.79 o 276248 1675.16/1627.47 o 276148 1678.62/1630.86 o 276147 1678.83/1631.08 o 276047 1680.66/1632.85 o 275987 1681.58/1633.75 o 275007 1681.89/1634.08 o 274997 1682.08/1634.27 o 274987 1687.16/1639.23 o 274986 1694.92/1646.82 o 273107 1695.52/1647.49 o 273097 1695.95/1647.83 o 273007 1696.54/1648.40 o 272997 1697.68/1649.57 o 272996 1703.31/1655.02 o 272555 1703.50/1655.25 o 272545 1703.90/1655.66 o 272455 1704.10/1655.87 o 272445 1704.52/1656.29 o 272355 1704.92/1656.62 o 272345 1705.33/1657.03 o 272335 1705.52/1657.22 o 272325 1705.92/1657.67 o 272255 1706.46/1658.12 o 272235 1706.75/1658.49 o 272225 1719.60/1671.10 o 272135 1720.01/1671.48 o 272125 1720.62/1672.04 o 272115 1721.34/1672.77 o 272035 1721.76/1673.11 o 272025 1723.57/1674.95 o 272016 1724.20/1675.53 o 271936 1724.60/1675.93 o 271926 1740.47/1691.53 o 271857 1740.67/1691.80 o 271856 1741.29/1692.33 o 271847 1741.79/1692.83 o 271846 1743.13/1694.18 o 271845 1747.37/1698.30 o 271836 1747.79/1698.74 o 271826 1748.20/1699.19 o 271825 1750.86/1701.74 o 271725 1751.17/1702.08 o 271036 1751.36/1702.23 o 270936 1751.46/1702.37 o 270836 1766.76/1717.35 o 270747 1767.51/1718.08 o 269878 1767.83/1718.36 o 269877 1768.23/1718.72 o 269778 1768.43/1718.99 o 269777 1768.83/1719.37 o 269768 1769.07/1719.56 o 269767 1769.58/1720.03 o 269758 1769.97/1720.48 o 269748 1770.49/1720.96 o 269747 1783.51/1733.75 o 269730 1784.51/1734.79 o 269729 1785.24/1735.48 o 269728 1785.74/1735.91 o 269727 1786.98/1737.16 o 269708 1790.03/1740.13 o 268909 1790.54/1740.65 o 268809 1791.14/1741.26 o 268808 1791.67/1741.74 o 268708 1792.47/1742.58 o 268707 1793.19/1743.22 o 268706 1793.59/1743.61 o 268705 1795.04/1745.01 o 268608 1795.33/1745.39 o 268607 1796.17/1746.16 o 268606 1796.76/1746.71 o 268605 1797.58/1747.58 o 268029 1797.98/1748.00 o 267929 1798.61/1748.54 o 267928 1799.11/1749.06 o 267828 1799.73/1749.60 o 267827 1800.24/1750.11 o 267728 1800.73/1750.63 o 267727 1801.26/1751.13 o 267708 1801.65/1751.54 o 267707 1802.16/1752.06 o 267608 1802.58/1752.45 o 267607 1810.62/1760.38 o 266817 1811.23/1760.90 o 265817 1811.76/1761.42 o 265717 1812.85/1762.58 o 265617 1814.08/1763.71 o 264518 1814.49/1764.17 o 264517 1814.99/1764.69 o 264418 1815.31/1764.95 o 264417 1818.07/1767.69 o 264416 1822.13/1771.61 o 264316 1822.43/1771.90 o 263397 1827.43/1776.80 o 263377 1828.16/1777.55 o 263367 1831.30/1780.67 o 263287 1832.00/1781.30 o 263267 1832.93/1782.21 o 263257 1834.77/1784.04 o 262257 1836.83/1786.04 o 262256 1841.48/1790.61 o 262255 1857.19/1806.10 o 261256 1857.61/1806.49 o 261255 1865.65/1814.39 o 261253 1889.09/1837.34 o 261244 1889.40/1837.69 o 261234 1889.91/1838.18 o 261233 1890.43/1838.68 o 261154 1890.94/1839.12 o 261144 1891.87/1840.11 o 261134 1892.76/1840.98 o 261133 1955.00/1902.01 o 260533 1955.69/1902.73 o 260333 1956.23/1903.27 o 260332 1956.73/1903.79 o 260233 1957.33/1904.30 o 260232 1977.53/1924.11 o 260042 1978.22/1924.84 o 260032 1978.95/1925.50 o 259032 1979.65/1926.27 o 258032 1989.69/1936.10 o 258022 2002.20/1948.34 o 258021 2003.13/1949.20 o 258020 2003.53/1949.68 o 258011 2004.04/1950.17 o 258001 2047.76/1993.02 o 257991 2053.14/1998.31 o 257981 2053.88/1999.06 o 257971 2057.63/2002.71 o 257961 2110.10/2053.47 o 257953 2110.71/2054.05 o 257952 2111.52/2054.80 o 257943 2112.03/2055.32 o 257942 2113.56/2056.80 o 257933 2114.18/2057.42 o 257932 2117.45/2060.68 o 257931 2117.65/2060.89 o 257930 2173.14/2114.89 o 257929 2179.69/2121.37 o 256929 2184.02/2125.61 o 256920 2209.82/2151.14 o 256901 2210.15/2151.40 o 256900 2210.45/2151.72 o 256820 2225.10/2166.11 o 256803 2228.46/2169.47 o 256801 2257.82/2198.30 o 256791 2259.66/2200.08 o 256790 2270.79/2210.99 o 256789 2272.11/2212.21 o 256780 2272.21/2212.34 o 256779 2324.58/2263.65 o 256769 2391.96/2329.68 o 256760 2392.16/2329.89 o 256750 2392.37/2330.10 o 256749 2393.09/2330.77 o 256740 2393.50/2331.19 o 256739 2411.00/2347.04 o 256650 2411.19/2347.25 o 256649 2411.82/2347.82 o 256550 2413.73/2349.76 o 256430 2415.17/2351.13 o 256429 2420.24/2356.13 o 256428 2421.03/2356.99 o 256427 2421.83/2357.73 o 255551 2422.33/2358.24 o 255550 2422.83/2358.74 o 255450 2423.47/2359.30 o 255449 2423.87/2359.78 o 255440 2424.47/2360.32 o 255439 2424.98/2360.85 o 254541 2425.58/2361.40 o 254540 2426.08/2361.91 o 254440 2426.58/2362.44 o 254439 2427.23/2363.08 o 254430 2427.72/2363.59 o 254429 2428.52/2364.31 o 254428 2442.00/2377.60 o 253730 2442.41/2378.04 o 253630 2442.90/2378.50 o 253530 2444.54/2380.18 o 253520 2445.33/2380.94 o 253519 2452.82/2388.31 o 253440 2453.22/2388.79 o 253439 2453.76/2389.22 o 253430 2454.06/2389.55 o 253429 2455.06/2390.52 o 253410 2455.36/2390.85 o 253409 2504.16/2438.64 o 252409 2504.96/2439.46 o 251409 2506.40/2440.88 o 250509 2517.84/2452.08 o 250508 2518.23/2452.41 o 250507 2520.09/2454.20 s SATISFIABLE 2520.09/2454.21 v <instantiation> 2520.09/2454.21 v <list> 2520.09/2454.21 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] 2520.09/2454.21 v </list> 2520.09/2454.21 v <values> 2520.09/2454.21 v 442 680 554 792 694 456 414 652 484 722 268 30 778 540 680 442 310 72 554 792 156 394 16 254 16 254 470 708 72 310 100 338 484 722 414 652 540 778 58 296 442 680 792 554 554 792 366 128 282 44 722 484 44 282 338 100 16 254 722 484 338 100 16 254 44 282 380 142 324 86 750 512 58 296 428 666 156 394 142 380 156 394 380 142 44 282 380 142 470 708 366 128 156 394 498 736 142 380 526 764 296 58 44 282 554 792 414 652 254 16 778 540 750 512 792 554 456 694 44 282 30 268 16 254 282 44 652 414 254 16 428 666 296 58 512 750 442 680 156 394 442 680 442 680 58 296 114 352 394 156 296 58 750 512 44 282 792 554 170 408 254 16 428 666 324 86 268 30 268 30 324 86 792 554 352 114 128 366 128 366 554 792 156 394 296 58 442 680 526 764 338 100 142 380 792 554 792 554 352 114 792 554 142 380 338 100 268 30 72 310 142 380 526 764 666 428 778 540 380 142 722 484 142 380 142 380 750 512 456 694 268 30 268 30 540 778 86 324 540 778 428 666 142 380 540 778 778 540 324 86 456 694 778 540 708 470 128 366 30 268 792 554 282 44 30 268 778 540 380 142 100 338 778 540 442 680 778 540 44 282 694 456 30 268 86 324 540 778 282 44 428 666 540 778 792 554 778 540 268 30 142 380 142 380 142 380 540 778 428 666 366 128 442 680 540 778 512 750 268 30 708 470 352 114 142 380 666 428 30 268 764 526 338 100 100 338 428 666 540 778 44 282 540 778 540 778 142 380 470 708 254 16 338 100 750 512 764 526 72 310 142 380 778 540 792 554 470 708 512 750 540 778 380 142 310 72 456 694 282 44 540 778 456 694 540 778 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 30 268 778 540 282 44 750 512 526 764 736 498 736 498 428 666 722 484 44 282 72 310 498 736 142 380 30 268 680 442 352 114 778 540 708 470 142 380 86 324 778 540 778 540 142 380 736 498 498 736 456 694 142 380 156 394 268 30 352 114 414 652 254 16 16 254 156 394 750 512 128 366 778 540 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 526 764 442 680 414 652 114 352 526 764 554 792 484 722 254 16 142 380 142 380 708 470 268 30 526 764 268 30 484 722 296 58 380 142 352 114 268 30 268 30 526 764 694 456 456 694 456 694 366 128 58 296 778 540 792 554 128 366 30 268 652 414 394 156 540 778 778 540 142 380 142 380 268 30 366 128 352 114 708 470 380 142 442 680 142 380 282 44 764 526 324 86 792 554 366 128 268 30 484 722 338 100 296 58 680 442 366 128 764 526 554 792 792 554 666 428 352 114 380 142 310 72 694 456 58 296 736 498 114 352 156 394 526 764 254 16 142 380 778 540 100 338 792 554 30 268 324 86 540 778 540 778 142 380 778 540 736 498 540 778 540 778 666 428 30 268 86 324 30 268 456 694 296 58 254 16 792 554 778 540 72 310 100 338 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 0 0 0 0 100 100 100 100 0 0 100 100 100 100 100 100 0 0 0 0 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 0 0 0 0 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 0 0 100 100 100 100 0 0 100 100 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 0 10 10 0 0 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 1000 1000 1000 1000 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 0 1000 1000 1000 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 0 100 0 0 0 100 100 0 100 0 0 0 100 0 0 0 0 0 0 100 100 100 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 100 0 0 0 0 100 0 0 100 0 0 100 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 100 100 0 0 100 100 0 100 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 100 100 0 0 0 0 100 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 100 100 100 100 100 0 0 0 0 100 0 0 100 100 100 0 100 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 100 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 100 100 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 0 100 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 100 100 100 100 100 0 100 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 10 10 10 10 0 0 10 10 10 0 0 0 0 0 0 10 0 0 10 10 0 10 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 10 0 10 10 0 0 0 10 10 10 10 0 0 10 10 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 10 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 10 10 10 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 10 0 10 10 10 0 10 0 10 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 10 0 10 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 0 0 10 0 10 0 0 0 0 0 10 10 0 10 0 10 0 10 10 10 0 0 0 0 10 0 10 10 0 0 10 10 0 0 10 10 0 0 0 0 0 0 10 10 10 10 0 10 10 10 10 0 10 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 10 10 10 0 0 10 0 10 10 0 0 0 10 0 10 0 0 0 10 10 0 0 0 0 0 10 10 0 0 0 10 0 0 10 0 10 10 10 10 10 10 10 10 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 10 0 10 0 10 10 10 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 10 10 0 0 10 10 10 0 10 0 0 0 0 0 10 0 10 0 0 0 0 10 10 0 10 0 0 0 0 10 10 0 0 10 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 0 0 10 0 0 0 10 10 10 10 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 10 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 2520.09/2454.21 v </values> 2520.09/2454.21 v </instantiation>
OK 250507
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 (9145 MiB free) memory of node 1: 16384 MiB (12760 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308650-1534284062/watcher-4308650-1534284062 -o /tmp/evaluation-result-4308650-1534284062/solver-4308650-1534284062 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534270601-15612 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 111865904 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308650-1534284062.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=17036, runsolver pid=17033 [startup+0.100065 s]* /proc/loadavg: 1.31 1.39 1.52 3/216 17051 /proc/meminfo: memFree=22414136/32770624 swapFree=67108688/67108860 [pid=17036] ppid=17033 vsize=14082736 memory=31244 CPUtime=0.1 cores=1,3,5,7 /proc/17036/stat : 17036 (java) S 17033 17036 13692 0 -1 1077944320 6761 0 0 0 9 1 0 0 20 0 15 0 245969126 14420721664 7811 33554432000 4194304 4196468 140724258592560 140724258575104 140529655856887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 /proc/17036/statm: 3520684 7811 3140 1 0 3482761 0 [pid=17036/tid=17038] ppid=17033 vsize=14082736 memory=-6966717417093883519 CPUtime=0.08 cores=1,3,5,7 /proc/17036/task/17038/stat : 17038 (java) R 17033 17036 13692 0 -1 4202560 4825 0 0 0 7 1 0 0 20 0 15 0 245969126 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529660061288 140529639937374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17039] ppid=17033 vsize=14082736 memory=5793855442698975673 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17039/stat : 17039 (java) S 17033 17036 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245969128 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529251302032 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17040] ppid=17033 vsize=14082736 memory=140191689082496 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17040/stat : 17040 (java) S 17033 17036 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245969128 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529250249232 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17041] ppid=17033 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17041/stat : 17041 (java) S 17033 17036 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245969128 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529249196432 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17042] ppid=17033 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17042/stat : 17042 (java) S 17033 17036 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245969128 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529248143632 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17043] ppid=17033 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17043/stat : 17043 (java) S 17033 17036 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245969129 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529198123888 140529655868034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17044] ppid=17033 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17044/stat : 17044 (java) S 17033 17036 13692 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 245969130 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529197069856 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17045] ppid=17033 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17045/stat : 17045 (java) S 17033 17036 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245969130 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529196017008 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17046] ppid=17033 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17046/stat : 17046 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529194965328 140529655875483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17047] ppid=17033 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17047/stat : 17047 (java) S 17033 17036 13692 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 245969132 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529193912688 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17048] ppid=17033 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17048/stat : 17048 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529192859888 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17049] ppid=17033 vsize=14082736 memory=140191689082496 CPUtime=0.01 cores=1,3,5,7 /proc/17036/task/17049/stat : 17049 (java) S 17033 17036 13692 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 245969132 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529191807088 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17050] ppid=17033 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17050/stat : 17050 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529190754528 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17051] ppid=17033 vsize=14082736 memory=140191689082496 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17051/stat : 17051 (java) S 17033 17036 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245969133 14420721664 7811 33554432000 4194304 4196468 140724258592560 140529189702832 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 31244 KiB [startup+0.211582 s]* /proc/loadavg: 1.31 1.39 1.52 4/216 17051 /proc/meminfo: memFree=22398260/32770624 swapFree=67108688/67108860 [pid=17036] ppid=17033 vsize=14082736 memory=47284 CPUtime=0.29 cores=1,3,5,7 /proc/17036/stat : 17036 (java) S 17033 17036 13692 0 -1 1077944320 10390 0 0 0 26 3 0 0 20 0 15 0 245969126 14420721664 11821 33554432000 4194304 4196468 140724258592560 140724258575104 140529655856887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 /proc/17036/statm: 3520684 11821 3377 1 0 3482761 0 [pid=17036/tid=17038] ppid=17033 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7 /proc/17036/task/17038/stat : 17038 (java) S 17033 17036 13692 0 -1 1077944384 8168 0 0 0 17 2 0 0 20 0 15 0 245969126 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529660084432 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17039] ppid=17033 vsize=14082736 memory=4211973917893873034 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17039/stat : 17039 (java) S 17033 17036 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245969128 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529251302032 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17040] ppid=17033 vsize=14082736 memory=140191689082496 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17040/stat : 17040 (java) S 17033 17036 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245969128 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529250249232 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17041] ppid=17033 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17041/stat : 17041 (java) S 17033 17036 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245969128 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529249196432 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17042] ppid=17033 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17042/stat : 17042 (java) S 17033 17036 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245969128 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529248143632 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17043] ppid=17033 vsize=14082736 memory=140191689082496 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17043/stat : 17043 (java) S 17033 17036 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245969129 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529198123888 140529655868034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17044] ppid=17033 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17044/stat : 17044 (java) S 17033 17036 13692 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 245969130 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529197069856 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17045] ppid=17033 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17045/stat : 17045 (java) S 17033 17036 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245969130 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529196017008 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17046] ppid=17033 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17046/stat : 17046 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529194965328 140529655875483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17047] ppid=17033 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/17036/task/17047/stat : 17047 (java) R 17033 17036 13692 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 245969132 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529193912688 140529655868034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17048] ppid=17033 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7 /proc/17036/task/17048/stat : 17048 (java) R 17033 17036 13692 0 -1 4202560 210 0 0 0 1 0 0 0 20 0 15 0 245969132 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529192859888 140529636557184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17049] ppid=17033 vsize=14082736 memory=140191689082496 CPUtime=0.06 cores=1,3,5,7 /proc/17036/task/17049/stat : 17049 (java) S 17033 17036 13692 0 -1 1077944384 292 0 0 0 6 0 0 0 20 0 15 0 245969132 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529191807088 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17050] ppid=17033 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17050/stat : 17050 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529190754528 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17051] ppid=17033 vsize=14082736 memory=140191689082496 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17051/stat : 17051 (java) S 17033 17036 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245969133 14420721664 11821 33554432000 4194304 4196468 140724258592560 140529189702832 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 47284 KiB [startup+0.31058 s]* /proc/loadavg: 1.31 1.39 1.52 3/216 17051 /proc/meminfo: memFree=22394104/32770624 swapFree=67108688/67108860 [pid=17036] ppid=17033 vsize=14082736 memory=51032 CPUtime=0.43 cores=1,3,5,7 /proc/17036/stat : 17036 (java) S 17033 17036 13692 0 -1 1077944320 10826 0 0 0 40 3 0 0 20 0 15 0 245969126 14420721664 12758 33554432000 4194304 4196468 140724258592560 140724258575104 140529655856887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 /proc/17036/statm: 3520684 12758 3417 1 0 3482761 0 [pid=17036/tid=17038] ppid=17033 vsize=14082736 memory=6735269665583770266 CPUtime=0.29 cores=1,3,5,7 /proc/17036/task/17038/stat : 17038 (java) R 17033 17036 13692 0 -1 4202560 8526 0 0 0 27 2 0 0 20 0 15 0 245969126 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529660077984 140529633081040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17039] ppid=17033 vsize=14082736 memory=4211973917893873034 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17039/stat : 17039 (java) S 17033 17036 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245969128 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529251302032 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17040] ppid=17033 vsize=14082736 memory=280383246940544 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17040/stat : 17040 (java) S 17033 17036 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245969128 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529250249232 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17041] ppid=17033 vsize=14082736 memory=280383115743744 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17041/stat : 17041 (java) S 17033 17036 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245969128 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529249196432 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17042] ppid=17033 vsize=14082736 memory=140191557858063 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17042/stat : 17042 (java) S 17033 17036 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245969128 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529248143632 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17043] ppid=17033 vsize=14082736 memory=280383246949760 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17043/stat : 17043 (java) S 17033 17036 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245969129 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529198123888 140529655868034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17044] ppid=17033 vsize=14082736 memory=140191557862671 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17044/stat : 17044 (java) S 17033 17036 13692 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 245969130 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529197069856 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17045] ppid=17033 vsize=14082736 memory=140191557880588 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17045/stat : 17045 (java) S 17033 17036 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245969130 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529196017008 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17046] ppid=17033 vsize=14082736 memory=140191557883763 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17046/stat : 17046 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529194965328 140529655875483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17047] ppid=17033 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/17036/task/17047/stat : 17047 (java) S 17033 17036 13692 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 15 0 245969132 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529193912688 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17048] ppid=17033 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/17036/task/17048/stat : 17048 (java) S 17033 17036 13692 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 15 0 245969132 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529192859888 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17049] ppid=17033 vsize=14082736 memory=140191689082496 CPUtime=0.08 cores=1,3,5,7 /proc/17036/task/17049/stat : 17049 (java) S 17033 17036 13692 0 -1 1077944384 301 0 0 0 8 0 0 0 20 0 15 0 245969132 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529191807088 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17050] ppid=17033 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17050/stat : 17050 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529190754528 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17051] ppid=17033 vsize=14082736 memory=140191689113740 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17051/stat : 17051 (java) S 17033 17036 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245969133 14420721664 12758 33554432000 4194304 4196468 140724258592560 140529189702832 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 51032 KiB [startup+0.700768 s] /proc/loadavg: 1.31 1.39 1.52 3/216 17051 /proc/meminfo: memFree=22372176/32770624 swapFree=67108688/67108860 [pid=17036] ppid=17033 vsize=14084804 memory=90464 CPUtime=0.98 cores=1,3,5,7 /proc/17036/stat : 17036 (java) S 17033 17036 13692 0 -1 1077944320 17521 0 0 0 94 4 0 0 20 0 15 0 245969126 14422839296 22616 33554432000 4194304 4196468 140724258592560 140724258575104 140529655856887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 /proc/17036/statm: 3521201 22616 3497 1 0 3483273 0 [pid=17036/tid=17038] ppid=17033 vsize=14084804 memory=56 CPUtime=0.66 cores=1,3,5,7 /proc/17036/task/17038/stat : 17038 (java) R 17033 17036 13692 0 -1 4202560 14827 0 0 0 63 3 0 0 20 0 15 0 245969126 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529660071824 140529655878813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17039] ppid=17033 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17039/stat : 17039 (java) S 17033 17036 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245969128 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529251302032 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17040] ppid=17033 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17040/stat : 17040 (java) S 17033 17036 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245969128 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529250249232 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17041] ppid=17033 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17041/stat : 17041 (java) S 17033 17036 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245969128 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529249196432 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17042] ppid=17033 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17042/stat : 17042 (java) S 17033 17036 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245969128 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529248143632 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17043] ppid=17033 vsize=14084804 memory=748 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17043/stat : 17043 (java) S 17033 17036 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245969129 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529198123888 140529655868034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17044] ppid=17033 vsize=14084804 memory=1220 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17044/stat : 17044 (java) S 17033 17036 13692 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 245969130 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529197069856 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17045] ppid=17033 vsize=14084804 memory=6604 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17045/stat : 17045 (java) S 17033 17036 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245969130 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529196017008 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17046] ppid=17033 vsize=14084804 memory=1296 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17046/stat : 17046 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529194965328 140529655875483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17047] ppid=17033 vsize=14084804 memory=4452 CPUtime=0.06 cores=1,3,5,7 /proc/17036/task/17047/stat : 17047 (java) S 17033 17036 13692 0 -1 1077944384 505 0 0 0 6 0 0 0 20 0 15 0 245969132 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529193912688 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17048] ppid=17033 vsize=14084804 memory=3732 CPUtime=0.08 cores=1,3,5,7 /proc/17036/task/17048/stat : 17048 (java) S 17033 17036 13692 0 -1 1077944384 421 0 0 0 8 0 0 0 20 0 15 0 245969132 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529192859888 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17049] ppid=17033 vsize=14084804 memory=12668 CPUtime=0.15 cores=1,3,5,7 /proc/17036/task/17049/stat : 17049 (java) R 17033 17036 13692 0 -1 4202560 384 0 0 0 15 0 0 0 20 0 15 0 245969132 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529191807088 140529634477857 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17050] ppid=17033 vsize=14084804 memory=1072 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17050/stat : 17050 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529190754528 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17051] ppid=17033 vsize=14084804 memory=14888 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17051/stat : 17051 (java) S 17033 17036 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245969133 14422839296 22616 33554432000 4194304 4196468 140724258592560 140529189702832 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 Current children cumulated CPU time: 0.98 s Current children cumulated vsize: 14084804 KiB Current children cumulated memory: 90464 KiB [startup+1.50484 s] /proc/loadavg: 1.45 1.41 1.52 6/216 17051 /proc/meminfo: memFree=22309844/32770624 swapFree=67108688/67108860 [pid=17036] ppid=17033 vsize=14086852 memory=228840 CPUtime=3.38 cores=1,3,5,7 /proc/17036/stat : 17036 (java) S 17033 17036 13692 0 -1 1077944320 25748 0 0 0 330 8 0 0 20 0 15 0 245969126 14424936448 57210 33554432000 4194304 4196468 140724258592560 140724258575104 140529655856887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 /proc/17036/statm: 3521713 57210 3571 1 0 3483785 0 [pid=17036/tid=17038] ppid=17033 vsize=14086852 memory=0 CPUtime=1.45 cores=1,3,5,7 /proc/17036/task/17038/stat : 17038 (java) R 17033 17036 13692 0 -1 4202560 17341 0 0 0 140 5 0 0 20 0 15 0 245969126 14424936448 57210 33554432000 4194304 4196468 140724258592560 140529660089680 140529271335048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17039] ppid=17033 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17039/stat : 17039 (java) S 17033 17036 13692 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 245969128 14424936448 57210 33554432000 4194304 4196468 140724258592560 140529251302032 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17040] ppid=17033 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17040/stat : 17040 (java) S 17033 17036 13692 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 245969128 14424936448 57210 33554432000 4194304 4196468 140724258592560 140529250249232 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17041] ppid=17033 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17041/stat : 17041 (java) S 17033 17036 13692 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 245969128 14424936448 57210 33554432000 4194304 4196468 140724258592560 140529249196432 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17042] ppid=17033 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17042/stat : 17042 (java) S 17033 17036 13692 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 245969128 14424936448 57210 33554432000 4194304 4196468 140724258592560 140529248143632 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17043] ppid=17033 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17043/stat : 17043 (java) S 17033 17036 13692 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 245969129 14424936448 57210 33554432000 4194304 4196468 140724258592560 140529198123888 140529655868034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 ################ # More data... # ################ /proc/17036/task/17038/stat : 17038 (java) R 17033 17036 13692 0 -1 4202560 201049 0 0 0 230267 108 0 0 20 0 15 0 245969126 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529660094352 140529273437440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17039] ppid=17033 vsize=14092996 memory=3268660 CPUtime=16.63 cores=1,3,5,7 /proc/17036/task/17039/stat : 17039 (java) S 17033 17036 13692 0 -1 1077944384 37101 0 0 0 1564 99 0 0 20 0 15 0 245969128 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529251302032 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17040] ppid=17033 vsize=14092996 memory=3251732 CPUtime=16.6 cores=1,3,5,7 /proc/17036/task/17040/stat : 17040 (java) S 17033 17036 13692 0 -1 1077944384 47015 0 0 0 1560 100 0 0 20 0 15 0 245969128 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529250249232 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17041] ppid=17033 vsize=14092996 memory=3247628 CPUtime=16.64 cores=1,3,5,7 /proc/17036/task/17041/stat : 17041 (java) S 17033 17036 13692 0 -1 1077944384 53240 0 0 0 1565 99 0 0 20 0 15 0 245969128 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529249196432 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17042] ppid=17033 vsize=14092996 memory=3247628 CPUtime=16.67 cores=1,3,5,7 /proc/17036/task/17042/stat : 17042 (java) S 17033 17036 13692 0 -1 1077944384 51956 0 0 0 1567 100 0 0 20 0 15 0 245969128 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529248143632 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17043] ppid=17033 vsize=14092996 memory=3242496 CPUtime=1.12 cores=1,3,5,7 /proc/17036/task/17043/stat : 17043 (java) S 17033 17036 13692 0 -1 1077944384 45876 0 0 0 93 19 0 0 20 0 15 0 245969129 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529198123888 140529655868034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17044] ppid=17033 vsize=14092996 memory=3247628 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17044/stat : 17044 (java) S 17033 17036 13692 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245969130 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529197069920 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17045] ppid=17033 vsize=14092996 memory=3242496 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17045/stat : 17045 (java) S 17033 17036 13692 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245969130 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529196017024 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17046] ppid=17033 vsize=14092996 memory=3242496 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17046/stat : 17046 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529194965328 140529655875483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17047] ppid=17033 vsize=14092996 memory=3251732 CPUtime=5 cores=1,3,5,7 /proc/17036/task/17047/stat : 17047 (java) S 17033 17036 13692 0 -1 1077944384 30724 0 0 0 495 5 0 0 20 0 15 0 245969132 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529193912688 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17048] ppid=17033 vsize=14092996 memory=3242496 CPUtime=4.88 cores=1,3,5,7 /proc/17036/task/17048/stat : 17048 (java) S 17033 17036 13692 0 -1 1077944384 26933 0 0 0 485 3 0 0 20 0 15 0 245969132 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529192859888 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17049] ppid=17033 vsize=14092996 memory=6791534058613427641 CPUtime=1.72 cores=1,3,5,7 /proc/17036/task/17049/stat : 17049 (java) S 17033 17036 13692 0 -1 1077944384 47652 0 0 0 167 5 0 0 20 0 15 0 245969132 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529191807088 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17050] ppid=17033 vsize=14092996 memory=2336 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17050/stat : 17050 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529190754528 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17051] ppid=17033 vsize=14092996 memory=3242496 CPUtime=1.41 cores=1,3,5,7 /proc/17036/task/17051/stat : 17051 (java) S 17033 17036 13692 0 -1 1077944384 1946 0 0 0 63 78 0 0 20 0 15 0 245969133 14431227904 810624 33554432000 4194304 4196468 140724258592560 140529189702832 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 Current children cumulated CPU time: 2384.51 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 3242496 KiB [startup+2382.3 s] /proc/loadavg: 2.21 1.94 1.74 3/216 17203 /proc/meminfo: memFree=19550032/32770624 swapFree=67108688/67108860 [pid=17036] ppid=17033 vsize=14092996 memory=3356496 CPUtime=2446.76 cores=1,3,5,7 /proc/17036/stat : 17036 (java) S 17033 17036 13692 0 -1 1077944320 566503 0 0 0 244066 610 0 0 20 0 15 0 245969126 14431227904 839124 33554432000 4194304 4196468 140724258592560 140724258575104 140529655856887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 /proc/17036/statm: 3523249 839124 3625 1 0 3485321 0 [pid=17036/tid=17038] ppid=17033 vsize=14092996 memory=3426828 CPUtime=2362.93 cores=1,3,5,7 /proc/17036/task/17038/stat : 17038 (java) R 17033 17036 13692 0 -1 4202560 204477 0 0 0 236181 112 0 0 20 0 15 0 245969126 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529660094352 140529270507052 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17039] ppid=17033 vsize=14092996 memory=3385736 CPUtime=17.38 cores=1,3,5,7 /proc/17036/task/17039/stat : 17039 (java) S 17033 17036 13692 0 -1 1077944384 39257 0 0 0 1638 100 0 0 20 0 15 0 245969128 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529251302032 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17040] ppid=17033 vsize=14092996 memory=3426264 CPUtime=17.34 cores=1,3,5,7 /proc/17036/task/17040/stat : 17040 (java) S 17033 17036 13692 0 -1 1077944384 49662 0 0 0 1634 100 0 0 20 0 15 0 245969128 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529250249232 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17041] ppid=17033 vsize=14092996 memory=3426264 CPUtime=17.38 cores=1,3,5,7 /proc/17036/task/17041/stat : 17041 (java) S 17033 17036 13692 0 -1 1077944384 55632 0 0 0 1638 100 0 0 20 0 15 0 245969128 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529249196432 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17042] ppid=17033 vsize=14092996 memory=3378040 CPUtime=17.41 cores=1,3,5,7 /proc/17036/task/17042/stat : 17042 (java) S 17033 17036 13692 0 -1 1077944384 57201 0 0 0 1640 101 0 0 20 0 15 0 245969128 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529248143632 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17043] ppid=17033 vsize=14092996 memory=3364192 CPUtime=1.16 cores=1,3,5,7 /proc/17036/task/17043/stat : 17043 (java) S 17033 17036 13692 0 -1 1077944384 51399 0 0 0 96 20 0 0 20 0 15 0 245969129 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529198123888 140529655868034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17044] ppid=17033 vsize=14092996 memory=3217432 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17044/stat : 17044 (java) S 17033 17036 13692 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245969130 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529197069920 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17045] ppid=17033 vsize=14092996 memory=3364192 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17045/stat : 17045 (java) S 17033 17036 13692 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245969130 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529196017024 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17046] ppid=17033 vsize=14092996 memory=3356496 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17046/stat : 17046 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529194965328 140529655875483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17047] ppid=17033 vsize=14092996 memory=3426828 CPUtime=5 cores=1,3,5,7 /proc/17036/task/17047/stat : 17047 (java) S 17033 17036 13692 0 -1 1077944384 30724 0 0 0 495 5 0 0 20 0 15 0 245969132 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529193912688 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17048] ppid=17033 vsize=14092996 memory=280383116634656 CPUtime=4.88 cores=1,3,5,7 /proc/17036/task/17048/stat : 17048 (java) S 17033 17036 13692 0 -1 1077944384 27100 0 0 0 485 3 0 0 20 0 15 0 245969132 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529192859888 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17049] ppid=17033 vsize=14092996 memory=1620 CPUtime=1.72 cores=1,3,5,7 /proc/17036/task/17049/stat : 17049 (java) S 17033 17036 13692 0 -1 1077944384 47652 0 0 0 167 5 0 0 20 0 15 0 245969132 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529191807088 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17050] ppid=17033 vsize=14092996 memory=3364192 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17050/stat : 17050 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529190754528 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17051] ppid=17033 vsize=14092996 memory=67012 CPUtime=1.45 cores=1,3,5,7 /proc/17036/task/17051/stat : 17051 (java) S 17033 17036 13692 0 -1 1077944384 1953 0 0 0 65 80 0 0 20 0 15 0 245969133 14431227904 839124 33554432000 4194304 4196468 140724258592560 140529189702832 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 Current children cumulated CPU time: 2446.76 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 3356496 KiB [startup+2442.3 s] /proc/loadavg: 1.79 1.86 1.73 3/216 17204 /proc/meminfo: memFree=19730232/32770624 swapFree=67108688/67108860 [pid=17036] ppid=17033 vsize=14092996 memory=3176544 CPUtime=2507.93 cores=1,3,5,7 /proc/17036/stat : 17036 (java) S 17033 17036 13692 0 -1 1077944320 575956 0 0 0 250180 613 0 0 20 0 15 0 245969126 14431227904 794136 33554432000 4194304 4196468 140724258592560 140724258575104 140529655856887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 /proc/17036/statm: 3523249 794136 3625 1 0 3485321 0 [pid=17036/tid=17038] ppid=17033 vsize=14092996 memory=3196952 CPUtime=2422.49 cores=1,3,5,7 /proc/17036/task/17038/stat : 17038 (java) R 17033 17036 13692 0 -1 4202560 209140 0 0 0 242136 113 0 0 20 0 15 0 245969126 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529660093168 140529270161719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17039] ppid=17033 vsize=14092996 memory=3385736 CPUtime=17.77 cores=1,3,5,7 /proc/17036/task/17039/stat : 17039 (java) S 17033 17036 13692 0 -1 1077944384 39681 0 0 0 1677 100 0 0 20 0 15 0 245969128 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529251302032 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17040] ppid=17033 vsize=14092996 memory=3196952 CPUtime=17.73 cores=1,3,5,7 /proc/17036/task/17040/stat : 17040 (java) S 17033 17036 13692 0 -1 1077944384 51330 0 0 0 1673 100 0 0 20 0 15 0 245969128 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529250249232 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17041] ppid=17033 vsize=14092996 memory=3203108 CPUtime=17.76 cores=1,3,5,7 /proc/17036/task/17041/stat : 17041 (java) S 17033 17036 13692 0 -1 1077944384 56596 0 0 0 1676 100 0 0 20 0 15 0 245969128 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529249196432 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17042] ppid=17033 vsize=14092996 memory=3310324 CPUtime=17.8 cores=1,3,5,7 /proc/17036/task/17042/stat : 17042 (java) S 17033 17036 13692 0 -1 1077944384 58409 0 0 0 1679 101 0 0 20 0 15 0 245969128 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529248143632 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17043] ppid=17033 vsize=14092996 memory=56 CPUtime=1.19 cores=1,3,5,7 /proc/17036/task/17043/stat : 17043 (java) S 17033 17036 13692 0 -1 1077944384 51889 0 0 0 98 21 0 0 20 0 15 0 245969129 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529198123888 140529655868034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17044] ppid=17033 vsize=14092996 memory=3191824 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17044/stat : 17044 (java) S 17033 17036 13692 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245969130 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529197069920 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17045] ppid=17033 vsize=14092996 memory=3181676 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17045/stat : 17045 (java) S 17033 17036 13692 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245969130 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529196017024 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17046] ppid=17033 vsize=14092996 memory=3181676 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17046/stat : 17046 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529194965328 140529655875483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17047] ppid=17033 vsize=14092996 memory=3176544 CPUtime=5 cores=1,3,5,7 /proc/17036/task/17047/stat : 17047 (java) S 17033 17036 13692 0 -1 1077944384 30726 0 0 0 495 5 0 0 20 0 15 0 245969132 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529193912688 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17048] ppid=17033 vsize=14092996 memory=3280060 CPUtime=4.88 cores=1,3,5,7 /proc/17036/task/17048/stat : 17048 (java) S 17033 17036 13692 0 -1 1077944384 27102 0 0 0 485 3 0 0 20 0 15 0 245969132 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529192859888 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17049] ppid=17033 vsize=14092996 memory=3196952 CPUtime=1.72 cores=1,3,5,7 /proc/17036/task/17049/stat : 17049 (java) S 17033 17036 13692 0 -1 1077944384 47655 0 0 0 167 5 0 0 20 0 15 0 245969132 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529191807088 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17050] ppid=17033 vsize=14092996 memory=3181676 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17050/stat : 17050 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529190754528 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17051] ppid=17033 vsize=14092996 memory=3176544 CPUtime=1.49 cores=1,3,5,7 /proc/17036/task/17051/stat : 17051 (java) S 17033 17036 13692 0 -1 1077944384 1982 0 0 0 67 82 0 0 20 0 15 0 245969133 14431227904 794136 33554432000 4194304 4196468 140724258592560 140529189702832 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 Current children cumulated CPU time: 2507.93 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 3176544 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2454.2 s] /proc/loadavg: 1.82 1.86 1.73 3/216 17204 /proc/meminfo: memFree=19743872/32770624 swapFree=67108688/67108860 [pid=17036] ppid=17033 vsize=14092996 memory=3158236 CPUtime=2520.09 cores=1,3,5,7 /proc/17036/stat : 17036 (java) S 17033 17036 13692 0 -1 1077944320 576666 0 0 0 251395 614 0 0 20 0 15 0 245969126 14431227904 789559 33554432000 4194304 4196468 140724258592560 140724258575104 140529655856887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 /proc/17036/statm: 3523249 789559 3625 1 0 3485321 0 [pid=17036/tid=17038] ppid=17033 vsize=14092996 memory=12946 CPUtime=2434.29 cores=1,3,5,7 /proc/17036/task/17038/stat : 17038 (java) R 17033 17036 13692 0 -1 4202560 209232 0 0 0 243316 113 0 0 20 0 15 0 245969126 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529660094464 140529270507216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17039] ppid=17033 vsize=14092996 memory=4422923388515004448 CPUtime=17.85 cores=1,3,5,7 /proc/17036/task/17039/stat : 17039 (java) S 17033 17036 13692 0 -1 1077944384 39804 0 0 0 1685 100 0 0 20 0 15 0 245969128 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529251302032 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17040] ppid=17033 vsize=14092996 memory=-7965959130280075168 CPUtime=17.82 cores=1,3,5,7 /proc/17036/task/17040/stat : 17040 (java) S 17033 17036 13692 0 -1 1077944384 51485 0 0 0 1682 100 0 0 20 0 15 0 245969128 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529250249232 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17041] ppid=17033 vsize=14092996 memory=-7523660553960122769 CPUtime=17.85 cores=1,3,5,7 /proc/17036/task/17041/stat : 17041 (java) S 17033 17036 13692 0 -1 1077944384 56671 0 0 0 1685 100 0 0 20 0 15 0 245969128 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529249196432 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17042] ppid=17033 vsize=14092996 memory=-4051592751533505334 CPUtime=17.88 cores=1,3,5,7 /proc/17036/task/17042/stat : 17042 (java) S 17033 17036 13692 0 -1 1077944384 58652 0 0 0 1687 101 0 0 20 0 15 0 245969128 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529248143632 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17043] ppid=17033 vsize=14092996 memory=6655300316396806240 CPUtime=1.2 cores=1,3,5,7 /proc/17036/task/17043/stat : 17043 (java) S 17033 17036 13692 0 -1 1077944384 51901 0 0 0 99 21 0 0 20 0 15 0 245969129 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529198123888 140529655868034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17044] ppid=17033 vsize=14092996 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17044/stat : 17044 (java) S 17033 17036 13692 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245969130 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529197069920 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17045] ppid=17033 vsize=14092996 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17045/stat : 17045 (java) S 17033 17036 13692 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245969130 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529196017024 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17046] ppid=17033 vsize=14092996 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17046/stat : 17046 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529194965328 140529655875483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17047] ppid=17033 vsize=14092996 memory=6944656592455360604 CPUtime=5 cores=1,3,5,7 /proc/17036/task/17047/stat : 17047 (java) S 17033 17036 13692 0 -1 1077944384 30728 0 0 0 495 5 0 0 20 0 15 0 245969132 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529193912688 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17048] ppid=17033 vsize=14092996 memory=-7025994870846939764 CPUtime=4.88 cores=1,3,5,7 /proc/17036/task/17048/stat : 17048 (java) S 17033 17036 13692 0 -1 1077944384 27104 0 0 0 485 3 0 0 20 0 15 0 245969132 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529192859888 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17049] ppid=17033 vsize=14092996 memory=6944656592455348272 CPUtime=1.72 cores=1,3,5,7 /proc/17036/task/17049/stat : 17049 (java) S 17033 17036 13692 0 -1 1077944384 47657 0 0 0 167 5 0 0 20 0 15 0 245969132 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529191807088 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17050] ppid=17033 vsize=14092996 memory=7594597771697979466 CPUtime=0 cores=1,3,5,7 /proc/17036/task/17050/stat : 17050 (java) S 17033 17036 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245969132 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529190754528 140529655867093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 [pid=17036/tid=17051] ppid=17033 vsize=14092996 memory=3472328279047811119 CPUtime=1.5 cores=1,3,5,7 /proc/17036/task/17051/stat : 17051 (java) S 17033 17036 13692 0 -1 1077944384 1986 0 0 0 67 83 0 0 20 0 15 0 245969133 14431227904 789559 33554432000 4194304 4196468 140724258592560 140529189702832 140529655868034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140724258595925 140724258596105 140724258596105 140724258598863 0 Current children cumulated CPU time: 2520.09 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 3158236 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2454.25 s] # the end of solver process 17036 was just reported to runsolver # cumulated CPU time of all completed processes: user=2513.99 s, system=6.16979 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2454.25 CPU time (s): 2520.16 CPU user time (s): 2513.99 CPU system time (s): 6.16979 CPU usage (%): 102.686 Max. virtual memory (cumulated for all children) (KiB): 14092996 Max. memory (cumulated for all children) (KiB): 4892512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2513.99 system time used= 6.16979 maximum resident set size= 4892548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 578286 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3216 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 75062 involuntary context switches= 3021 # summary of solver processes directly reported to runsolver: # pid: 17036 # total CPU time (s): 2520.16 # total CPU user time (s): 2513.99 # total CPU system time (s): 6.16979 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.0987 second user time and 22.9512 second system time The end
Begin job on node106 at 2018-08-15 00:01:02 IDJOB=4308650 IDBENCH=141188 IDSOLVER=2792 FILE ID=node106/4308650-1534284062 RUNJOBID= node106-1534270601-15612 PBS_JOBID= 21038127 Free space on /tmp= 42448 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_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-4308650-1534284062/watcher-4308650-1534284062 -o /tmp/evaluation-result-4308650-1534284062/solver-4308650-1534284062 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534270601-15612 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 111865904 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308650-1534284062.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e RANDOM SEED=111865904 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: 22431952 kB MemAvailable: 31175536 kB Buffers: 186432 kB Cached: 8764332 kB SwapCached: 0 kB Active: 5234292 kB Inactive: 4498484 kB Active(anon): 728752 kB Inactive(anon): 105460 kB Active(file): 4505540 kB Inactive(file): 4393024 kB Unevictable: 6964 kB Mlocked: 6964 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 35828 kB Writeback: 0 kB AnonPages: 788372 kB Mapped: 68368 kB Shmem: 49632 kB Slab: 301440 kB SReclaimable: 273480 kB SUnreclaim: 27960 kB KernelStack: 3504 kB PageTables: 7384 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1411808 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 606208 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= 42412 MiB End job on node106 at 2018-08-15 00:41:57