Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Hybrid 2018-08-14 | SAT (TO) | 90810905 | 2520.71 | 2275.13 |
Name | Rlfap/Rlfap-opt/ Rlfap-scen-07-opt_c18.xml |
MD5SUM | ba4df16e86f19a26142e39b1a48414c8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5249896 |
Best CPU time to get the best result obtained on this benchmark | 2400.22 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3065 |
Number of constraints | 2865 |
Number of domains | 7 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":2665},{"size":22,"count":8},{"size":36,"count":184},{"size":44,"count":208}] |
Minimum variable degree | 2 |
Maximum variable degree | 62 |
Distribution of variable degrees | [{"degree":2,"count":2665},{"degree":3,"count":15},{"degree":4,"count":8},{"degree":5,"count":34},{"degree":6,"count":11},{"degree":7,"count":34},{"degree":8,"count":5},{"degree":9,"count":45},{"degree":10,"count":18},{"degree":11,"count":11},{"degree":12,"count":7},{"degree":13,"count":30},{"degree":14,"count":10},{"degree":15,"count":31},{"degree":16,"count":5},{"degree":17,"count":26},{"degree":18,"count":5},{"degree":19,"count":13},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":7},{"degree":25,"count":5},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":2,"count":200},{"arity":3,"count":2665}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2865 |
Distribution of constraint types | [{"type":"intension","count":2865}] |
Optimization problem | YES |
Type of objective | min SUM |
0.68/0.56 c version: 2018-08-14 0.68/0.56 c seed: 485431784 0.68/0.56 c timeout: 2520 0.68/0.56 c memlimit: 11000 0.68/0.56 c nbcore: 4 0.68/0.58 c Parsing instance... 72.08/49.49 c Parsing done, starting first complete search... 388.91/357.16 o 192675160 388.91/357.16 c First complete search done, starting ALNS search... 389.84/357.75 o 192675060 389.84/357.75 o 192675059 389.84/357.76 o 192675058 389.84/357.76 o 192675057 389.84/357.77 o 192675056 389.84/357.78 o 191675160 389.84/357.78 o 191675159 389.84/357.79 o 191675060 389.84/357.79 o 191675059 390.09/357.80 o 191675058 390.09/357.80 o 191675057 390.09/357.80 o 191675056 390.19/357.90 o 191675055 390.33/358.03 o 191675054 390.33/358.07 o 191675053 390.33/358.10 o 191675052 390.52/358.19 o 190675160 390.52/358.19 o 190675159 390.52/358.20 o 190675158 390.66/358.20 o 190675157 390.66/358.21 o 190675156 390.66/358.21 o 190675155 390.80/358.30 o 190675154 390.80/358.32 o 190675060 390.80/358.32 o 190675059 390.80/358.33 o 190675058 390.80/358.33 o 190675057 390.80/358.33 o 190675056 390.80/358.33 o 190675055 390.80/358.34 o 190675054 390.80/358.35 o 190675053 390.80/358.35 o 190675052 391.19/358.62 o 190675051 391.30/358.76 o 190665162 391.30/358.76 o 190665161 391.30/358.76 o 190665160 391.30/358.77 o 190665159 391.30/358.78 o 189675162 391.30/358.78 o 189675161 391.30/358.78 o 189675160 391.30/358.79 o 189675159 391.40/358.87 o 189675062 391.40/358.87 o 189675061 391.40/358.88 o 189675060 391.40/358.88 o 189675059 393.08/360.46 o 189675058 393.08/360.46 o 189675057 393.08/360.47 o 189675056 393.08/360.47 o 189675055 393.08/360.48 o 189675054 393.08/360.48 o 189675053 393.08/360.49 o 189675052 393.08/360.49 o 189675051 393.19/360.50 o 189675050 393.19/360.50 o 189675049 398.82/365.33 o 188675152 398.82/365.34 o 188675151 398.82/365.34 o 188675150 398.82/365.35 o 188665252 398.82/365.36 o 188665251 398.82/365.36 o 188665250 398.82/365.38 o 188655152 398.82/365.38 o 188655151 398.82/365.38 o 188655150 399.47/365.81 o 188645151 399.61/365.92 o 188635151 399.61/365.96 o 187655151 399.61/365.97 o 187645151 399.61/365.97 o 187635151 401.68/367.62 o 186665153 401.68/367.64 o 186655153 401.79/367.71 o 186645153 402.63/368.56 o 186635153 403.14/369.01 o 186625153 403.14/369.05 o 185655153 403.14/369.07 o 185645153 403.14/369.09 o 185635153 403.24/369.11 o 185625153 403.53/369.49 o 185625053 403.94/369.88 o 185615153 404.04/369.90 o 185615053 405.85/371.73 o 185614953 419.40/380.29 o 184614953 422.17/382.92 o 184614860 422.47/383.27 o 184614859 422.67/383.40 o 184614858 422.67/383.49 o 184614857 422.77/383.59 o 184604960 422.87/383.61 o 184604959 422.87/383.68 o 184604860 422.98/383.71 o 184604859 422.98/383.79 o 184604858 423.18/383.95 o 184604857 423.29/384.10 o 184594960 423.39/384.13 o 184594959 423.39/384.16 o 184594958 423.39/384.19 o 184594860 423.48/384.21 o 184594859 423.48/384.24 o 184594858 423.48/384.28 o 184594857 423.58/384.38 o 184594760 423.68/384.41 o 184594759 423.68/384.44 o 184594758 423.68/384.48 o 184594757 423.88/384.61 o 184584960 423.88/384.64 o 184584959 423.88/384.66 o 184584958 423.88/384.69 o 184584957 423.98/384.73 o 184584860 423.98/384.76 o 184584859 423.98/384.79 o 184584858 424.08/384.82 o 184584857 424.18/384.91 o 184584760 424.18/384.95 o 184584759 424.18/384.98 o 184584758 424.29/385.02 o 184584757 424.39/385.17 o 184584756 424.48/385.20 o 184584755 424.78/385.50 o 184584754 424.89/385.66 o 184574960 424.89/385.69 o 184574959 424.99/385.71 o 184574860 424.99/385.74 o 184574859 424.99/385.77 o 184574858 425.10/385.83 o 184574857 425.10/385.86 o 184574856 425.22/385.98 o 184574760 425.33/386.01 o 184574759 425.43/386.12 o 184574758 425.43/386.15 o 184574757 425.62/386.31 o 184574756 425.82/386.51 o 184574755 425.92/386.65 o 184574754 426.02/386.75 o 184564960 426.02/386.77 o 184564959 426.12/386.80 o 184564958 426.12/386.83 o 184564957 426.12/386.88 o 184564860 426.22/386.91 o 184564859 426.33/387.06 o 184564858 426.33/387.08 o 184564758 426.33/387.10 o 184564756 426.43/387.16 o 184564658 426.43/387.18 o 184564656 428.32/388.40 o 184554656 428.32/388.41 o 183564656 428.32/388.42 o 183554656 428.32/388.43 o 182564656 442.80/402.71 o 182564653 442.80/402.73 o 182564652 455.85/410.62 o 182555056 455.85/410.67 o 182555055 455.96/410.71 o 182554956 455.96/410.75 o 182554955 455.96/410.80 o 182554954 456.06/410.84 o 182554856 456.06/410.88 o 182554855 456.16/410.93 o 182554854 456.16/410.98 o 182554853 456.27/411.03 o 182554852 456.27/411.07 o 182554756 456.37/411.11 o 182554755 456.37/411.15 o 182554754 456.37/411.19 o 182554753 456.46/411.24 o 182554752 456.46/411.29 o 182554656 456.56/411.35 o 182554655 456.56/411.40 o 182554654 456.66/411.44 o 182554653 456.76/411.50 o 182554652 456.76/411.57 o 182554651 456.86/411.62 o 182545056 456.86/411.66 o 182545055 456.97/411.70 o 182545054 456.97/411.74 o 182545053 456.97/411.79 o 182545052 457.07/411.84 o 182544956 457.07/411.88 o 182544955 457.17/411.92 o 182544954 457.17/411.97 o 182544953 457.27/412.02 o 182544952 457.27/412.07 o 182544856 457.38/412.11 o 182544855 457.38/412.15 o 182544854 457.38/412.19 o 182544853 457.47/412.24 o 182544852 457.57/412.30 o 182544851 457.57/412.35 o 182544756 457.67/412.40 o 182544755 457.67/412.45 o 182544754 457.77/412.50 o 182544753 457.77/412.55 o 182544752 457.87/412.61 o 182544751 457.87/412.66 o 182544656 457.97/412.71 o 182544655 457.97/412.76 o 182544654 458.07/412.81 o 182544653 458.07/412.86 o 182544652 458.17/412.92 o 182544651 458.17/412.97 o 182535056 458.28/413.01 o 182535055 458.28/413.06 o 182535054 458.28/413.10 o 182535053 458.38/413.15 o 182534956 458.38/413.20 o 182534955 458.47/413.24 o 182534954 458.47/413.29 o 182534953 462.19/416.37 o 182524953 462.19/416.39 o 181544953 462.19/416.40 o 181534953 462.29/416.41 o 181524953 462.29/416.42 o 181524853 462.29/416.44 o 181524753 462.92/417.09 o 181515252 463.02/417.11 o 181515152 463.02/417.14 o 181515052 463.22/417.32 o 181515051 463.22/417.34 o 181514951 463.22/417.36 o 181514851 463.52/417.64 o 181514850 465.25/419.39 o 181514751 465.45/419.50 o 180514951 465.45/419.53 o 180514851 465.45/419.56 o 180514751 472.76/423.44 o 179535057 472.76/423.46 o 179535056 472.96/423.69 o 179525057 473.06/423.72 o 179525056 473.16/423.80 o 178525057 473.16/423.83 o 178525056 473.26/423.91 o 177525057 473.26/423.93 o 177525056 473.56/424.21 o 176525058 473.56/424.23 o 176525057 473.86/424.50 o 176515058 473.86/424.53 o 176515057 474.16/424.82 o 176515056 474.26/424.94 o 176515055 474.47/425.15 o 176515054 474.86/425.54 o 176514958 474.86/425.59 o 176514957 474.96/425.63 o 176514956 474.96/425.68 o 176514955 475.07/425.73 o 176514954 475.77/426.44 o 176514953 475.97/426.67 o 176514952 477.60/428.21 o 175515053 477.60/428.24 o 175515052 477.60/428.28 o 175505053 477.71/428.30 o 175505052 477.91/428.58 o 174515253 478.01/428.60 o 174515252 478.01/428.64 o 174505253 478.01/428.66 o 174505252 478.11/428.76 o 174505251 478.21/428.80 o 174505250 478.21/428.85 o 174495253 479.02/429.12 o 174495252 479.02/429.16 o 174495251 479.02/429.19 o 174495250 479.10/429.24 o 174495053 479.10/429.27 o 174495052 479.20/429.30 o 174495051 479.20/429.33 o 174495050 479.20/429.37 o 173505253 479.20/429.39 o 173505252 479.30/429.43 o 173505251 479.30/429.45 o 173505250 479.30/429.49 o 173495253 479.40/429.52 o 173495252 479.40/429.55 o 173495251 479.40/429.57 o 173495250 479.50/429.63 o 173495153 479.50/429.66 o 173495152 479.50/429.69 o 173495151 479.60/429.71 o 173495150 480.01/430.20 o 173495053 480.10/430.22 o 173495052 480.10/430.24 o 173494953 480.10/430.26 o 173494952 480.20/430.33 o 173494951 480.20/430.39 o 173494950 480.30/430.49 o 172505253 480.40/430.53 o 172505153 480.40/430.58 o 172505152 480.50/430.68 o 172505151 480.60/430.70 o 172505150 480.60/430.75 o 172495253 480.60/430.77 o 172495252 480.70/430.80 o 172495153 480.70/430.82 o 172495152 480.80/430.90 o 172495151 480.80/430.98 o 172495150 481.10/431.25 o 172495053 481.10/431.27 o 172495052 481.10/431.29 o 172494953 481.20/431.32 o 172494952 481.30/431.44 o 172494951 481.40/431.58 o 172494950 481.70/431.88 o 172494853 481.80/431.99 o 172494852 482.02/432.15 o 172494851 482.11/432.27 o 172494850 482.71/432.84 o 172485253 482.71/432.87 o 172485153 482.81/432.97 o 172485152 482.92/433.09 o 172485151 483.02/433.12 o 172485150 483.02/433.17 o 172485053 483.02/433.19 o 172485052 483.11/433.21 o 172485051 483.11/433.24 o 172485050 483.21/433.37 o 172475253 483.21/433.39 o 172475252 483.31/433.45 o 172475153 483.41/433.50 o 172475152 483.41/433.57 o 172475151 483.41/433.59 o 172475150 483.51/433.69 o 172475053 483.61/433.77 o 172475052 483.71/433.84 o 172475051 483.81/433.91 o 172475050 483.92/434.08 o 172474953 483.92/434.10 o 172474952 484.02/434.13 o 172474853 484.02/434.15 o 172474852 484.02/434.18 o 172474851 484.11/434.21 o 172474850 485.72/435.85 o 172474849 485.82/435.96 o 172474848 485.92/436.07 o 172474751 485.92/436.09 o 172474750 486.02/436.12 o 172474749 486.02/436.15 o 172474748 486.62/436.71 o 171515150 486.62/436.74 o 171505150 486.62/436.77 o 171505149 486.62/436.79 o 171505148 486.72/436.81 o 171505050 486.72/436.83 o 171505049 486.72/436.85 o 171505048 486.72/436.88 o 171505047 486.82/436.91 o 171504950 486.82/436.93 o 171504949 486.82/436.95 o 171504948 486.82/436.98 o 171504947 486.92/437.01 o 171495150 486.92/437.03 o 171495050 486.92/437.05 o 171495049 486.92/437.07 o 171495048 486.92/437.09 o 171494950 487.03/437.11 o 171494949 487.03/437.14 o 171494948 487.03/437.17 o 170505150 487.03/437.19 o 170505149 487.12/437.21 o 170505148 487.12/437.23 o 170505050 487.12/437.25 o 170505049 487.12/437.27 o 170505048 487.22/437.30 o 170504950 487.22/437.32 o 170504949 487.22/437.34 o 170504948 487.22/437.37 o 170495150 487.22/437.39 o 170495149 487.32/437.41 o 170495148 487.32/437.43 o 170495050 487.32/437.46 o 170495049 487.32/437.48 o 170495048 487.42/437.50 o 170494950 487.42/437.52 o 170494949 487.42/437.54 o 170494948 487.42/437.57 o 170494947 487.52/437.66 o 170494850 487.52/437.69 o 170494849 487.62/437.71 o 170494848 487.62/437.73 o 170494750 487.62/437.75 o 170494749 487.62/437.77 o 170494748 487.99/438.04 o 169524749 487.99/438.05 o 169524748 487.99/438.07 o 169524747 488.88/438.41 o 169514747 488.88/438.42 o 169514647 488.88/438.43 o 169514547 488.99/438.54 o 169514546 488.99/438.57 o 169514545 489.10/438.61 o 168514547 489.10/438.62 o 168514546 489.10/438.63 o 168514545 489.21/438.72 o 168504547 489.21/438.73 o 168504546 489.21/438.75 o 168504545 489.31/438.85 o 168504544 489.52/439.08 o 168504446 489.62/439.12 o 168504445 489.62/439.16 o 168504444 490.01/439.57 o 168494444 490.11/439.69 o 165494444 490.21/439.70 o 165484444 490.41/439.90 o 164494443 490.41/439.91 o 164484443 491.67/441.11 o 163504443 492.27/441.79 o 162504443 494.68/444.13 o 162504442 494.68/444.15 o 161504542 495.78/445.23 o 161484542 496.18/445.60 o 161474644 496.18/445.64 o 161474544 496.18/445.67 o 161474444 496.28/445.70 o 161464644 496.28/445.73 o 161464544 496.28/445.76 o 161464444 496.38/445.80 o 161464443 496.38/445.83 o 161464442 496.38/445.87 o 161464441 496.78/446.24 o 161464344 496.78/446.27 o 161464343 496.88/446.30 o 161464342 496.88/446.34 o 161464341 496.88/446.39 o 161464340 497.38/446.89 o 160464644 497.48/446.92 o 160464544 497.48/446.96 o 160464543 497.48/446.99 o 160464542 497.59/447.03 o 160464541 497.59/447.07 o 160464444 497.59/447.10 o 160464443 497.69/447.13 o 160464442 497.69/447.16 o 160464441 497.78/447.21 o 160464344 497.78/447.24 o 160464343 497.78/447.27 o 160464342 497.88/447.30 o 160464341 497.88/447.35 o 160454644 497.88/447.39 o 160454643 497.98/447.42 o 160454642 497.98/447.45 o 160454641 497.98/447.49 o 160454544 498.08/447.52 o 160454543 498.08/447.56 o 160454542 498.08/447.59 o 160454541 498.18/447.62 o 160454444 498.18/447.65 o 160454443 498.18/447.68 o 160454442 498.98/447.96 o 160454441 498.98/447.99 o 160454344 499.09/448.02 o 160454343 499.09/448.05 o 160454342 499.09/448.09 o 160454341 499.19/448.18 o 160454340 501.19/450.00 o 160454338 501.30/450.04 o 159454340 501.30/450.06 o 159454338 501.30/450.09 o 158454338 501.40/450.15 o 157454338 501.49/450.20 o 157454337 501.49/450.24 o 156454337 503.59/452.31 o 156444943 503.69/452.44 o 156444843 503.79/452.52 o 156444743 503.89/452.62 o 156444643 504.19/452.98 o 156444641 504.40/453.11 o 156444640 505.30/453.51 o 156444639 505.41/453.65 o 156444638 505.82/454.05 o 155524941 505.92/454.12 o 155524841 505.92/454.17 o 155514941 506.01/454.24 o 155514841 506.01/454.29 o 155504941 506.11/454.36 o 155504841 506.21/454.44 o 155504839 506.31/454.52 o 155504838 506.31/454.59 o 155504837 506.41/454.65 o 155494941 506.51/454.72 o 155494841 506.51/454.80 o 155494840 506.61/454.87 o 155494839 506.71/454.94 o 155494838 506.82/455.02 o 155494837 506.82/455.07 o 155484941 506.92/455.12 o 155484940 507.01/455.20 o 155484841 507.01/455.27 o 155484840 507.11/455.34 o 155484839 507.21/455.41 o 155484838 507.21/455.48 o 155484837 507.31/455.54 o 155474941 507.41/455.61 o 155474841 507.41/455.69 o 155474839 507.51/455.77 o 155474838 507.61/455.85 o 155474837 507.71/455.93 o 155474741 507.82/456.01 o 155474739 507.82/456.09 o 155474738 507.92/456.17 o 155474737 508.01/456.26 o 155474641 508.11/456.34 o 155474639 508.21/456.42 o 155474638 508.21/456.50 o 155474637 508.31/456.58 o 155474636 508.41/456.66 o 155474541 508.51/456.73 o 155474540 508.61/456.81 o 155474539 508.61/456.88 o 155474538 508.71/456.96 o 155474537 508.82/457.04 o 155474536 508.92/457.11 o 155464941 508.92/457.16 o 155464940 509.01/457.22 o 155464939 509.01/457.27 o 155464938 509.12/457.32 o 155464937 509.12/457.38 o 155464936 509.22/457.46 o 155464841 509.32/457.54 o 155464840 509.42/457.61 o 155464839 509.42/457.68 o 155464838 509.52/457.76 o 155464837 509.62/457.84 o 155464836 509.72/457.92 o 155464741 509.72/457.99 o 155464740 509.83/458.07 o 155464739 510.61/458.38 o 155464738 510.71/458.45 o 155464737 510.81/458.53 o 155464736 510.91/458.61 o 155464641 510.91/458.68 o 155464640 511.01/458.76 o 155464639 511.11/458.83 o 155464638 511.21/458.90 o 155464637 511.21/458.98 o 155464636 511.51/459.27 o 154464636 511.71/459.42 o 153474637 511.81/459.54 o 153464637 512.01/459.70 o 153454637 512.11/459.87 o 153454537 512.32/460.10 o 153444637 512.51/460.29 o 153444537 512.71/460.47 o 152464537 512.81/460.51 o 152454537 512.91/460.61 o 152444537 513.01/460.72 o 152434537 513.21/460.92 o 152434437 513.32/461.08 o 152424637 513.42/461.11 o 152424537 513.42/461.14 o 152424437 514.36/462.02 o 152414640 514.46/462.11 o 152414639 514.46/462.20 o 152414541 514.55/462.28 o 152414540 514.66/462.37 o 152414539 514.86/462.52 o 152414538 514.96/462.67 o 152404639 515.15/462.81 o 152404638 515.25/462.95 o 152404540 515.36/463.09 o 152404539 515.55/463.22 o 152404538 515.75/463.46 o 152404441 515.85/463.54 o 152404440 515.95/463.64 o 152404439 516.05/463.74 o 152404438 516.15/463.88 o 152404339 516.36/464.01 o 152404338 516.46/464.19 o 152394640 516.66/464.34 o 152394639 521.41/465.75 o 152394541 521.51/465.88 o 152394540 521.61/466.00 o 152394539 521.82/466.14 o 152394440 521.91/466.26 o 152394439 522.11/466.42 o 152394438 522.21/466.52 o 152394339 522.21/466.55 o 152394338 523.33/467.63 o 152394337 523.33/467.66 o 152394336 523.43/467.72 o 152394335 523.43/467.77 o 152394334 523.53/467.84 o 152394333 523.63/467.93 o 152394332 523.73/468.07 o 152394331 523.83/468.15 o 152394330 523.93/468.28 o 152394329 524.53/468.80 o 152394328 524.84/469.13 o 152394327 525.03/469.37 o 152394326 526.23/470.58 o 152394237 527.05/470.88 o 152394236 527.15/470.95 o 152394235 527.26/471.01 o 152394234 527.26/471.07 o 152394233 527.36/471.14 o 152394232 527.45/471.23 o 152394231 527.75/471.54 o 152394230 527.95/471.74 o 152394229 528.15/471.94 o 152394228 528.45/472.23 o 152394227 528.65/472.41 o 152394226 550.22/492.09 o 152384238 555.04/493.52 o 152384138 555.26/493.70 o 152384136 555.46/493.90 o 152374237 555.56/494.08 o 152374137 555.86/494.30 o 152374136 556.16/494.63 o 151394338 556.26/494.71 o 151394337 556.26/494.80 o 151384337 556.46/494.93 o 151384238 556.46/495.00 o 151384237 556.67/495.13 o 151384236 556.86/495.31 o 151384138 556.96/495.43 o 151384137 557.06/495.57 o 151384136 557.26/495.77 o 151374338 557.46/495.90 o 151374337 557.56/496.02 o 151374237 557.66/496.16 o 151374236 557.86/496.32 o 151374138 557.96/496.45 o 151374137 558.06/496.58 o 151374136 558.67/497.15 o 151374135 561.35/499.89 o 151374134 562.26/500.77 o 151374037 563.18/501.16 o 151374036 563.27/501.23 o 151374035 563.47/501.42 o 151374034 563.77/501.72 o 151373937 563.77/501.78 o 151373936 563.87/501.84 o 151373935 564.08/502.01 o 151373934 564.27/502.25 o 151364137 564.37/502.39 o 151364136 564.57/502.53 o 151364037 564.67/502.66 o 151364036 564.87/502.81 o 151364035 564.97/502.97 o 151364034 565.18/503.18 o 151363937 565.38/503.31 o 151363936 565.48/503.47 o 151363935 565.68/503.64 o 151363934 566.58/504.51 o 151363933 566.78/504.78 o 151354037 566.88/504.83 o 151354036 566.98/504.95 o 151353937 567.09/505.03 o 151353936 567.19/505.19 o 151353935 567.38/505.32 o 151353934 567.58/505.55 o 151353933 568.78/506.77 o 151353932 571.19/508.63 o 151353931 572.39/509.84 o 151353930 579.43/516.89 o 150414537 579.64/517.03 o 150414536 579.74/517.18 o 150414436 580.77/517.63 o 150414336 580.97/517.86 o 150414237 581.18/518.04 o 150414236 581.47/518.37 o 150414235 581.77/518.62 o 150414234 581.97/518.81 o 150404536 582.07/518.94 o 150404535 582.28/519.12 o 150404436 582.37/519.29 o 150404435 582.57/519.49 o 150404337 582.77/519.66 o 150404336 582.97/519.84 o 150404335 583.18/520.03 o 150404237 583.28/520.19 o 150404236 583.47/520.36 o 150404235 583.67/520.55 o 150404234 584.07/520.93 o 150394537 584.18/521.04 o 150394536 584.28/521.17 o 150394535 584.47/521.30 o 150394534 584.57/521.44 o 150394436 584.67/521.57 o 150394435 584.77/521.70 o 150394434 585.07/521.90 o 150394337 585.98/522.31 o 150394336 586.08/522.47 o 150394335 586.28/522.64 o 150394334 586.48/522.84 o 150394236 586.58/523.00 o 150394235 586.79/523.16 o 150394234 586.98/523.38 o 150384537 587.18/523.50 o 150384536 587.28/523.60 o 150384535 587.38/523.72 o 150384437 587.48/523.84 o 150384436 587.58/523.94 o 150384435 587.79/524.11 o 150384337 587.88/524.26 o 150384336 588.08/524.42 o 150384335 588.18/524.59 o 150384334 588.38/524.77 o 150384236 588.58/524.92 o 150384235 588.69/525.07 o 150384234 588.98/525.31 o 150374537 589.08/525.41 o 150374536 589.18/525.54 o 150374535 589.28/525.68 o 150374437 589.38/525.79 o 150374436 589.58/525.92 o 150374435 589.69/526.05 o 150374336 589.79/526.16 o 150374335 589.98/526.35 o 150374237 590.08/526.49 o 150374236 591.13/526.91 o 150374235 591.63/527.44 o 149374235 591.63/527.49 o 149364235 591.73/527.53 o 149364234 591.73/527.59 o 149354235 591.83/527.64 o 149344235 591.83/527.69 o 149344234 592.73/528.58 o 149334434 592.84/528.62 o 149334334 592.84/528.67 o 149334333 592.94/528.73 o 149334234 592.94/528.78 o 149334233 593.04/528.86 o 149334134 593.14/528.90 o 149334133 593.14/528.97 o 149334034 593.25/529.01 o 149334033 593.35/529.11 o 149334032 593.44/529.25 o 149324334 593.44/529.29 o 149324234 593.54/529.33 o 149324233 593.54/529.37 o 149324134 593.64/529.41 o 149324133 593.64/529.45 o 149324132 594.84/530.65 o 149324033 594.84/530.67 o 149324032 594.94/530.70 o 149324031 595.35/531.16 o 148364334 595.35/531.19 o 148354334 595.44/531.21 o 148354234 595.44/531.25 o 148354233 595.44/531.28 o 148344334 595.54/531.31 o 148344234 595.54/531.35 o 148344233 595.54/531.38 o 148344134 595.64/531.41 o 148344034 595.64/531.43 o 148344033 595.64/531.46 o 148344032 595.74/531.52 o 148343933 595.74/531.55 o 148343932 595.74/531.58 o 148343931 595.84/531.64 o 148334434 596.69/531.92 o 148334334 596.69/531.96 o 148334234 596.69/531.99 o 148334134 596.80/532.03 o 148334133 596.80/532.07 o 148334132 596.90/532.11 o 148334033 596.90/532.14 o 148334032 596.90/532.18 o 148334031 596.99/532.26 o 148333933 596.99/532.28 o 148333932 597.09/532.34 o 148333931 597.19/532.45 o 148324534 597.19/532.48 o 148324434 597.29/532.52 o 148324334 597.29/532.56 o 148324333 597.39/532.61 o 148324234 597.39/532.63 o 148324134 597.39/532.66 o 148324133 597.39/532.69 o 148324132 597.49/532.75 o 148324033 597.49/532.78 o 148324032 597.59/532.80 o 148324031 600.00/535.21 o 147344331 600.00/535.26 o 147334331 600.10/535.30 o 147334231 600.10/535.34 o 147334230 600.20/535.41 o 147334131 600.20/535.45 o 147334130 623.20/557.39 o 147324232 623.30/557.43 o 147324231 623.30/557.46 o 147324131 623.30/557.48 o 147324130 623.40/557.52 o 147324031 623.40/557.55 o 147314132 623.40/557.59 o 147314031 623.50/557.63 o 147314030 627.03/560.60 o 146333930 627.03/560.65 o 146323930 627.13/560.72 o 146323830 627.23/560.82 o 145334030 627.23/560.88 o 145334029 627.33/560.92 o 145324030 631.77/564.80 o 145323931 631.77/564.84 o 145323930 631.77/564.89 o 145313931 631.87/564.92 o 145313930 631.87/564.98 o 145313929 631.98/565.04 o 145313830 631.98/565.07 o 145313829 632.08/565.12 o 145313828 632.38/565.41 o 145313729 632.38/565.47 o 145313728 632.48/565.54 o 145303729 632.48/565.59 o 145303728 632.58/565.67 o 144323729 632.68/565.72 o 144313729 632.68/565.78 o 144303729 632.88/565.93 o 144303728 633.09/566.14 o 144303629 633.09/566.18 o 144303628 633.29/566.33 o 144303627 633.39/566.47 o 144303626 633.49/566.52 o 144303625 633.79/566.85 o 143313729 633.89/566.90 o 143313728 633.89/566.97 o 143313629 634.00/567.02 o 143313628 644.21/576.72 o 143313627 644.21/576.76 o 143313626 644.31/576.83 o 143313530 644.31/576.88 o 143313529 644.41/576.93 o 143313528 644.41/576.98 o 143313527 644.52/577.03 o 143313526 649.26/581.21 o 143313435 649.36/581.38 o 143313434 649.66/581.63 o 143313433 650.26/582.27 o 143303736 650.47/582.40 o 143303735 650.57/582.58 o 143303734 650.77/582.75 o 143303733 651.08/583.06 o 143303636 651.27/583.21 o 143303635 651.57/583.50 o 143303634 651.87/583.81 o 143303633 652.37/584.36 o 143303535 652.57/584.50 o 143303534 652.78/584.80 o 143303533 653.28/585.27 o 143303435 653.48/585.43 o 143303434 653.78/585.79 o 143303433 655.61/586.80 o 143303432 655.71/586.96 o 143303431 661.83/593.10 o 143303430 662.22/593.49 o 143303336 662.32/593.52 o 143303335 662.42/593.65 o 143303334 662.52/593.78 o 143303333 662.72/593.99 o 143303332 662.93/594.19 o 143303331 663.12/594.36 o 143303330 663.86/595.06 o 142363838 664.67/595.35 o 142353838 664.77/595.44 o 142343839 664.77/595.50 o 142343838 664.87/595.59 o 142343738 665.08/595.70 o 142343737 665.18/595.81 o 142333739 665.28/595.90 o 142333738 665.28/596.00 o 142333737 665.49/596.11 o 142323739 665.58/596.20 o 142323738 665.58/596.29 o 142323737 665.78/596.43 o 142323736 665.88/596.59 o 142323735 666.08/596.74 o 142323734 666.28/596.93 o 142323733 666.39/597.10 o 142323732 666.58/597.26 o 142323731 666.88/597.50 o 142323639 666.88/597.59 o 142323638 666.98/597.69 o 142323637 667.18/597.84 o 142323636 667.28/598.00 o 142323635 667.49/598.16 o 142323634 667.68/598.32 o 142323633 667.78/598.49 o 142323632 667.98/598.63 o 142323631 668.18/598.88 o 141353836 668.28/598.97 o 141353835 668.39/599.08 o 141353834 668.58/599.22 o 141353833 668.68/599.40 o 141353832 669.60/599.79 o 141353831 669.91/600.02 o 141343839 670.01/600.17 o 141343838 670.20/600.30 o 141343837 670.30/600.47 o 141343836 670.50/600.62 o 141343835 670.60/600.78 o 141343834 677.15/607.28 o 141343733 677.25/607.33 o 141343633 677.85/607.94 o 141343632 677.96/608.04 o 141333633 678.06/608.15 o 141333632 678.25/608.34 o 141333631 681.90/611.45 o 140343831 682.00/611.50 o 140343731 682.00/611.55 o 140343631 682.10/611.60 o 140343531 682.40/611.92 o 140343431 682.40/612.00 o 140343331 682.80/612.34 o 140333534 682.90/612.42 o 140333434 683.10/612.68 o 140333334 683.30/612.84 o 140333234 683.51/613.08 o 140333233 683.80/613.33 o 140333232 683.90/613.48 o 140333133 684.10/613.63 o 140333132 684.20/613.73 o 139373433 684.30/613.80 o 139363433 685.76/614.32 o 139363432 685.86/614.42 o 139363333 685.96/614.53 o 139363233 686.06/614.64 o 139363232 686.16/614.73 o 139353433 686.26/614.81 o 139353432 686.36/614.90 o 139353333 686.36/614.97 o 139353332 686.46/615.10 o 139353233 686.66/615.21 o 139353232 686.76/615.32 o 139353133 686.86/615.43 o 139353132 686.96/615.51 o 139343433 686.96/615.59 o 139343333 687.06/615.69 o 139343233 687.26/615.81 o 139343133 687.36/615.94 o 139343132 687.47/616.03 o 139333433 687.57/616.11 o 139333333 687.66/616.20 o 139333233 687.76/616.30 o 139333232 687.86/616.41 o 139333133 687.96/616.52 o 139333132 688.16/616.79 o 138373433 688.26/616.86 o 138363433 688.36/616.95 o 138363333 688.47/617.04 o 138363233 688.57/617.16 o 138363133 688.66/617.26 o 138353433 688.76/617.34 o 138353333 688.86/617.43 o 138353233 688.96/617.54 o 138353133 689.06/617.64 o 138343433 689.16/617.73 o 138343333 689.26/617.83 o 138343233 689.36/617.94 o 138343133 689.47/618.05 o 138333433 689.57/618.16 o 138333333 689.66/618.26 o 138333233 689.76/618.38 o 138333133 690.06/618.64 o 138333132 691.00/619.08 o 138333033 691.19/619.22 o 138332933 691.39/619.41 o 138332932 691.59/619.63 o 138332930 691.89/619.94 o 138332830 692.00/620.09 o 137373430 692.10/620.17 o 137363430 692.19/620.25 o 137363230 692.29/620.33 o 137353430 692.39/620.40 o 137353230 692.39/620.48 o 137353130 692.49/620.57 o 137353030 692.59/620.67 o 137343430 692.69/620.75 o 137343330 692.79/620.82 o 137343230 692.89/620.90 o 137343130 692.89/620.99 o 137343030 693.10/621.14 o 137342930 693.19/621.28 o 137333430 693.29/621.35 o 137333330 693.39/621.42 o 137333230 693.49/621.51 o 137333130 693.49/621.59 o 137333030 693.70/621.74 o 137332930 694.11/622.12 o 136333030 699.45/626.92 o 136323430 699.45/627.01 o 136323330 699.56/627.10 o 136323230 699.66/627.19 o 136323229 699.85/627.31 o 136313430 699.95/627.42 o 136313429 700.05/627.51 o 136313330 700.15/627.61 o 136313329 700.25/627.70 o 136313230 700.25/627.79 o 136313229 700.46/627.92 o 136313228 700.56/628.10 o 136303430 700.76/628.21 o 136303429 700.86/628.32 o 136303330 701.70/628.68 o 136303329 701.80/628.77 o 136303230 701.90/628.86 o 136303229 702.00/628.96 o 136303228 703.43/630.38 o 136293731 703.52/630.48 o 136293631 703.62/630.59 o 136293531 703.72/630.69 o 136293530 703.92/630.81 o 136293529 704.02/630.93 o 136293431 704.13/631.03 o 136293430 704.23/631.14 o 136293429 704.32/631.26 o 136293331 704.42/631.37 o 136293330 704.52/631.48 o 136293329 704.72/631.61 o 136293328 705.86/632.70 o 136293327 705.96/632.84 o 136293326 705.96/632.89 o 136293325 706.06/632.96 o 136293324 708.90/635.26 o 136293225 709.10/635.40 o 136293224 709.20/635.51 o 135323527 709.20/635.53 o 135323427 715.70/641.43 o 135323426 715.70/641.49 o 135313527 715.80/641.55 o 135313526 715.90/641.60 o 135313427 715.90/641.66 o 135313426 717.20/642.96 o 135313330 717.31/643.03 o 135313329 717.31/643.09 o 135313229 717.41/643.16 o 135313228 717.50/643.23 o 135313227 717.60/643.30 o 135313226 717.70/643.46 o 135313225 719.15/644.36 o 135313224 719.25/644.49 o 135313223 719.55/644.77 o 135303530 719.65/644.83 o 135303529 719.75/644.94 o 134313730 719.75/644.97 o 134313729 719.75/645.00 o 134313630 719.86/645.03 o 134313629 719.86/645.05 o 134313530 719.86/645.09 o 134313529 720.05/645.27 o 134303729 720.15/645.38 o 134303529 721.25/646.49 o 134303429 722.45/647.65 o 134293429 722.55/647.79 o 133293429 724.69/649.35 o 133293229 727.80/652.46 o 133283439 727.90/652.52 o 133283437 727.90/652.58 o 133283436 728.10/652.79 o 133283337 728.30/652.91 o 133283336 728.70/653.32 o 133283335 729.91/654.58 o 133283334 731.27/655.25 o 133283333 731.77/655.79 o 133283332 732.18/656.14 o 133283331 732.47/656.49 o 133283235 732.57/656.56 o 133283234 732.77/656.70 o 133283233 733.08/657.09 o 133283232 733.27/657.23 o 133283231 733.67/657.66 o 132333338 733.77/657.71 o 132333337 733.77/657.80 o 132333336 733.87/657.84 o 132333236 733.87/657.88 o 132333235 733.97/657.99 o 132333234 734.27/658.21 o 132333233 734.47/658.44 o 132323338 734.67/658.61 o 132323337 734.87/658.81 o 132323236 735.08/659.03 o 132323235 735.27/659.23 o 132323234 735.47/659.44 o 132323233 735.67/659.66 o 132323232 736.71/660.11 o 132323231 736.90/660.32 o 132313338 737.00/660.43 o 132313337 737.20/660.62 o 132313336 737.40/660.84 o 132313335 737.50/661.01 o 132313334 737.71/661.17 o 132313333 738.00/661.40 o 132313236 738.10/661.54 o 132313235 738.30/661.70 o 132313234 738.40/661.87 o 132313233 738.61/662.01 o 132313232 738.71/662.16 o 132313231 739.00/662.49 o 132303437 739.20/662.65 o 132303436 739.40/662.83 o 132303435 739.61/663.01 o 132303434 739.80/663.21 o 132303433 740.00/663.48 o 132303432 740.20/663.65 o 132303431 740.40/663.89 o 132303335 740.61/664.07 o 132303334 740.80/664.24 o 132303333 741.82/664.71 o 132303332 741.92/664.88 o 132303331 742.23/665.13 o 132303235 742.23/665.17 o 132303234 742.32/665.27 o 132303233 742.52/665.44 o 132303232 742.62/665.59 o 132303231 742.92/665.89 o 132293338 743.13/666.03 o 132293337 743.23/666.16 o 132293336 743.42/666.36 o 132293335 743.62/666.55 o 132293334 743.83/666.73 o 132293333 744.14/667.01 o 132293235 744.24/667.14 o 132293234 744.33/667.27 o 132293233 744.53/667.43 o 132293232 744.63/667.54 o 132293231 745.03/667.92 o 132283439 745.14/668.02 o 132283438 745.24/668.15 o 132283437 745.43/668.33 o 132283436 745.63/668.53 o 132283435 745.73/668.66 o 132283434 746.86/669.21 o 132283433 746.96/669.38 o 132283432 747.16/669.58 o 132283336 747.36/669.70 o 132283335 747.46/669.82 o 132283334 747.56/669.98 o 132283333 747.67/670.10 o 132283332 748.06/670.45 o 132283331 748.36/670.72 o 132283236 748.46/670.89 o 132283235 748.67/671.07 o 132283234 748.86/671.28 o 132283233 749.86/672.28 o 132282735 750.06/672.42 o 132282635 750.86/673.22 o 132282535 760.31/681.36 o 132272535 762.02/683.04 o 132272534 762.31/683.33 o 132272533 762.51/683.58 o 132272434 762.71/683.71 o 132272433 763.67/684.11 o 132262434 763.76/684.25 o 132262433 764.16/684.66 o 132262432 764.36/684.82 o 132262431 764.46/684.97 o 132262332 764.57/685.09 o 132262331 764.76/685.22 o 132252332 764.86/685.35 o 132252331 765.16/685.64 o 132252232 765.47/685.80 o 132252231 770.19/690.03 o 132242430 770.49/690.31 o 132242330 778.13/697.42 o 132232530 778.43/697.71 o 132232430 779.58/698.31 o 132232330 779.78/698.57 o 132222430 780.08/698.88 o 132222330 807.92/725.33 o 132222230 807.92/725.39 o 132222131 811.75/728.66 o 131242532 811.95/728.89 o 131242432 812.16/729.02 o 131232532 812.35/729.25 o 131232432 812.65/729.52 o 131232332 812.75/729.69 o 131222532 812.95/729.82 o 131222432 813.16/730.07 o 131222332 813.45/730.39 o 131222331 813.85/730.78 o 131222231 814.05/730.95 o 131212431 814.16/731.10 o 131212331 814.45/731.37 o 131212231 814.75/731.63 o 131202431 814.95/731.87 o 131202331 815.26/732.13 o 131202231 818.30/734.64 o 130232532 818.40/734.76 o 129232532 818.50/734.87 o 129222532 818.60/735.00 o 129222432 818.91/735.28 o 129222332 819.31/735.60 o 129212532 819.41/735.71 o 129212432 819.61/735.94 o 129212332 820.21/736.57 o 129212331 820.41/736.72 o 129202431 820.51/736.87 o 129202331 820.82/737.16 o 129202231 824.15/739.94 o 129202230 826.66/742.42 o 129202229 827.16/742.98 o 129202131 827.46/743.22 o 129202130 828.57/744.38 o 128242632 828.77/744.56 o 128242532 828.97/744.73 o 128232632 829.17/744.90 o 128232532 829.28/745.08 o 128222632 829.47/745.25 o 128222532 829.67/745.42 o 128222531 830.61/745.84 o 128222431 830.71/745.99 o 128212531 831.31/746.50 o 128212431 833.11/748.39 o 127242536 833.31/748.53 o 127242535 833.42/748.67 o 127232536 833.52/748.79 o 127232535 833.93/749.11 o 127232534 834.22/749.46 o 127232533 834.42/749.64 o 127232532 835.02/750.23 o 127232531 845.44/759.32 o 126242532 845.54/759.43 o 126242531 845.64/759.54 o 126242432 845.74/759.63 o 126242431 846.04/759.90 o 126242430 846.04/760.00 o 126242429 846.94/760.80 o 126232532 846.94/760.88 o 126232432 847.04/760.98 o 126232431 847.15/761.09 o 126232430 847.25/761.18 o 126232429 847.64/761.53 o 126232331 847.74/761.61 o 126232330 847.94/761.83 o 126232329 848.15/762.03 o 126222630 848.25/762.11 o 126222530 848.94/762.86 o 126222529 849.04/762.95 o 126222429 849.15/763.04 o 126212630 849.94/763.39 o 126212530 850.19/763.53 o 126212529 850.39/763.70 o 126212430 850.39/763.79 o 126212429 853.51/766.87 o 126212428 854.11/767.43 o 125222428 854.31/767.68 o 125222329 854.51/767.80 o 125222328 854.61/767.93 o 125222327 854.72/768.08 o 125222326 855.67/768.48 o 125212629 855.77/768.59 o 125212529 855.97/768.74 o 125212528 856.07/768.87 o 125212429 856.17/768.98 o 125212428 856.38/769.14 o 125212427 856.47/769.27 o 125212329 856.57/769.37 o 125212328 856.67/769.48 o 125212327 856.77/769.59 o 125212326 880.19/791.28 o 124232526 880.39/791.50 o 124222526 880.69/791.72 o 124222525 880.89/791.91 o 124222524 881.10/792.14 o 124212527 881.29/792.37 o 124212526 881.49/792.55 o 124212525 881.79/792.81 o 124212427 881.89/792.96 o 124212426 882.10/793.13 o 124212425 888.45/798.97 o 124212424 888.56/799.09 o 124212423 888.75/799.22 o 124212422 889.35/799.88 o 124212325 889.45/799.97 o 124212324 889.56/800.07 o 124212323 889.66/800.18 o 124212322 891.41/801.38 o 123222323 891.51/801.47 o 123222322 891.61/801.56 o 123222223 891.71/801.64 o 123222222 891.81/801.73 o 123222123 891.91/801.82 o 123222122 892.01/801.98 o 123222121 892.31/802.25 o 123212323 892.41/802.34 o 123212223 892.51/802.43 o 123212222 892.61/802.53 o 123212123 892.71/802.61 o 123212122 892.91/802.80 o 123212121 893.22/803.17 o 123212120 893.41/803.39 o 123212020 893.61/803.53 o 123212019 893.81/803.72 o 123212018 898.45/807.87 o 123212017 902.59/811.48 o 123212016 907.10/815.92 o 122282428 907.21/816.04 o 122272428 907.31/816.18 o 122272427 907.50/816.33 o 122272426 907.80/816.62 o 122262428 907.90/816.72 o 122262427 908.00/816.88 o 122262426 909.35/817.52 o 122262425 909.55/817.79 o 122262424 909.96/818.12 o 122252428 910.05/818.26 o 122252427 910.35/818.51 o 122252426 910.55/818.75 o 122252425 910.86/819.01 o 122252424 911.15/819.31 o 122252423 911.45/819.64 o 122242428 911.55/819.71 o 122242427 911.75/819.96 o 122242426 912.05/820.20 o 122242425 912.25/820.49 o 122242424 912.55/820.77 o 122242423 912.86/821.07 o 122242328 913.15/821.30 o 122242327 913.35/821.55 o 122242326 913.65/821.80 o 122242325 913.86/822.09 o 122242324 914.98/822.61 o 122242323 915.28/822.96 o 122242227 915.39/823.03 o 122242226 915.58/823.25 o 122242225 915.78/823.46 o 122242224 916.08/823.73 o 122242223 916.39/824.01 o 122242222 916.68/824.38 o 122232428 916.88/824.58 o 122232427 917.18/824.82 o 122232328 917.39/825.03 o 122232327 917.58/825.28 o 122232326 917.88/825.53 o 122232325 918.08/825.78 o 122232324 918.39/826.05 o 122232323 918.78/826.40 o 122232228 918.98/826.62 o 122232227 919.18/826.84 o 122232226 919.39/827.08 o 122232225 920.42/827.59 o 122232224 920.72/827.86 o 122232223 921.03/828.12 o 122232222 921.42/828.60 o 122232221 921.82/829.00 o 122232129 922.12/829.21 o 122232128 922.42/829.51 o 122232127 922.82/829.93 o 122232126 923.22/830.30 o 122232125 923.62/830.73 o 122232124 924.03/831.17 o 122232123 924.42/831.58 o 122232028 924.52/831.63 o 122232027 924.52/831.70 o 122232026 925.03/832.13 o 122232025 926.79/833.35 o 121262026 926.99/833.51 o 121261926 927.09/833.68 o 121252026 927.29/833.85 o 121251926 927.50/834.02 o 121251925 930.19/836.74 o 121242026 930.39/836.99 o 121242025 930.79/837.34 o 121241925 933.63/839.63 o 121232025 933.73/839.79 o 121231925 935.27/841.26 o 121231923 939.76/845.19 o 121231921 940.45/845.87 o 120252324 940.66/846.05 o 120252323 940.95/846.30 o 120242324 941.05/846.48 o 120242323 941.35/846.72 o 120242224 941.55/846.90 o 120242223 941.76/847.18 o 120242222 942.05/847.45 o 120242221 942.35/847.71 o 120232325 942.55/847.91 o 120232324 942.76/848.13 o 120232225 942.85/848.29 o 120232224 943.15/848.51 o 120232223 944.08/848.99 o 120232222 944.38/849.27 o 120232221 944.68/849.55 o 120222324 944.88/849.74 o 120222323 945.08/849.96 o 120222224 945.29/850.11 o 120222223 945.48/850.34 o 120222222 945.78/850.65 o 120222221 946.08/850.94 o 120212325 946.29/851.13 o 120212324 946.48/851.33 o 120212225 946.68/851.51 o 120212224 946.88/851.76 o 120212223 947.08/851.97 o 120212222 948.38/853.28 o 120212125 948.58/853.47 o 120212124 948.78/853.66 o 120212123 949.84/854.15 o 120212122 950.13/854.46 o 119252323 950.33/854.66 o 119252223 950.53/854.85 o 119252222 950.74/855.07 o 119242323 950.93/855.25 o 119242223 951.13/855.44 o 119242222 951.33/855.67 o 119242221 951.53/855.89 o 119232323 951.74/856.07 o 119232223 951.93/856.27 o 119232222 952.13/856.49 o 119232221 952.43/856.75 o 119222323 952.63/856.95 o 119222223 952.84/857.15 o 119222222 953.03/857.36 o 119222221 953.33/857.60 o 119212325 953.43/857.78 o 119212324 953.63/857.96 o 119212225 953.84/858.14 o 119212224 954.03/858.33 o 119212223 954.23/858.52 o 119212222 955.39/859.17 o 119212221 961.62/864.88 o 119212124 961.83/865.06 o 119212024 962.02/865.25 o 119212023 962.22/865.42 o 119212022 962.42/865.63 o 119212021 969.15/871.79 o 119212020 980.34/881.85 o 119212019 989.49/890.40 o 119211919 990.20/891.15 o 119202126 990.39/891.30 o 119202125 991.39/892.37 o 119202026 991.59/892.51 o 119202025 992.20/893.17 o 119202024 992.69/893.66 o 119202023 993.49/894.47 o 119202022 997.38/897.67 o 119201928 997.58/897.82 o 119201927 997.89/898.12 o 119201926 998.19/898.42 o 119201925 998.49/898.72 o 119201924 998.90/899.19 o 119201923 999.29/899.50 o 119201922 1002.03/901.78 o 119192128 1002.34/902.06 o 119192028 1002.63/902.30 o 119192027 1002.83/902.55 o 119192026 1003.13/902.81 o 119192025 1003.34/903.07 o 119192024 1003.73/903.48 o 119191929 1004.03/903.75 o 119191928 1004.34/904.03 o 119191927 1004.63/904.32 o 119191926 1004.93/904.60 o 119191925 1005.23/904.90 o 119191924 1005.63/905.33 o 119182028 1006.67/905.86 o 119182027 1006.98/906.13 o 119182026 1007.27/906.41 o 119182025 1007.57/906.70 o 119182024 1007.98/907.13 o 119181929 1008.17/907.39 o 119181928 1008.47/907.68 o 119181927 1008.77/907.96 o 119181926 1009.07/908.24 o 119181925 1009.37/908.53 o 119181924 1009.88/909.10 o 119181923 1010.17/909.38 o 119181922 1012.43/911.10 o 119181827 1015.53/914.13 o 119171927 1015.62/914.29 o 118242227 1015.82/914.45 o 118242127 1016.02/914.61 o 118242027 1016.12/914.77 o 118232227 1016.32/914.94 o 118232127 1016.43/915.10 o 118232027 1016.62/915.27 o 118231927 1016.82/915.45 o 118222227 1017.76/915.86 o 118222127 1017.97/916.04 o 118222027 1018.16/916.21 o 118221927 1018.36/916.42 o 118212227 1018.46/916.59 o 118212127 1018.66/916.76 o 118212027 1018.86/916.92 o 118211927 1019.26/917.30 o 118202227 1019.36/917.47 o 118202127 1019.56/917.64 o 118202027 1019.76/917.81 o 118201927 1020.16/918.24 o 118192227 1020.36/918.40 o 118192226 1020.46/918.58 o 118192225 1020.66/918.78 o 118192224 1020.86/918.91 o 118172227 1020.97/919.08 o 118172226 1021.16/919.23 o 118172225 1021.36/919.43 o 118172224 1022.49/920.53 o 118172222 1023.84/921.34 o 118172221 1024.04/921.52 o 117172322 1024.14/921.62 o 117172321 1024.24/921.71 o 117172223 1024.24/921.75 o 117172222 1024.34/921.83 o 117172221 1024.55/922.09 o 117172121 1024.74/922.29 o 117172021 1028.75/926.27 o 117172020 1028.95/926.41 o 117172019 1029.98/926.93 o 117162219 1030.19/927.12 o 117162119 1030.38/927.38 o 117162117 1032.48/929.46 o 117162020 1033.48/930.46 o 117162018 1033.98/930.98 o 117161920 1034.19/931.11 o 117161918 1036.03/932.41 o 117152220 1036.13/932.53 o 117152218 1036.33/932.78 o 117152121 1036.53/932.90 o 117152120 1036.64/933.10 o 117152119 1036.83/933.28 o 117152118 1037.64/934.06 o 117152021 1037.83/934.23 o 117152019 1038.13/934.56 o 117151921 1038.33/934.73 o 117151919 1043.09/938.92 o 117151918 1043.30/939.14 o 117151820 1043.39/939.22 o 117151818 1043.49/939.32 o 117151720 1043.49/939.39 o 117151718 1043.89/939.72 o 117151622 1044.20/940.02 o 117151621 1044.59/940.47 o 117151620 1044.80/940.67 o 117151522 1045.00/940.80 o 117151521 1045.21/941.01 o 117151520 1045.40/941.27 o 117141822 1045.60/941.45 o 117141722 1045.80/941.65 o 117141622 1046.00/941.87 o 117141621 1046.21/942.06 o 117141522 1046.40/942.27 o 117141521 1047.65/942.92 o 117141520 1047.76/943.10 o 117141519 1048.15/943.46 o 117141518 1048.45/943.77 o 117131822 1048.65/943.91 o 117131821 1048.76/944.06 o 117131722 1048.86/944.19 o 117131721 1049.15/944.41 o 117131622 1049.25/944.59 o 117131621 1049.45/944.80 o 117131522 1049.65/944.96 o 117131521 1049.95/945.24 o 117131520 1050.15/945.48 o 117131519 1051.25/946.54 o 117131518 1051.35/946.62 o 117131517 1051.45/946.77 o 117121519 1051.55/946.87 o 117121518 1051.65/946.96 o 116141518 1051.76/947.04 o 116131518 1051.86/947.12 o 116131517 1051.95/947.28 o 116131516 1054.00/948.76 o 116131418 1054.10/948.86 o 116131417 1054.50/949.21 o 116131416 1060.38/954.45 o 116131326 1060.68/954.71 o 116131325 1065.61/959.17 o 115141426 1065.80/959.31 o 115141326 1065.90/959.44 o 115141325 1066.40/959.95 o 115131426 1066.51/960.10 o 115131326 1066.70/960.27 o 115131325 1067.82/961.37 o 115121325 1068.02/961.59 o 114131325 1068.22/961.77 o 113131325 1068.42/961.97 o 113121325 1095.50/987.95 o 113121324 1095.80/988.25 o 113121323 1096.30/988.74 o 113121322 1096.61/989.09 o 113121224 1097.00/989.44 o 113121223 1098.26/990.14 o 113121222 1102.36/994.23 o 113121221 1110.17/1000.96 o 113121123 1110.47/1001.24 o 113121122 1110.87/1001.67 o 113121121 1111.97/1002.71 o 113121120 1112.77/1003.56 o 113121119 1117.94/1008.16 o 113121118 1119.33/1009.55 o 113121117 1138.43/1026.94 o 112161316 1138.83/1027.30 o 112151316 1139.23/1027.71 o 112141316 1139.64/1028.12 o 112141315 1140.03/1028.56 o 112141216 1141.19/1029.16 o 112141215 1141.88/1029.87 o 112131316 1142.28/1030.23 o 112131315 1142.68/1030.64 o 112131216 1142.98/1030.96 o 112131215 1145.68/1033.61 o 112131214 1146.09/1034.05 o 112131213 1147.33/1034.78 o 112131212 1151.75/1039.13 o 112121416 1152.14/1039.53 o 112121316 1153.78/1040.66 o 112121315 1154.29/1041.19 o 112121314 1154.48/1041.40 o 112121215 1154.68/1041.57 o 112121214 1155.19/1042.10 o 112111415 1155.38/1042.28 o 112111315 1155.58/1042.48 o 112111215 1157.38/1044.22 o 112111117 1157.48/1044.37 o 112111116 1157.68/1044.56 o 112111115 1158.29/1045.13 o 112101215 1161.64/1047.93 o 112101115 1161.94/1048.25 o 112101114 1162.85/1049.15 o 112091114 1167.60/1053.39 o 112091113 1168.00/1053.70 o 112081413 1168.20/1053.95 o 112081313 1168.50/1054.29 o 111091213 1168.80/1054.53 o 111091113 1169.10/1054.82 o 111081413 1169.31/1055.06 o 111081313 1174.27/1059.46 o 111081312 1174.77/1059.92 o 111081311 1175.27/1060.43 o 111081310 1175.87/1061.02 o 111081309 1176.37/1061.50 o 111081308 1176.98/1062.14 o 111081307 1178.78/1063.25 o 111081306 1179.48/1063.93 o 111081305 1180.08/1064.60 o 111081304 1182.78/1067.26 o 111081303 1184.36/1068.27 o 111081213 1184.86/1068.71 o 111081212 1185.36/1069.28 o 111081211 1185.96/1069.90 o 111081210 1186.56/1070.47 o 111081209 1187.17/1071.01 o 111081208 1187.76/1071.64 o 111081207 1188.36/1072.26 o 111081206 1189.89/1073.16 o 111081205 1190.58/1073.82 o 111081204 1191.28/1074.51 o 111081203 1220.42/1102.10 o 111081202 1222.31/1103.96 o 110091205 1222.52/1104.15 o 110091204 1222.71/1104.33 o 110081204 1222.91/1104.51 o 110081203 1223.11/1104.76 o 110081202 1223.31/1104.97 o 110071205 1223.52/1105.16 o 110061204 1223.71/1105.36 o 110061203 1223.91/1105.54 o 109061204 1224.11/1105.70 o 109061203 1224.31/1105.97 o 109061202 1225.37/1106.43 o 108061205 1225.57/1106.63 o 108061204 1225.77/1106.82 o 108061203 1226.08/1107.18 o 108051304 1226.27/1107.33 o 108051204 1226.37/1107.49 o 108051203 1226.67/1107.70 o 108051202 1239.30/1119.23 o 108051102 1240.70/1120.69 o 108051101 1240.80/1120.79 o 107051102 1240.90/1120.88 o 107051101 1241.11/1121.08 o 107031301 1241.30/1121.24 o 107031201 1241.50/1121.42 o 107031101 1243.24/1122.60 o 106051401 1243.35/1122.78 o 106051301 1243.55/1122.96 o 106031401 1243.65/1123.10 o 106031301 1243.85/1123.27 o 106031201 1244.45/1123.87 o 106031101 1245.25/1124.67 o 106021204 1245.45/1124.88 o 106021203 1245.85/1125.26 o 106021202 1246.25/1125.60 o 106021201 1246.45/1125.82 o 106021103 1246.75/1126.13 o 106021102 1247.05/1126.45 o 106021101 1249.43/1128.24 o 105021302 1249.53/1128.32 o 105021202 1249.53/1128.39 o 105021102 1252.93/1131.76 o 105021101 1254.70/1132.99 o 105021003 1254.91/1133.17 o 105021002 1255.10/1133.35 o 105021001 1255.40/1133.67 o 105011503 1255.60/1133.89 o 105011403 1255.91/1134.12 o 105011303 1256.10/1134.34 o 105011203 1256.30/1134.56 o 105011202 1256.50/1134.73 o 105011201 1256.70/1134.98 o 105011103 1256.91/1135.16 o 105011102 1328.14/1199.65 o 105011002 1333.41/1204.38 o 105001104 1333.71/1204.69 o 105001103 1334.01/1204.99 o 105001102 1335.71/1206.65 o 104051003 1336.01/1206.93 o 104051002 1336.22/1207.19 o 104051001 1336.51/1207.48 o 104041003 1336.81/1207.75 o 104041002 1337.12/1208.01 o 104041001 1338.18/1208.55 o 104031003 1338.48/1208.82 o 104031002 1338.69/1209.08 o 104031001 1338.98/1209.36 o 104021004 1339.28/1209.66 o 104021003 1339.58/1209.95 o 104021002 1340.18/1210.54 o 104020904 1340.48/1210.83 o 104020903 1340.79/1211.12 o 104020902 1348.85/1218.68 o 104020802 1351.42/1220.63 o 104011202 1362.63/1230.75 o 103011503 1364.43/1232.56 o 102011604 1364.63/1232.74 o 102011504 1364.83/1232.94 o 102011503 1371.97/1239.56 o 102011403 1377.35/1244.37 o 102011402 1384.37/1250.70 o 102001606 1384.47/1250.88 o 102001506 1384.68/1251.05 o 102001406 1384.87/1251.23 o 102001404 1385.17/1251.56 o 102001403 1387.23/1253.04 o 102001402 1392.79/1258.05 o 102001401 1404.24/1268.30 o 102001303 1404.34/1268.41 o 102001302 1405.24/1269.35 o 102001301 1435.51/1296.62 o 101011303 1435.71/1296.82 o 101011302 1435.91/1297.08 o 101001302 1436.21/1297.31 o 101001301 1441.47/1302.03 o 100021403 1441.76/1302.37 o 100021402 1442.16/1302.78 o 100021303 1442.47/1303.05 o 100021302 1442.76/1303.39 o 100021301 1446.71/1306.79 o 100021202 1447.32/1307.38 o 100021201 1449.13/1309.19 o 99051202 1449.32/1309.36 o 99041203 1449.52/1309.54 o 99031203 1450.79/1310.27 o 99031103 1451.39/1310.81 o 99031102 1481.94/1338.42 o 99021104 1482.04/1338.53 o 99021103 1534.71/1385.56 o 99021005 1534.81/1385.65 o 99021004 1535.11/1385.95 o 99001005 1547.73/1397.40 o 98991606 1548.23/1398.01 o 98991506 1555.39/1404.50 o 98991406 1556.39/1405.59 o 98991306 1557.09/1406.23 o 98991305 1579.49/1428.03 o 98981307 1579.68/1428.22 o 98981306 1580.64/1428.68 o 98981305 1582.99/1430.95 o 98971405 1583.19/1431.13 o 98971404 1583.28/1431.28 o 98971305 1583.48/1431.42 o 98971304 1595.67/1442.49 o 97961306 1596.17/1442.91 o 97951306 1596.57/1443.37 o 97951305 1598.05/1444.30 o 97951206 1598.55/1444.76 o 97951205 1599.05/1445.24 o 97941306 1599.55/1445.70 o 97941305 1600.05/1446.26 o 97941304 1626.03/1470.47 o 97941303 1626.43/1470.87 o 97931404 1626.74/1471.12 o 97931304 1627.03/1471.43 o 97931303 1630.59/1474.48 o 97931302 1637.17/1480.41 o 96971401 1637.37/1480.66 o 96971301 1637.67/1480.91 o 96971300 1638.07/1481.34 o 96961401 1638.47/1481.70 o 96961400 1638.78/1482.09 o 96961301 1639.17/1482.43 o 96961300 1639.67/1482.92 o 96951401 1639.97/1483.24 o 96951400 1640.37/1483.61 o 96951301 1641.46/1484.19 o 96951300 1641.96/1484.69 o 96941401 1642.26/1484.98 o 96941400 1642.66/1485.35 o 96941301 1642.96/1485.60 o 96941300 1643.56/1486.21 o 96931400 1643.86/1486.57 o 96931300 1648.98/1491.04 o 96931201 1649.27/1491.40 o 96931200 1650.98/1493.10 o 96931199 1653.87/1495.34 o 95941299 1654.07/1495.53 o 95931299 1654.37/1495.83 o 95931199 1655.07/1496.58 o 95931197 1663.71/1504.70 o 94951598 1664.12/1505.05 o 94951498 1666.86/1507.21 o 94951398 1668.16/1508.57 o 94951298 1671.89/1511.78 o 94951198 1673.24/1513.03 o 94951197 1675.83/1515.65 o 94931698 1676.03/1515.87 o 94931598 1676.34/1516.13 o 94931498 1676.63/1516.43 o 94931398 1676.93/1516.73 o 94931298 1678.10/1517.35 o 94931297 1685.58/1524.20 o 94931198 1698.02/1535.33 o 94931111 1698.62/1535.91 o 94931110 1699.51/1536.87 o 94931109 1700.92/1538.26 o 94931108 1702.50/1539.25 o 94931107 1706.10/1542.86 o 94931008 1706.70/1543.46 o 94931007 1708.19/1544.31 o 94931006 1709.39/1545.55 o 94921107 1709.59/1545.73 o 94921007 1710.00/1546.14 o 94921006 1710.49/1546.67 o 94921005 1711.19/1547.39 o 94921004 1711.90/1548.05 o 94920805 1712.09/1548.28 o 94920804 1712.59/1548.77 o 94910904 1712.90/1549.02 o 94910804 1716.43/1552.06 o 94910803 1718.03/1553.62 o 93961417 1718.73/1554.32 o 93951416 1719.44/1555.04 o 93951415 1721.33/1556.12 o 93951414 1722.23/1557.03 o 93951316 1722.92/1557.75 o 93951315 1723.72/1558.52 o 93951314 1724.62/1559.47 o 93951313 1725.62/1560.44 o 93951312 1727.42/1561.62 o 93951311 1728.62/1562.83 o 93951310 1729.72/1564.00 o 93951216 1730.62/1564.85 o 93951215 1732.52/1566.15 o 93951214 1733.52/1567.14 o 93951213 1734.52/1568.19 o 93951212 1735.61/1569.22 o 93951211 1736.61/1570.23 o 93951210 1738.71/1571.78 o 93951115 1739.71/1572.78 o 93951114 1740.61/1573.68 o 93951014 1787.74/1616.27 o 93951013 1788.34/1616.89 o 93951012 1793.49/1621.22 o 93950919 1794.49/1622.22 o 93950918 1796.09/1623.84 o 93950917 1797.69/1625.45 o 93950916 1800.47/1627.50 o 93950915 1802.37/1629.43 o 93950914 1805.04/1631.46 o 93950820 1805.54/1631.97 o 93950819 1806.65/1633.04 o 93950818 1808.04/1634.47 o 93950817 1810.51/1636.38 o 93950816 1812.11/1637.96 o 93950815 1813.71/1639.53 o 93950814 1814.11/1639.96 o 93950813 1814.41/1640.22 o 93950812 1838.15/1661.45 o 93950811 1840.91/1663.62 o 93950810 1853.45/1675.02 o 93940810 1886.82/1705.17 o 93940809 1888.52/1706.90 o 93931419 1888.92/1707.27 o 93931418 1890.64/1708.23 o 93931319 1891.24/1708.80 o 93931318 1891.94/1709.51 o 93931317 1892.84/1710.43 o 93931316 1893.84/1711.49 o 93931219 1894.45/1712.02 o 93931218 1896.19/1713.23 o 93931217 1897.10/1714.15 o 93931216 1898.20/1715.21 o 93931119 1898.90/1715.92 o 93931118 1899.80/1716.89 o 93931117 1900.22/1717.23 o 93921317 1900.32/1717.33 o 93921217 1902.18/1718.68 o 93921117 1904.18/1720.70 o 93921116 1904.69/1721.17 o 93911217 1904.98/1721.49 o 93911216 1907.54/1723.49 o 93911118 1907.94/1723.86 o 93911117 1908.34/1724.26 o 93911116 1908.85/1724.73 o 93901317 1909.16/1725.04 o 93901316 1909.65/1725.57 o 93901218 1909.95/1725.89 o 93901217 1910.45/1726.34 o 93901216 1916.84/1731.93 o 93901211 1917.14/1732.28 o 93901210 1917.54/1732.69 o 93901209 1920.62/1735.15 o 93901208 1922.63/1737.19 o 93901207 1923.82/1738.39 o 93901111 1970.36/1780.58 o 93901011 1970.56/1780.73 o 93901010 1975.33/1784.93 o 93901009 1981.44/1790.47 o 93900917 1981.64/1790.66 o 93900916 1982.34/1791.32 o 93900915 1982.94/1791.97 o 93900914 1983.74/1792.76 o 93900913 1986.16/1794.42 o 93900912 1987.66/1796.00 o 93900911 1989.46/1797.73 o 93891413 1989.77/1798.01 o 93891412 1990.84/1798.59 o 93891313 1991.14/1798.85 o 93891312 1991.74/1799.41 o 93891311 1992.35/1800.09 o 93891310 1993.14/1800.89 o 93891212 1993.95/1801.65 o 93891211 1994.65/1802.32 o 93891210 1996.42/1803.51 o 93891112 1996.62/1803.74 o 93891111 1997.42/1804.52 o 93891110 2038.70/1841.75 o 93891109 2039.11/1842.14 o 93891012 2039.50/1842.56 o 93891011 2040.20/1843.27 o 93891010 2054.56/1855.88 o 93891009 2061.66/1862.39 o 93890909 2079.05/1877.97 o 93890809 2079.95/1878.80 o 93890709 2080.55/1879.42 o 93881109 2080.95/1879.82 o 93881009 2081.35/1880.29 o 93880909 2082.72/1881.07 o 93880809 2088.70/1886.45 o 93880808 2118.43/1913.22 o 93880807 2119.73/1914.53 o 93880708 2120.44/1915.25 o 93880707 2124.11/1918.32 o 93880706 2174.11/1963.36 o 93880606 2175.11/1964.39 o 93871618 2175.71/1964.98 o 93871518 2176.32/1965.56 o 93871517 2177.02/1966.21 o 93871418 2177.62/1966.80 o 93871417 2178.32/1967.54 o 93871416 2180.13/1968.64 o 93871415 2180.93/1969.41 o 93871414 2185.93/1973.84 o 93871316 2186.83/1974.74 o 93871315 2187.93/1975.82 o 93871314 2190.71/1978.06 o 93871313 2192.20/1979.59 o 93871218 2193.00/1980.38 o 93871217 2193.90/1981.21 o 93871216 2195.01/1982.38 o 93871215 2197.29/1984.05 o 93871214 2232.24/2016.76 o 93871213 2237.91/2021.61 o 93871212 2240.21/2023.94 o 93871211 2254.80/2036.74 o 93871210 2259.75/2041.13 o 93861310 2260.34/2041.70 o 93861210 2261.04/2042.43 o 93851310 2261.44/2042.89 o 93851210 2261.94/2043.38 o 93841210 2265.44/2046.28 o 93841209 2279.00/2058.69 o 93841114 2279.70/2059.34 o 93841113 2280.20/2059.81 o 93841112 2280.60/2060.27 o 93841111 2281.10/2060.71 o 93841110 2283.50/2062.51 o 93841109 2284.20/2063.22 o 93841108 2284.50/2063.50 o 92841209 2284.70/2063.78 o 92841109 2285.01/2064.07 o 92841108 2290.10/2068.51 o 92841008 2290.30/2068.75 o 92840908 2316.56/2092.67 o 91881208 2316.86/2092.93 o 91881108 2317.94/2093.48 o 91871108 2318.34/2093.81 o 91871008 2321.35/2096.86 o 91870908 2325.17/2100.05 o 91861208 2325.46/2100.31 o 91861108 2325.96/2100.84 o 91851108 2326.27/2101.17 o 91851008 2326.86/2101.72 o 91850908 2342.86/2115.92 o 91840910 2343.07/2116.11 o 91840810 2343.56/2116.60 o 91840809 2347.73/2120.23 o 91840807 2348.54/2121.10 o 91830807 2370.75/2141.45 o 91820907 2370.84/2141.56 o 91820906 2372.24/2142.33 o 91820807 2372.64/2142.79 o 91820806 2377.99/2147.43 o 91820805 2387.49/2156.37 o 91820804 2411.33/2177.74 o 91800804 2415.13/2181.00 o 91800704 2416.53/2182.35 o 91800703 2439.16/2202.54 o 91790903 2439.96/2203.35 o 90821003 2440.36/2203.74 o 90811003 2484.64/2243.76 o 90811002 2505.92/2262.39 o 90810911 2507.12/2263.50 o 90810910 2508.22/2264.70 o 90810909 2510.58/2266.33 o 90810908 2512.79/2268.53 o 90810907 2516.12/2271.24 o 90810906 2519.03/2274.16 o 90810905 2520.58/2275.06 s SATISFIABLE 2520.58/2275.06 v <instantiation> 2520.58/2275.06 v <list> 2520.58/2275.06 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] 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] 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] 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] 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] 2520.58/2275.06 v </list> 2520.58/2275.06 v <values> 2520.58/2275.06 v 282 44 554 792 30 268 282 44 554 792 254 16 680 442 254 16 442 680 352 114 554 792 30 268 512 750 282 44 128 366 554 792 666 428 456 694 142 380 442 680 540 778 526 764 58 296 484 722 296 58 16 254 380 142 554 792 554 792 296 58 750 512 554 792 778 540 750 512 310 72 442 680 778 540 324 86 778 540 16 254 554 792 554 792 282 44 540 778 324 86 86 324 16 254 44 282 554 792 792 554 456 694 142 380 394 156 792 554 554 792 296 58 484 722 554 792 268 30 254 16 526 764 456 694 764 526 100 338 778 540 652 414 554 792 484 722 736 498 764 526 310 72 778 540 792 554 694 456 456 694 778 540 540 778 666 428 142 380 764 526 282 44 100 338 442 680 792 554 44 282 30 268 778 540 156 394 72 310 764 526 778 540 792 554 498 736 254 16 540 778 58 296 470 708 540 778 310 72 792 554 680 442 778 540 540 778 540 778 114 352 554 792 324 86 666 428 72 310 268 30 324 86 282 44 750 512 778 540 16 254 282 44 414 652 778 540 792 554 30 268 792 554 778 540 380 142 456 694 58 296 142 380 540 778 778 540 778 540 72 310 778 540 540 778 324 86 540 778 428 666 540 778 778 540 296 58 540 778 324 86 694 456 498 736 72 310 44 282 352 114 58 296 792 554 526 764 792 554 72 310 394 156 792 554 100 338 778 540 554 792 352 114 282 44 268 30 736 498 414 652 792 554 652 414 58 296 310 72 366 128 778 540 44 282 540 778 142 380 414 652 764 526 310 72 100 338 30 268 30 268 512 750 442 680 512 750 114 352 778 540 128 366 540 778 142 380 282 44 540 778 778 540 554 792 86 324 778 540 778 540 72 310 526 764 540 778 142 380 30 268 778 540 540 778 442 680 736 498 792 554 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 1000000 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 1000000 0 1000000 0 0 0 0 0 0 1000000 1000000 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 1000000 0 1000000 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 1000000 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 1000000 0 1000000 0 0 0 0 1000000 0 1000000 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 1000000 1000000 0 0 1000000 0 0 1000000 0 0 0 0 0 0 0 1000000 0 0 1000000 0 0 0 0 1000000 0 1000000 0 1000000 0 0 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 1000000 1000000 0 0 0 0 1000000 0 0 0 0 1000000 1000000 0 0 0 0 0 0 1000000 0 1000000 0 0 0 0 0 0 0 1000000 1000000 0 0 0 0 1000000 0 1000000 0 0 1000000 1000000 1000000 1000000 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 1000000 1000000 0 0 0 0 1000000 0 0 1000000 0 1000000 0 1000000 0 0 0 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 1000000 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 1000000 0 0 0 1000000 0 1000000 0 0 1000000 0 0 0 0 0 0 1000000 1000000 1000000 0 0 1000000 1000000 1000000 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 1000000 0 1000000 1000000 0 0 0 0 0 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 1000000 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 10000 0 10000 10000 0 10000 0 0 10000 0 10000 0 10000 0 10000 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 10000 0 0 10000 10000 0 0 0 0 0 10000 10000 0 10000 0 0 0 0 10000 0 0 0 10000 0 0 0 10000 10000 10000 0 10000 10000 0 0 10000 0 10000 10000 10000 10000 0 10000 10000 0 10000 0 0 0 0 0 0 0 0 0 0 0 10000 10000 10000 0 0 0 0 0 0 0 0 10000 10000 0 10000 0 0 0 10000 10000 10000 0 0 0 10000 10000 10000 0 0 0 0 10000 10000 10000 10000 10000 0 0 0 10000 10000 0 0 0 10000 10000 10000 0 0 0 0 10000 0 0 0 0 10000 10000 0 0 0 0 10000 0 10000 0 0 10000 0 0 0 10000 10000 0 10000 10000 0 10000 0 10000 10000 0 10000 10000 10000 0 0 0 0 10000 0 0 0 10000 0 0 0 0 0 10000 10000 0 0 0 0 0 10000 10000 10000 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 0 10000 0 10000 0 0 10000 10000 0 10000 10000 0 10000 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 10000 10000 10000 0 0 10000 0 0 10000 0 0 0 0 10000 10000 0 10000 0 0 0 0 10000 0 0 0 10000 10000 10000 10000 0 0 0 10000 10000 0 10000 0 10000 10000 0 0 0 10000 0 10000 10000 0 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 0 0 0 10000 10000 10000 0 0 10000 10000 0 0 0 0 0 0 0 0 0 10000 0 0 10000 0 0 0 0 0 0 0 0 10000 0 10000 0 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 0 10000 0 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 10000 0 0 0 10000 10000 0 0 0 0 0 0 0 0 10000 0 10000 0 0 0 0 0 0 0 0 0 10000 0 10000 0 10000 10000 10000 0 0 10000 0 0 10000 10000 10000 0 0 10000 0 0 10000 0 0 0 0 0 10000 0 0 10000 10000 10000 10000 0 0 10000 0 0 0 0 10000 0 10000 0 10000 0 10000 0 0 0 0 0 0 10000 0 0 0 0 0 10000 0 0 10000 0 10000 0 10000 0 10000 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 10000 0 0 10000 10000 10000 0 0 10000 0 10000 0 10000 10000 10000 0 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 0 0 10000 0 0 0 0 0 10000 0 10000 10000 0 0 10000 0 10000 0 10000 0 0 10000 10000 0 0 10000 0 0 10000 0 0 10000 0 0 0 0 0 10000 10000 10000 10000 0 0 0 10000 10000 0 10000 10000 0 0 10000 0 10000 0 0 0 0 0 0 10000 10000 10000 0 10000 0 10000 10000 10000 0 0 0 10000 0 0 10000 10000 10000 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 10000 0 0 0 10000 10000 0 0 0 0 0 0 10000 0 10000 0 10000 0 0 10000 10000 10000 10000 10000 0 10000 0 0 10000 10000 10000 0 0 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 0 0 0 10000 0 0 10000 0 0 0 10000 0 0 0 10000 0 0 10000 0 10000 0 10000 10000 0 10000 0 0 0 10000 0 10000 0 0 0 0 0 10000 0 10000 10000 0 0 10000 0 0 0 0 0 0 0 10000 0 0 0 0 10000 10000 0 10000 10000 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 10000 0 10000 10000 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 10000 0 0 10000 0 10000 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 0 10000 0 0 10000 0 0 10000 0 0 10000 0 0 10000 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 100 100 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 100 0 100 100 0 0 100 0 0 0 100 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 100 0 100 0 100 100 0 0 0 100 0 0 100 0 0 0 100 0 100 100 100 0 0 0 100 100 100 100 100 0 100 100 100 0 0 0 0 100 100 100 100 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 100 0 0 100 0 0 100 0 0 100 0 0 100 100 0 100 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 100 0 100 100 100 0 0 0 0 100 0 100 0 100 100 0 100 100 0 0 0 0 100 0 100 100 0 100 100 100 0 0 0 0 0 0 100 100 0 100 100 0 100 0 100 0 0 100 100 0 100 0 0 0 0 100 0 0 100 0 0 0 0 100 0 100 100 100 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 100 0 100 0 0 0 100 0 0 0 100 0 0 100 100 0 100 0 0 100 0 0 0 100 0 0 100 100 0 100 100 100 0 0 0 0 0 100 0 0 100 100 100 0 0 100 100 100 0 100 100 0 100 0 0 0 0 100 0 100 100 0 0 0 100 0 0 0 0 0 100 100 0 100 100 0 0 100 100 100 0 100 0 0 0 100 0 0 0 0 0 0 100 0 100 100 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 100 100 100 0 100 0 0 0 0 100 0 0 0 100 0 0 0 100 100 0 0 0 100 100 100 100 100 100 100 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 100 0 100 100 0 100 0 0 0 0 100 100 100 0 0 0 0 0 100 0 100 0 0 0 100 0 0 100 0 0 100 0 0 100 0 0 0 0 0 100 100 0 0 0 0 100 0 100 100 0 100 100 0 0 0 100 0 100 0 0 0 0 100 0 0 100 100 100 0 0 0 0 0 100 100 0 100 0 0 0 100 100 100 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 1 0 1 1 1 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 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 2520.58/2275.06 v </values> 2520.58/2275.06 v </instantiation>
OK 90810905
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 (13502 MiB free) memory of node 1: 16384 MiB (7717 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308664-1534286300/watcher-4308664-1534286300 -o /tmp/evaluation-result-4308664-1534286300/solver-4308664-1534286300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534270673-20077 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 485431784 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308664-1534286300.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=21876, runsolver pid=21873 Current StackSize limit: 8192 KiB [startup+0.100061 s]* /proc/loadavg: 1.20 1.31 1.46 3/215 21891 /proc/meminfo: memFree=21709956/32770624 swapFree=67108796/67108860 [pid=21876] ppid=21873 vsize=14082736 memory=32636 CPUtime=0.11 cores=0,2,4,6 /proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 7074 0 0 0 11 0 0 0 20 0 15 0 246193220 14420721664 8159 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 /proc/21876/statm: 3520684 8159 3138 1 0 3482761 0 [pid=21876/tid=21878] ppid=21873 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6 /proc/21876/task/21878/stat : 21878 (java) R 21873 21876 18471 0 -1 4202560 5207 0 0 0 9 0 0 0 20 0 15 0 246193220 14420721664 8225 33554432000 4194304 4196468 140736594825808 140516077398416 140516053448448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21879] ppid=21873 vsize=14082736 memory=5793855232864733625 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21880] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21881] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21882] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21883] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246193222 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21884] ppid=21873 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246193223 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515052037664 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21885] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246193223 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515050984816 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21886] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21887] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 246193225 14420721664 8291 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21888] ppid=21873 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14420721664 8291 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21889] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0.01 cores=0,2,4,6 /proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 15 0 246193225 14420721664 8291 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21890] ppid=21873 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14420721664 8291 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21891] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193226 14420721664 8291 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 32636 KiB [startup+0.210288 s]* /proc/loadavg: 1.20 1.31 1.46 4/215 21891 /proc/meminfo: memFree=21642360/32770624 swapFree=67108796/67108860 [pid=21876] ppid=21873 vsize=14082736 memory=47108 CPUtime=0.3 cores=0,2,4,6 /proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 10305 0 0 0 29 1 0 0 20 0 15 0 246193220 14420721664 11777 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 /proc/21876/statm: 3520684 11777 3410 1 0 3482761 0 [pid=21876/tid=21878] ppid=21873 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6 /proc/21876/task/21878/stat : 21878 (java) S 21873 21876 18471 0 -1 1077944384 8028 0 0 0 19 1 0 0 20 0 15 0 246193220 14420721664 11777 33554432000 4194304 4196468 140736594825808 140516077401168 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21879] ppid=21873 vsize=14082736 memory=4211973708059630986 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21880] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21881] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21882] ppid=21873 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21883] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246193222 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21884] ppid=21873 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246193223 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515052037664 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21885] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246193223 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515050984816 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21886] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21887] ppid=21873 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/21876/task/21887/stat : 21887 (java) R 21873 21876 18471 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 15 0 246193225 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21888] ppid=21873 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6 /proc/21876/task/21888/stat : 21888 (java) R 21873 21876 18471 0 -1 4202560 132 0 0 0 1 0 0 0 20 0 15 0 246193225 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515047827696 140516054690549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21889] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0.06 cores=0,2,4,6 /proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 297 0 0 0 6 0 0 0 20 0 15 0 246193225 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21890] ppid=21873 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21891] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193226 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 47108 KiB [startup+0.311445 s]* /proc/loadavg: 1.20 1.31 1.46 6/215 21891 /proc/meminfo: memFree=21555392/32770624 swapFree=67108796/67108860 [pid=21876] ppid=21873 vsize=14082736 memory=50312 CPUtime=0.44 cores=0,2,4,6 /proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 10704 0 0 0 42 2 0 0 20 0 15 0 246193220 14420721664 12578 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 /proc/21876/statm: 3520684 12578 3411 1 0 3482761 0 [pid=21876/tid=21878] ppid=21873 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6 /proc/21876/task/21878/stat : 21878 (java) R 21873 21876 18471 0 -1 4202560 8388 0 0 0 28 1 0 0 20 0 15 0 246193220 14420721664 12578 33554432000 4194304 4196468 140736594825808 140516077383328 140516053448608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21879] ppid=21873 vsize=14082736 memory=4211973708059630986 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21880] ppid=21873 vsize=14082736 memory=139981854842812 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21881] ppid=21873 vsize=14082736 memory=139981708456503 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21882] ppid=21873 vsize=14082736 memory=139981708447183 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21883] ppid=21873 vsize=14082736 memory=139981854858946 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246193222 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21884] ppid=21873 vsize=14082736 memory=139981708456367 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246193223 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515052037664 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21885] ppid=21873 vsize=14082736 memory=279963416903568 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246193223 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515050984816 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21886] ppid=21873 vsize=14082736 memory=279963416901264 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21887] ppid=21873 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 15 0 246193225 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21888] ppid=21873 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6 /proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 15 0 246193225 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21889] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0.08 cores=0,2,4,6 /proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 320 0 0 0 8 0 0 0 20 0 15 0 246193225 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21890] ppid=21873 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21891] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193226 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 50312 KiB [startup+0.700731 s] /proc/loadavg: 1.20 1.31 1.46 3/215 21891 /proc/meminfo: memFree=21534948/32770624 swapFree=67108796/67108860 [pid=21876] ppid=21873 vsize=14084804 memory=88720 CPUtime=0.99 cores=0,2,4,6 /proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 17560 0 0 0 95 4 0 0 20 0 15 0 246193220 14422839296 22180 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 /proc/21876/statm: 3521201 22180 3496 1 0 3483273 0 [pid=21876/tid=21878] ppid=21873 vsize=14084804 memory=796 CPUtime=0.67 cores=0,2,4,6 /proc/21876/task/21878/stat : 21878 (java) R 21873 21876 18471 0 -1 4202560 14830 0 0 0 64 3 0 0 20 0 15 0 246193220 14422839296 22180 33554432000 4194304 4196468 140736594825808 140516077387664 140516057253214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21879] ppid=21873 vsize=14084804 memory=1592 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21880] ppid=21873 vsize=14084804 memory=3780 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21881] ppid=21873 vsize=14084804 memory=7236533984234661184 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21882] ppid=21873 vsize=14084804 memory=8099279071866868837 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246193221 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21883] ppid=21873 vsize=14084804 memory=4641330296368681045 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246193222 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21884] ppid=21873 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246193223 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515052037664 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21885] ppid=21873 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246193223 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515050984816 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21886] ppid=21873 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21887] ppid=21873 vsize=14084804 memory=572 CPUtime=0.06 cores=0,2,4,6 /proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 613 0 0 0 6 0 0 0 20 0 15 0 246193225 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21888] ppid=21873 vsize=14084804 memory=7 CPUtime=0.08 cores=0,2,4,6 /proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 307 0 0 0 8 0 0 0 20 0 15 0 246193225 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21889] ppid=21873 vsize=14084804 memory=703 CPUtime=0.15 cores=0,2,4,6 /proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 428 0 0 0 15 0 0 0 20 0 15 0 246193225 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21890] ppid=21873 vsize=14084804 memory=279963417087472 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21891] ppid=21873 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193226 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 14084804 KiB Current children cumulated memory: 88720 KiB [startup+1.50072 s] /proc/loadavg: 1.20 1.31 1.46 5/215 21891 /proc/meminfo: memFree=21479416/32770624 swapFree=67108796/67108860 [pid=21876] ppid=21873 vsize=14086852 memory=225500 CPUtime=3.48 cores=0,2,4,6 /proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 23423 0 0 0 340 8 0 0 20 0 15 0 246193220 14424936448 56375 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 /proc/21876/statm: 3521713 56375 3550 1 0 3483785 0 [pid=21876/tid=21878] ppid=21873 vsize=14086852 memory=0 CPUtime=1.45 cores=0,2,4,6 /proc/21876/task/21878/stat : 21878 (java) R 21873 21876 18471 0 -1 4202560 16048 0 0 0 140 5 0 0 20 0 15 0 246193220 14424936448 56375 33554432000 4194304 4196468 140736594825808 140516077406344 140515715923448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21879] ppid=21873 vsize=14086852 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 246193221 14424936448 56375 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21880] ppid=21873 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 246193221 14424936448 56375 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21881] ppid=21873 vsize=14086852 memory=4947373097178930048 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 246193221 14424936448 56375 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21882] ppid=21873 vsize=14086852 memory=-3472574513799858003 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 246193221 14424936448 56375 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21883] ppid=21873 vsize=14086852 memory=-6305710620164973696 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 246193222 14424936448 56375 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 ################ # More data... # ################ [pid=21876/tid=21882] ppid=21873 vsize=14092996 memory=11724816 CPUtime=75.22 cores=0,2,4,6 /proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 30608 0 0 0 7386 136 0 0 20 0 15 0 246193221 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21883] ppid=21873 vsize=14092996 memory=11724788 CPUtime=25.05 cores=0,2,4,6 /proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 523872 0 0 0 2472 33 0 0 20 0 15 0 246193222 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21884] ppid=21873 vsize=14092996 memory=11724792 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515052037728 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21885] ppid=21873 vsize=14092996 memory=11724824 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515050984832 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21886] ppid=21873 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21887] ppid=21873 vsize=14092996 memory=1080 CPUtime=4.53 cores=0,2,4,6 /proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 20008 0 0 0 451 2 0 0 20 0 15 0 246193225 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21888] ppid=21873 vsize=14092996 memory=11724780 CPUtime=4.88 cores=0,2,4,6 /proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 23198 0 0 0 484 4 0 0 20 0 15 0 246193225 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21889] ppid=21873 vsize=14092996 memory=11724756 CPUtime=1.68 cores=0,2,4,6 /proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 19861 0 0 0 164 4 0 0 20 0 15 0 246193225 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21890] ppid=21873 vsize=14092996 memory=11724824 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21891] ppid=21873 vsize=14092996 memory=11724816 CPUtime=1.29 cores=0,2,4,6 /proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 2437 0 0 0 66 63 0 0 20 0 15 0 246193226 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 Current children cumulated CPU time: 2438.96 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 11724824 KiB [startup+2262.3 s] /proc/loadavg: 1.33 1.56 1.59 3/215 22064 /proc/meminfo: memFree=12603752/32770624 swapFree=67108796/67108860 [pid=21876] ppid=21873 vsize=14092996 memory=11724844 CPUtime=2505.92 cores=0,2,4,6 /proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 949474 0 0 0 249878 714 0 0 20 0 15 0 246193220 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 /proc/21876/statm: 3523249 2931211 3624 1 0 3485321 0 [pid=21876/tid=21878] ppid=21873 vsize=14092996 memory=11724840 CPUtime=2157.15 cores=0,2,4,6 /proc/21876/task/21878/stat : 21878 (java) R 21873 21876 18471 0 -1 4202560 218045 0 0 0 215638 77 0 0 20 0 15 0 246193220 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140516077410192 140515718341661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21879] ppid=21873 vsize=14092996 memory=11724844 CPUtime=77.59 cores=0,2,4,6 /proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 29417 0 0 0 7625 134 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21880] ppid=21873 vsize=14092996 memory=11724844 CPUtime=77.71 cores=0,2,4,6 /proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 36259 0 0 0 7639 132 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21881] ppid=21873 vsize=14092996 memory=11724844 CPUtime=77.54 cores=0,2,4,6 /proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 29765 0 0 0 7611 143 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21882] ppid=21873 vsize=14092996 memory=11724844 CPUtime=77.52 cores=0,2,4,6 /proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 31291 0 0 0 7616 136 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21883] ppid=21873 vsize=14092996 memory=796 CPUtime=25.87 cores=0,2,4,6 /proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 537546 0 0 0 2554 33 0 0 20 0 15 0 246193222 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21884] ppid=21873 vsize=14092996 memory=1592 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515052037728 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21885] ppid=21873 vsize=14092996 memory=11724840 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515050984832 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21886] ppid=21873 vsize=14092996 memory=11724840 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21887] ppid=21873 vsize=14092996 memory=288230574492221466 CPUtime=4.53 cores=0,2,4,6 /proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 20010 0 0 0 451 2 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21888] ppid=21873 vsize=14092996 memory=288230596050944315 CPUtime=4.88 cores=0,2,4,6 /proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 23200 0 0 0 484 4 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21889] ppid=21873 vsize=14092996 memory=11724840 CPUtime=1.68 cores=0,2,4,6 /proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 19990 0 0 0 164 4 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21890] ppid=21873 vsize=14092996 memory=11724840 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21891] ppid=21873 vsize=14092996 memory=6791534058613427641 CPUtime=1.34 cores=0,2,4,6 /proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 2477 0 0 0 69 65 0 0 20 0 15 0 246193226 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 Current children cumulated CPU time: 2505.92 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 11724844 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2274.91 s] /proc/loadavg: 1.36 1.56 1.59 3/215 22065 /proc/meminfo: memFree=12603256/32770624 swapFree=67108796/67108860 [pid=21876] ppid=21873 vsize=14092996 memory=11724844 CPUtime=2520.2 cores=0,2,4,6 /proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 952056 0 0 0 251305 715 0 0 20 0 15 0 246193220 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 /proc/21876/statm: 3523249 2931211 3624 1 0 3485321 0 [pid=21876/tid=21878] ppid=21873 vsize=14092996 memory=11724844 CPUtime=2169.03 cores=0,2,4,6 /proc/21876/task/21878/stat : 21878 (java) S 21873 21876 18471 0 -1 1077944384 218634 0 0 0 216826 77 0 0 20 0 15 0 246193220 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140516077410304 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21879] ppid=21873 vsize=14092996 memory=11724844 CPUtime=78.15 cores=0,2,4,6 /proc/21876/task/21879/stat : 21879 (java) R 21873 21876 18471 0 -1 4202560 29670 0 0 0 7681 134 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515668847448 140516057873731 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21880] ppid=21873 vsize=14092996 memory=11724844 CPUtime=78.26 cores=0,2,4,6 /proc/21876/task/21880/stat : 21880 (java) R 21873 21876 18471 0 -1 4202560 36506 0 0 0 7694 132 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515667794448 140516057872544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21881] ppid=21873 vsize=14092996 memory=11724844 CPUtime=78.1 cores=0,2,4,6 /proc/21876/task/21881/stat : 21881 (java) R 21873 21876 18471 0 -1 4202560 30009 0 0 0 7667 143 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515666741648 140516058169236 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21882] ppid=21873 vsize=14092996 memory=11724844 CPUtime=78.09 cores=0,2,4,6 /proc/21876/task/21882/stat : 21882 (java) R 21873 21876 18471 0 -1 4202560 31507 0 0 0 7673 136 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515665688848 140516058162389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21883] ppid=21873 vsize=14092996 memory=41740 CPUtime=26.04 cores=0,2,4,6 /proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 538571 0 0 0 2570 34 0 0 20 0 15 0 246193222 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515053090240 140516073182933 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21884] ppid=21873 vsize=14092996 memory=15116 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515052037728 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21885] ppid=21873 vsize=14092996 memory=66840 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515050984832 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21886] ppid=21873 vsize=14092996 memory=3632 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21887] ppid=21873 vsize=14092996 memory=11724844 CPUtime=4.53 cores=0,2,4,6 /proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 20010 0 0 0 451 2 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21888] ppid=21873 vsize=14092996 memory=11724844 CPUtime=4.88 cores=0,2,4,6 /proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 23200 0 0 0 484 4 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21889] ppid=21873 vsize=14092996 memory=2180 CPUtime=1.68 cores=0,2,4,6 /proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 19990 0 0 0 164 4 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21890] ppid=21873 vsize=14092996 memory=11724844 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21891] ppid=21873 vsize=14092996 memory=2684 CPUtime=1.34 cores=0,2,4,6 /proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 2485 0 0 0 69 65 0 0 20 0 15 0 246193226 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 Current children cumulated CPU time: 2520.2 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 11724844 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2275.13 s] # the end of solver process 21876 was just reported to runsolver # cumulated CPU time of all completed processes: user=2513.5 s, system=7.21058 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2275.01 s]* /proc/loadavg: 1.36 1.56 1.59 3/215 22065 /proc/meminfo: memFree=12603256/32770624 swapFree=67108796/67108860 [pid=21876] ppid=21873 vsize=14092996 memory=11724844 CPUtime=2520.58 cores=0,2,4,6 /proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 952062 0 0 0 251343 715 0 0 20 0 15 0 246193220 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 /proc/21876/statm: 3523249 2931211 3624 1 0 3485321 0 [pid=21876/tid=21878] ppid=21873 vsize=14092996 memory=6791534058613427641 CPUtime=2169.03 cores=0,2,4,6 /proc/21876/task/21878/stat : 21878 (java) S 21873 21876 18471 0 -1 1077944384 218634 0 0 0 216826 77 0 0 20 0 15 0 246193220 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140516077410304 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21879] ppid=21873 vsize=14092996 memory=-7003737579269690708 CPUtime=78.24 cores=0,2,4,6 /proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 29670 0 0 0 7690 134 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21880] ppid=21873 vsize=14092996 memory=279963418445200 CPUtime=78.35 cores=0,2,4,6 /proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 36506 0 0 0 7703 132 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21881] ppid=21873 vsize=14092996 memory=6791534058613427641 CPUtime=78.19 cores=0,2,4,6 /proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 30009 0 0 0 7676 143 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21882] ppid=21873 vsize=14092996 memory=932 CPUtime=78.18 cores=0,2,4,6 /proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 31507 0 0 0 7682 136 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21883] ppid=21873 vsize=14092996 memory=1728 CPUtime=26.06 cores=0,2,4,6 /proc/21876/task/21883/stat : 21883 (java) R 21873 21876 18471 0 -1 4202560 538571 0 0 0 2572 34 0 0 20 0 15 0 246193222 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515053090240 140516051542907 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21884] ppid=21873 vsize=14092996 memory=8628 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515052037728 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21885] ppid=21873 vsize=14092996 memory=1080 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515050984832 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21886] ppid=21873 vsize=14092996 memory=752 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515049932784 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21887] ppid=21873 vsize=14092996 memory=796 CPUtime=4.53 cores=0,2,4,6 /proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 20010 0 0 0 451 2 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21888] ppid=21873 vsize=14092996 memory=66840 CPUtime=4.88 cores=0,2,4,6 /proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 23200 0 0 0 484 4 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21889] ppid=21873 vsize=14092996 memory=66840 CPUtime=1.68 cores=0,2,4,6 /proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 19990 0 0 0 164 4 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21890] ppid=21873 vsize=14092996 memory=2056 CPUtime=0 cores=0,2,4,6 /proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 [pid=21876/tid=21891] ppid=21873 vsize=14092996 memory=6500 CPUtime=1.34 cores=0,2,4,6 /proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 2485 0 0 0 69 65 0 0 20 0 15 0 246193226 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0 Current children cumulated CPU time: 2520.58 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 11724844 KiB [startup+2275.11 s]* /proc/loadavg: 1.36 1.56 1.59 3/202 22067 /proc/meminfo: memFree=21610564/32770624 swapFree=67108796/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2275.13 CPU time (s): 2520.71 CPU user time (s): 2513.5 CPU system time (s): 7.21058 CPU usage (%): 110.794 Max. virtual memory (cumulated for all children) (KiB): 14092996 Max. memory (cumulated for all children) (KiB): 11725496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2513.5 system time used= 7.21058 maximum resident set size= 11725496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 952786 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 68777 involuntary context switches= 7774 # summary of solver processes directly reported to runsolver: # pid: 21876 # total CPU time (s): 2520.71 # total CPU user time (s): 2513.5 # total CPU system time (s): 7.21058 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.1778 second user time and 21.8643 second system time The end
Begin job on node138 at 2018-08-15 00:38:20 IDJOB=4308664 IDBENCH=141200 IDSOLVER=2792 FILE ID=node138/4308664-1534286300 RUNJOBID= node138-1534270673-20077 PBS_JOBID= 21038119 Free space on /tmp= 27360 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-07-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-4308664-1534286300/watcher-4308664-1534286300 -o /tmp/evaluation-result-4308664-1534286300/solver-4308664-1534286300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534270673-20077 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 485431784 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308664-1534286300.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ba4df16e86f19a26142e39b1a48414c8 RANDOM SEED=485431784 node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 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: 21729588 kB MemAvailable: 29114728 kB Buffers: 135076 kB Cached: 7427016 kB SwapCached: 12 kB Active: 6732292 kB Inactive: 3670148 kB Active(anon): 2783972 kB Inactive(anon): 108392 kB Active(file): 3948320 kB Inactive(file): 3561756 kB Unevictable: 7276 kB Mlocked: 7276 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 35876 kB Writeback: 0 kB AnonPages: 2891812 kB Mapped: 67132 kB Shmem: 49740 kB Slab: 331528 kB SReclaimable: 303524 kB SUnreclaim: 28004 kB KernelStack: 3792 kB PageTables: 11460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3862208 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2711552 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 27324 MiB End job on node138 at 2018-08-15 01:16:16