Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | 1800.1 | 1800.63 |
Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_8_mh_ic.opb |
MD5SUM | 92eaf5bbbb67d6b3b242e002852c9043 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5227195 |
Best CPU time to get the best result obtained on this benchmark | 75.5025 |
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 | 9765 |
Total number of constraints | 21293 |
Number of constraints which are clauses | 14520 |
Number of constraints which are cardinality constraints (but not clauses) | 23 |
Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 330 |
Number of terms in the objective function | 4005 |
Biggest coefficient in the objective function | 114791256 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 4434739271 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 114791256 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 4434739271 |
Number of bits of the biggest sum of numbers | 33 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3744007-1338799967.opb 0.00/0.00 c File size is 831384 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.02/0.07 c Highest Coefficient sum: 4.43474e+09 0.02/0.07 c Parsing was ok!! 0.02/0.07 c Total parsing time: 0.072 s 0.02/0.08 c Var: 9765 Constr: 21931 15890/26/6015 Lit: 70755 Watch. Lit: 58718 0.02/0.08 c Obj. Vars: 4005 (41.0138 % of total variables) 1.29/1.32 c Pre-processing Time: 1.323 s 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 0 8745 20558 67835 3 55904 69694 0 0 1.32 1.29/1.35 c 102 8745 20660 81304 3 56137 76664 102 75 1.35 1.29/1.35 o 30075275 1.352 1.29/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.36 c 102 8745 20661 84574 4 59409 76234 103 75 1.35 1.29/1.36 o 29982671 1.359 1.29/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.37 c 104 8745 20664 87891 4 62682 76234 106 76 1.36 1.29/1.37 o 13913010 1.369 1.38/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.38/1.48 c 107 8745 20668 91212 4 65958 76234 110 78 1.37 1.38/1.48 c 207 8745 20768 99659 4 66159 83858 210 142 1.45 1.38/1.48 o 13533336 1.481 2.38/2.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.38/2.46 c 242 8745 20804 106597 5 69499 76234 246 163 1.48 2.38/2.46 c 343 8745 20905 114470 5 69699 83858 347 214 1.60 2.38/2.46 c 595 8721 21157 133309 6 70181 92244 599 318 1.87 2.38/2.46 c 1070 8568 21632 207752 9 71128 101469 1074 467 2.29 2.38/2.46 o 12421487 2.456 2.48/2.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.48/2.50 c 1260 8568 21823 222085 10 74684 76042 1265 512 2.46 2.48/2.50 o 12364940 2.499 9.28/9.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.28/9.38 c 1294 8568 21858 227927 10 77925 76042 1300 517 2.50 9.28/9.38 c 1394 8568 21958 233979 10 78124 83647 1400 525 2.65 9.28/9.38 c 1645 8568 22209 270877 12 78627 92012 1651 541 3.04 9.28/9.38 c 2120 8566 22684 332105 14 79576 101214 2126 571 3.71 9.28/9.38 c 2934 8566 23498 462572 19 81204 111336 2940 622 4.71 9.28/9.38 c 4255 8566 24819 608351 24 83845 122470 4261 652 6.52 9.28/9.38 c 6336 8566 26900 954241 35 88006 134718 6342 677 9.35 9.28/9.38 o 12005468 9.37 9.98/10.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.98/10.02 c 6341 8566 26906 957537 35 91191 76042 6348 676 9.37 9.98/10.02 c 6442 8566 27007 977095 36 91395 83647 6449 675 9.53 9.98/10.02 c 6692 8360 27257 1000419 36 91892 92012 6699 670 9.98 9.98/10.02 o 10798821 10.011 9.98/10.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.98/10.03 c 6697 8360 27263 1003666 36 95006 75930 6705 668 10.01 9.98/10.03 o 10741725 10.029 9.98/10.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.98/10.05 c 6697 8360 27264 1006784 36 98110 75930 6706 667 10.03 9.98/10.05 o 10385981 10.047 9.98/10.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.98/10.07 c 6697 8360 27265 1009902 37 101220 75930 6707 666 10.05 9.98/10.07 o 7610864 10.066 29.07/29.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.07/29.13 c 6698 8360 27267 1013072 37 104339 75930 6709 665 10.07 29.07/29.13 c 6799 8360 27368 1023829 37 104540 83524 6810 660 10.29 29.07/29.13 c 7049 8360 27618 1048025 37 105059 91877 7060 648 10.87 29.07/29.13 c 7525 8346 28094 1101950 39 106023 101065 7536 619 12.15 29.07/29.13 c 8341 8346 28910 1226640 42 107658 111172 8352 600 13.89 29.07/29.13 c 9662 8346 30231 1477577 48 110301 122290 9673 581 16.61 29.07/29.13 c 11743 8346 32312 1804853 55 114462 134520 11754 548 21.39 29.07/29.13 c 14966 8346 35535 2457616 69 120909 147973 14977 517 28.94 29.07/29.13 o 7535842 29.125 32.28/32.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.28/32.32 c 15027 8346 35597 2465798 69 124136 75906 15039 515 29.13 32.28/32.32 c 15129 8346 35699 2484782 69 124338 83497 15141 513 29.48 32.28/32.32 c 15379 8346 35949 2525035 70 124839 91847 15391 509 30.18 32.28/32.32 c 15854 8346 36424 2777803 76 125786 101032 15866 500 31.70 32.28/32.32 o 7513078 32.304 32.98/33.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.98/33.03 c 16042 8346 36613 2803524 76 129271 75906 16055 496 32.31 32.98/33.03 c 16142 8346 36713 2816132 76 129468 83497 16155 494 32.65 32.98/33.03 o 7495784 33.017 37.47/37.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.47/37.54 c 16257 8346 36829 2830124 76 132807 75906 16271 492 33.02 37.47/37.54 c 16357 8346 36929 2852766 77 133006 83497 16371 490 33.36 37.47/37.54 c 16607 8346 37179 2880721 77 133505 91847 16621 484 34.28 37.47/37.54 c 17082 8346 37654 2990553 79 134455 101032 17096 477 35.78 37.47/37.54 o 7453289 37.529 67.76/67.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.76/67.85 c 17579 8346 38152 3054253 80 138557 75906 17594 468 37.53 67.76/67.85 c 17683 8346 38256 3106341 81 138762 83497 17698 466 37.93 67.76/67.85 c 17935 8346 38508 3147497 81 139267 91847 17950 463 38.69 67.76/67.85 c 18410 8346 38983 3329967 85 140217 101032 18425 458 40.19 67.76/67.85 c 19225 8346 39798 3478781 87 141847 111136 19240 449 42.77 67.76/67.85 c 20549 8346 41122 4002123 97 144495 122250 20564 430 47.76 67.76/67.85 c 22630 8346 43203 4622491 106 148657 134476 22645 406 55.63 67.76/67.85 o 7438109 67.824 69.16/69.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 69.16/69.27 c 25787 8346 46361 5836341 125 158077 75906 25803 380 67.83 69.16/69.27 c 25887 8341 46461 5846152 125 158273 83497 25903 378 68.31 69.16/69.27 o 7188711 69.246 75.46/75.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 75.46/75.56 c 26102 8341 46677 5886853 126 161805 75898 26119 376 69.25 75.46/75.56 c 26202 5354 46777 5895175 126 162001 83488 26219 376 69.56 75.46/75.56 c 26453 5354 47028 5915719 125 162504 91837 26470 376 70.33 75.46/75.56 c 26928 5354 47503 5970787 125 163454 101021 26945 373 72.13 75.46/75.56 c 27745 5353 48320 6097080 126 165088 111124 27762 367 75.49 75.46/75.56 o 6666938 75.536 75.46/75.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 75.46/75.59 c 27750 5353 48326 6099536 126 167290 74080 27768 367 75.54 75.46/75.59 o 6513840 75.564 75.56/75.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 75.56/75.64 c 27752 5353 48329 6101782 126 169489 74080 27771 367 75.57 75.56/75.64 o 6257713 75.619 77.36/77.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 77.36/77.49 c 27761 5353 48339 6104564 126 171699 74080 27781 367 75.62 77.36/77.49 c 27863 5353 48441 6113078 126 171904 81489 27883 366 76.02 77.36/77.49 c 28113 5353 48691 6134621 125 172402 89638 28133 366 76.77 77.36/77.49 o 6032997 77.469 80.27/80.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.27/80.34 c 28298 5353 48877 6149463 125 174966 74080 28319 365 77.47 80.27/80.34 c 28398 5353 48977 6165956 125 175166 81489 28419 364 77.82 80.27/80.34 c 28651 5353 49230 6186179 125 175672 89638 28672 363 78.81 80.27/80.34 c 29126 4618 49705 6224104 125 176620 98602 29147 362 80.27 80.27/80.34 o 5978418 80.313 80.36/80.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.36/80.40 c 29131 4618 49711 6226116 125 178575 73584 29153 362 80.32 80.36/80.40 o 5905972 80.37 80.56/80.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.56/80.64 c 29141 4618 49722 6228678 125 180540 73584 29164 362 80.37 80.56/80.64 o 5858433 80.617 94.46/94.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 94.46/94.58 c 29191 4618 49773 6234454 125 182585 73584 29215 362 80.62 94.46/94.58 c 29292 4617 49874 6245151 125 182786 80943 29316 361 81.08 94.46/94.58 c 29542 4617 50124 6264603 124 183286 89038 29566 360 81.97 94.46/94.58 c 30017 4616 50599 6302804 124 184235 97942 30041 357 83.97 94.46/94.58 c 30830 4616 51412 6358696 123 185861 107737 30854 354 87.04 94.46/94.58 c 32150 4616 52732 6521452 123 188501 118511 32174 346 92.78 94.46/94.58 o 5705774 94.545 95.96/96.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 95.96/96.02 c 32539 4616 53122 6552758 123 191224 73584 32564 344 94.55 95.96/96.02 c 32639 4616 53222 6559957 123 191424 80943 32664 343 94.98 95.96/96.02 o 5639008 95.985 101.35/101.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.35/101.44 c 32862 4616 53446 6578900 123 193815 73584 32888 342 95.99 101.35/101.44 c 32962 4616 53546 6583359 122 194015 80943 32988 341 96.48 101.35/101.44 c 33212 4616 53796 6601389 122 194515 89038 33238 340 97.45 101.35/101.44 c 33687 4616 54271 6631256 122 195465 97942 33713 338 99.52 101.35/101.44 o 5629271 101.409 108.86/108.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 108.86/108.99 c 34113 4616 54698 6674912 122 198262 73584 34140 336 101.41 108.86/108.99 c 34213 4616 54798 6680556 121 198462 80943 34240 335 101.94 108.86/108.99 c 34465 4616 55050 6697452 121 198966 89038 34492 334 103.08 108.86/108.99 c 34941 4616 55526 6736854 121 199918 97942 34968 332 105.22 108.86/108.99 o 5603212 108.954 126.36/126.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 126.36/126.48 c 35663 4616 56249 6823179 121 203307 73584 35691 327 108.96 126.36/126.48 c 35764 4616 56350 6830087 121 203509 80943 35792 326 109.49 126.36/126.48 c 36015 4616 56601 6852679 121 204011 89038 36043 325 110.73 126.36/126.48 c 36492 4616 57078 6889656 120 204965 97942 36520 322 113.04 126.36/126.48 c 37306 4616 57892 7055595 121 206593 107737 37334 315 118.11 126.36/126.48 c 38626 4616 59212 7211059 121 209233 118511 38654 309 124.66 126.36/126.48 o 5592048 126.436 139.34/139.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 139.34/139.42 c 38998 4616 59585 7248280 121 211922 73584 39027 308 126.44 139.34/139.42 c 39098 4616 59685 7253867 121 212122 80943 39127 307 126.96 139.34/139.42 c 39350 4616 59937 7267407 121 212626 89038 39379 307 128.13 139.34/139.42 c 39826 4616 60413 7321397 121 213578 97942 39855 305 130.57 139.34/139.42 c 40640 4616 61227 7385383 120 215206 107737 40669 302 134.50 139.34/139.42 o 5578639 139.376 328.58/328.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 328.58/328.73 c 41445 4616 62033 7504694 120 218761 73584 41475 297 139.38 328.58/328.73 c 41547 4616 62135 7512487 120 218965 80943 41577 296 140.03 328.58/328.73 c 41798 4615 62386 7528973 120 219466 89038 41828 295 141.39 328.58/328.73 c 42273 4615 62861 7609530 121 220416 97942 42303 293 144.01 328.58/328.73 c 43086 4615 63674 7679412 120 222042 107737 43116 289 148.92 328.58/328.73 c 44410 4615 64998 7853976 120 224690 118511 44440 283 156.51 328.58/328.73 c 46491 4615 67079 8067528 120 228852 130363 46521 276 168.27 328.58/328.73 c 49714 4615 70302 8645801 122 235298 143400 49744 265 187.50 328.58/328.73 c 54650 4614 75238 9437215 125 245169 157741 54680 251 217.25 328.58/328.73 c 62156 4612 82744 12022904 145 260179 173516 62186 229 270.44 328.58/328.73 o 5568313 328.631 395.65/395.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 395.65/395.82 c 70877 4612 91466 13907365 152 279566 73584 70908 215 328.63 395.65/395.82 c 70978 4612 91567 13934393 152 279768 80943 71009 215 329.63 395.65/395.82 c 71229 4612 91818 13952350 151 280270 89038 71260 214 331.57 395.65/395.82 c 71704 4612 92293 14102496 152 281220 97942 71735 213 335.68 395.65/395.82 c 72518 4612 93107 14250886 153 282848 107737 72549 211 342.23 395.65/395.82 c 73838 4612 94427 14848973 157 285488 118511 73869 208 353.92 395.65/395.82 c 75919 4612 96508 15355176 159 289650 130363 75950 204 371.84 395.65/395.82 o 5562047 395.691 569.33/569.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 569.33/569.67 c 78358 4612 98948 16478802 166 296473 73584 78390 198 395.69 569.33/569.67 c 78459 4612 99049 16496470 166 296675 80943 78491 197 396.74 569.33/569.67 c 78711 4612 99301 16576198 166 297179 89038 78743 196 399.68 569.33/569.67 c 79186 4612 99776 16609577 166 298129 97942 79218 196 403.61 569.33/569.67 c 79999 4612 100589 16919422 168 299755 107737 80031 194 411.57 569.33/569.67 c 81320 4612 101910 17125420 168 302397 118511 81352 192 421.83 569.33/569.67 c 83401 4612 103991 18437232 177 306559 130363 83433 188 441.70 569.33/569.67 c 86625 4612 107215 18998388 177 313007 143400 86657 184 468.68 569.33/569.67 c 91562 4612 112152 21440241 191 322881 157741 91594 178 513.28 569.33/569.67 o 5537455 569.411 627.11/627.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 627.11/627.49 c 97831 4612 118422 23192279 195 337364 73584 97864 171 569.41 627.11/627.49 c 97932 4612 34774 4776362 137 101040 80943 14216 170 573.53 627.11/627.49 c 98183 4611 35025 4881129 139 101541 89038 14467 170 574.29 627.11/627.49 c 98659 4611 35501 5153944 145 102493 97942 14943 171 575.62 627.11/627.49 c 99476 4611 36318 5333950 146 104127 107737 15760 172 577.49 627.11/627.49 c 100799 4611 37641 6148078 163 106773 118511 17083 173 580.89 627.11/627.49 c 102882 4611 39724 6784387 170 110939 130363 19166 175 586.27 627.11/627.49 c 106107 4610 42949 7277013 169 117388 143400 22391 178 593.65 627.11/627.49 c 111044 4610 47886 10729170 224 127262 157741 27328 180 613.95 627.11/627.49 o 5517061 627.215 640.21/640.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 640.21/640.50 c 115633 4610 52476 11948749 227 138385 73584 31918 184 627.22 640.21/640.50 c 115733 4609 52576 11979376 227 138584 80943 32018 184 627.77 640.21/640.50 c 115983 4609 52826 12135578 229 139084 89038 32268 184 629.08 640.21/640.50 c 116458 4609 53301 12307437 230 140034 97942 32743 184 631.23 640.21/640.50 c 117272 4609 54115 12839185 237 141662 107737 33557 184 635.10 640.21/640.50 o 5441313 640.214 823.67/824.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 823.67/824.04 c 118476 4609 55320 13415816 242 146015 73584 34762 185 640.22 823.67/824.04 c 118578 4609 55422 13498000 243 146219 80943 34864 185 640.77 823.67/824.04 c 118828 4609 55672 13663745 245 146719 89038 35114 185 641.84 823.67/824.04 c 119303 4609 56147 14020832 249 147669 97942 35589 185 644.61 823.67/824.04 c 120119 4609 56963 14551589 255 149301 107737 36405 185 648.93 823.67/824.04 c 121439 4608 58283 15340908 263 151940 118511 37725 185 656.11 823.67/824.04 c 123520 4608 60364 16913580 280 156102 130363 39806 184 668.42 823.67/824.04 c 126746 4608 63590 18727305 294 162554 143400 43032 184 685.85 823.67/824.04 c 131683 4608 68527 22340174 326 172428 157741 47969 183 716.20 823.67/824.04 c 139189 2781 76033 26684495 350 187439 173516 55475 182 764.46 823.67/824.04 o 5440512 823.729 827.98/828.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 827.98/828.38 c 148756 2781 85601 28896137 337 207700 71952 65043 180 823.73 827.98/828.38 c 148857 2781 85702 28912950 337 207903 79148 65144 180 824.57 827.98/828.38 c 149107 2781 85952 28933736 336 208403 87063 65394 180 826.41 827.98/828.38 o 5431214 828.073 852.18/852.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 852.18/852.57 c 149352 2781 86198 28945983 335 210021 71952 65640 180 828.08 852.18/852.57 c 149453 2781 86299 28951698 335 210223 79148 65741 180 828.88 852.18/852.57 c 149703 2781 86549 28969389 334 210723 87063 65991 180 830.28 852.18/852.57 c 150178 2781 87024 29026290 333 211673 95770 66466 180 833.70 852.18/852.57 c 150993 2781 87839 29101083 331 213303 105348 67281 180 838.66 852.18/852.57 c 152313 2781 89159 29204073 327 215943 115883 68601 179 847.61 852.18/852.57 o 5395013 852.254 1009.36/1009.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1009.36/1009.74 c 152954 2781 89801 29268136 325 218354 71952 69243 179 852.25 1009.36/1009.74 c 153054 2781 89901 29277010 325 218553 79148 69343 179 852.89 1009.36/1009.74 c 153305 2781 90152 29299051 324 219056 87063 69594 179 854.92 1009.36/1009.74 c 153780 2779 90627 29335365 323 220004 95770 70069 179 859.10 1009.36/1009.74 c 154593 2779 91440 29383139 321 221630 105348 70882 178 865.97 1009.36/1009.74 c 155914 2779 92761 29518402 318 224272 115883 72203 178 874.64 1009.36/1009.74 c 157995 2779 94842 29707663 313 228432 127472 74284 177 887.94 1009.36/1009.74 c 161218 2779 98065 30329756 309 234880 140220 77507 176 910.89 1009.36/1009.74 c 166156 2779 103003 30850309 299 244756 154243 82445 175 944.34 1009.36/1009.74 c 173665 2779 110512 31849618 288 259772 169668 89954 173 1000.26 1009.36/1009.74 o 5392474 1009.4 1025.55/1025.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1025.55/1025.90 c 174812 2779 111660 31968389 286 263197 71952 91102 173 1009.40 1025.55/1025.90 c 174912 2779 34101 1669669 48 100814 79148 13543 172 1011.90 1025.55/1025.90 c 175164 2779 34353 1689782 49 101318 87063 13795 173 1012.28 1025.55/1025.90 c 175639 2779 34828 1744488 50 102268 95770 14270 173 1013.03 1025.55/1025.90 c 176453 2779 35642 1794388 50 103896 105348 15084 173 1014.20 1025.55/1025.90 c 177773 2778 36962 1929595 52 106535 115883 16404 174 1016.24 1025.55/1025.90 c 179854 2777 39043 2240296 57 110696 127472 18485 176 1019.50 1025.55/1025.90 c 183078 2777 42267 2679016 63 117144 140220 21709 178 1024.46 1025.55/1025.90 o 5362575 1025.56 1042.64/1043.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1042.64/1043.05 c 183781 2777 42971 2724228 63 119679 71952 22413 179 1025.56 1042.64/1043.05 c 183883 2777 43073 2735114 63 119883 79148 22515 179 1025.76 1042.64/1043.05 c 184134 2777 43324 2766633 63 120385 87063 22766 179 1026.28 1042.64/1043.05 c 184609 2777 43799 2847142 65 121335 95770 23241 179 1027.34 1042.64/1043.05 c 185422 2777 44612 2948980 66 122961 105348 24054 180 1028.85 1042.64/1043.05 c 186742 2777 45932 3111140 67 125601 115883 25374 181 1031.31 1042.64/1043.05 c 188824 2777 48014 3355809 69 129765 127472 27456 182 1035.43 1042.64/1043.05 c 192047 2777 51237 3712936 72 136211 140220 30679 184 1041.56 1042.64/1043.05 o 5353237 1042.71 1062.84/1063.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1062.84/1063.27 c 192600 2777 51791 3786885 73 138446 71952 31233 184 1042.71 1062.84/1063.27 c 192703 2777 51894 3818502 73 138652 79148 31336 184 1042.97 1062.84/1063.27 c 192954 2777 52145 3838668 73 139154 87063 31587 184 1043.54 1062.84/1063.27 c 193429 2777 52620 3971460 75 140104 95770 32062 185 1044.80 1062.84/1063.27 c 194242 2777 53433 4121837 77 141730 105348 32875 185 1046.72 1062.84/1063.27 c 195563 2777 54754 4495060 82 144372 115883 34196 186 1049.57 1062.84/1063.27 c 197647 2774 56838 5297371 93 148537 127472 36280 187 1055.00 1062.84/1063.27 o 5352270 1062.92 1245.71/1246.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1245.71/1246.11 c 200820 2774 60012 6258250 104 156012 71952 39454 188 1062.92 1245.71/1246.11 c 200920 2774 60112 6287630 104 156212 79148 39554 188 1063.30 1245.71/1246.11 c 201174 2774 60366 6357153 105 156720 87063 39808 189 1064.10 1245.71/1246.11 c 201649 2774 60841 6454330 106 157670 95770 40283 189 1065.56 1245.71/1246.11 c 202462 2774 61654 6601324 107 159296 105348 41096 189 1067.42 1245.71/1246.11 c 203782 2774 62974 7016981 111 161936 115883 42416 190 1071.50 1245.71/1246.11 c 205863 2774 65055 7560290 116 166098 127472 44497 191 1077.03 1245.71/1246.11 c 209086 2773 68278 8064719 118 172543 140220 47720 192 1086.66 1245.71/1246.11 c 214022 2773 73214 9760927 133 182415 154243 52656 193 1103.48 1245.71/1246.11 c 221530 2773 80722 11553400 143 197431 169668 60164 196 1128.72 1245.71/1246.11 c 232892 2772 92084 14628325 158 220154 186635 71526 198 1174.62 1245.71/1246.11 o 5342102 1245.73 1330.06/1330.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1330.06/1330.52 c 249069 2771 108262 19780630 182 253636 71952 87704 199 1245.73 1330.06/1330.52 c 249170 2771 35890 4058204 113 104384 79148 15332 199 1247.44 1330.06/1330.52 c 249423 2771 36143 4122186 114 104890 87063 15585 199 1247.86 1330.06/1330.52 c 249901 2771 36621 4250741 116 105846 95770 16063 200 1248.62 1330.06/1330.52 c 250717 2771 37437 4532218 121 107478 105348 16879 200 1250.10 1330.06/1330.52 c 252037 2771 38757 4944456 127 110118 115883 18199 201 1252.46 1330.06/1330.52 c 254118 2770 40838 5844958 143 114279 127472 20280 202 1256.97 1330.06/1330.52 c 257341 2769 44061 7215535 163 120724 140220 23503 203 1263.98 1330.06/1330.52 c 262279 2769 48999 9324736 190 130600 154243 28441 205 1276.00 1330.06/1330.52 c 269786 2769 56506 12174907 215 145614 169668 35948 208 1294.85 1330.06/1330.52 o 5337528 1330.09 1417.54/1418.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1417.54/1418.08 c 280625 2768 67346 17142648 254 168420 71952 46788 210 1330.09 1417.54/1418.08 c 280726 2768 67447 17186542 254 168622 79148 46889 210 1330.49 1417.54/1418.08 c 280977 2768 67698 17282999 255 169124 87063 47140 211 1331.56 1417.54/1418.08 c 281453 2768 68174 17481183 256 170076 95770 47616 211 1333.28 1417.54/1418.08 c 282269 2767 68990 17965661 260 171707 105348 48432 211 1336.90 1417.54/1418.08 c 283589 2766 70310 18783702 267 174346 115883 49752 211 1342.66 1417.54/1418.08 c 285673 2766 72394 19552075 270 178514 127472 51836 211 1350.46 1417.54/1418.08 c 288896 2766 75617 20589442 272 184960 140220 55059 211 1363.30 1417.54/1418.08 c 293833 2765 80554 22321539 277 194833 154243 59996 212 1382.81 1417.54/1418.08 o 5303705 1417.64 1800.07/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.61 c 301057 2763 87779 26204024 298 210409 71952 67221 212 1417.64 1800.07/1800.61 c 301158 2763 87880 26284863 299 210611 79148 67322 212 1418.48 1800.07/1800.61 c 301409 2762 88131 26479757 300 211112 87063 67573 212 1419.88 1800.07/1800.61 c 301885 2762 88607 26780135 302 212064 95770 68049 212 1422.73 1800.07/1800.61 c 302699 2762 89421 27210914 304 213692 105348 68863 212 1427.72 1800.07/1800.61 c 304019 2761 90741 27894002 307 216331 115883 70183 211 1435.66 1800.07/1800.61 c 306102 2757 92824 29095857 313 220494 127472 72266 211 1449.47 1800.07/1800.61 c 309325 2757 96047 30704915 319 226940 140220 75489 210 1467.54 1800.07/1800.61 c 314262 2755 100984 32614286 322 236813 154243 80426 210 1489.94 1800.07/1800.61 c 321769 2754 108491 35155029 324 251826 169668 87933 209 1532.74 1800.07/1800.61 c 333131 2744 119853 41447394 345 274547 186635 99295 205 1618.47 1800.07/1800.61 c 350281 2743 137003 48767100 355 308846 205299 116445 201 1736.45 1800.07/1800.61 c Caught signal: 15 1800.07/1800.61 v -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9520 x9521 -x9522 -x9523 -x9524 -x9525 -x9301 -x9302 x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 x9324 -x9325 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9359 x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 x9388 -x9389 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 x6121 -x6122 -x6123 -x6124 x6125 -x6126 -x6127 -x6128 -x6129 -x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 x6139 -x6140 x6141 x6142 -x6143 -x6144 -x6145 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 x6203 -x6204 -x6205 -x6206 -x6207 -x6208 x6209 -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 -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 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -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 -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 -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 -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 -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 -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 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -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 -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 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9526 -x9527 x9528 -x9529 -x9530 -x9531 -x9532 -x9533 x9534 -x9535 -x9536 -x9537 x9538 -x9539 -x9540 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 x9648 -x9649 -x9650 -x9651 -x9652 -x9653 x9654 -x9655 -x9656 -x9657 x9658 -x9659 -x9660 -x9661 x9662 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9760 -x9761 -x9762 x9763 -x9764 -x9765 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9583 -x9584 -x9585 -x9586 x9587 x9588 -x9589 -x9590 -x9591 -x9592 -x9593 x9594 -x9595 -x9596 -x9597 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x9391 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x9407 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x9423 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x9439 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x9455 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x9471 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x9487 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x9503 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x9519 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x9310 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x9326 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x9342 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x9358 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x9374 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x9390 -x6211 -x6227 -x6243 -x6259 -x6275 -x6291 -x6307 -x6323 -x6339 -x6130 -x6146 -x6162 -x6178 -x6194 -x6210 -x9631 -x9647 -x9663 -x9679 -x9695 -x9711 -x9727 -x9743 -x9759 -x9550 -x9566 -x9582 -x9598 -x9614 -x9630 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x6411 x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -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 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 x7320 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x9166 -x9182 -x9198 -x9214 -x9230 -x9246 -x9262 -x9278 -x9294 -x9085 -x9101 -x9117 -x9133 -x9149 -x9165 1800.07/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.61 c 227 358245 141661 905408 144967 51495124 124409 199 1800.09 1800.07/1800.61 c Objective: 5303705 1800.07/1800.61 s SATISFIABLE 1800.07/1800.61 c Total time: 1800.09 s
OK 5303705
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744007-1338799967/watcher-3744007-1338799967 -o /tmp/evaluation-result-3744007-1338799967/solver-3744007-1338799967 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744007-1338799967.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.96 2.00 2.00 3/176 30936 /proc/meminfo: memFree=28220640/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=4476 CPUtime=0 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4194304 127 0 0 0 0 0 0 0 20 0 1 0 346125213 4583424 77 33554432000 134512640 135840783 4293527824 4293526964 7175820 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 1119 100 81 325 0 39 0 [startup+0.0362719 s] /proc/loadavg: 1.96 2.00 2.00 3/176 30936 /proc/meminfo: memFree=28220640/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=6784 CPUtime=0.02 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 897 0 0 0 2 0 0 0 20 0 1 0 346125213 6946816 833 33554432000 134512640 135840783 4293527824 4293526384 2610471 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 1696 833 407 325 0 429 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6784 [startup+0.100222 s] /proc/loadavg: 1.96 2.00 2.00 3/176 30936 /proc/meminfo: memFree=28220640/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=9912 CPUtime=0.09 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 1976 0 0 0 9 0 0 0 20 0 1 0 346125213 10149888 1709 33554432000 134512640 135840783 4293527824 4293409724 9782320 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 2478 1709 344 325 0 1414 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9912 [startup+0.300184 s] /proc/loadavg: 1.96 2.00 2.00 3/176 30936 /proc/meminfo: memFree=28220640/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=9912 CPUtime=0.28 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 1977 0 0 0 28 0 0 0 20 0 1 0 346125213 10149888 1710 33554432000 134512640 135840783 4293527824 4293409584 134551383 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 2478 1710 344 325 0 1414 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9912 [startup+0.700185 s] /proc/loadavg: 1.96 2.00 2.00 3/176 30936 /proc/meminfo: memFree=28220640/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=9912 CPUtime=0.68 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 1977 0 0 0 68 0 0 0 20 0 1 0 346125213 10149888 1710 33554432000 134512640 135840783 4293527824 4293409360 2608030 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 2478 1710 344 325 0 1414 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 9912 [startup+1.5002 s] /proc/loadavg: 1.96 2.00 2.00 3/177 30937 /proc/meminfo: memFree=28214804/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=10712 CPUtime=1.48 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 2293 0 0 0 147 1 0 0 20 0 1 0 346125213 10969088 1948 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 2678 1948 351 325 0 1614 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10712 [startup+3.10018 s] /proc/loadavg: 1.96 2.00 2.00 3/177 30937 /proc/meminfo: memFree=28212828/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=13100 CPUtime=3.09 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 2888 0 0 0 307 2 0 0 20 0 1 0 346125213 13414400 2543 33554432000 134512640 135840783 4293527824 4293527184 134551175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 3275 2543 351 325 0 2211 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13100 [startup+6.30018 s] /proc/loadavg: 1.97 2.00 2.00 3/177 30937 /proc/meminfo: memFree=28206752/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=17336 CPUtime=6.28 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 3952 0 0 0 626 2 0 0 20 0 1 0 346125213 17752064 3607 33554432000 134512640 135840783 4293527824 4293527184 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 4334 3607 351 325 0 3270 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17336 [startup+12.7002 s] /proc/loadavg: 1.97 2.00 2.00 3/177 30937 /proc/meminfo: memFree=28196600/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=25164 CPUtime=12.68 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 5886 0 0 0 1266 2 0 0 20 0 1 0 346125213 25767936 5541 33554432000 134512640 135840783 4293527824 4293527184 134551347 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 6291 5541 351 325 0 5227 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25164 [startup+25.5002 s] /proc/loadavg: 1.97 2.00 2.00 3/177 30938 /proc/meminfo: memFree=28179348/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=39764 CPUtime=25.48 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 9539 0 0 0 2545 3 0 0 20 0 1 0 346125213 40718336 9194 33554432000 134512640 135840783 4293527824 4293527184 134551365 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 9941 9194 351 325 0 8877 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39764 [startup+51.1002 s] /proc/loadavg: 1.98 2.00 2.00 3/177 30938 /proc/meminfo: memFree=28146812/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=67480 CPUtime=51.07 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 16475 0 0 0 5102 5 0 0 20 0 1 0 346125213 69099520 16130 33554432000 134512640 135840783 4293527824 4293527184 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 16870 16130 351 325 0 15806 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 67480 [startup+102.307 s] /proc/loadavg: 1.99 2.00 2.00 3/177 30938 /proc/meminfo: memFree=28100480/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=99640 CPUtime=102.26 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 24514 0 0 0 10219 7 0 0 20 0 1 0 346125213 102031360 24169 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 24910 24169 351 325 0 23846 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 99640 [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.00 3/177 30938 /proc/meminfo: memFree=28065292/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=117148 CPUtime=162.24 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 28894 0 0 0 16215 9 0 0 20 0 1 0 346125213 119959552 28549 33554432000 134512640 135840783 4293527824 4293527184 134551093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 29287 28549 351 325 0 28223 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 117148 [startup+222.3 s] /proc/loadavg: 1.99 2.00 2.00 3/177 30938 /proc/meminfo: memFree=27998732/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=138492 CPUtime=222.22 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 34231 0 0 0 22211 11 0 0 20 0 1 0 346125213 141815808 33886 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 34623 33886 351 325 0 33559 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 138492 [startup+282.3 s] /proc/loadavg: 1.99 2.00 2.00 3/177 30938 /proc/meminfo: memFree=27934900/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=175716 CPUtime=282.19 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 43527 0 0 0 28206 13 0 0 20 0 1 0 346125213 179933184 43182 33554432000 134512640 135840783 4293527824 4293527184 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 43929 43182 351 325 0 42865 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 175716 [startup+342.3 s] /proc/loadavg: 1.99 2.00 2.00 3/177 30939 /proc/meminfo: memFree=27859040/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=200408 CPUtime=342.18 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 49692 0 0 0 34202 16 0 0 20 0 1 0 346125213 205217792 49347 33554432000 134512640 135840783 4293527824 4293527184 134551368 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 50102 49347 351 325 0 49038 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 200408 [startup+402.3 s] /proc/loadavg: 1.99 2.00 2.00 3/177 30939 /proc/meminfo: memFree=27780964/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=230844 CPUtime=402.14 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 57355 0 0 0 40196 18 0 0 20 0 1 0 346125213 236384256 56997 33554432000 134512640 135840783 4293527824 4293527184 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 57711 56997 351 325 0 56647 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 230844 [startup+462.3 s] /proc/loadavg: 1.99 2.00 2.00 3/178 30942 /proc/meminfo: memFree=27702740/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=259324 CPUtime=462.1 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 64489 0 0 0 46190 20 0 0 20 0 1 0 346125213 265547776 64088 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 64831 64088 351 325 0 63767 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 259324 [startup+522.3 s] /proc/loadavg: 1.99 2.00 2.00 3/178 30965 /proc/meminfo: memFree=27642132/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=298212 CPUtime=522.05 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 74271 0 0 0 52182 23 0 0 20 0 1 0 346125213 305369088 73827 33554432000 134512640 135840783 4293527824 4293527184 134551093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 74553 73827 351 325 0 73489 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 298212 [startup+582.3 s] /proc/loadavg: 1.99 2.00 2.00 3/177 30965 /proc/meminfo: memFree=27585600/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=316988 CPUtime=582.02 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 79076 0 0 0 58176 26 0 0 20 0 1 0 346125213 324595712 78509 33554432000 134512640 135840783 4293527824 4293527184 134551347 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30936/statm: 79247 78509 351 325 0 78183 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 316988 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30966 /proc/meminfo: memFree=27352604/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=383496 CPUtime=821.97 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 95708 0 0 0 82167 30 0 0 20 0 1 0 346125213 392699904 95141 33554432000 134512640 135840783 4293527824 4293527184 134551532 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 95874 95141 351 325 0 94810 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 383496 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30966 /proc/meminfo: memFree=27303128/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=394484 CPUtime=881.97 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 98472 0 0 0 88165 32 0 0 20 0 1 0 346125213 403951616 97905 33554432000 134512640 135840783 4293527824 4293527184 134551098 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 98621 97905 351 325 0 97557 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 394484 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30967 /proc/meminfo: memFree=27268184/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=409332 CPUtime=941.96 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 102173 0 0 0 94163 33 0 0 20 0 1 0 346125213 419155968 101606 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 102333 101606 351 325 0 101269 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 409332 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30967 /proc/meminfo: memFree=27226424/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=424692 CPUtime=1001.95 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106019 0 0 0 100161 34 0 0 20 0 1 0 346125213 434884608 105452 33554432000 134512640 135840783 4293527824 4293527184 134551071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 106173 105452 351 325 0 105109 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 424692 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30970 /proc/meminfo: memFree=27199536/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=426592 CPUtime=1061.94 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106463 0 0 0 106160 34 0 0 20 0 1 0 346125213 436830208 105896 33554432000 134512640 135840783 4293527824 4293527184 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 106648 105896 351 325 0 105584 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 426592 [startup+1122.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 31009 /proc/meminfo: memFree=27960312/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=426592 CPUtime=1121.93 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106463 0 0 0 112159 34 0 0 20 0 1 0 346125213 436830208 105896 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 106648 105896 351 325 0 105584 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 426592 [startup+1182.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 31009 /proc/meminfo: memFree=27960312/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=426592 CPUtime=1181.92 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106470 0 0 0 118158 34 0 0 20 0 1 0 346125213 436830208 105903 33554432000 134512640 135840783 4293527824 4293527136 134550820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 106648 105903 351 325 0 105584 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 426592 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 31009 /proc/meminfo: memFree=27960072/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=426592 CPUtime=1241.91 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106470 0 0 0 124157 34 0 0 20 0 1 0 346125213 436830208 105903 33554432000 134512640 135840783 4293527824 4293527184 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 106648 105903 351 325 0 105584 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 426592 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31010 /proc/meminfo: memFree=27928684/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=426592 CPUtime=1301.88 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106505 0 0 0 130154 34 0 0 20 0 1 0 346125213 436830208 105903 33554432000 134512640 135840783 4293527824 4293527184 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 106648 105903 351 325 0 105584 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 426592 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31010 /proc/meminfo: memFree=27906224/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=426592 CPUtime=1361.85 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106525 0 0 0 136151 34 0 0 20 0 1 0 346125213 436830208 105903 33554432000 134512640 135840783 4293527824 4293527176 1419469 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 106648 105903 351 325 0 105584 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 426592 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31010 /proc/meminfo: memFree=27892364/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=426592 CPUtime=1421.85 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106525 0 0 0 142151 34 0 0 20 0 1 0 346125213 436830208 105903 33554432000 134512640 135840783 4293527824 4293527184 134550904 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 106648 105903 351 325 0 105584 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 426592 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31010 /proc/meminfo: memFree=27887000/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=426592 CPUtime=1481.83 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106525 0 0 0 148149 34 0 0 20 0 1 0 346125213 436830208 105903 33554432000 134512640 135840783 4293527824 4293527184 134551098 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 106648 105903 351 325 0 105584 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 426592 [startup+1542.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 31010 /proc/meminfo: memFree=27829444/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=475072 CPUtime=1541.83 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 118662 0 0 0 154145 38 0 0 20 0 1 0 346125213 486473728 118040 33554432000 134512640 135840783 4293527824 4293527184 134551081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 118768 118040 351 325 0 117704 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 475072 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 31011 /proc/meminfo: memFree=27769180/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=532632 CPUtime=1601.82 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 133057 0 0 0 160139 43 0 0 20 0 1 0 346125213 545415168 132435 33554432000 134512640 135840783 4293527824 4293527184 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 133158 132435 351 325 0 132094 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 532632 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/178 31014 /proc/meminfo: memFree=27711388/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=584992 CPUtime=1661.8 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 146142 0 0 0 166134 46 0 0 20 0 1 0 346125213 599031808 145520 33554432000 134512640 135840783 4293527824 4293527184 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 146248 145520 351 325 0 145184 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 584992 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31014 /proc/meminfo: memFree=27657952/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=631112 CPUtime=1721.8 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 157656 0 0 0 172130 50 0 0 20 0 1 0 346125213 646258688 157034 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 157778 157034 351 325 0 156714 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 631112 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31014 /proc/meminfo: memFree=27612052/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=669320 CPUtime=1781.78 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 167224 0 0 0 178125 53 0 0 20 0 1 0 346125213 685383680 166592 33554432000 134512640 135840783 4293527824 4293527136 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 167330 166592 351 325 0 166266 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 669320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31014 /proc/meminfo: memFree=27600736/32873844 swapFree=6872/6872 [pid=30936] ppid=30934 vsize=677812 CPUtime=1800.07 cores=0,2,4,6 /proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 169356 0 0 0 179953 54 0 0 20 0 1 0 346125213 694079488 168708 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30936/statm: 169453 168708 351 325 0 168389 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 677812 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.63 CPU time (s): 1800.1 CPU user time (s): 1799.54 CPU system time (s): 0.561914 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 677812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.561914 maximum resident set size= 674832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 169359 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= 231 involuntary context switches= 2320 runsolver used 3.16952 second user time and 9.53455 second system time The end
Begin job on node106 at 2012-06-04 10:52:47 IDJOB=3744007 IDBENCH=92668 IDSOLVER=2318 FILE ID=node106/3744007-1338799967 RUNJOBID= node106-1338784775-30019 PBS_JOBID= 14636852 Free space on /tmp= 70856 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_8_mh_ic.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744007-1338799967/watcher-3744007-1338799967 -o /tmp/evaluation-result-3744007-1338799967/solver-3744007-1338799967 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744007-1338799967.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 92eaf5bbbb67d6b3b242e002852c9043 RANDOM SEED=669107031 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28220804 kB Buffers: 342276 kB Cached: 3034492 kB SwapCached: 2004 kB Active: 1489656 kB Inactive: 2302960 kB Active(anon): 412948 kB Inactive(anon): 4984 kB Active(file): 1076708 kB Inactive(file): 2297976 kB Unevictable: 6872 kB Mlocked: 6872 kB SwapTotal: 67108856 kB SwapFree: 67100580 kB Dirty: 7388 kB Writeback: 0 kB AnonPages: 420096 kB Mapped: 10324 kB Shmem: 0 kB Slab: 718908 kB SReclaimable: 161068 kB SUnreclaim: 557840 kB KernelStack: 1456 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 537208 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70816 MiB End job on node106 at 2012-06-04 11:22:50