Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | 1800.11 | 1800.51 |
Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_1_mh.opb |
MD5SUM | 8032cd9ddf37959390b9864499521c4d |
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 | 17754249 |
Best CPU time to get the best result obtained on this benchmark | 47.4378 |
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 | 6810 |
Total number of constraints | 15202 |
Number of constraints which are clauses | 11580 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 3600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 330 |
Number of terms in the objective function | 3795 |
Biggest coefficient in the objective function | 92345408 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 4968230641 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 92345408 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 4968230641 |
Number of bits of the biggest sum of numbers | 33 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3744163-1338803316.opb 0.00/0.00 c File size is 578961 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.02/0.05 c Highest Coefficient sum: 4.96823e+09 0.02/0.05 c Parsing was ok!! 0.02/0.05 c Total parsing time: 0.045 s 0.02/0.05 c Var: 6810 Constr: 15629 12529/25/3075 Lit: 47625 Watch. Lit: 40883 0.02/0.05 c Obj. Vars: 3795 (55.7269 % of total variables) 0.88/0.95 c Pre-processing Time: 0.949 s 0.88/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.97 c 0 5910 14678 45575 3 38925 46524 0 0 0.95 0.88/0.97 c 102 5910 14780 51148 3 39172 51177 102 106 0.96 0.88/0.97 o 342479140 0.964 0.88/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.99 c 105 5910 14784 54535 3 42323 52854 106 108 0.97 0.88/0.99 c 205 5910 14884 63591 4 42524 58140 206 207 0.99 0.88/0.99 o 257857750 0.99 0.88/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/1.00 c 207 5910 14887 66776 4 45656 52854 209 208 0.99 0.88/1.00 o 254065646 0.994 1.00/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.00 c 210 5910 14891 70156 4 48806 52854 213 210 1.00 1.00/1.00 o 253535132 1.001 1.00/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.02 c 217 5910 14899 73566 4 51976 52854 221 216 1.00 1.00/1.02 o 215519232 1.016 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 244 5910 14927 77495 5 55199 52854 249 239 1.02 1.00/1.03 o 199311899 1.025 1.00/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.05 c 247 5910 14931 80772 5 58357 52854 253 240 1.03 1.00/1.05 o 193936108 1.045 1.00/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.05 c 272 5910 14957 84930 5 61574 52854 279 260 1.05 1.00/1.05 o 167416436 1.052 1.00/1.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.07 c 273 5910 14959 88099 5 64712 52854 281 259 1.05 1.00/1.07 o 167407928 1.072 1.00/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.09 c 288 5910 14975 92498 6 67891 52854 297 268 1.07 1.00/1.09 o 160716522 1.086 1.19/1.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.22 c 294 5910 14982 95924 6 71092 52854 304 270 1.09 1.19/1.22 c 394 5910 15082 100661 6 71284 58140 404 330 1.19 1.19/1.22 o 123855754 1.213 1.29/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.30 c 412 5910 15101 104768 6 74477 52854 423 339 1.22 1.29/1.30 c 513 5910 15202 111034 7 74441 58140 524 401 1.28 1.29/1.30 o 123187805 1.3 1.49/1.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.57 c 525 5910 15215 114645 7 77738 52854 537 403 1.30 1.49/1.57 c 625 5910 15315 122724 8 77763 58140 637 449 1.39 1.49/1.57 c 875 5910 15565 141426 9 78294 63955 887 563 1.55 1.49/1.57 o 75677896 1.565 2.09/2.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.12 c 880 5910 15571 144720 9 81365 52854 893 561 1.57 2.09/2.12 c 980 5910 15671 152269 9 81761 58140 993 583 1.68 2.09/2.12 c 1231 5910 15922 171920 10 82036 63955 1244 648 1.90 2.09/2.12 o 63597760 2.122 2.39/2.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.44 c 1417 5910 16109 186666 11 85596 52854 1431 667 2.12 2.39/2.44 c 1518 5910 16210 196983 12 85695 58140 1532 674 2.25 2.39/2.44 o 43229009 2.437 3.89/3.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.96 c 1691 5910 16384 209628 12 89194 52854 1706 693 2.44 3.89/3.96 c 1792 5909 16485 214751 13 89636 58140 1807 695 2.58 3.89/3.96 c 2043 5908 16736 239259 14 89717 63955 2058 708 2.88 3.89/3.96 c 2519 5908 17212 276497 16 90035 70351 2534 731 3.44 3.89/3.96 o 40700862 3.962 6.69/6.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.75 c 2866 5908 17560 311896 17 93925 52850 2882 722 3.96 6.69/6.75 c 2969 5908 17663 318526 18 94474 58136 2985 708 4.19 6.69/6.75 c 3221 5897 17915 327147 18 95860 63950 3237 669 4.81 6.69/6.75 c 3696 5897 18390 344746 18 96775 70346 3712 625 5.91 6.69/6.75 o 40225060 6.748 6.89/6.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.99 c 4085 5897 18780 362218 19 100634 52828 4102 605 6.75 6.89/6.99 o 40221069 6.989 6.99/7.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.02 c 4179 5897 18875 369177 19 103946 52828 4197 597 6.99 6.99/7.02 o 40154808 7.013 6.99/7.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.03 c 4182 5897 18879 372398 19 107096 52828 4201 596 7.01 6.99/7.03 o 34052220 7.031 6.99/7.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.05 c 4182 5897 18880 375550 19 110196 52828 4202 594 7.03 6.99/7.05 o 33692520 7.05 6.99/7.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.07 c 4182 5897 18881 378702 20 113327 52828 4203 593 7.05 6.99/7.07 o 33563480 7.071 7.09/7.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.10 c 4183 5897 18883 381869 20 116439 52828 4205 591 7.07 7.09/7.10 o 33465272 7.1 7.99/8.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.09 c 4189 5897 18890 385361 20 119528 52828 4212 589 7.10 7.99/8.09 c 4289 5897 18990 393697 20 119535 58111 4312 580 7.39 7.99/8.09 c 4540 5897 19241 406678 21 119773 63923 4563 572 7.93 7.99/8.09 o 29311774 8.084 9.19/9.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.29 c 4584 5897 19286 411820 21 122970 52828 4608 566 8.09 9.19/9.29 c 4684 5896 19386 418715 21 123688 58111 4708 560 8.36 9.19/9.29 c 4935 5896 19637 438210 22 123649 63923 4959 558 8.84 9.19/9.29 o 23504495 9.283 11.09/11.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.09/11.16 c 5077 5896 19780 448223 22 127040 52826 5102 546 9.29 11.09/11.16 c 5177 5892 19880 453429 22 127759 58109 5202 536 9.65 11.09/11.16 c 5434 5881 20137 462886 22 128409 63920 5459 514 10.57 11.09/11.16 o 22244877 11.158 11.39/11.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.39/11.41 c 5593 5881 20297 471750 23 131774 52798 5619 501 11.16 11.39/11.41 o 22240977 11.405 20.78/20.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.78/20.85 c 5652 5881 20357 477346 23 134996 52798 5679 495 11.41 20.78/20.85 c 5752 5881 20457 481511 23 135174 58078 5779 486 11.83 20.78/20.85 c 6003 5881 20708 518927 25 135233 63886 6030 477 12.57 20.78/20.85 c 6479 5877 21184 553588 26 136800 70275 6506 441 14.69 20.78/20.85 c 7293 5867 21998 622823 28 137858 77303 7320 438 16.64 20.78/20.85 c 8613 5867 23318 850604 36 139960 85034 8640 417 20.62 20.78/20.85 o 21647966 20.836 98.04/98.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 98.04/98.14 c 8696 5867 23402 859794 36 143073 52772 8724 417 20.84 98.04/98.14 c 8796 5867 23502 868352 36 143331 58050 8824 411 21.36 98.04/98.14 c 9047 5849 23753 894304 37 144502 63856 9075 409 22.07 98.04/98.14 c 9522 5849 24228 940121 38 145063 70242 9550 407 23.38 98.04/98.14 c 10336 5849 25042 1031060 41 146298 77267 10364 393 26.27 98.04/98.14 c 11658 5849 26364 1313800 49 148634 84994 11686 389 29.90 98.04/98.14 c 13739 5849 28445 1739209 61 152457 93494 13767 386 35.56 98.04/98.14 c 16962 5849 31668 2394472 75 158752 102844 16990 374 45.24 98.04/98.14 c 21898 5849 36604 3293799 89 168465 113129 21926 362 60.35 98.04/98.14 c 29404 5849 44110 5111974 115 183355 124442 29432 323 90.91 98.04/98.14 o 21547282 98.094 101.94/102.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.94/102.01 c 31191 5849 45898 5485666 119 189979 52740 31220 317 98.10 101.94/102.01 c 31291 5849 45998 5494460 119 190177 58015 31320 317 98.60 101.94/102.01 c 31543 5844 46250 5526286 119 190684 63817 31572 316 99.82 101.94/102.01 c 32018 5844 46725 5585419 119 191562 70199 32047 314 101.92 101.94/102.01 o 18710894 101.966 101.94/102.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.94/102.07 c 32023 5833 46731 5588575 119 194668 52718 32053 314 101.97 101.94/102.07 o 18641476 102.019 102.25/102.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 102.25/102.38 c 32032 5833 46741 5592510 119 197757 52718 32063 313 102.02 102.25/102.38 o 18604174 102.33 102.54/102.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 102.54/102.67 c 32098 5775 46808 5597253 119 200941 52656 32130 313 102.33 102.54/102.67 o 18575837 102.622 103.14/103.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 103.14/103.28 c 32184 5507 46895 5608249 119 204055 52382 32217 313 102.62 103.14/103.28 c 32287 5507 46998 5618527 119 204225 57621 32320 313 102.96 103.14/103.28 o 18569699 103.232 105.45/105.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 105.45/105.53 c 32371 1040 47083 5622132 119 204968 47724 32405 313 103.23 105.45/105.53 c 32471 1040 47183 5627258 119 205150 52497 32505 313 103.56 105.45/105.53 c 32721 1040 47433 5636172 118 205631 57747 32755 314 104.21 105.45/105.53 o 18514423 105.483 108.64/108.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 108.64/108.72 c 33152 1040 47865 5653148 118 207073 47724 33187 314 105.48 108.64/108.72 c 33252 1040 47965 5657567 117 207271 52497 33287 314 105.82 108.64/108.72 c 33504 1040 48217 5669528 117 207776 57747 33539 314 106.50 108.64/108.72 c 33979 1040 48692 5683661 116 208709 63522 34014 314 108.00 108.64/108.72 o 18506798 108.666 124.33/124.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 124.33/124.45 c 34146 1040 48860 5691583 116 209624 47724 34182 314 108.67 124.33/124.45 c 34247 1040 48961 5694119 116 209826 52497 34283 313 109.12 124.33/124.45 c 34497 1040 49211 5705582 115 210305 57747 34533 313 110.09 124.33/124.45 c 34974 1040 49688 5723980 115 211281 63522 35010 313 111.71 124.33/124.45 c 35788 1040 50502 5746122 113 212908 69875 35824 313 114.16 124.33/124.45 c 37108 1040 51822 5795835 111 215530 76863 37144 313 118.53 124.33/124.45 o 18497892 124.402 127.54/127.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 127.54/127.62 c 38967 1040 53682 5853139 109 219823 47724 39004 313 124.40 127.54/127.62 c 39067 1040 53782 5854936 108 220049 52497 39104 313 124.75 127.54/127.62 c 39317 1040 54032 5862367 108 220523 57747 39354 312 125.77 127.54/127.62 c 39792 1040 54507 5882298 107 221467 63522 39829 312 127.52 127.54/127.62 o 18465801 127.572 135.33/135.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 135.33/135.41 c 39806 1040 54522 5883282 107 222108 47724 39844 312 127.57 135.33/135.41 c 39906 1040 54622 5889464 107 222287 52497 39944 311 127.97 135.33/135.41 c 40156 1040 54872 5898495 107 222805 57747 40194 311 128.95 135.33/135.41 c 40631 1040 55347 5912852 106 223760 63522 40669 311 130.51 135.33/135.41 c 41444 1040 56160 5948563 105 225366 69875 41482 311 133.15 135.33/135.41 o 18444333 135.361 138.23/138.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 138.23/138.38 c 41968 1040 56685 5974275 105 226981 47724 42007 310 135.36 138.23/138.38 c 42068 1040 56785 5977599 105 227214 52497 42107 309 135.73 138.23/138.38 c 42319 1040 57036 5988234 104 227706 57747 42358 309 136.79 138.23/138.38 c 42796 1040 57513 6007041 104 228650 63522 42835 309 138.27 138.23/138.38 o 18343603 138.322 140.64/140.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 140.64/140.77 c 42806 1040 57524 6007983 104 229274 47724 42846 309 138.32 140.64/140.77 c 42906 1040 57624 6011774 104 229487 52497 42946 309 138.68 140.64/140.77 c 43157 1040 57875 6022132 104 229992 57747 43197 309 139.44 140.64/140.77 o 18338574 140.715 157.53/157.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 157.53/157.68 c 43545 1040 58264 6033395 103 231357 47724 43586 309 140.72 157.53/157.68 c 43645 1040 58364 6035836 103 231566 52497 43686 309 141.06 157.53/157.68 c 43895 1040 58614 6044292 103 232061 57747 43936 309 142.01 157.53/157.68 c 44370 1040 59089 6060293 102 233025 63522 44411 308 143.75 157.53/157.68 c 45183 1040 59902 6081979 101 234653 69875 45224 308 146.65 157.53/157.68 c 46503 1040 61222 6145734 100 237287 76863 46544 308 150.96 157.53/157.68 o 18336131 157.624 162.23/162.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 162.23/162.31 c 48532 1040 63252 6233930 98 241915 47724 48574 307 157.62 162.23/162.31 c 48632 1040 63352 6239302 98 242125 52497 48674 307 157.99 162.23/162.31 c 48882 1040 63602 6248855 98 242629 57747 48924 307 158.81 162.23/162.31 c 49358 1040 64078 6261630 97 243551 63522 49400 307 160.38 162.23/162.31 o 18321034 162.252 162.74/162.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 162.74/162.85 c 49906 1040 64627 6292747 97 245239 47724 49949 307 162.25 162.74/162.85 c 50007 1040 64728 6296441 97 245491 52497 50050 307 162.70 162.74/162.85 o 18292749 162.792 169.53/169.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 169.53/169.63 c 50031 1040 64753 6297822 97 246065 47724 50075 307 162.79 169.53/169.63 c 50133 1040 64855 6301739 97 246322 52497 50177 307 163.17 169.53/169.63 c 50386 1040 65108 6315153 96 246803 57747 50430 306 164.15 169.53/169.63 c 50862 1040 65584 6333035 96 247771 63522 50906 306 165.90 169.53/169.63 c 51676 1040 66398 6385223 96 249392 69875 51720 305 168.97 169.53/169.63 o 18278706 169.575 177.63/177.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 177.63/177.78 c 51826 1040 66549 6391452 96 250274 47724 51871 305 169.58 177.63/177.78 c 51926 1040 66649 6395150 95 250521 52497 51971 305 170.01 177.63/177.78 c 52176 1040 66899 6401814 95 250983 57747 52221 305 171.01 177.63/177.78 c 52651 1040 67374 6418535 95 251971 63522 52696 304 172.71 177.63/177.78 c 53464 1040 68187 6444114 94 253584 69875 53509 304 175.87 177.63/177.78 o 18256139 177.715 198.42/198.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 198.42/198.58 c 53958 1040 68682 6458949 94 255130 47724 54004 303 177.72 198.42/198.58 c 54058 1040 27060 538005 19 73383 52497 12382 303 178.11 198.42/198.58 c 54309 1040 27311 547375 20 73884 57747 12633 304 178.27 198.42/198.58 c 54784 1040 27786 566371 20 74832 63522 13108 306 178.64 198.42/198.58 c 55600 1040 28602 601439 21 76465 69875 13924 310 179.22 198.42/198.58 c 56920 1040 29922 712174 23 79104 76863 15244 315 180.27 198.42/198.58 c 59002 1040 32004 819687 25 83267 84550 17326 324 181.95 198.42/198.58 c 62226 1040 35228 968898 27 89718 93006 20550 337 184.51 198.42/198.58 c 67163 1040 40165 1301000 32 99590 102307 25487 355 188.84 198.42/198.58 c 74669 1040 47671 1749248 36 114604 112538 32993 381 195.92 198.42/198.58 o 18254557 198.518 208.62/208.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 208.62/208.79 c 77397 1040 50400 1936055 38 120652 47724 35722 389 198.52 208.62/208.79 c 77497 1040 50500 1940007 38 120854 52497 35822 390 198.64 208.62/208.79 c 77747 1040 50750 1951442 38 121354 57747 36072 390 198.89 208.62/208.79 c 78222 1040 51225 1966481 38 122300 63522 36547 392 199.39 208.62/208.79 c 79035 1040 52038 2014955 38 123926 69875 37360 394 200.12 208.62/208.79 c 80357 1040 53360 2093902 39 126572 76863 38682 398 201.57 208.62/208.79 c 82438 1040 55441 2174458 39 130736 84550 40763 404 203.98 208.62/208.79 c 85662 1040 58665 2298897 39 137180 93006 43987 412 207.90 208.62/208.79 o 18223074 208.728 208.72/208.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 208.72/208.86 c 86347 1040 59351 2327821 39 139152 47724 44673 413 208.73 208.72/208.86 o 18106628 208.796 211.82/211.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 211.82/211.99 c 86390 1040 59395 2329736 39 139823 47724 44717 413 208.80 211.82/211.99 c 86493 1040 59498 2332211 39 140035 52497 44820 413 208.94 211.82/211.99 c 86743 1040 59748 2342062 39 140532 57747 45070 414 209.28 211.82/211.99 c 87219 1040 60224 2357451 39 141492 63522 45546 415 209.90 211.82/211.99 c 88033 1040 61038 2396240 39 143122 69875 46360 417 210.98 211.82/211.99 o 18095279 211.924 252.51/252.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 252.51/252.63 c 88840 1040 61846 2430228 39 145329 47724 47168 419 211.93 252.51/252.63 c 88940 1040 61946 2433472 39 145512 52497 47268 419 212.06 252.51/252.63 c 89190 1040 62196 2441338 39 146037 57747 47518 420 212.35 252.51/252.63 c 89665 1040 62671 2461838 39 146972 63522 47993 421 212.93 252.51/252.63 c 90478 1040 63484 2495853 39 148598 69875 48806 422 214.08 252.51/252.63 c 91798 1040 64804 2541104 39 151248 76863 50126 425 215.78 252.51/252.63 c 93880 1040 66886 2605222 38 155415 84550 52208 429 218.69 252.51/252.63 c 97103 1040 70109 2726537 38 161851 93006 55431 437 222.14 252.51/252.63 c 102041 1040 75047 2958234 39 171737 102307 60369 443 229.85 252.51/252.63 c 109549 1040 82555 3378331 40 186734 112538 67877 452 242.08 252.51/252.63 o 18085877 252.554 355.49/355.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 355.49/355.65 c 116661 1040 89668 3756642 41 201563 47724 74990 461 252.56 355.49/355.65 c 116761 1040 27729 741886 26 74721 52497 13051 461 253.26 355.49/355.65 c 117013 1040 27981 754512 26 75224 57747 13303 461 253.44 355.49/355.65 c 117488 1040 28456 776082 27 76175 63522 13778 462 253.77 355.49/355.65 c 118301 1040 29269 808868 27 77799 69875 14591 465 254.38 355.49/355.65 c 119622 1040 30590 910209 29 80444 76863 15912 468 255.38 355.49/355.65 c 121704 1040 32672 1032938 31 84608 84550 17994 474 256.71 355.49/355.65 c 124929 1040 35897 1179036 32 91056 93006 21219 482 258.88 355.49/355.65 c 129867 1040 40835 1507413 36 100932 102307 26157 493 263.04 355.49/355.65 c 137373 1039 48341 1924760 39 115944 112538 33663 506 271.11 355.49/355.65 c 148735 1039 59703 2634067 44 138668 123792 45025 520 285.87 355.49/355.65 c 165879 1039 76847 4360992 56 172954 136172 62169 528 313.99 355.49/355.65 o 18081421 355.556 358.89/359.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 358.89/359.01 c 186001 1039 96970 5817496 59 213794 47722 82292 523 355.56 358.89/359.01 c 186101 1039 28381 1041965 36 76025 52495 13703 521 356.91 358.89/359.01 c 186351 1039 28631 1059193 36 76523 57745 13953 521 357.16 358.89/359.01 c 186828 1039 29108 1087667 37 77475 63520 14430 522 357.47 358.89/359.01 c 187642 1039 29922 1116002 37 79105 69873 15244 524 358.06 358.89/359.01 o 18022722 358.916 359.50/359.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 359.50/359.61 c 188568 1039 30849 1171661 37 81543 47722 16171 525 358.92 359.50/359.61 c 188668 1039 30949 1174849 37 81754 52495 16271 525 359.02 359.50/359.61 c 188919 1039 31200 1183254 37 82255 57745 16522 525 359.21 359.50/359.61 o 17979087 359.517 398.68/398.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 398.68/398.83 c 189369 1039 31651 1196880 37 83747 47722 16973 526 359.52 398.68/398.83 c 189469 1039 31751 1200414 37 83949 52495 17073 526 359.62 398.68/398.83 c 189720 1039 32002 1207153 37 84453 57745 17324 527 359.80 398.68/398.83 c 190196 1039 32478 1222003 37 85394 63520 17800 528 360.11 398.68/398.83 c 191012 1039 33294 1242843 37 87040 69873 18616 529 360.82 398.68/398.83 c 192332 1039 34614 1330021 38 89665 76861 19936 531 361.91 398.68/398.83 c 194413 1039 36695 1435571 39 93840 84548 22017 534 363.53 398.68/398.83 c 197636 1039 39918 1566595 39 100285 93003 25240 539 366.36 398.68/398.83 c 202573 1039 44855 1820869 40 110159 102304 30177 545 371.54 398.68/398.83 c 210079 1039 52361 2099317 40 125170 112535 37683 553 379.87 398.68/398.83 c 221440 1039 63722 2768977 43 147883 123789 49044 563 393.24 398.68/398.83 o 17973078 398.725 401.08/401.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 401.08/401.21 c 226339 1039 68622 2995210 43 158281 47722 53944 567 398.73 401.08/401.21 c 226440 1039 27224 679129 24 73711 52495 12546 566 399.38 401.08/401.21 c 226695 1039 27479 686898 24 74220 57745 12801 567 399.54 401.08/401.21 c 227170 1039 27954 700855 25 75168 63520 13276 568 399.85 401.08/401.21 c 227984 1039 28768 723744 25 76799 69873 14090 569 400.38 401.08/401.21 o 17969822 401.111 407.28/407.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 407.28/407.42 c 229303 1039 30088 783573 26 80025 47722 15410 571 401.11 407.28/407.42 c 229403 1039 30188 789435 26 80233 52495 15510 571 401.18 407.28/407.42 c 229653 1039 30438 799867 26 80731 57745 15760 572 401.35 407.28/407.42 c 230130 1039 30915 822062 26 81689 63520 16237 572 401.63 407.28/407.42 c 230943 1039 31728 841629 26 83311 69873 17050 574 402.21 407.28/407.42 c 232263 1039 33048 879591 26 85953 76861 18370 576 403.15 407.28/407.42 c 234345 1039 35130 1009637 28 90115 84548 20452 579 404.70 407.28/407.42 o 17953492 407.321 452.78/452.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 452.78/452.92 c 237513 1039 38299 1199782 31 97045 47722 23621 583 407.32 452.78/452.92 c 237613 1039 38399 1204225 31 97250 52495 23721 583 407.42 452.78/452.92 c 237864 1039 38650 1217581 31 97743 57745 23972 583 407.63 452.78/452.92 c 238340 1039 39126 1237766 31 98704 63520 24448 584 408.06 452.78/452.92 c 239154 1039 39940 1271517 31 100329 69873 25262 584 408.81 452.78/452.92 c 240476 1039 41262 1316090 31 102973 76861 26584 586 409.83 452.78/452.92 c 242560 1039 43346 1408296 32 107145 84548 28668 589 411.79 452.78/452.92 c 245786 1039 46572 1538001 33 113590 93003 31894 592 414.86 452.78/452.92 c 250724 1039 51510 1815089 35 123469 102304 36832 597 419.85 452.78/452.92 c 258231 1039 59017 2484461 42 138480 112535 44339 602 428.62 452.78/452.92 c 269592 1039 70378 3088159 43 161208 123789 55700 603 447.01 452.78/452.92 o 17912346 452.815 496.17/496.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 496.17/496.30 c 272905 1039 73692 3251948 44 168423 47722 59014 602 452.82 496.17/496.30 c 273006 1039 27490 672329 24 74243 52495 12812 601 453.54 496.17/496.30 c 273257 1039 27741 681299 24 74745 57745 13063 602 453.68 496.17/496.30 c 273732 1039 28216 713242 25 75695 63520 13538 602 453.99 496.17/496.30 c 274547 1039 29031 750470 25 77324 69873 14353 604 454.45 496.17/496.30 c 275867 1039 30351 795391 26 79962 76861 15673 605 455.36 496.17/496.30 c 277951 1037 32435 876576 27 84131 84548 17757 608 456.83 496.17/496.30 c 281175 1037 35659 1153872 32 90576 93003 20981 611 459.47 496.17/496.30 c 286111 1037 40595 1617677 39 100451 102304 25917 616 464.00 496.17/496.30 c 293618 1036 48102 2252929 46 115461 112535 33424 621 472.77 496.17/496.30 c 304979 1034 59463 3242591 54 138185 123789 44785 621 490.44 496.17/496.30 o 17906988 496.182 559.56/559.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 559.56/559.75 c 308905 1034 63390 3515489 55 146630 47720 48712 622 496.18 559.56/559.75 c 309005 1034 63490 3519412 55 146832 52493 48812 622 496.34 559.56/559.75 c 309255 1034 63740 3534517 55 147328 57743 49062 622 496.84 559.56/559.75 c 309731 1034 64216 3564605 55 148282 63518 49538 622 497.90 559.56/559.75 c 310547 1034 65032 3613560 55 149918 69870 50354 621 499.62 559.56/559.75 c 311869 1034 66354 3664867 55 152560 76858 51676 620 502.37 559.56/559.75 c 313950 1034 68435 3734030 54 156722 84544 53757 620 506.34 559.56/559.75 c 317173 1034 71658 3892067 54 163168 92999 56980 618 513.04 559.56/559.75 c 322109 1034 76594 4250459 55 173036 102299 61916 616 522.75 559.56/559.75 c 329617 1034 84102 4713584 56 188052 112529 69424 613 537.58 559.56/559.75 o 17885217 559.627 742.74/742.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 742.74/742.90 c 340045 1034 94531 5400226 57 209499 47720 79853 607 559.63 742.74/742.90 c 340146 1034 28132 907487 32 75521 52493 13454 606 560.86 742.74/742.90 c 340397 1034 28383 915716 32 76024 57743 13705 606 561.03 742.74/742.90 c 340873 1034 28859 931728 32 76976 63518 14181 607 561.38 742.74/742.90 c 341688 1033 29674 979244 33 78605 69870 14996 608 561.93 742.74/742.90 c 343009 1033 30995 1076795 34 81244 76858 16317 609 562.95 742.74/742.90 c 345091 1033 33077 1205813 36 85411 84544 18399 611 564.76 742.74/742.90 c 348314 1033 36300 1451163 39 91857 92999 21622 614 567.12 742.74/742.90 c 353252 1033 41238 1888443 45 101731 102299 26560 617 571.68 742.74/742.90 c 360758 1033 48744 2287438 46 116744 112529 34066 621 580.81 742.74/742.90 c 372119 1033 60105 3111224 51 139464 123782 45427 624 596.33 742.74/742.90 c 389265 1033 77251 4630450 59 173755 136161 62573 623 624.18 742.74/742.90 c 415085 1033 103071 7635772 74 225396 149778 88393 605 685.57 742.74/742.90 o 17867194 742.745 883.90/884.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 883.90/884.17 c 430414 1033 118401 9238161 78 256649 47720 103723 579 742.75 883.90/884.17 c 430514 1033 29710 1334816 44 78675 52493 15032 578 744.83 883.90/884.17 c 430765 1033 29961 1360036 45 79179 57743 15283 578 745.11 883.90/884.17 c 431242 1033 30438 1415537 46 80132 63518 15760 578 745.60 883.90/884.17 c 432056 1032 31252 1569761 50 81760 69870 16574 578 746.41 883.90/884.17 c 433376 1032 32572 1707144 52 84401 76858 17894 579 748.00 883.90/884.17 c 435459 1032 34655 2086480 60 88566 84544 19977 580 750.40 883.90/884.17 c 438682 1032 37878 2521547 66 95010 92999 23200 581 754.60 883.90/884.17 c 443619 1032 42815 3277982 76 104885 102299 28137 582 762.13 883.90/884.17 c 451126 1032 50322 3872925 76 119896 112529 35644 584 771.56 883.90/884.17 c 462487 1032 61683 5056950 81 142621 123782 47005 583 792.01 883.90/884.17 c 479631 1032 78827 6883331 87 176911 136161 64149 574 834.98 883.90/884.17 o 17853838 883.973 966.59/966.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 966.59/966.84 c 494870 1032 94067 8539839 90 207985 47720 79389 559 883.97 966.59/966.84 c 494970 1032 29841 1599117 53 78938 52493 15163 557 887.24 966.59/966.84 c 495221 1032 30092 1609086 53 79439 57743 15414 558 887.40 966.59/966.84 c 495697 1032 30568 1656013 54 80391 63518 15890 558 887.79 966.59/966.84 c 496511 1032 31382 1739852 55 82019 69870 16704 558 888.59 966.59/966.84 c 497831 1032 32702 1976007 60 84659 76858 18024 559 889.99 966.59/966.84 c 499913 1032 34784 2236393 64 88825 84544 20106 560 892.28 966.59/966.84 c 503136 1032 38007 2615283 68 95269 92999 23329 561 896.38 966.59/966.84 c 508073 1032 42944 3049729 71 105143 102299 28266 563 901.21 966.59/966.84 c 515583 1029 50454 3999389 79 120160 112529 35776 564 913.03 966.59/966.84 c 526944 1029 61815 5519702 89 142882 123782 47137 564 933.28 966.59/966.84 o 17833189 966.636 1692.51/1692.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1692.51/1692.91 c 541651 1029 76523 7425119 97 172892 47720 61845 560 966.64 1692.51/1692.91 c 541752 1029 28378 1675250 59 76008 52493 13700 559 967.70 1692.51/1692.91 c 542003 1029 28629 1720277 60 76511 57743 13951 559 967.95 1692.51/1692.91 c 542478 1029 29104 1798583 61 77459 63518 14426 560 968.33 1692.51/1692.91 c 543292 1028 29918 1917728 64 79089 69870 15240 560 969.18 1692.51/1692.91 c 544614 1028 31240 2110510 67 81732 76858 16562 561 970.47 1692.51/1692.91 c 546695 1028 33321 2469190 74 85892 84544 18643 562 972.71 1692.51/1692.91 c 549921 1026 36547 2965790 81 92343 92999 21869 562 976.81 1692.51/1692.91 c 554859 1026 41485 3531975 85 102217 102299 26807 564 982.88 1692.51/1692.91 c 562365 1026 48991 4749847 96 117231 112529 34313 565 994.93 1692.51/1692.91 c 573727 1025 60353 6430307 106 139954 123782 45675 563 1017.82 1692.51/1692.91 c 590871 1025 77497 8073813 104 174244 136161 62819 556 1062.08 1692.51/1692.91 c 616691 1025 103317 11769579 113 225881 149778 88639 537 1146.96 1692.51/1692.91 c 655523 1024 142149 17216463 121 303543 164756 127471 501 1306.86 1692.51/1692.91 c 713876 1023 47753 4654431 97 114752 181232 33075 430 1660.12 1692.51/1692.91 o 17827257 1692.54 1800.10/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.10/1800.50 c 732941 1023 66819 6806760 101 153476 47720 52141 433 1692.54 1800.10/1800.50 c 733043 1023 66921 6833919 102 153680 52493 52243 433 1692.92 1800.10/1800.50 c 733293 1023 67171 6855566 102 154182 57743 52493 432 1693.59 1800.10/1800.50 c 733768 1023 67646 6944734 102 155134 63518 52968 432 1694.99 1800.10/1800.50 c 734581 1022 68459 7090512 103 156755 69870 53781 432 1697.94 1800.10/1800.50 c 735901 1022 69779 7338764 105 159395 76858 55101 432 1702.81 1800.10/1800.50 c 737986 1022 71864 7653107 106 163565 84544 57186 431 1708.65 1800.10/1800.50 c 741210 1018 75088 8176900 108 170014 92999 60410 431 1718.76 1800.10/1800.50 c 746149 1016 80027 8870757 110 179889 102299 65349 430 1732.87 1800.10/1800.50 c 753655 1012 87533 9857811 112 194900 112529 72855 429 1756.18 1800.10/1800.50 c 765017 1010 98895 11708286 118 217621 123782 84217 425 1796.13 1800.10/1800.50 c Caught signal: 15 1800.10/1800.50 v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 x6447 -x6448 -x6449 -x6450 -x6451 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 x6499 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 x6547 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6565 -x6566 x6567 -x6568 -x6569 -x6570 -x6346 x6347 x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6372 -x6373 -x6374 -x6375 x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 x6384 -x6385 -x6386 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 x3525 -x3526 -x3527 -x3528 -x3530 x3531 -x3532 -x3533 -x3534 -x3535 x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3594 -x3595 -x3596 -x3597 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -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 -x6571 -x6572 -x6573 -x6574 x6575 -x6576 x6577 -x6578 -x6579 x6580 -x6581 x6582 -x6583 -x6584 -x6585 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6741 -x6742 -x6743 -x6744 x6745 -x6746 -x6747 -x6748 x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6773 -x6774 -x6775 -x6776 x6777 -x6778 x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6586 -x6587 -x6588 -x6589 x6590 -x6591 -x6592 -x6593 -x6594 -x6596 x6597 -x6598 x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 x6622 -x6623 -x6624 x6625 -x6626 -x6628 x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 x6650 -x6651 x6652 -x6653 -x6654 x6655 -x6656 x6657 -x6658 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -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 -x6436 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x6452 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x6468 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x6484 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x6500 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x6516 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x6532 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x6548 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x6564 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x6355 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x6371 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x6387 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x6403 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x6419 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x6435 -x3481 -x3497 -x3513 -x3529 -x3545 -x3561 -x3577 -x3593 -x3609 -x3400 -x3416 -x3432 -x3448 -x3464 -x3480 -x6676 -x6692 -x6708 -x6724 -x6740 -x6756 -x6772 -x6788 -x6804 -x6595 -x6611 -x6627 -x6643 -x6659 -x6675 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 x5145 -x5146 -x5147 -x5148 -x5149 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 1800.10/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.10/1800.50 c 294 765989 327150 1967561 99867 11888993 85189 425 1800.11 1800.10/1800.50 c Objective: 17827257 1800.10/1800.50 s SATISFIABLE 1800.10/1800.50 c Total time: 1800.11 s
OK 17827257
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-3744163-1338803316/watcher-3744163-1338803316 -o /tmp/evaluation-result-3744163-1338803316/solver-3744163-1338803316 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744163-1338803316.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 1.87 3/173 13343 /proc/meminfo: memFree=31159400/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=4476 CPUtime=0 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 346460179 4583424 156 33554432000 134512640 135840783 4292022144 4292021484 1541464 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 1119 156 135 325 0 39 0 [startup+0.0317341 s] /proc/loadavg: 2.00 2.00 1.87 3/173 13343 /proc/meminfo: memFree=31159400/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=6556 CPUtime=0.02 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 887 0 0 0 2 0 0 0 20 0 1 0 346460179 6713344 824 33554432000 134512640 135840783 4292022144 4292021136 134525046 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 1639 824 404 325 0 433 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6556 [startup+0.100264 s] /proc/loadavg: 2.00 2.00 1.87 3/173 13343 /proc/meminfo: memFree=31159400/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=8304 CPUtime=0.09 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 1518 0 0 0 9 0 0 0 20 0 1 0 346460179 8503296 1313 33554432000 134512640 135840783 4292022144 4291939516 16606256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 2076 1313 342 325 0 1012 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8304 [startup+0.300222 s] /proc/loadavg: 2.00 2.00 1.87 3/173 13343 /proc/meminfo: memFree=31159400/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=8304 CPUtime=0.29 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 1519 0 0 0 29 0 0 0 20 0 1 0 346460179 8503296 1314 33554432000 134512640 135840783 4292022144 4291939516 16606256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 2076 1314 342 325 0 1012 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8304 [startup+0.700224 s] /proc/loadavg: 2.00 2.00 1.87 3/173 13343 /proc/meminfo: memFree=31159400/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=8304 CPUtime=0.69 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 1519 0 0 0 69 0 0 0 20 0 1 0 346460179 8503296 1314 33554432000 134512640 135840783 4292022144 4291939516 16606256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 2076 1314 342 325 0 1012 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8304 [startup+1.50023 s] /proc/loadavg: 2.00 2.00 1.87 3/174 13344 /proc/meminfo: memFree=31156012/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=10360 CPUtime=1.49 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 2182 0 0 0 148 1 0 0 20 0 1 0 346460179 10608640 1851 33554432000 134512640 135840783 4292022144 4292021504 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 2590 1851 349 325 0 1526 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10360 [startup+3.10018 s] /proc/loadavg: 2.00 2.00 1.87 3/174 13344 /proc/meminfo: memFree=31153532/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=12176 CPUtime=3.09 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 2648 0 0 0 308 1 0 0 20 0 1 0 346460179 12468224 2317 33554432000 134512640 135840783 4292022144 4292017968 2102567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 3044 2317 349 325 0 1980 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12176 [startup+6.30018 s] /proc/loadavg: 2.00 2.00 1.87 3/177 13375 /proc/meminfo: memFree=31141820/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=13752 CPUtime=6.29 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 3025 0 0 0 628 1 0 0 20 0 1 0 346460179 14082048 2694 33554432000 134512640 135840783 4292022144 4292021504 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 3438 2694 349 325 0 2374 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13752 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 1.87 3/177 13375 /proc/meminfo: memFree=31138388/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=16932 CPUtime=12.69 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 3832 0 0 0 1268 1 0 0 20 0 1 0 346460179 17338368 3501 33554432000 134512640 135840783 4292022144 4292021504 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 4233 3501 349 325 0 3169 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16932 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.87 3/177 13375 /proc/meminfo: memFree=31120432/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=23292 CPUtime=25.47 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 5432 0 0 0 2546 1 0 0 20 0 1 0 346460179 23851008 5102 33554432000 134512640 135840783 4292022144 4292021504 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 5823 5102 349 325 0 4759 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 23292 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 1.87 3/177 13376 /proc/meminfo: memFree=31081724/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=45800 CPUtime=51.07 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 11056 0 0 0 5104 3 0 0 20 0 1 0 346460179 46899200 10726 33554432000 134512640 135840783 4292022144 4292021504 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 11450 10726 349 325 0 10386 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 45800 [startup+102.307 s] /proc/loadavg: 2.04 2.01 1.88 3/178 13379 /proc/meminfo: memFree=31016608/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=84624 CPUtime=102.25 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 20799 0 0 0 10218 7 0 0 20 0 1 0 346460179 86654976 20440 33554432000 134512640 135840783 4292022144 4292021504 134551359 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 21156 20440 349 325 0 20092 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 84624 [startup+162.3 s] /proc/loadavg: 2.01 2.01 1.89 3/177 13379 /proc/meminfo: memFree=30986248/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=95804 CPUtime=162.23 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 23589 0 0 0 16215 8 0 0 20 0 1 0 346460179 98103296 23230 33554432000 134512640 135840783 4292022144 4292020112 2102567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 23951 23230 349 325 0 22887 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 95804 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.89 3/177 13379 /proc/meminfo: memFree=30937500/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=98564 CPUtime=222.21 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 24314 0 0 0 22213 8 0 0 20 0 1 0 346460179 100929536 23894 33554432000 134512640 135840783 4292022144 4292021504 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 24641 23894 349 325 0 23577 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 98564 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.90 3/177 13379 /proc/meminfo: memFree=30913048/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=98640 CPUtime=282.2 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 24333 0 0 0 28212 8 0 0 20 0 1 0 346460179 101007360 23913 33554432000 134512640 135840783 4292022144 4292021332 2097282 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 24660 23913 349 325 0 23596 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 98640 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 13379 /proc/meminfo: memFree=30897368/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=98648 CPUtime=342.19 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 24342 0 0 0 34211 8 0 0 20 0 1 0 346460179 101015552 23922 33554432000 134512640 135840783 4292022144 4292021504 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 24662 23922 349 325 0 23598 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 98648 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 13380 /proc/meminfo: memFree=30885836/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=98668 CPUtime=402.18 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 24347 0 0 0 40210 8 0 0 20 0 1 0 346460179 101036032 23927 33554432000 134512640 135840783 4292022144 4292021504 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 24667 23927 349 325 0 23603 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 98668 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 13380 /proc/meminfo: memFree=30877032/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=98668 CPUtime=462.17 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 24347 0 0 0 46209 8 0 0 20 0 1 0 346460179 101036032 23927 33554432000 134512640 135840783 4292022144 4292017664 134573449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 24667 23927 349 325 0 23603 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 98668 [startup+522.3 s] /proc/loadavg: 2.08 2.02 1.91 3/177 13380 /proc/meminfo: memFree=30872168/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=98668 CPUtime=522.17 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 24347 0 0 0 52209 8 0 0 20 0 1 0 346460179 101036032 23927 33554432000 134512640 135840783 4292022144 4292021504 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 24667 23927 349 325 0 23603 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 98668 [startup+582.3 s] /proc/loadavg: 2.07 2.03 1.92 3/177 13380 /proc/meminfo: memFree=30866588/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=98668 CPUtime=582.16 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 24347 0 0 0 58208 8 0 0 20 0 1 0 346460179 101036032 23927 33554432000 134512640 135840783 4292022144 4292021456 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 24667 23927 349 325 0 23603 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 98668 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 13407 /proc/meminfo: memFree=30797408/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=137164 CPUtime=882.1 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 34116 0 0 0 88196 14 0 0 20 0 1 0 346460179 140455936 33576 33554432000 134512640 135840783 4292022144 4292021456 134550840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 34291 33576 349 325 0 33227 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 137164 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 13407 /proc/meminfo: memFree=30766304/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=137592 CPUtime=942.09 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 34194 0 0 0 94195 14 0 0 20 0 1 0 346460179 140894208 33654 33554432000 134512640 135840783 4292022144 4292021504 134551347 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 34398 33654 349 325 0 33334 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 137592 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 13408 /proc/meminfo: memFree=30721776/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=137592 CPUtime=1002.08 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 34194 0 0 0 100194 14 0 0 20 0 1 0 346460179 140894208 33654 33554432000 134512640 135840783 4292022144 4292021504 134550924 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 34398 33654 349 325 0 33334 0 Current children cumulated CPU time (s) 1002.08 Current children cumulated vsize (KiB) 137592 [startup+1062.3 s] /proc/loadavg: 2.03 2.01 1.93 3/177 13408 /proc/meminfo: memFree=30679676/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=137592 CPUtime=1062.07 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 34195 0 0 0 106193 14 0 0 20 0 1 0 346460179 140894208 33654 33554432000 134512640 135840783 4292022144 4292021504 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 34398 33654 349 325 0 33334 0 Current children cumulated CPU time (s) 1062.07 Current children cumulated vsize (KiB) 137592 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 1.93 3/177 13408 /proc/meminfo: memFree=30632184/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=154884 CPUtime=1122.05 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 38546 0 0 0 112190 15 0 0 20 0 1 0 346460179 158601216 38005 33554432000 134512640 135840783 4292022144 4292021504 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 38721 38005 349 325 0 37657 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 154884 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13408 /proc/meminfo: memFree=30599572/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=185776 CPUtime=1182.04 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 46262 0 0 0 118185 19 0 0 20 0 1 0 346460179 190234624 45721 33554432000 134512640 135840783 4292022144 4292021504 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 46444 45721 349 325 0 45380 0 Current children cumulated CPU time (s) 1182.04 Current children cumulated vsize (KiB) 185776 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13408 /proc/meminfo: memFree=30554744/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=212740 CPUtime=1242.03 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 53008 0 0 0 124180 23 0 0 20 0 1 0 346460179 217845760 52467 33554432000 134512640 135840783 4292022144 4292021504 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 53185 52467 349 325 0 52121 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 212740 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 13412 /proc/meminfo: memFree=30494128/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=238668 CPUtime=1302.04 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 59491 0 0 0 130176 28 0 0 20 0 1 0 346460179 244396032 58950 33554432000 134512640 135840783 4292022144 4292021504 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 59667 58950 349 325 0 58603 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 238668 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13412 /proc/meminfo: memFree=30451284/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=259824 CPUtime=1362.02 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 64764 0 0 0 136171 31 0 0 20 0 1 0 346460179 266059776 64223 33554432000 134512640 135840783 4292022144 4292021504 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 64956 64223 349 325 0 63892 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 259824 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13412 /proc/meminfo: memFree=30416032/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=280584 CPUtime=1422.01 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 69974 0 0 0 142166 35 0 0 20 0 1 0 346460179 287318016 69415 33554432000 134512640 135840783 4292022144 4292021504 134550921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 70146 69415 349 325 0 69082 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 280584 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13412 /proc/meminfo: memFree=30394856/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=298972 CPUtime=1481.96 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 74606 0 0 0 148157 39 0 0 20 0 1 0 346460179 306147328 73999 33554432000 134512640 135840783 4292022144 4292021504 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 74743 73999 349 325 0 73679 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 298972 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13412 /proc/meminfo: memFree=30373188/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=317876 CPUtime=1541.93 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 79350 0 0 0 154151 42 0 0 20 0 1 0 346460179 325505024 78728 33554432000 134512640 135840783 4292022144 4292016560 2102567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 79469 78728 349 325 0 78405 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 317876 [startup+1602.3 s] /proc/loadavg: 2.04 2.01 1.93 3/177 13413 /proc/meminfo: memFree=30355208/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=331628 CPUtime=1601.92 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 82787 0 0 0 160147 45 0 0 20 0 1 0 346460179 339587072 82165 33554432000 134512640 135840783 4292022144 4292021504 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 82907 82165 349 325 0 81843 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 331628 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 1.93 3/177 13413 /proc/meminfo: memFree=30344668/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=337844 CPUtime=1661.91 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 84511 0 0 0 166145 46 0 0 20 0 1 0 346460179 345952256 83722 33554432000 134512640 135840783 4292022144 4292021504 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 84461 83722 349 325 0 83397 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 337844 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13413 /proc/meminfo: memFree=30342808/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=337844 CPUtime=1721.9 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 84511 0 0 0 172144 46 0 0 20 0 1 0 346460179 345952256 83722 33554432000 134512640 135840783 4292022144 4292021504 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 84461 83722 349 325 0 83397 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 337844 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13413 /proc/meminfo: memFree=30339996/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=337844 CPUtime=1781.89 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 84511 0 0 0 178143 46 0 0 20 0 1 0 346460179 345952256 83722 33554432000 134512640 135840783 4292022144 4292021504 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 84461 83722 349 325 0 83397 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 337844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13413 /proc/meminfo: memFree=30339660/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=337844 CPUtime=1800.1 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 84511 0 0 0 179964 46 0 0 20 0 1 0 346460179 345952256 83722 33554432000 134512640 135840783 4292022144 4292021504 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 84461 83722 349 325 0 83397 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 337844 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.00 2.00 1.93 3/177 13413 /proc/meminfo: memFree=30339660/32873844 swapFree=8656/8656 [pid=13343] ppid=13341 vsize=337844 CPUtime=1800.1 cores=1,3,5,7 /proc/13343/stat : 13343 (bsolo3.0.17) R 13341 13343 11815 0 -1 4202496 84511 0 0 0 179964 46 0 0 20 0 1 0 346460179 345952256 83722 33554432000 134512640 135840783 4292022144 4292021504 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13343/statm: 84461 83722 349 325 0 83397 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 337844 Child status: 15 Real time (s): 1800.51 CPU time (s): 1800.11 CPU user time (s): 1799.65 CPU system time (s): 0.468928 CPU usage (%): 99.9779 Max. virtual memory (cumulated for all children) (KiB): 338512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.468928 maximum resident set size= 335556 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84514 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= 156 involuntary context switches= 1847 runsolver used 3.03154 second user time and 10.2124 second system time The end
Begin job on node102 at 2012-06-04 11:48:36 IDJOB=3744163 IDBENCH=92699 IDSOLVER=2318 FILE ID=node102/3744163-1338803316 RUNJOBID= node102-1338801513-13253 PBS_JOBID= 14636839 Free space on /tmp= 71156 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_1_mh.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744163-1338803316/watcher-3744163-1338803316 -o /tmp/evaluation-result-3744163-1338803316/solver-3744163-1338803316 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744163-1338803316.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8032cd9ddf37959390b9864499521c4d RANDOM SEED=861136293 node102.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.178 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.35 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.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 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.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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 : 5438.54 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.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31160044 kB Buffers: 222728 kB Cached: 708976 kB SwapCached: 5520 kB Active: 287084 kB Inactive: 654964 kB Active(anon): 7200 kB Inactive(anon): 5604 kB Active(file): 279884 kB Inactive(file): 649360 kB Unevictable: 8656 kB Mlocked: 8656 kB SwapTotal: 67108856 kB SwapFree: 67097276 kB Dirty: 8016 kB Writeback: 0 kB AnonPages: 14612 kB Mapped: 8732 kB Shmem: 0 kB Slab: 630248 kB SReclaimable: 71144 kB SUnreclaim: 559104 kB KernelStack: 1464 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 107820 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71160 MiB End job on node102 at 2012-06-04 12:18:39