Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | 1800.1 | 1800.54 |
Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_0_mh_ic.opb |
MD5SUM | b32f126aecba6bfb006545c8818dc00d |
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 | 2252617 |
Best CPU time to get the best result obtained on this benchmark | 504.786 |
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 | 68417929 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 3962242471 |
Number of bits of the sum of numbers in the objective function | 32 |
Biggest number in a constraint | 68417929 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 3962242471 |
Number of bits of the biggest sum of numbers | 32 |
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-3744025-1338800638.opb 0.00/0.00 c File size is 831252 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Highest Coefficient sum: 3.96224e+09 0.05/0.07 c Parsing was ok!! 0.05/0.07 c Total parsing time: 0.067 s 0.05/0.07 c Var: 9765 Constr: 21931 15890/26/6015 Lit: 70755 Watch. Lit: 58718 0.05/0.07 c Obj. Vars: 4005 (41.0138 % of total variables) 1.19/1.25 c Pre-processing Time: 1.247 s 1.19/1.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.28 c 0 8745 20558 67835 3 55904 69694 0 0 1.25 1.19/1.28 c 102 8745 20660 81304 3 56137 76664 102 80 1.27 1.19/1.28 o 93786713 1.274 1.19/1.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.28 c 102 8745 20661 84574 4 59409 76234 103 79 1.28 1.19/1.28 o 88036493 1.281 1.19/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.29 c 104 8745 20664 87918 4 62681 76234 106 81 1.28 1.19/1.29 o 60006470 1.291 1.29/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.31 c 108 8745 20669 91459 4 65959 76234 111 83 1.29 1.29/1.31 o 41308401 1.306 1.39/1.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.42 c 115 8745 20677 95255 4 69244 76234 119 87 1.31 1.39/1.42 c 220 8745 20782 100688 4 69455 83858 224 158 1.39 1.39/1.42 o 36020208 1.417 3.29/3.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.31 c 242 8745 20805 104677 5 72769 76234 247 170 1.42 3.29/3.31 c 342 8745 20905 108752 5 72969 83858 347 220 1.55 3.29/3.31 c 592 8745 21155 131714 6 73469 92244 597 333 1.78 3.29/3.31 c 1067 8745 21630 181588 8 74418 101469 1072 455 2.34 3.29/3.31 c 1881 8745 22444 326934 14 76047 111616 1886 602 3.12 3.29/3.31 o 34933260 3.307 3.29/3.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.38 c 2044 8745 22608 352232 15 79643 76234 2050 617 3.31 3.29/3.38 o 24464094 3.377 3.39/3.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.42 c 2076 8745 22641 361094 15 82977 76234 2083 614 3.38 3.39/3.42 o 14811299 3.413 3.49/3.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.59 c 2086 8745 22652 364867 16 86267 76234 2094 610 3.42 3.49/3.59 c 2187 8745 22753 379343 16 86469 83858 2195 614 3.56 3.49/3.59 o 11989392 3.591 3.99/4.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.08 c 2202 8745 22769 383460 16 89769 76234 2211 612 3.59 3.99/4.08 c 2303 8745 22870 391723 17 89968 83858 2312 609 3.78 3.99/4.08 o 11988737 4.08 4.29/4.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.37 c 2445 8745 23013 403693 17 93524 76234 2455 598 4.08 4.29/4.37 c 2546 8745 23114 416726 18 93727 83858 2556 595 4.27 4.29/4.37 o 7169597 4.363 4.69/4.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.79 c 2570 8745 23139 421198 18 97044 76234 2581 588 4.37 4.69/4.79 c 2672 8745 23241 430554 18 97248 83858 2683 581 4.59 4.69/4.79 o 6971665 4.784 7.69/7.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.69/7.77 c 2771 8745 23341 441263 18 100715 76234 2783 578 4.79 7.69/7.77 c 2872 8745 23442 449206 19 100918 83858 2884 570 5.03 7.69/7.77 c 3123 8745 23693 485723 20 101421 92244 3135 566 5.52 7.69/7.77 c 3598 8745 24168 552605 22 102370 101469 3610 549 6.54 7.69/7.77 o 6937174 7.771 10.08/10.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.08/10.11 c 4213 8745 24784 636249 25 106870 76234 4226 541 7.77 10.08/10.11 c 4314 8745 24885 671107 26 107071 83858 4327 539 8.00 10.08/10.11 c 4566 8745 25137 691033 27 107576 92244 4579 536 8.51 10.08/10.11 c 5042 8745 25613 762040 29 108528 101469 5055 534 9.44 10.08/10.11 o 6377006 10.109 10.38/10.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.38/10.41 c 5369 8745 25941 809659 31 112452 76234 5383 530 10.11 10.38/10.41 c 5470 8745 26042 818901 31 112653 83858 5484 527 10.37 10.38/10.41 o 5497408 10.409 10.88/10.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.88/10.95 c 5476 8745 26049 822379 31 115936 76234 5491 525 10.41 10.88/10.95 c 5576 8745 26149 833209 31 116137 83858 5591 524 10.64 10.88/10.95 o 5236493 10.95 11.28/11.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.28/11.32 c 5683 8745 26257 843924 32 119621 76234 5699 518 10.95 11.28/11.32 c 5784 7655 26358 848505 32 119794 83858 5800 514 11.24 11.28/11.32 o 4854352 11.316 13.98/14.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.98/14.08 c 5803 7655 26378 852600 32 122734 75516 5820 512 11.32 13.98/14.08 c 5903 7655 26478 859626 32 122936 83068 5920 510 11.56 13.98/14.08 c 6153 7655 26728 888550 33 123436 91375 6170 502 12.23 13.98/14.08 c 6629 7655 27204 935200 34 124388 100513 6646 488 13.58 13.98/14.08 o 4849983 14.08 14.48/14.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.48/14.59 c 6816 7655 27392 954910 34 127674 75516 6834 483 14.08 14.48/14.59 c 6916 7655 27492 965268 35 127866 83068 6934 481 14.38 14.48/14.59 o 4842578 14.589 18.38/18.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.38/18.41 c 6989 7655 27566 973438 35 130928 75516 7008 478 14.59 18.38/18.41 c 7089 7655 27666 987294 35 131116 83068 7108 476 14.88 18.38/18.41 c 7339 7655 27916 1018332 36 131635 91375 7358 470 15.60 18.38/18.41 c 7815 7655 28392 1072948 37 132570 100513 7834 451 17.31 18.38/18.41 o 4824335 18.404 28.28/28.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.28/28.33 c 8098 7655 28676 1100305 38 136056 75516 8118 439 18.41 28.28/28.33 c 8200 7655 28778 1115573 38 136253 83068 8220 437 18.74 28.28/28.33 c 8451 7655 29029 1156159 39 136751 91375 8471 431 19.59 28.28/28.33 c 8927 7655 29505 1196919 40 137724 100513 8947 423 21.06 28.28/28.33 c 9740 7655 30318 1276576 42 139316 110565 9760 415 23.43 28.28/28.33 c 11060 7655 31638 1451585 45 141959 121622 11080 402 27.48 28.28/28.33 o 4697210 28.321 29.79/29.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.79/29.87 c 11342 7655 31921 1491486 46 145423 75516 11363 400 28.32 29.79/29.87 c 11444 7655 32023 1503192 46 145629 83068 11465 399 28.68 29.79/29.87 c 11694 7655 32273 1539039 47 146143 91375 11715 395 29.54 29.79/29.87 o 4685573 29.867 32.99/33.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.99/33.01 c 11792 7655 32372 1552003 47 149252 75516 11814 394 29.87 32.99/33.01 c 11892 7655 32472 1567544 48 149434 83068 11914 392 30.26 32.99/33.01 c 12143 7655 32723 1595792 48 149954 91375 12165 387 31.34 32.99/33.01 c 12619 7655 33199 1648660 49 150888 100513 12641 383 32.88 32.99/33.01 o 4590196 33.005 34.38/34.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.38/34.45 c 12649 7655 33230 1655177 49 153891 75516 12672 383 33.01 34.38/34.45 c 12749 7655 33330 1666849 50 154058 83068 12772 380 33.48 34.38/34.45 c 12999 7655 33580 1698374 50 154572 91375 13022 379 34.24 34.38/34.45 o 4508214 34.443 34.78/34.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.78/34.83 c 13041 7655 33623 1705182 50 157529 75516 13065 378 34.45 34.78/34.83 c 13142 7655 33724 1716270 50 157756 83068 13166 377 34.77 34.78/34.83 o 4310981 34.82 35.29/35.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.29/35.38 c 13147 7655 33730 1719332 50 160654 75516 13172 377 34.82 35.29/35.38 c 13247 7655 33830 1731302 51 160885 83068 13272 374 35.33 35.29/35.38 o 4205568 35.373 42.88/42.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.88/42.92 c 13249 7655 33833 1734224 51 163836 75516 13275 374 35.38 42.88/42.92 c 13349 7655 33933 1742973 51 163977 83068 13375 372 35.79 42.88/42.92 c 13599 7655 34183 1766570 51 164518 91375 13625 369 36.78 42.88/42.92 c 14076 7655 34660 1876083 54 165455 100513 14102 363 38.73 42.88/42.92 c 14890 7655 35474 2115171 59 167067 110565 14916 353 42.11 42.88/42.92 o 4080240 42.916 103.75/103.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 103.75/103.85 c 15062 7655 35647 2131853 59 170306 75516 15089 350 42.92 103.75/103.85 c 15165 7655 35750 2139425 59 170503 83068 15192 349 43.38 103.75/103.85 c 15415 7655 36000 2167394 60 171044 91375 15442 347 44.41 103.75/103.85 c 15890 7655 36475 2239544 61 171976 100513 15917 343 46.23 103.75/103.85 c 16704 7655 37289 2387511 64 173598 110565 16731 337 49.49 103.75/103.85 c 18024 7655 38609 2811186 72 176234 121622 18051 327 55.00 103.75/103.85 c 20106 7655 40691 3117771 76 180426 133785 20133 315 63.80 103.75/103.85 c 23331 7655 43916 3960766 90 186907 147164 23358 298 78.11 103.75/103.85 o 4041454 103.809 120.85/120.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 120.85/120.92 c 28144 7655 48730 4805279 98 199412 75516 28172 271 103.81 120.85/120.92 c 28244 7655 48830 4818731 98 199643 83068 28272 270 104.22 120.85/120.92 c 28494 7655 49080 4838660 98 200092 91375 28522 270 105.31 120.85/120.92 c 28971 7655 49557 4903057 98 201083 100513 28999 268 107.74 120.85/120.92 c 29784 7654 50370 5092094 101 202683 110565 29812 266 111.84 120.85/120.92 c 31106 7654 51692 5218452 100 205337 121622 31134 260 119.28 120.85/120.92 o 4009290 120.872 125.35/125.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 125.35/125.47 c 31395 7654 51982 5259432 101 208855 75514 31424 259 120.88 125.35/125.47 c 31496 7654 52083 5280776 101 209058 83066 31525 259 121.40 125.35/125.47 c 31747 6034 52334 5299398 101 209510 91373 31776 258 122.79 125.35/125.47 c 32222 6034 52809 5352698 101 210484 100511 32251 257 125.28 125.35/125.47 o 3370110 125.427 127.55/127.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 127.55/127.60 c 32241 6034 52829 5357278 101 212942 74528 32271 257 125.43 127.55/127.60 c 32341 6034 52929 5362831 101 213116 81981 32371 256 125.97 127.55/127.60 c 32591 6034 53179 5384109 101 213635 90180 32621 256 127.24 127.55/127.60 o 3222553 127.56 207.94/208.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 207.94/208.05 c 32645 6034 53234 5392266 101 216136 74528 32676 255 127.56 207.94/208.05 c 32747 6034 53336 5402837 101 216369 81981 32778 255 128.20 207.94/208.05 c 32999 6034 53588 5425433 101 216871 90180 33030 254 129.61 207.94/208.05 c 33475 6034 54064 5497055 101 217809 99199 33506 253 131.87 207.94/208.05 c 34288 6034 54877 5600917 102 219428 109119 34319 250 136.65 207.94/208.05 c 35611 6034 56200 5791932 103 222074 120031 35642 248 143.06 207.94/208.05 c 37695 6034 58284 6062813 104 226242 132035 37726 242 155.42 207.94/208.05 c 40918 6034 61507 6751458 109 232688 145239 40949 235 173.50 207.94/208.05 c 45856 6034 66445 7901425 118 242563 159763 45887 224 204.55 207.94/208.05 o 3142957 207.993 258.61/258.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 258.61/258.79 c 46468 6034 67058 7982303 119 246228 74528 46500 223 208.00 258.61/258.79 c 46568 6034 67158 8005518 119 246404 81981 46600 223 208.56 258.61/258.79 c 46820 6034 67410 8035153 119 246908 90180 46852 222 210.51 258.61/258.79 c 47296 6034 67886 8081394 119 247868 99199 47328 222 212.97 258.61/258.79 c 48113 6034 68703 8190140 119 249495 109119 48145 220 218.55 258.61/258.79 c 49434 6034 70024 8416978 120 252137 120031 49466 217 226.89 258.61/258.79 c 51515 6034 72105 8799104 122 256299 132035 51547 213 241.29 258.61/258.79 o 3128645 258.71 262.71/262.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 262.71/262.89 c 54400 6034 74991 9371240 124 264486 74528 54433 210 258.71 262.71/262.89 c 54500 6034 75091 9390553 125 264686 81981 54533 209 259.67 262.71/262.89 c 54750 6034 75341 9408008 124 265185 90180 54783 209 261.28 262.71/262.89 o 3118665 262.814 401.49/401.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 401.49/401.67 c 55035 6034 75627 9439582 124 268180 74528 55069 209 262.82 401.49/401.67 c 55136 6034 75728 9454437 124 268375 81981 55170 209 263.73 401.49/401.67 c 55386 6034 75978 9482478 124 268898 90180 55420 208 265.50 401.49/401.67 c 55861 6034 76453 9528950 124 269832 99199 55895 208 268.50 401.49/401.67 c 56674 6034 77266 9733165 125 271450 109119 56708 205 275.22 401.49/401.67 c 57995 6034 78587 10113242 128 274093 120031 58029 204 284.24 401.49/401.67 c 60076 6034 80668 10413803 129 278255 132035 60110 201 298.49 401.49/401.67 c 63300 6034 83892 11035150 131 284694 145239 63334 197 320.59 401.49/401.67 c 68236 6034 88828 11748456 132 294575 159763 68270 192 354.40 401.49/401.67 o 3098250 401.565 461.77/461.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 461.77/461.98 c 74781 6034 95374 12593106 132 310082 74528 74816 186 401.57 461.77/461.98 c 74881 6034 95474 12613233 132 310282 81981 74916 185 402.64 461.77/461.98 c 75132 6034 95725 12634993 131 310802 90180 75167 185 404.70 461.77/461.98 c 75608 6034 96201 12714096 132 311735 99199 75643 184 409.07 461.77/461.98 c 76422 6034 97015 12884702 132 313366 109119 76457 183 417.03 461.77/461.98 c 77742 6034 98335 13166758 133 316003 120031 77777 181 428.26 461.77/461.98 c 79823 6034 100416 13464981 134 320166 132035 79858 179 444.30 461.77/461.98 o 3095406 461.86 760.80/761.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 760.80/761.07 c 82161 6034 102755 13848672 134 327250 74528 82197 177 461.86 760.80/761.07 c 82262 6034 33607 2019195 60 90593 81981 13049 176 465.92 760.80/761.07 c 82514 6034 33859 2046791 60 91099 90180 13301 177 466.17 760.80/761.07 c 82989 5357 34334 2107511 61 92046 99199 13776 177 466.91 760.80/761.07 c 83802 5357 35147 2236691 63 93671 109119 14589 179 467.85 760.80/761.07 c 85123 5357 36468 2382507 65 96314 120031 15910 181 470.21 760.80/761.07 c 87205 5357 38550 2704402 70 100477 132035 17992 184 472.70 760.80/761.07 c 90429 5357 41774 3258652 78 106926 145239 21216 189 478.11 760.80/761.07 c 95365 5357 46710 4712979 100 116797 159763 26152 195 486.63 760.80/761.07 c 102871 5356 54216 6706341 123 131808 175740 33658 203 504.93 760.80/761.07 c 114232 5356 65577 9631003 146 154530 193315 45019 213 534.58 760.80/761.07 c 131376 5356 82721 15084619 182 188818 212647 62163 223 587.79 760.80/761.07 c 157197 5356 108542 28013205 258 240460 233912 87984 213 735.00 760.80/761.07 o 3080241 760.891 777.51/777.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 777.51/777.72 c 162233 5356 113579 29291877 257 252725 74084 93021 213 760.89 777.51/777.72 c 162333 5356 34928 6009578 172 95425 81493 14370 210 770.27 777.51/777.72 c 162583 5356 35178 6044127 171 95927 89643 14620 210 770.68 777.51/777.72 c 163059 5356 35654 6322097 177 96877 98608 15096 211 772.07 777.51/777.72 c 163873 5356 36468 6475150 177 98504 108469 15910 211 773.33 777.51/777.72 c 165197 5356 37792 7298642 193 101153 119316 17234 212 776.68 777.51/777.72 o 3031352 777.535 859.29/859.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 859.29/859.59 c 165699 5356 38295 7369962 192 104350 78918 17737 213 777.54 859.29/859.59 c 165801 5356 38397 7406209 192 104558 86810 17839 213 777.95 859.29/859.59 c 166052 5356 38648 7495611 193 105056 95492 18090 213 778.42 859.29/859.59 c 166527 5356 39123 7733585 197 106008 105042 18565 213 780.56 859.29/859.59 c 167341 5356 39937 7958731 199 107634 115547 19379 213 782.29 859.29/859.59 c 168661 5356 41257 8664310 210 110276 127102 20699 214 787.13 859.29/859.59 c 170744 5356 43340 9053234 208 114442 139813 22782 215 791.91 859.29/859.59 c 173967 5356 46563 11087616 238 120888 153795 26005 215 806.01 859.29/859.59 c 178903 5356 51499 12123739 235 130760 169175 30941 218 818.03 859.29/859.59 c 186409 5356 59005 16868731 285 145772 186093 38447 217 856.44 859.29/859.59 o 2922031 859.39 1800.06/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.50 c 187248 5356 59845 17118081 286 149645 78918 39287 217 859.39 1800.06/1800.50 c 187349 5356 59946 17154365 286 149847 86810 39388 217 860.24 1800.06/1800.50 c 187603 5356 60200 17235250 286 150355 95492 39642 217 861.22 1800.06/1800.50 c 188078 5356 60675 17502286 288 151305 105042 40117 217 864.82 1800.06/1800.50 c 188892 5356 61489 17725103 288 152933 115547 40931 217 868.13 1800.06/1800.50 c 190212 5356 62809 18412951 293 155573 127102 42251 216 877.47 1800.06/1800.50 c 192294 5356 64891 19016574 293 159737 139813 44333 217 885.81 1800.06/1800.50 c 195517 5356 68114 20975779 307 166183 153795 47556 214 909.89 1800.06/1800.50 c 200455 5356 73052 22122238 302 176057 169175 52494 215 932.24 1800.06/1800.50 c 207961 5356 80558 26926270 334 191071 186093 60000 210 989.83 1800.06/1800.50 c 219323 5356 91920 32816313 357 213795 204703 71362 207 1057.96 1800.06/1800.50 c 236470 5356 109067 49791903 456 248089 225174 88509 188 1252.42 1800.06/1800.50 c 262289 5356 134886 56476792 418 299727 247692 114328 184 1418.32 1800.06/1800.50 c 301125 5356 173722 73806938 424 377398 272462 153164 169 1776.74 1800.06/1800.50 c Caught signal: 15 1800.06/1800.50 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.06/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.50 c 169 303003 121966 772686 175600 74039378 155042 168 1800.07 1800.06/1800.50 c Objective: 2922031 1800.06/1800.50 s SATISFIABLE 1800.06/1800.50 c Total time: 1800.07 s
OK 2922031
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-3744025-1338800638/watcher-3744025-1338800638 -o /tmp/evaluation-result-3744025-1338800638/solver-3744025-1338800638 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744025-1338800638.opb running on 4 cores: 1,3,5,7 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: 2.00 2.00 2.06 3/176 6936 /proc/meminfo: memFree=29844068/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=2660 CPUtime=0 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) D 6934 6936 3411 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 346189671 2723840 47 33554432000 134512640 135840783 4289114592 4289112628 5817284 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 665 47 37 325 0 32 0 [startup+0.0660059 s] /proc/loadavg: 2.00 2.00 2.06 3/176 6936 /proc/meminfo: memFree=29844068/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=8152 CPUtime=0.05 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 1336 0 0 0 5 0 0 0 20 0 1 0 346189671 8347648 1272 33554432000 134512640 135840783 4289114592 4289113584 134525198 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 2038 1272 504 325 0 771 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8152 [startup+0.100421 s] /proc/loadavg: 2.00 2.00 2.06 3/176 6936 /proc/meminfo: memFree=29844068/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=9908 CPUtime=0.09 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 1976 0 0 0 9 0 0 0 20 0 1 0 346189671 10145792 1709 33554432000 134512640 135840783 4289114592 4288996492 16667696 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 2477 1709 344 325 0 1413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9908 [startup+0.300282 s] /proc/loadavg: 2.00 2.00 2.06 3/176 6936 /proc/meminfo: memFree=29844068/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=9908 CPUtime=0.29 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 1977 0 0 0 29 0 0 0 20 0 1 0 346189671 10145792 1710 33554432000 134512640 135840783 4289114592 4288996492 16667696 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 2477 1710 344 325 0 1413 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9908 [startup+0.701011 s] /proc/loadavg: 2.00 2.00 2.06 3/176 6936 /proc/meminfo: memFree=29844068/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=9908 CPUtime=0.69 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 1977 0 0 0 69 0 0 0 20 0 1 0 346189671 10145792 1710 33554432000 134512640 135840783 4289114592 4288996492 16667696 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 2477 1710 344 325 0 1413 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9908 [startup+1.50102 s] /proc/loadavg: 2.00 2.00 2.06 3/177 6937 /proc/meminfo: memFree=29838464/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=10844 CPUtime=1.49 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 2307 0 0 0 148 1 0 0 20 0 1 0 346189671 11104256 1962 33554432000 134512640 135840783 4289114592 4289113952 134551347 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 2711 1962 351 325 0 1647 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10844 [startup+3.10103 s] /proc/loadavg: 2.00 2.00 2.06 3/177 6937 /proc/meminfo: memFree=29836480/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=13748 CPUtime=3.09 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 3031 0 0 0 308 1 0 0 20 0 1 0 346189671 14077952 2686 33554432000 134512640 135840783 4289114592 4289113952 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 3437 2686 351 325 0 2373 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13748 [startup+6.30101 s] /proc/loadavg: 2.00 2.00 2.06 3/177 6937 /proc/meminfo: memFree=29831172/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=17140 CPUtime=6.29 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 3880 0 0 0 628 1 0 0 20 0 1 0 346189671 17551360 3535 33554432000 134512640 135840783 4289114592 4289113952 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 4285 3535 351 325 0 3221 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17140 [startup+12.701 s] /proc/loadavg: 2.00 2.00 2.06 3/177 6937 /proc/meminfo: memFree=29822144/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=22508 CPUtime=12.68 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 5227 0 0 0 1267 1 0 0 20 0 1 0 346189671 23048192 4882 33554432000 134512640 135840783 4289114592 4289113952 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 5627 4882 351 325 0 4563 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22508 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.06 3/177 6937 /proc/meminfo: memFree=29808144/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=28780 CPUtime=25.49 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 6806 0 0 0 2547 2 0 0 20 0 1 0 346189671 29470720 6461 33554432000 134512640 135840783 4289114592 4289113952 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 7195 6461 351 325 0 6131 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28780 [startup+51.1011 s] /proc/loadavg: 2.00 2.00 2.06 3/177 6937 /proc/meminfo: memFree=29782448/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=44768 CPUtime=51.08 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 10784 0 0 0 5106 2 0 0 20 0 1 0 346189671 45842432 10439 33554432000 134512640 135840783 4289114592 4289113952 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 11192 10439 351 325 0 10128 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 44768 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.05 3/177 6937 /proc/meminfo: memFree=29741024/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=74712 CPUtime=102.25 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 18332 0 0 0 10220 5 0 0 20 0 1 0 346189671 76505088 17966 33554432000 134512640 135840783 4289114592 4289113952 134551383 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 18678 17966 351 325 0 17614 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 74712 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.05 3/177 6937 /proc/meminfo: memFree=29704944/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=95540 CPUtime=162.24 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 23517 0 0 0 16217 7 0 0 20 0 1 0 346189671 97832960 23151 33554432000 134512640 135840783 4289114592 4289113952 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 23885 23151 351 325 0 22821 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 95540 [startup+222.307 s] /proc/loadavg: 2.00 2.00 2.04 3/177 6937 /proc/meminfo: memFree=29655716/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=122100 CPUtime=222.24 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 30165 0 0 0 22215 9 0 0 20 0 1 0 346189671 125030400 29799 33554432000 134512640 135840783 4289114592 4289113952 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 30525 29799 351 325 0 29461 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 122100 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.03 3/177 6938 /proc/meminfo: memFree=29613864/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=145328 CPUtime=282.2 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 36001 0 0 0 28208 12 0 0 20 0 1 0 346189671 148815872 35605 33554432000 134512640 135840783 4289114592 4289113952 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 36332 35605 351 325 0 35268 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 145328 [startup+342.301 s] /proc/loadavg: 2.04 2.01 2.03 3/177 6938 /proc/meminfo: memFree=29579396/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=163504 CPUtime=342.18 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 40539 0 0 0 34205 13 0 0 20 0 1 0 346189671 167428096 40143 33554432000 134512640 135840783 4289114592 4289113952 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 40876 40143 351 325 0 39812 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 163504 [startup+402.3 s] /proc/loadavg: 2.01 2.01 2.03 3/178 6941 /proc/meminfo: memFree=29534148/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=180356 CPUtime=402.18 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 44741 0 0 0 40202 16 0 0 20 0 1 0 346189671 184684544 44345 33554432000 134512640 135840783 4289114592 4289113952 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 45089 44345 351 325 0 44025 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 180356 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.02 3/177 6941 /proc/meminfo: memFree=29496328/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=197064 CPUtime=462.17 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 49011 0 0 0 46200 17 0 0 20 0 1 0 346189671 201793536 48534 33554432000 134512640 135840783 4289114592 4289114016 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 49266 48534 351 325 0 48202 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 197064 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.02 3/177 6941 /proc/meminfo: memFree=29478524/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=197064 CPUtime=522.16 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 49018 0 0 0 52199 17 0 0 20 0 1 0 346189671 201793536 48534 33554432000 134512640 135840783 4289114592 4289113952 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 49266 48534 351 325 0 48202 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 197064 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.01 3/176 6942 /proc/meminfo: memFree=29457172/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=202284 CPUtime=582.13 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 50343 0 0 0 58196 17 0 0 20 0 1 0 346189671 207138816 49839 33554432000 134512640 135840783 4289114592 4289113952 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 50571 49839 351 325 0 49507 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 202284 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 6943 /proc/meminfo: memFree=29108296/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=392036 CPUtime=822.09 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 97880 0 0 0 82175 34 0 0 20 0 1 0 346189671 401444864 97285 33554432000 134512640 135840783 4289114592 4289113952 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 98009 97285 351 325 0 96945 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 392036 [startup+882.307 s] /proc/loadavg: 2.08 2.02 2.00 3/177 6944 /proc/meminfo: memFree=29089152/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=392036 CPUtime=882.09 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 97883 0 0 0 88175 34 0 0 20 0 1 0 346189671 401444864 97288 33554432000 134512640 135840783 4289114592 4289113952 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 98009 97288 351 325 0 96945 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 392036 [startup+942.3 s] /proc/loadavg: 2.03 2.02 2.00 3/177 6944 /proc/meminfo: memFree=29076000/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=392036 CPUtime=942.07 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 97887 0 0 0 94173 34 0 0 20 0 1 0 346189671 401444864 97288 33554432000 134512640 135840783 4289114592 4289113904 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 98009 97288 351 325 0 96945 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 392036 [startup+1002.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 6947 /proc/meminfo: memFree=29066492/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=392036 CPUtime=1002.03 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 97934 0 0 0 100169 34 0 0 20 0 1 0 346189671 401444864 97288 33554432000 134512640 135840783 4289114592 4289113952 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 98009 97288 351 325 0 96945 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 392036 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 6947 /proc/meminfo: memFree=29010356/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=438312 CPUtime=1061.99 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 109550 0 0 0 106161 38 0 0 20 0 1 0 346189671 448831488 108857 33554432000 134512640 135840783 4289114592 4289113952 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 109578 108857 351 325 0 108514 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 438312 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6947 /proc/meminfo: memFree=28915648/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=510996 CPUtime=1121.96 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 127754 0 0 0 112152 44 0 0 20 0 1 0 346189671 523259904 127019 33554432000 134512640 135840783 4289114592 4289113952 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 127749 127019 351 325 0 126685 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 510996 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 6947 /proc/meminfo: memFree=28808200/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=593460 CPUtime=1181.95 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 148381 0 0 0 118146 49 0 0 20 0 1 0 346189671 607703040 147640 33554432000 134512640 135840783 4289114592 4289113952 134550726 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 148365 147640 351 325 0 147301 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 593460 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6948 /proc/meminfo: memFree=28740984/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=641432 CPUtime=1241.93 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 160373 0 0 0 124141 52 0 0 20 0 1 0 346189671 656826368 159632 33554432000 134512640 135840783 4289114592 4289113952 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 160358 159632 351 325 0 159294 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 641432 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6948 /proc/meminfo: memFree=28687664/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=680516 CPUtime=1301.93 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 170139 0 0 0 130136 57 0 0 20 0 1 0 346189671 696848384 169398 33554432000 134512640 135840783 4289114592 4289113952 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 170129 169398 351 325 0 169065 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 680516 [startup+1362.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 6948 /proc/meminfo: memFree=28635832/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=714340 CPUtime=1361.91 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 178599 0 0 0 136131 60 0 0 20 0 1 0 346189671 731484160 177858 33554432000 134512640 135840783 4289114592 4289113952 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 178585 177858 351 325 0 177521 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 714340 [startup+1422.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 6949 /proc/meminfo: memFree=28585188/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=741620 CPUtime=1421.92 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 185401 0 0 0 142128 64 0 0 20 0 1 0 346189671 759418880 184660 33554432000 134512640 135840783 4289114592 4289113952 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 185405 184660 351 325 0 184341 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 741620 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 6949 /proc/meminfo: memFree=28495324/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=798936 CPUtime=1481.9 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 199758 0 0 0 148122 68 0 0 20 0 1 0 346189671 818110464 199017 33554432000 134512640 135840783 4289114592 4289113952 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 199734 199017 351 325 0 198670 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 798936 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6950 /proc/meminfo: memFree=28409488/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=852444 CPUtime=1541.89 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 213113 0 0 0 154117 72 0 0 20 0 1 0 346189671 872902656 212372 33554432000 134512640 135840783 4289114592 4289113952 134550907 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 213111 212372 351 325 0 212047 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 852444 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6953 /proc/meminfo: memFree=28343568/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=899424 CPUtime=1601.88 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 224862 0 0 0 160112 76 0 0 20 0 1 0 346189671 921010176 224121 33554432000 134512640 135840783 4289114592 4289113952 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 224856 224121 351 325 0 223792 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 899424 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6953 /proc/meminfo: memFree=28317040/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=911272 CPUtime=1661.88 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 227822 0 0 0 166110 78 0 0 20 0 1 0 346189671 933142528 227081 33554432000 134512640 135840783 4289114592 4289113728 1579762 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 227818 227081 351 325 0 226754 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 911272 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6953 /proc/meminfo: memFree=28280708/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=938184 CPUtime=1721.86 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 234549 0 0 0 172106 80 0 0 20 0 1 0 346189671 960700416 233808 33554432000 134512640 135840783 4289114592 4289113952 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 234546 233808 351 325 0 233482 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 938184 [startup+1782.3 s] /proc/loadavg: 1.40 1.83 1.94 2/171 6978 /proc/meminfo: memFree=28943880/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=964936 CPUtime=1781.86 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 241237 0 0 0 178102 84 0 0 20 0 1 0 346189671 988094464 240496 33554432000 134512640 135840783 4289114592 4289113952 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 241234 240496 351 325 0 240170 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 964936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.31 1.79 1.92 2/171 6979 /proc/meminfo: memFree=28941524/32873648 swapFree=6860/6860 [pid=6936] ppid=6934 vsize=967580 CPUtime=1800.06 cores=1,3,5,7 /proc/6936/stat : 6936 (bsolo3.0.17) R 6934 6936 3411 0 -1 4202496 241893 0 0 0 179922 84 0 0 20 0 1 0 346189671 990801920 241152 33554432000 134512640 135840783 4289114592 4289113952 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6936/statm: 241895 241152 351 325 0 240831 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 967580 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.54 CPU time (s): 1800.1 CPU user time (s): 1799.22 CPU system time (s): 0.873867 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 967580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 0.873867 maximum resident set size= 964608 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 241896 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= 246 involuntary context switches= 1845 runsolver used 3.47147 second user time and 8.94464 second system time The end
Begin job on node124 at 2012-06-04 11:03:58 IDJOB=3744025 IDBENCH=92671 IDSOLVER=2318 FILE ID=node124/3744025-1338800638 RUNJOBID= node124-1338796423-6321 PBS_JOBID= 14636829 Free space on /tmp= 70700 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_0_mh_ic.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744025-1338800638/watcher-3744025-1338800638 -o /tmp/evaluation-result-3744025-1338800638/solver-3744025-1338800638 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744025-1338800638.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b32f126aecba6bfb006545c8818dc00d RANDOM SEED=977439976 node124.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.325 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.65 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.325 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 : 5385.03 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.325 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 : 5385.04 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.325 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 : 5357.53 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.325 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 : 5385.03 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.325 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 : 5385.04 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.325 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 : 5385.03 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.325 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 : 5385.03 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29844588 kB Buffers: 274256 kB Cached: 1887388 kB SwapCached: 8368 kB Active: 651108 kB Inactive: 1575332 kB Active(anon): 58736 kB Inactive(anon): 8360 kB Active(file): 592372 kB Inactive(file): 1566972 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67091616 kB Dirty: 7388 kB Writeback: 0 kB AnonPages: 64068 kB Mapped: 10564 kB Shmem: 0 kB Slab: 664904 kB SReclaimable: 109124 kB SUnreclaim: 555780 kB KernelStack: 1424 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 181108 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70704 MiB End job on node124 at 2012-06-04 11:34:01