Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | SAT (TO) | 32286517 | 3600.07 | 3613.61 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb |
| MD5SUM | 542a59a1a1b8906e0495f473b09f11e4 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 30102502 |
| Best CPU time to get the best result obtained on this benchmark | 71252.6 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6402 |
| Total number of constraints | 4465 |
| Number of constraints which are clauses | 2785 |
| Number of constraints which are cardinality constraints (but not clauses) | 1428 |
| Number of constraints which are nor clauses,nor cardinality constraints | 252 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 511 |
| Number of terms in the objective function | 4170 |
| Biggest coefficient in the objective function | 23582998528 |
| Number of bits for the biggest coefficient in the objective function | 35 |
| Sum of the numbers in the objective function | 2904924551250 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 1024000000000 |
| Number of bits of the biggest number in a constraint | 40 |
| Biggest sum of numbers in a constraint | 2904924551250 |
| Number of bits of the biggest sum of numbers | 42 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.10/0.18 o 65965331 0.10/0.19 o 60412487 0.10/0.19 o 55385447 0.10/0.20 o 54677815 0.10/0.20 o 54323999 0.10/0.20 o 54099510 0.10/0.21 o 54055283 0.10/0.21 o 54046807 0.10/0.22 o 51593279 0.10/0.22 o 51505653 0.10/0.22 o 51487257 0.21/0.23 o 51483063 0.21/0.25 o 51481812 0.21/0.25 o 51481481 0.21/0.26 o 51475565 0.21/0.27 o 51472852 0.21/0.28 o 51472701 3.28/3.39 o 51472199 3.38/3.41 o 51469856 3.38/3.43 o 51465748 3.38/3.45 o 51465553 3.38/3.47 o 51463983 3.38/3.49 o 51463272 3.48/3.51 o 51461468 3.48/3.52 o 51461163 3.48/3.54 o 51460731 3.48/3.56 o 51460538 3.48/3.58 o 51460085 3.48/3.59 o 51458254 3.57/3.61 o 51457158 3.57/3.63 o 51455666 3.57/3.66 o 51455644 3.57/3.67 o 51454531 3.57/3.69 o 51454274 3.67/3.71 o 51450559 3.67/3.74 o 51449337 3.77/3.84 o 51447521 3.77/3.89 o 51446450 3.87/3.92 o 51442707 3.87/3.94 o 51441519 3.98/4.04 o 51440541 4.08/4.13 o 51439513 4.08/4.15 o 51439181 4.16/4.29 o 51438542 4.36/4.49 o 51435877 4.46/4.52 o 51435133 4.67/4.74 o 51435000 4.67/4.78 o 51434986 5.08/5.18 o 51433672 5.17/5.21 o 51431148 5.67/5.77 o 51431137 6.16/6.26 o 51430768 8.65/8.72 o 51428352 8.65/8.78 o 51422544 8.75/8.82 o 51422385 8.75/8.86 o 51421225 25.00/25.17 o 51420915 25.09/25.26 o 51392928 25.19/25.32 o 51392790 25.29/25.40 o 51388434 25.29/25.46 o 51388030 47.32/47.59 o 51387671 50.00/50.21 o 51180732 50.00/50.27 o 51179305 50.10/50.31 o 51178105 50.10/50.34 o 51173653 50.10/50.37 o 51172049 50.20/50.41 o 51171098 50.20/50.44 o 51170743 50.20/50.48 o 51170529 50.30/50.51 o 51167881 50.30/50.54 o 51167170 50.30/50.57 o 51165921 50.40/50.60 o 51165566 50.40/50.64 o 51165538 50.40/50.67 o 51164090 50.50/50.70 o 51163735 50.50/50.73 o 51163535 50.50/50.77 o 51159898 50.60/50.80 o 51159698 50.70/50.91 o 51159503 50.70/50.96 o 51159412 50.70/50.99 o 51159175 50.81/51.03 o 51156412 50.81/51.06 o 51156407 50.91/51.13 o 51156196 50.91/51.17 o 51154708 51.00/51.20 o 51154300 53.19/53.40 o 51154238 53.19/53.44 o 51153994 53.99/54.25 o 51153974 53.99/54.29 o 51153779 54.98/55.24 o 51153771 55.18/55.41 o 51153747 55.28/55.58 o 51153676 55.38/55.65 o 51153496 55.48/55.70 o 51153359 55.48/55.75 o 51153252 55.58/55.81 o 51153243 62.96/63.24 o 51153145 63.06/63.32 o 51153135 63.76/64.10 o 51153034 63.87/64.17 o 51153025 82.88/83.25 o 51151618 97.65/98.04 o 51147295 97.65/98.05 o 50974691 97.65/98.05 o 50974087 97.65/98.06 o 50973771 97.65/98.06 o 50969752 97.65/98.06 o 50967320 97.65/98.07 o 50966237 97.65/98.07 o 50963301 97.65/98.07 o 50962363 97.65/98.08 o 50962212 97.65/98.08 o 50961710 97.65/98.08 o 50961589 97.65/98.09 o 50961087 97.65/98.09 o 50960347 97.65/98.09 o 50960042 97.65/98.10 o 50957634 97.65/98.10 o 50957329 97.65/98.10 o 50957178 97.65/98.11 o 50956981 97.75/98.11 o 50956676 97.75/98.11 o 50956200 97.75/98.12 o 50955172 97.75/98.12 o 50955161 97.75/98.13 o 50954538 97.75/98.13 o 50953639 97.75/98.13 o 50953423 97.75/98.14 o 50953118 97.75/98.14 o 50952395 97.75/98.14 o 50952090 97.75/98.15 o 50951953 97.75/98.15 o 50951949 97.75/98.16 o 50951897 97.75/98.16 o 50951444 97.75/98.17 o 50951183 97.75/98.17 o 50950370 97.75/98.19 o 50950241 97.75/98.19 o 50949736 97.84/98.20 o 50949649 97.84/98.21 o 50949433 97.84/98.21 o 50949144 97.84/98.21 o 50948928 97.84/98.22 o 50948661 97.84/98.22 o 50948445 97.84/98.23 o 50948379 97.84/98.23 o 50947949 97.84/98.24 o 50947733 97.84/98.24 o 50947310 97.84/98.25 o 50946685 97.84/98.25 o 50946652 97.84/98.26 o 50946648 97.84/98.26 o 50946143 97.84/98.27 o 50945927 97.84/98.27 o 50945809 97.84/98.27 o 50945304 97.84/98.28 o 50945285 97.84/98.29 o 50945274 97.84/98.29 o 50945160 97.94/98.30 o 50945104 97.94/98.30 o 50944651 97.94/98.31 o 50944384 97.94/98.32 o 50944168 97.94/98.33 o 50943947 97.94/98.34 o 50340459 97.94/98.34 o 49988875 97.94/98.34 o 49813083 97.94/98.35 o 49812935 97.94/98.35 o 49769135 97.94/98.35 o 49759790 97.94/98.36 o 49757290 97.94/98.37 o 49755849 98.04/98.40 o 49755613 98.04/98.46 o 49755563 98.04/98.47 o 49755406 98.04/98.47 o 49754906 98.14/98.53 o 49745672 98.65/99.10 o 49745571 98.75/99.11 o 49745138 98.75/99.13 o 49744826 98.84/99.23 o 49744462 99.14/99.51 o 49743568 99.14/99.52 o 49741686 99.14/99.54 o 49741143 99.23/99.61 o 49741131 99.23/99.65 o 49740129 100.43/100.82 o 49740069 100.43/100.84 o 49666143 100.43/100.87 o 49665997 100.43/100.89 o 49664266 100.53/100.92 o 49658403 100.53/100.95 o 49658257 100.93/101.39 o 49658232 101.23/101.63 o 49657818 101.23/101.65 o 49657762 101.33/101.75 o 49657726 101.33/101.78 o 49657293 101.83/102.28 o 49657087 101.93/102.31 o 49656941 101.93/102.35 o 49656885 102.13/102.50 o 49656267 104.63/105.03 o 49656164 105.62/106.07 o 49656042 105.62/106.10 o 49655968 105.72/106.18 o 49655717 105.81/106.21 o 49655571 105.81/106.26 o 49655497 105.81/106.29 o 49649341 106.11/106.51 o 49649131 106.21/106.64 o 49648867 106.31/106.72 o 49648670 106.31/106.76 o 49648112 106.41/106.81 o 49647825 106.41/106.86 o 49647679 106.51/106.99 o 49647538 106.62/107.07 o 49647511 106.62/107.11 o 49647365 106.72/107.15 o 49646860 106.91/107.40 o 49646824 122.95/123.43 o 49322776 122.95/123.43 o 49241764 122.95/123.43 o 49240767 122.95/123.44 o 49199145 122.95/123.44 o 49195266 122.95/123.44 o 49194754 122.95/123.45 o 49191874 122.95/123.45 o 49191808 122.95/123.45 o 49041808 122.95/123.48 o 49040925 123.05/123.50 o 49040492 123.15/123.66 o 49039915 124.56/125.06 o 49039809 124.94/125.42 o 49039696 134.81/135.39 o 49039690 141.98/142.55 o 49039122 165.31/165.93 o 49039094 167.10/167.70 o 49038940 167.10/167.76 o 49038638 167.20/167.83 o 49038422 167.30/167.90 o 49038393 167.30/167.98 o 49038079 167.41/168.04 o 49037783 167.41/168.10 o 49037567 167.51/168.17 o 49037301 167.60/168.23 o 49037141 167.60/168.29 o 49036704 167.70/168.35 o 49036488 167.80/168.41 o 49036192 167.80/168.47 o 49035976 167.90/168.59 o 49035912 168.00/168.66 o 49035407 168.10/168.72 o 49035351 168.20/168.80 o 49034798 168.20/168.86 o 49034345 183.46/184.11 o 49029452 183.46/184.18 o 49029438 183.65/184.31 o 49029426 184.36/185.04 o 49028854 185.54/186.20 o 49028829 190.44/191.12 o 49028329 215.94/216.71 o 49024655 215.94/216.72 o 49023630 215.94/216.72 o 49023062 215.94/216.72 o 46257686 215.94/216.72 o 44874998 215.94/216.72 o 44183654 215.94/216.73 o 43837982 215.94/216.73 o 43827806 215.94/216.73 o 43822774 215.94/216.73 o 43794773 223.12/223.95 o 43792595 223.12/223.98 o 43791013 223.23/224.02 o 43790388 233.39/234.28 o 43644262 233.49/234.30 o 43644122 233.49/234.31 o 43642954 233.49/234.33 o 43642951 233.49/234.35 o 43599345 233.49/234.37 o 43576315 233.49/234.38 o 43575711 233.59/234.40 o 43575395 233.59/234.42 o 43575130 233.59/234.46 o 43574505 233.59/234.48 o 43572792 233.59/234.49 o 43572266 233.69/234.51 o 43571764 233.69/234.54 o 43570671 233.69/234.55 o 43567886 233.69/234.57 o 43567744 233.79/234.60 o 43567121 233.79/234.63 o 43562595 233.79/234.65 o 43558510 233.79/234.66 o 43558205 233.79/234.68 o 43555411 233.89/234.71 o 43553395 233.89/234.72 o 43552770 233.89/234.74 o 43552317 233.89/234.78 o 43549899 233.89/234.79 o 43549683 233.99/234.82 o 43548570 233.99/234.84 o 43548313 233.99/234.86 o 43547534 233.99/234.88 o 43547392 234.09/234.92 o 43545708 234.09/234.94 o 43544358 234.09/235.00 o 43541996 234.20/235.02 o 43541079 234.20/235.04 o 43540749 234.30/235.12 o 43538867 234.30/235.14 o 43537730 234.30/235.16 o 43537535 234.30/235.18 o 43536879 234.48/235.34 o 43532051 234.48/235.36 o 43531532 234.68/235.50 o 43527219 234.68/235.52 o 43526585 234.68/235.59 o 43523683 234.78/235.62 o 43523470 234.88/235.73 o 43523184 234.88/235.76 o 43522047 234.88/235.78 o 43521852 235.08/235.96 o 43520901 235.08/235.99 o 43520892 235.38/236.27 o 43520377 235.38/236.29 o 43516551 235.48/236.32 o 43515550 235.48/236.34 o 43514442 235.48/236.38 o 43514226 235.78/236.62 o 43512275 235.78/236.65 o 43185611 235.78/236.67 o 43022279 235.88/236.70 o 42993890 235.88/236.72 o 42993313 235.88/236.74 o 42992846 237.37/238.30 o 42992652 237.47/238.33 o 42992495 237.47/238.37 o 42992487 237.57/238.41 o 42991837 237.57/238.47 o 42991246 237.97/238.84 o 42990175 238.07/238.96 o 42989792 238.07/239.00 o 42989650 238.18/239.03 o 42988994 238.97/239.90 o 42988373 239.07/239.94 o 42987982 239.07/239.98 o 42987382 239.18/240.05 o 42987166 240.56/241.43 o 42983977 240.56/241.49 o 42971533 240.66/241.53 o 42969590 240.66/241.58 o 42969285 240.76/241.63 o 42969090 240.76/241.68 o 42967928 240.86/241.73 o 42966440 241.06/241.99 o 42966235 241.36/242.24 o 42965981 241.36/242.29 o 42965765 241.46/242.35 o 42965587 241.46/242.39 o 42964774 242.17/243.06 o 42962859 242.17/243.06 o 42962316 242.17/243.07 o 42961837 243.05/243.90 o 42961152 243.85/244.79 o 42960865 243.95/244.81 o 42960591 243.95/244.83 o 42960396 243.95/244.86 o 42960342 243.95/244.88 o 42953088 244.05/244.90 o 42948732 248.34/249.22 o 42948695 248.34/249.25 o 42948641 248.34/249.29 o 42947988 248.44/249.33 o 42947676 249.04/249.91 o 42947197 250.83/251.70 o 42947051 252.32/253.27 o 42946562 252.52/253.40 o 42946405 257.11/258.03 o 42945081 269.85/270.87 o 42944455 272.44/273.45 o 42944425 272.44/273.49 o 42944423 272.64/273.65 o 42944366 275.15/276.18 o 42944365 275.23/276.23 o 42944311 275.23/276.29 o 42944231 275.33/276.34 o 42944177 275.33/276.38 o 42943865 276.63/277.65 o 42943776 277.04/278.02 o 42943773 277.04/278.07 o 42943719 278.72/279.73 o 42943684 278.92/279.98 o 42943215 285.79/286.81 o 42914752 285.79/286.82 o 42912812 285.79/286.82 o 42912710 285.79/286.83 o 42910770 285.79/286.84 o 42882828 285.79/286.84 o 42882502 285.79/286.85 o 42882037 285.79/286.85 o 42881875 285.79/286.86 o 42881619 285.79/286.87 o 42531217 285.79/286.87 o 42209161 285.79/286.88 o 42048133 285.79/286.88 o 41967619 285.79/286.89 o 41928727 285.79/286.89 o 41928414 285.89/286.90 o 41926474 285.89/286.91 o 41920852 285.89/286.91 o 41920526 285.89/286.92 o 41920061 285.89/286.92 o 41919899 285.89/286.93 o 41919643 285.89/286.93 o 41801011 285.89/286.94 o 41720497 285.89/286.94 o 41680240 285.89/286.95 o 41679352 285.89/286.95 o 41679310 285.89/286.96 o 41678984 285.89/286.96 o 41678357 285.89/286.97 o 41678101 285.89/286.98 o 41639053 285.89/286.98 o 41638165 285.89/286.99 o 41638100 285.89/286.99 o 41637844 285.89/287.00 o 41637839 286.00/287.01 o 41637212 286.00/287.01 o 41636956 297.65/298.75 o 41636699 297.65/298.75 o 41633109 297.65/298.75 o 41633055 297.65/298.76 o 41630270 297.65/298.76 o 41625309 297.65/298.76 o 41624675 297.65/298.77 o 41624022 297.65/298.77 o 41619582 297.65/298.77 o 41617778 297.65/298.77 o 41617473 297.65/298.79 o 41614451 297.65/298.79 o 41614235 297.75/298.80 o 41614147 297.75/298.81 o 41613402 297.75/298.83 o 41610756 297.75/298.87 o 41608333 297.85/298.91 o 41608209 297.85/298.91 o 41606987 298.06/299.11 o 41602646 298.06/299.12 o 41601507 298.06/299.12 o 41601006 298.14/299.27 o 41598488 298.14/299.28 o 41597402 298.44/299.57 o 41597065 299.05/300.18 o 41597014 299.14/300.24 o 41597003 299.64/300.74 o 41596836 299.64/300.75 o 41592391 299.64/300.77 o 41591263 299.64/300.79 o 41590894 299.74/300.85 o 41588100 299.74/300.89 o 41588046 299.84/300.96 o 41587493 300.34/301.42 o 41586410 300.34/301.45 o 41585852 300.34/301.47 o 41585522 301.53/302.63 o 41585211 301.53/302.66 o 41584732 301.83/302.93 o 41582363 303.22/304.32 o 41579906 303.22/304.36 o 41578746 304.72/305.82 o 41578170 304.72/305.86 o 41573000 305.42/306.58 o 41570472 305.52/306.63 o 41569747 305.52/306.67 o 41569482 309.40/310.56 o 41567023 309.50/310.61 o 41564547 309.50/310.67 o 41564379 309.60/310.73 o 41563875 310.01/311.15 o 41563113 310.10/311.22 o 41558757 310.79/312.00 o 41558749 310.91/312.06 o 41558004 311.01/312.14 o 41555795 311.09/312.21 o 41555651 311.09/312.27 o 41554142 311.19/312.34 o 41552828 311.29/312.42 o 41552553 311.29/312.48 o 41552453 311.39/312.56 o 41546297 311.49/312.63 o 41546146 311.69/312.88 o 41546133 311.79/312.96 o 41545680 311.90/313.03 o 41545276 311.90/313.11 o 41540440 312.00/313.17 o 41537536 312.09/313.26 o 41537518 312.19/313.32 o 41536440 312.29/313.40 o 41535064 313.19/314.35 o 41534978 313.29/314.49 o 41534673 313.48/314.62 o 41531022 313.48/314.69 o 41529864 313.58/314.76 o 41529532 329.62/330.88 o 41198252 329.62/330.88 o 41186596 329.62/330.88 o 41106622 329.62/330.89 o 41104472 329.62/330.89 o 41102430 329.62/330.89 o 40470814 329.62/330.89 o 40135006 329.62/330.89 o 40127534 329.62/330.89 o 39963366 329.62/330.89 o 39955174 329.62/330.89 o 39921376 329.72/330.90 o 39916180 329.72/330.90 o 38549268 329.72/330.90 o 37865812 329.72/330.90 o 37524084 329.72/330.90 o 37481368 329.83/331.05 o 37481196 329.93/331.16 o 37479820 330.12/331.34 o 37479719 330.12/331.34 o 37479665 330.12/331.36 o 37479112 330.52/331.78 o 37478743 331.02/332.24 o 37477852 331.02/332.25 o 37477657 332.11/333.38 o 37477562 332.21/333.40 o 37477083 333.01/334.23 o 37477081 335.81/337.04 o 37476091 338.99/340.25 o 37474109 339.09/340.31 o 37474083 339.19/340.41 o 37474016 339.19/340.47 o 37473657 339.29/340.52 o 37473099 339.29/340.57 o 37472597 339.49/340.79 o 37472551 339.59/340.85 o 37472221 339.68/340.90 o 37472088 343.78/345.10 o 37469563 353.33/354.62 o 37469152 363.70/365.07 o 37468845 363.81/365.17 o 37468710 364.49/365.88 o 37467168 364.59/365.95 o 37466836 364.80/366.15 o 37466831 365.39/366.72 o 37466774 385.91/387.34 o 37427780 426.06/427.62 o 37427106 472.88/474.66 o 37424202 472.88/474.66 o 37344594 472.88/474.67 o 37304790 473.58/475.34 o 37274893 473.58/475.35 o 37273959 473.58/475.35 o 37273643 473.68/475.43 o 37271138 473.78/475.55 o 37269406 473.98/475.73 o 37269381 506.56/508.43 o 37264030 566.42/568.57 o 37263145 566.52/568.60 o 37262812 619.12/621.43 o 37254118 665.14/667.67 o 37246964 675.20/677.75 o 37246756 690.35/692.99 o 37244335 690.46/693.02 o 37243128 711.57/714.23 o 37241487 712.76/715.49 o 37241441 712.86/715.51 o 37241436 767.05/769.92 o 37239699 806.90/809.90 o 37239214 806.90/809.92 o 37236583 806.90/809.95 o 37236282 807.50/810.53 o 37236217 809.10/812.19 o 37235662 875.94/879.29 o 37195024 876.04/879.34 o 37192190 876.04/879.34 o 37191153 927.05/930.59 o 37153012 927.05/930.60 o 37150210 927.66/931.16 o 37150167 927.66/931.17 o 37150132 927.66/931.18 o 37147636 927.66/931.19 o 37146378 927.74/931.22 o 37146314 927.74/931.22 o 37146089 927.74/931.26 o 37146006 927.74/931.26 o 37145790 927.74/931.28 o 37145781 927.74/931.29 o 37145565 928.04/931.50 o 37145553 928.34/931.89 o 37145419 928.44/931.96 o 37145130 928.65/932.11 o 37145118 928.65/932.13 o 37112025 928.65/932.15 o 37110441 932.54/936.02 o 37110273 933.63/937.13 o 37110187 933.63/937.17 o 37109898 933.72/937.22 o 37109682 933.82/937.31 o 37109622 933.82/937.36 o 37109476 935.31/938.87 o 37109464 937.62/941.11 o 37109110 937.70/941.21 o 37108955 937.70/941.26 o 37108809 937.80/941.31 o 37108002 938.00/941.58 o 37107991 938.10/941.64 o 37107845 938.20/941.75 o 37107200 950.76/954.32 o 37107068 952.05/955.66 o 37107032 952.05/955.67 o 37106579 952.56/956.17 o 37106481 955.94/959.51 o 37104903 955.94/959.54 o 37104331 955.94/959.57 o 37103827 956.73/960.39 o 37103308 960.12/963.73 o 37101140 961.91/965.50 o 37100959 961.91/965.58 o 37100921 962.11/965.73 o 37100867 962.21/965.81 o 37100827 962.91/966.50 o 37100254 962.91/966.57 o 37098930 963.01/966.62 o 37098305 963.01/966.67 o 37098299 963.11/966.72 o 37097968 963.11/966.79 o 37097805 963.21/966.84 o 37097249 963.31/966.90 o 37089509 963.31/966.98 o 37088875 973.57/977.27 o 37088846 973.67/977.37 o 37088797 975.76/979.48 o 37088435 976.37/980.08 o 37088240 979.25/982.94 o 37086783 979.25/982.96 o 37086180 979.25/982.98 o 37084265 979.65/983.37 o 37084226 979.75/983.44 o 37084106 980.25/983.93 o 37083871 987.12/990.86 o 37083853 987.22/990.92 o 37083628 987.22/990.97 o 37077472 987.33/991.05 o 37077277 987.43/991.14 o 37077080 987.52/991.24 o 37076808 987.72/991.45 o 37075806 989.32/993.02 o 37075700 991.00/994.73 o 37075369 999.17/1002.95 o 37075363 1016.41/1020.22 o 37074467 1029.36/1033.22 o 37074190 1029.36/1033.28 o 37073429 1029.96/1033.84 o 37073297 1055.46/1059.41 o 36985241 1055.46/1059.41 o 36984839 1055.46/1059.41 o 36964901 1060.34/1064.31 o 36961280 1060.34/1064.34 o 36959891 1060.94/1064.99 o 36959589 1062.05/1066.04 o 36959501 1062.05/1066.09 o 36958757 1062.15/1066.13 o 36958562 1062.23/1066.20 o 36958318 1065.32/1069.39 o 36956140 1065.42/1069.44 o 36954558 1065.52/1069.50 o 36953933 1065.52/1069.58 o 36953638 1068.91/1072.94 o 36951760 1068.91/1073.00 o 36946018 1070.80/1074.89 o 36945247 1083.75/1087.85 o 36945205 1092.93/1097.07 o 36945027 1093.03/1097.13 o 36945021 1094.21/1098.36 o 36944969 1129.88/1134.16 o 36654121 1129.88/1134.16 o 36645049 1129.88/1134.16 o 36620585 1129.88/1134.16 o 36475161 1129.88/1134.16 o 36470625 1129.88/1134.17 o 36464481 1129.88/1134.17 o 36386291 1129.88/1134.17 o 36385037 1129.88/1134.17 o 36384525 1163.14/1167.54 o 36372293 1163.24/1167.63 o 36371555 1163.24/1167.64 o 36370556 1163.24/1167.64 o 36368954 1163.24/1167.64 o 36368054 1163.24/1167.64 o 36366970 1176.99/1181.49 o 36366345 1177.39/1181.89 o 36366146 1177.78/1182.20 o 36366120 1177.88/1182.38 o 36366114 1178.18/1182.68 o 36366001 1178.78/1183.20 o 36365959 1178.78/1183.27 o 36365883 1178.88/1183.34 o 36365865 1178.98/1183.43 o 36365778 1179.08/1183.57 o 36365772 1182.47/1186.98 o 36365768 1182.58/1187.05 o 36365750 1201.60/1206.15 o 36364743 1222.42/1227.10 o 36364604 1241.64/1246.33 o 36199368 1276.51/1281.32 o 36158621 1276.51/1281.32 o 36117312 1276.51/1281.33 o 36109552 1276.51/1281.37 o 36107535 1276.51/1281.37 o 36102449 1321.84/1326.85 o 36073251 1321.93/1326.90 o 36067913 1321.93/1326.95 o 36067895 1322.05/1327.01 o 36064817 1322.05/1327.07 o 36063901 1322.15/1327.15 o 36063148 1354.04/1359.15 o 36062830 1354.04/1359.15 o 36057125 1387.50/1392.74 o 36054949 1387.50/1392.74 o 36054391 1392.58/1397.87 o 36054023 1392.68/1397.91 o 36054017 1398.36/1403.63 o 36053861 1400.35/1405.67 o 36053458 1403.44/1408.76 o 36053446 1403.54/1408.83 o 36053440 1430.14/1435.56 o 35976262 1430.14/1435.56 o 35932705 1430.14/1435.56 o 35926495 1465.52/1471.04 o 35922987 1465.52/1471.05 o 35921887 1465.52/1471.10 o 35921858 1510.36/1516.08 o 35918164 1510.36/1516.09 o 35913823 1510.46/1516.12 o 35913340 1512.04/1517.76 o 35912951 1514.93/1520.61 o 35912549 1514.93/1520.64 o 35912520 1514.93/1520.68 o 35912152 1516.52/1522.25 o 35911905 1516.62/1522.33 o 35911144 1552.49/1558.39 o 35906950 1563.94/1569.87 o 35906548 1587.75/1593.74 o 35906530 1594.14/1600.15 o 35906527 1610.17/1616.21 o 35905533 1651.51/1657.74 o 35904848 1714.77/1721.21 o 35903829 1714.77/1721.21 o 35902053 1756.12/1762.72 o 35861744 1766.18/1772.87 o 35861246 1862.42/1869.49 o 35796331 1862.52/1869.50 o 35752774 1862.52/1869.51 o 35751579 1862.52/1869.53 o 35750750 1862.52/1869.54 o 35748654 1862.52/1869.55 o 35748001 1862.52/1869.58 o 35747705 1862.52/1869.59 o 35747210 1862.62/1869.60 o 35745335 1862.62/1869.61 o 35742622 1862.62/1869.62 o 35741969 1862.62/1869.64 o 35741703 1862.62/1869.66 o 35741227 1862.62/1869.67 o 35740466 1862.62/1869.68 o 35740284 1862.62/1869.69 o 35740156 1862.72/1869.70 o 35739561 1862.72/1869.71 o 35739206 1862.72/1869.72 o 35739176 1862.72/1869.73 o 35738581 1862.72/1869.78 o 35738289 1862.82/1869.83 o 35737960 1862.82/1869.84 o 35737860 1862.82/1869.85 o 35737207 1862.82/1869.87 o 35736852 1862.92/1869.92 o 35736285 1862.92/1869.94 o 35736069 1862.92/1869.98 o 35735852 1862.92/1870.00 o 35735636 1863.03/1870.03 o 35735017 1863.03/1870.05 o 35734987 1863.03/1870.06 o 35734632 1863.03/1870.07 o 35734199 1863.03/1870.09 o 35733907 1863.22/1870.20 o 35733723 1863.22/1870.22 o 35733126 1863.22/1870.23 o 35732728 1863.22/1870.25 o 35732373 1863.22/1870.28 o 35732148 1863.32/1870.30 o 35731750 1863.32/1870.32 o 35731395 1863.32/1870.37 o 35731393 1863.32/1870.39 o 35731293 1863.42/1870.41 o 35731265 1863.42/1870.42 o 35730640 1863.42/1870.48 o 35730132 1863.42/1870.49 o 35728826 1863.52/1870.51 o 35728504 1863.52/1870.53 o 35727653 1863.52/1870.54 o 35727255 1863.52/1870.56 o 35726900 1863.52/1870.57 o 35726193 1863.52/1870.59 o 35725895 1863.62/1870.60 o 35725540 1863.62/1870.62 o 35725270 1863.62/1870.63 o 35724915 1863.62/1870.65 o 35724176 1863.62/1870.66 o 35724076 1863.62/1870.67 o 35723423 1863.72/1870.77 o 35723418 1863.82/1870.81 o 35723172 1863.82/1870.83 o 35722547 1864.13/1871.16 o 35722331 1864.13/1871.18 o 35722061 1864.22/1871.20 o 35721706 1864.32/1871.34 o 35721484 1864.32/1871.35 o 35721129 1864.61/1871.67 o 35721020 1864.71/1871.70 o 35720972 1864.71/1871.72 o 35720617 1864.71/1871.74 o 35719992 1865.02/1872.05 o 35719960 1865.12/1872.11 o 35719526 1865.12/1872.14 o 35717586 1865.12/1872.18 o 35717479 1865.41/1872.42 o 35717417 1865.41/1872.48 o 35717360 1865.51/1872.51 o 35716605 1865.71/1872.78 o 35716028 1866.02/1873.02 o 35715977 1866.02/1873.06 o 35715899 1866.02/1873.09 o 35715792 1866.12/1873.12 o 35715567 1866.12/1873.18 o 35715215 1866.21/1873.21 o 35714990 1866.70/1873.73 o 35714462 1867.80/1874.86 o 35714130 1867.90/1874.91 o 35714125 1868.01/1875.04 o 35713656 1868.11/1875.12 o 35713017 1868.11/1875.17 o 35712849 1868.20/1875.21 o 35712734 1868.20/1875.25 o 35712592 1868.20/1875.28 o 35712392 1868.60/1875.64 o 35712334 1869.01/1876.06 o 35712320 1869.49/1876.51 o 35712319 1869.69/1876.73 o 35712103 1870.00/1877.02 o 35712070 1870.00/1877.07 o 35711900 1870.10/1877.11 o 35711700 1870.10/1877.15 o 35711558 1870.19/1877.20 o 35711291 1870.49/1877.56 o 35711282 1871.78/1878.80 o 35711276 1871.78/1878.85 o 35711267 1872.18/1879.26 o 35710964 1872.28/1879.33 o 35710748 1872.48/1879.51 o 35710739 1874.18/1881.24 o 35710727 1875.27/1882.32 o 35710323 1875.27/1882.38 o 35710088 1875.37/1882.44 o 35709866 1875.37/1882.49 o 35709511 1875.47/1882.57 o 35371231 1875.57/1882.62 o 35347818 1875.57/1882.69 o 35328946 1877.16/1884.27 o 35328913 1877.16/1884.28 o 35328865 1877.16/1884.28 o 35327495 1877.46/1884.50 o 35326358 1877.76/1884.82 o 35325545 1877.76/1884.84 o 35302543 1877.86/1884.95 o 35302318 1877.97/1885.08 o 35301298 1878.16/1885.21 o 35300355 1878.16/1885.23 o 35300203 1878.16/1885.25 o 35300198 1878.26/1885.31 o 35299966 1878.26/1885.32 o 35283790 1878.26/1885.36 o 35248711 1915.93/1923.11 o 35248138 1916.42/1923.65 o 35247899 1916.83/1924.04 o 35247230 1916.83/1924.06 o 35247225 1919.61/1926.84 o 35247158 1919.71/1926.96 o 35247114 1927.18/1934.48 o 35247080 1971.81/1979.27 o 34584248 1971.81/1979.27 o 34252832 1971.81/1979.27 o 34087124 1971.81/1979.27 o 34081364 1971.81/1979.28 o 34079711 1971.81/1979.28 o 34079681 1972.01/1979.40 o 34077383 1976.09/1983.52 o 34076914 1984.06/1991.55 o 34076615 2009.58/2017.14 o 34075941 2015.35/2022.96 o 34075753 2026.30/2033.91 o 34075721 2026.41/2034.06 o 34075521 2049.22/2057.00 o 34075382 2049.33/2057.01 o 34073877 2049.33/2057.02 o 34073288 2049.33/2057.03 o 34071875 2049.33/2057.04 o 34068460 2049.33/2057.05 o 34063975 2049.33/2057.06 o 34063635 2049.33/2057.07 o 34062457 2049.33/2057.08 o 34062117 2049.33/2057.09 o 34057659 2049.43/2057.12 o 34057502 2049.43/2057.13 o 34057238 2049.43/2057.14 o 34056652 2049.43/2057.15 o 34055529 2049.43/2057.18 o 34055028 2049.62/2057.31 o 34054165 2049.62/2057.34 o 34054121 2049.62/2057.35 o 34052689 2049.62/2057.38 o 34051276 2049.82/2057.50 o 34050741 2049.82/2057.52 o 34050477 2049.82/2057.53 o 34049891 2049.82/2057.55 o 34049011 2049.82/2057.56 o 34048768 2049.82/2057.58 o 34048173 2050.12/2057.81 o 34048002 2050.12/2057.89 o 34045096 2050.22/2058.00 o 34044640 2070.04/2077.86 o 34044475 2070.25/2078.05 o 34043204 2070.25/2078.05 o 34043138 2070.25/2078.05 o 34042552 2070.25/2078.06 o 34041469 2070.54/2078.33 o 34041354 2070.64/2078.41 o 34041351 2070.64/2078.42 o 34041185 2070.64/2078.49 o 34040252 2071.14/2078.98 o 34035123 2071.44/2079.26 o 34032493 2071.63/2079.44 o 34032171 2071.63/2079.45 o 34031796 2072.24/2080.07 o 34029072 2072.43/2080.20 o 34028961 2072.43/2080.23 o 34028903 2072.83/2080.66 o 34028791 2073.34/2081.13 o 34027715 2073.34/2081.15 o 34027472 2073.43/2081.25 o 34027170 2073.53/2081.30 o 34025863 2073.53/2081.32 o 34025099 2073.53/2081.34 o 34023388 2073.73/2081.54 o 34023369 2073.83/2081.61 o 34022716 2073.83/2081.63 o 34022373 2073.83/2081.65 o 34022307 2074.03/2081.83 o 34021886 2075.92/2083.71 o 34021530 2075.92/2083.77 o 34020833 2076.52/2084.32 o 34020704 2076.52/2084.37 o 34019703 2079.01/2086.86 o 34019391 2084.98/2092.84 o 34019324 2107.00/2114.91 o 34019275 2107.00/2114.92 o 34018622 2107.00/2114.93 o 34018454 2107.11/2115.03 o 34018190 2107.30/2115.22 o 34017592 2111.38/2119.30 o 34016522 2111.38/2119.37 o 34016312 2111.68/2119.64 o 34016200 2114.08/2122.02 o 34016073 2129.13/2137.11 o 34015251 2129.22/2137.24 o 34013610 2129.72/2137.77 o 34012581 2130.13/2138.11 o 34012380 2130.21/2138.21 o 34011186 2132.21/2140.22 o 34009582 2132.31/2140.30 o 34007991 2132.40/2140.40 o 34007986 2140.18/2148.25 o 34007014 2210.01/2218.34 o 34006746 2210.01/2218.35 o 34002236 2231.13/2239.57 o 33992528 2231.23/2239.63 o 33992165 2231.23/2239.69 o 33989894 2231.33/2239.75 o 33985454 2231.43/2239.80 o 33984205 2231.43/2239.86 o 33983850 2231.53/2239.92 o 33983650 2231.53/2239.97 o 33982755 2231.64/2240.03 o 33982158 2231.64/2240.09 o 33981942 2231.74/2240.15 o 33980698 2231.83/2240.20 o 33980556 2231.83/2240.26 o 33977987 2231.93/2240.33 o 33977534 2231.93/2240.39 o 33974821 2232.03/2240.44 o 33974168 2232.13/2240.52 o 33973911 2232.13/2240.58 o 33973832 2232.23/2240.65 o 33973693 2232.33/2240.71 o 33973493 2232.33/2240.79 o 33972409 2232.43/2240.85 o 33970311 2232.53/2240.91 o 33969015 2232.53/2240.96 o 33968961 2232.64/2241.02 o 33968745 2232.74/2241.11 o 33965357 2232.93/2241.32 o 33960822 2232.93/2241.38 o 33960765 2233.03/2241.45 o 33960644 2233.13/2241.51 o 33960463 2233.33/2241.71 o 33957662 2233.33/2241.77 o 33956900 2233.43/2241.83 o 33956266 2233.64/2242.11 o 33954034 2233.74/2242.17 o 33950430 2233.82/2242.28 o 33950388 2234.02/2242.43 o 33949326 2234.02/2242.49 o 33948773 2234.12/2242.56 o 33948298 2234.22/2242.62 o 33948191 2234.22/2242.69 o 33947966 2234.42/2242.84 o 33947451 2234.52/2242.90 o 33943625 2234.52/2242.96 o 33942624 2234.63/2243.03 o 33941985 2234.63/2243.09 o 33941790 2234.73/2243.16 o 33941769 2235.12/2243.55 o 33941378 2235.22/2243.62 o 33940778 2235.52/2243.99 o 33939965 2235.63/2244.08 o 33939954 2235.73/2244.16 o 33939759 2236.22/2244.61 o 33939758 2236.32/2244.75 o 33939725 2236.52/2244.90 o 33939197 2236.52/2244.98 o 33935280 2236.63/2245.05 o 33934311 2236.73/2245.12 o 33933783 2236.91/2245.35 o 33933119 2237.11/2245.52 o 33932566 2237.21/2245.62 o 33931572 2237.21/2245.69 o 33930655 2237.31/2245.76 o 33930325 2237.41/2245.88 o 33929546 2237.51/2245.96 o 33929404 2238.31/2246.70 o 33928861 2238.31/2246.77 o 33928382 2239.80/2248.22 o 33927873 2239.90/2248.31 o 33924256 2240.50/2249.01 o 33923787 2243.09/2251.55 o 33923581 2243.79/2252.27 o 33923225 2243.79/2252.28 o 33922221 2243.89/2252.30 o 33921024 2243.89/2252.31 o 33918190 2244.09/2252.51 o 33917637 2244.60/2253.05 o 33916643 2244.60/2253.07 o 33915726 2244.60/2253.09 o 33915396 2246.38/2254.86 o 33915082 2246.38/2254.89 o 33911829 2246.48/2254.92 o 33911789 2246.48/2255.01 o 33911343 2246.78/2255.27 o 33911334 2247.58/2256.03 o 33911324 2247.97/2256.46 o 33909683 2247.97/2256.49 o 33909179 2255.34/2263.83 o 33909123 2255.44/2263.92 o 33864142 2255.66/2264.11 o 33863847 2255.66/2264.19 o 33862487 2255.74/2264.25 o 33861834 2255.84/2264.33 o 33861818 2255.84/2264.39 o 33861618 2256.74/2265.26 o 33861585 2257.14/2265.69 o 33861540 2257.24/2265.75 o 33861486 2257.34/2265.82 o 33860931 2257.44/2265.90 o 33860683 2257.44/2265.97 o 33860376 2257.55/2266.04 o 33860176 2257.74/2266.23 o 33860088 2257.84/2266.32 o 33859967 2257.94/2266.40 o 33859767 2258.83/2267.31 o 33859706 2258.93/2267.48 o 33859699 2259.64/2268.13 o 33859393 2259.73/2268.20 o 33859286 2259.73/2268.28 o 33859277 2260.23/2268.76 o 33859267 2269.09/2277.69 o 33857979 2269.19/2277.71 o 33856655 2269.39/2277.98 o 33854042 2269.39/2277.99 o 33853942 2269.50/2278.01 o 33853289 2278.57/2287.11 o 33852753 2291.42/2300.08 o 33769865 2291.42/2300.08 o 33078521 2291.42/2300.08 o 32732849 2291.42/2300.08 o 32717641 2292.01/2300.61 o 32717435 2292.21/2300.81 o 32717370 2292.21/2300.83 o 32717365 2295.70/2304.33 o 32714320 2304.48/2313.13 o 32714071 2322.01/2330.77 o 32713975 2322.11/2330.87 o 32713955 2322.21/2330.90 o 32713907 2322.21/2330.93 o 32713901 2322.21/2330.96 o 32713544 2322.21/2330.98 o 32713402 2322.32/2331.01 o 32712414 2322.32/2331.04 o 32712408 2322.32/2331.07 o 32712360 2322.32/2331.10 o 32712354 2322.42/2331.16 o 32711755 2322.42/2331.19 o 32711749 2322.51/2331.23 o 32711425 2322.51/2331.26 o 32711419 2322.61/2331.36 o 32711087 2322.71/2331.40 o 32710829 2322.71/2331.43 o 32710775 2323.10/2331.83 o 32710747 2323.10/2331.88 o 32710741 2323.50/2332.28 o 32710262 2345.92/2354.77 o 32709753 2345.92/2354.78 o 32707455 2345.92/2354.78 o 32706136 2346.12/2355.00 o 32705690 2347.12/2355.95 o 32703472 2347.12/2355.97 o 32702172 2348.61/2357.40 o 32700594 2348.61/2357.42 o 32699718 2348.61/2357.46 o 32699165 2348.61/2357.48 o 32698965 2348.91/2357.73 o 32697324 2348.91/2357.76 o 32697194 2349.01/2357.87 o 32697189 2353.69/2362.59 o 32696653 2390.75/2399.80 o 32612869 2403.80/2412.88 o 32612424 2403.90/2412.95 o 32612146 2404.01/2413.01 o 32609990 2404.01/2413.08 o 32608620 2404.11/2413.16 o 32608463 2431.90/2441.02 o 32521329 2431.90/2441.02 o 32477762 2431.90/2441.02 o 32436140 2431.90/2441.03 o 32435201 2431.90/2441.03 o 32428987 2431.90/2441.08 o 32428504 2432.00/2441.18 o 32427951 2432.90/2442.10 o 32425342 2433.89/2443.02 o 32425147 2440.16/2449.33 o 32425144 2455.10/2464.37 o 32424653 2475.13/2484.42 o 32424458 2521.25/2530.78 o 32420341 2521.25/2530.78 o 32419909 2521.25/2530.78 o 32419173 2540.97/2550.60 o 32418827 2563.50/2573.18 o 32416851 2563.50/2573.18 o 32414348 2571.36/2581.03 o 32413645 2571.36/2581.08 o 32413543 2571.46/2581.13 o 32413285 2584.20/2593.99 o 32412925 2591.98/2601.78 o 32412784 2592.39/2602.18 o 32412730 2657.52/2667.54 o 32408692 2657.52/2667.57 o 32408349 2666.29/2676.33 o 32408343 2747.28/2757.69 o 32406451 2747.28/2757.69 o 32365007 2747.38/2757.70 o 32354808 2749.27/2759.64 o 32354726 2796.00/2806.57 o 32354059 2796.00/2806.58 o 32352516 2847.81/2858.56 o 32348538 2847.81/2858.57 o 32347979 2847.91/2858.66 o 32347838 2931.20/2942.24 o 32347294 2931.20/2942.24 o 32347278 2931.20/2942.25 o 32346778 2931.20/2942.25 o 32345784 2982.00/2993.24 o 32344691 3036.39/3047.89 o 32340142 3036.49/3047.99 o 32339589 3036.49/3048.00 o 32339389 3045.36/3056.81 o 32339386 3053.73/3065.24 o 32339176 3053.83/3065.31 o 32338629 3053.83/3065.38 o 32338354 3054.53/3066.07 o 32338021 3054.63/3066.14 o 32337636 3054.72/3066.21 o 32337603 3055.82/3067.37 o 32337575 3055.92/3067.48 o 32325131 3073.75/3085.35 o 32325125 3177.26/3189.21 o 32322944 3177.76/3189.73 o 32322878 3177.76/3189.75 o 32322847 3177.76/3189.78 o 32322824 3177.76/3189.79 o 32322667 3201.37/3213.42 o 32322110 3216.71/3228.86 o 32322061 3247.60/3259.87 o 32321877 3267.12/3279.48 o 32320878 3267.12/3279.48 o 32318376 3267.22/3279.52 o 32315474 3267.73/3280.08 o 32315279 3321.41/3333.94 o 32313885 3321.41/3333.94 o 32313561 3321.41/3333.95 o 32313218 3321.62/3334.15 o 32312706 3351.41/3364.11 o 32310287 3355.39/3368.06 o 32310092 3361.86/3374.58 o 32309341 3407.20/3420.10 o 32306685 3407.20/3420.11 o 32306131 3407.30/3420.13 o 32304970 3407.30/3420.13 o 32303063 3457.29/3470.38 o 32302550 3457.29/3470.39 o 32300906 3457.39/3470.40 o 32300668 3458.39/3471.42 o 32298451 3530.72/3544.02 o 32294033 3530.82/3544.16 o 32293420 3531.01/3544.33 o 32292747 3532.01/3545.38 o 32292534 3532.01/3545.39 o 32291979 3579.83/3593.33 o 32289233 3579.93/3593.45 o 32286763 3580.53/3594.03 o 32286726 3582.72/3596.22 o 32286538 3586.80/3600.34 o 32286517 3600.05/3613.60 c Program interrupted by user. 3600.05/3613.60 s SATISFIABLE 3600.05/3613.60 v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 x2125 -x2126 -x2127 x2128 x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 x2802 x2803 -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 x3047 x3048 x3049 x3050 x3051 x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 x3356 x3357 -x3358 -x3359 -x3360 x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 x3723 x3724 -x3725 x3726 -x3727 x3728 x3729 x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 x4035 -x4036 x4037 -x4038 x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 x4283 -x4284 x4285 -x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 x4393 x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 x4476 -x4477 x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 -x4648 -x4649 -x4650 x4651 x4652 x4653 -x4654 x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 x4897 -x4898 x4899 -x4900 x4901 -x4902 -x4903 x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 x5093 x5094 x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 x5265 -x5266 x5267 -x5268 x5269 -x5270 -x5271 x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 x5571 -x5572 -x5573 -x5574 x5575 -x5576 x5577 -x5578 x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 x5749 -x5750 -x5751 -x5752 x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 -x5884 x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 x5962 -x5963 -x5964 -x5965 -x5966 -x5967 x5968 -x5969 -x5970 x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 x6093 x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 x6220 -x6221 -x6222 -x6223 -x6224 x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 x6278 -x6279 -x6280 x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 x6336 x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402
OK 32286517
runsolver version 3.4.2 (svn: 4680) 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: 64059 MiB (63262 MiB free)
memory of node 1: 64510 MiB (62798 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433383-1721070091/watcher-4433383-1721070091 -o /tmp/evaluation-result-4433383-1721070091/solver-4433383-1721070091 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721070103-810019 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=578412305 HOME/instance-4433383-1721070091.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=810051, runsolver pid=810048
[startup+0.100206 s]*
/proc/loadavg: 3.69 4.04 4.13 7/245 810083
/proc/meminfo: memFree=129039064/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=35548 memory=14152 CPUtime=0.1 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 3074 0 0 0 10 0 0 0 20 0 1 0 159165222 36401152 3538 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 8887 3538 803 746 0 7951 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35548 KiB
Current children cumulated memory: 14152 KiB
[startup+0.21434 s]*
/proc/loadavg: 3.69 4.04 4.13 5/245 810083
/proc/meminfo: memFree=128922764/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=37040 memory=16180 CPUtime=0.21 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 3555 0 0 0 21 0 0 0 20 0 1 0 159165222 37928960 4045 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 9260 4045 851 746 0 8324 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37040 KiB
Current children cumulated memory: 16180 KiB
[startup+0.313138 s]*
/proc/loadavg: 3.69 4.04 4.13 5/245 810083
/proc/meminfo: memFree=128887392/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=37700 memory=19016 CPUtime=0.31 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 3730 0 0 0 31 0 0 0 20 0 1 0 159165222 38604800 4754 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 9425 4754 851 746 0 8489 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37700 KiB
Current children cumulated memory: 19016 KiB
[startup+0.700325 s]
/proc/loadavg: 3.69 4.04 4.13 6/243 810083
/proc/meminfo: memFree=128906904/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=40604 memory=23964 CPUtime=0.68 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 4472 0 0 0 68 0 0 0 20 0 1 0 159165222 41578496 5991 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 10151 5991 851 746 0 9215 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40604 KiB
Current children cumulated memory: 23964 KiB
[startup+1.50031 s]
/proc/loadavg: 3.69 4.04 4.13 6/245 810129
/proc/meminfo: memFree=128854256/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=48812 memory=38284 CPUtime=1.48 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 6512 0 0 0 147 1 0 0 20 0 1 0 159165222 49983488 9571 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 12203 9571 851 746 0 11267 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48812 KiB
Current children cumulated memory: 38284 KiB
[startup+3.11374 s]
/proc/loadavg: 3.71 4.03 4.13 6/245 810131
/proc/meminfo: memFree=128659420/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=74492 memory=60640 CPUtime=3.08 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 10259 0 0 0 306 2 0 0 20 0 1 0 159165222 76279808 15160 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 18623 15160 851 746 0 17687 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74492 KiB
Current children cumulated memory: 60640 KiB
[startup+6.3003 s]
/proc/loadavg: 3.71 4.03 4.13 6/245 810131
/proc/meminfo: memFree=128413644/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=122704 memory=103768 CPUtime=6.26 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 16360 0 0 0 621 5 0 0 20 0 1 0 159165222 125648896 25942 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 30676 25942 851 746 0 29740 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 122704 KiB
Current children cumulated memory: 103768 KiB
[startup+12.7003 s]
/proc/loadavg: 3.76 4.03 4.13 6/245 810131
/proc/meminfo: memFree=128045916/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=203272 memory=155008 CPUtime=12.64 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 24570 0 0 0 1255 9 0 0 20 0 1 0 159165222 208150528 38752 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 50818 38752 851 746 0 49882 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 203272 KiB
Current children cumulated memory: 155008 KiB
[startup+25.5003 s]
/proc/loadavg: 3.87 4.05 4.13 6/245 810134
/proc/meminfo: memFree=127632036/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=209956 memory=174700 CPUtime=25.39 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 26976 0 0 0 2529 10 0 0 20 0 1 0 159165222 214994944 43675 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 52489 43675 851 746 0 51553 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 209956 KiB
Current children cumulated memory: 174700 KiB
[startup+51.1129 s]
/proc/loadavg: 3.92 4.04 4.13 6/245 810137
/proc/meminfo: memFree=126712276/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=374616 memory=322700 CPUtime=50.91 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 47887 0 0 0 5073 18 0 0 20 0 1 0 159165222 383606784 80675 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 93654 80675 851 746 0 92718 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 374616 KiB
Current children cumulated memory: 322700 KiB
[startup+102.3 s]
/proc/loadavg: 4.01 4.05 4.12 6/244 810145
/proc/meminfo: memFree=125803352/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=378584 memory=331500 CPUtime=101.93 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 48740 0 0 0 10174 19 0 0 20 0 1 0 159165222 387670016 82875 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 94646 82875 851 746 0 93710 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 378584 KiB
Current children cumulated memory: 331500 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.09 4.13 6/246 810160
/proc/meminfo: memFree=125497360/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=380640 memory=354448 CPUtime=161.72 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 49274 0 0 0 16153 19 0 0 20 0 1 0 159165222 389775360 88612 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 95160 88612 851 746 0 94224 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 380640 KiB
Current children cumulated memory: 354448 KiB
[startup+222.3 s]
/proc/loadavg: 4.79 4.28 4.19 6/246 810171
/proc/meminfo: memFree=124274392/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=382240 memory=355704 CPUtime=221.53 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 49756 0 0 0 22134 19 0 0 20 0 1 0 159165222 391413760 88926 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 95560 88926 851 746 0 94624 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 382240 KiB
Current children cumulated memory: 355704 KiB
[startup+282.3 s]
/proc/loadavg: 4.40 4.26 4.19 6/244 810181
/proc/meminfo: memFree=123515596/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=382944 memory=356460 CPUtime=281.31 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 50076 0 0 0 28112 19 0 0 20 0 1 0 159165222 392134656 89115 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 95736 89115 851 746 0 94800 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 382944 KiB
Current children cumulated memory: 356460 KiB
[startup+342.3 s]
/proc/loadavg: 4.83 4.40 4.24 6/243 810192
/proc/meminfo: memFree=123200100/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=385056 memory=358280 CPUtime=341.08 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 50685 0 0 0 34089 19 0 0 20 0 1 0 159165222 394297344 89570 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 96264 89570 851 746 0 95328 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 385056 KiB
Current children cumulated memory: 358280 KiB
[startup+402.3 s]
/proc/loadavg: 4.53 4.40 4.25 6/243 810202
/proc/meminfo: memFree=123064344/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=385920 memory=359352 CPUtime=400.85 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 51042 0 0 0 40066 19 0 0 20 0 1 0 159165222 395182080 89838 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 96480 89838 851 746 0 95544 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 385920 KiB
Current children cumulated memory: 359352 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 4.34 4.24 6/241 810212
/proc/meminfo: memFree=123040440/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=387680 memory=360644 CPUtime=460.63 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 51537 0 0 0 46043 20 0 0 20 0 1 0 159165222 396984320 90161 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 96920 90161 851 746 0 95984 0
################
# More data... #
################
Current children cumulated memory: 406884 KiB
[startup+2862.3 s]
/proc/loadavg: 4.18 4.12 4.10 6/242 811260
/proc/meminfo: memFree=121138148/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=437976 memory=407756 CPUtime=2851.6 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 69628 0 0 0 285137 23 0 0 20 0 1 0 159165222 448487424 101939 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 109494 101939 851 746 0 108558 0
Current children cumulated CPU time: 2851.6 s
Current children cumulated vsize: 437976 KiB
Current children cumulated memory: 407756 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/243 811274
/proc/meminfo: memFree=121117196/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=438616 memory=408656 CPUtime=2911.37 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 70010 0 0 0 291114 23 0 0 20 0 1 0 159165222 449142784 102164 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 109654 102164 851 746 0 108718 0
Current children cumulated CPU time: 2911.37 s
Current children cumulated vsize: 438616 KiB
Current children cumulated memory: 408656 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/243 811284
/proc/meminfo: memFree=121099920/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=439512 memory=409520 CPUtime=2971.14 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 70375 0 0 0 297091 23 0 0 20 0 1 0 159165222 450060288 102380 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 109878 102380 851 746 0 108942 0
Current children cumulated CPU time: 2971.14 s
Current children cumulated vsize: 439512 KiB
Current children cumulated memory: 409520 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/243 811295
/proc/meminfo: memFree=121082624/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=439512 memory=409568 CPUtime=3030.91 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 70541 0 0 0 303068 23 0 0 20 0 1 0 159165222 450060288 102392 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 109878 102392 851 746 0 108942 0
Current children cumulated CPU time: 3030.91 s
Current children cumulated vsize: 439512 KiB
Current children cumulated memory: 409568 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/243 811306
/proc/meminfo: memFree=121058208/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=439512 memory=409632 CPUtime=3090.68 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 70720 0 0 0 309045 23 0 0 20 0 1 0 159165222 450060288 102408 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 109878 102408 851 746 0 108942 0
Current children cumulated CPU time: 3090.68 s
Current children cumulated vsize: 439512 KiB
Current children cumulated memory: 409632 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/243 811316
/proc/meminfo: memFree=121030324/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=439764 memory=409820 CPUtime=3150.46 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 70897 0 0 0 315023 23 0 0 20 0 1 0 159165222 450318336 102455 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 109941 102455 851 746 0 109005 0
Current children cumulated CPU time: 3150.46 s
Current children cumulated vsize: 439764 KiB
Current children cumulated memory: 409820 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/244 811710
/proc/meminfo: memFree=120998116/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=440536 memory=410600 CPUtime=3210.23 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 71268 0 0 0 321000 23 0 0 20 0 1 0 159165222 451108864 102650 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 110134 102650 851 746 0 109198 0
Current children cumulated CPU time: 3210.23 s
Current children cumulated vsize: 440536 KiB
Current children cumulated memory: 410600 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/243 811722
/proc/meminfo: memFree=120879924/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=442264 memory=412188 CPUtime=3270.01 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 71923 0 0 0 326978 23 0 0 20 0 1 0 159165222 452878336 103047 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 110566 103047 851 746 0 109630 0
Current children cumulated CPU time: 3270.01 s
Current children cumulated vsize: 442264 KiB
Current children cumulated memory: 412188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/243 811732
/proc/meminfo: memFree=120778156/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=442520 memory=412632 CPUtime=3329.78 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 72145 0 0 0 332955 23 0 0 20 0 1 0 159165222 453140480 103158 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 110630 103158 851 746 0 109694 0
Current children cumulated CPU time: 3329.78 s
Current children cumulated vsize: 442520 KiB
Current children cumulated memory: 412632 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.13 4.10 6/245 811912
/proc/meminfo: memFree=120775984/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=443288 memory=413412 CPUtime=3389.55 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 72533 0 0 0 338932 23 0 0 20 0 1 0 159165222 453926912 103353 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 110822 103353 851 746 0 109886 0
Current children cumulated CPU time: 3389.55 s
Current children cumulated vsize: 443288 KiB
Current children cumulated memory: 413412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.10 6/245 811923
/proc/meminfo: memFree=120618076/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=443288 memory=413556 CPUtime=3449.32 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 72683 0 0 0 344909 23 0 0 20 0 1 0 159165222 453926912 103389 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 110822 103389 851 746 0 109886 0
Current children cumulated CPU time: 3449.32 s
Current children cumulated vsize: 443288 KiB
Current children cumulated memory: 413556 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/247 811937
/proc/meminfo: memFree=120463700/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=443800 memory=413844 CPUtime=3509.1 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 72927 0 0 0 350887 23 0 0 20 0 1 0 159165222 454451200 103461 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 110950 103461 851 746 0 110014 0
Current children cumulated CPU time: 3509.1 s
Current children cumulated vsize: 443800 KiB
Current children cumulated memory: 413844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/245 811958
/proc/meminfo: memFree=120460372/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=443800 memory=414036 CPUtime=3568.87 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 73126 0 0 0 356864 23 0 0 20 0 1 0 159165222 454451200 103509 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 110950 103509 851 746 0 110014 0
Current children cumulated CPU time: 3568.87 s
Current children cumulated vsize: 443800 KiB
Current children cumulated memory: 414036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 812149
/proc/meminfo: memFree=128601672/131655788 swapFree=131071996/131071996
[pid=810051] ppid=810048 vsize=444248 memory=414404 CPUtime=3600.05 cores=0,2
/proc/810051/stat : 810051 (Exact_nosoplex) R 810048 810051 810009 0 -1 4194304 73310 0 0 0 359982 23 0 0 20 0 1 0 159165222 454909952 103601 134679101440 4194304 7248369 140737465998544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22691840 140737466000301 140737466000479 140737466000479 140737466007494 0
/proc/810051/statm: 111062 103601 851 746 0 110126 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 444248 KiB
Current children cumulated memory: 414404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.61 s]
# the end of solver process 810051 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.83 s, system=0.238168 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3613.61
CPU time (s): 3600.07
CPU user time (s): 3599.83
CPU system time (s): 0.238168
CPU usage (%): 99.6253
Max. virtual memory (cumulated for all children) (KiB): 444248
Max. memory (cumulated for all children) (KiB): 414404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.83
system time used= 0.238168
maximum resident set size= 414404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73313
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46
involuntary context switches= 25223
# summary of solver processes directly reported to runsolver:
# pid: 810051
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.83
# total CPU system time (s): 0.238168
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3353 second user time and 34.086 second system time
The end
Begin job on nodeC003 at 2024-07-15 21:01:43 IDJOB=4433383 IDBENCH=146797 IDSOLVER=3061 FILE ID=nodeC003/4433383-1721070091 RUNJOBID= nodeC003-1721070103-810019 SLURM_JOB_ID= 7505524 Free space on /tmp= 723780 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433383-1721070091/watcher-4433383-1721070091 -o /tmp/evaluation-result-4433383-1721070091/solver-4433383-1721070091 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721070103-810019 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=578412305 HOME/instance-4433383-1721070091.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4 RANDOM SEED=578412305 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2335.295 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.220 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.221 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.227 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.219 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.229 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.232 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.219 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129090176 kB MemAvailable: 129925708 kB Buffers: 388028 kB Cached: 1282440 kB SwapCached: 0 kB Active: 597160 kB Inactive: 1431364 kB Active(anon): 1380 kB Inactive(anon): 394376 kB Active(file): 595780 kB Inactive(file): 1036988 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 10656 kB Writeback: 0 kB AnonPages: 357944 kB Mapped: 103324 kB Shmem: 37704 kB KReclaimable: 85588 kB Slab: 180852 kB SReclaimable: 85588 kB SUnreclaim: 95264 kB KernelStack: 3664 kB PageTables: 9372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 779444 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51040 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 228168 kB DirectMap2M: 14356480 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 723760 MiB End job on nodeC003 at 2024-07-15 22:01:57