Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | 1800.05 | 1800.62 |
Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_1_mh_ic.opb |
MD5SUM | f4c34ee83da7e36be7881d34beece196 |
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 | 1396365 |
Best CPU time to get the best result obtained on this benchmark | 680.72 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9765 |
Total number of constraints | 21293 |
Number of constraints which are clauses | 14520 |
Number of constraints which are cardinality constraints (but not clauses) | 23 |
Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 330 |
Number of terms in the objective function | 4005 |
Biggest coefficient in the objective function | 57066625 |
Number of bits for the biggest coefficient in the objective function | 26 |
Sum of the numbers in the objective function | 2537601947 |
Number of bits of the sum of numbers in the objective function | 32 |
Biggest number in a constraint | 57066625 |
Number of bits of the biggest number in a constraint | 26 |
Biggest sum of numbers in a constraint | 2537601947 |
Number of bits of the biggest sum of numbers | 32 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3744001-1338799904.opb 0.00/0.00 c File size is 830430 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Highest Coefficient sum: 2.5376e+09 0.04/0.07 c Parsing was ok!! 0.04/0.07 c Total parsing time: 0.067 s 0.04/0.07 c Var: 9765 Constr: 21931 15890/26/6015 Lit: 70755 Watch. Lit: 58718 0.04/0.07 c Obj. Vars: 4005 (41.0138 % of total variables) 1.18/1.26 c Pre-processing Time: 1.261 s 1.18/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.18/1.29 c 0 8745 20558 67835 3 55904 69694 0 0 1.26 1.18/1.29 c 102 8745 20660 81304 3 56137 76664 102 79 1.28 1.18/1.29 o 106034359 1.289 1.28/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.28/1.30 c 102 8745 20661 84574 4 59409 76234 103 79 1.29 1.28/1.30 o 71691161 1.295 1.28/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.28/1.31 c 102 8745 20662 87844 4 62679 76234 104 78 1.30 1.28/1.31 o 57011118 1.304 1.28/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.28/1.32 c 103 8745 20664 91127 4 65950 76234 106 78 1.31 1.28/1.32 o 52064052 1.314 1.28/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.28/1.33 c 104 8745 20666 94411 4 69223 76234 108 79 1.32 1.28/1.33 o 41148118 1.327 1.28/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.28/1.34 c 107 8745 20670 97729 4 72498 76234 112 80 1.33 1.28/1.34 o 27679060 1.341 1.38/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.38/1.46 c 109 8745 20673 101134 4 75772 76234 115 81 1.34 1.38/1.46 c 209 8745 20773 106411 5 75972 83858 215 145 1.43 1.38/1.46 o 24803098 1.456 1.38/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.38/1.48 c 217 8745 20782 109878 5 79259 76234 224 148 1.46 1.38/1.48 o 23390055 1.474 1.48/1.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.48/1.52 c 218 8745 20784 113162 5 82531 76234 226 147 1.48 1.48/1.52 o 7509276 1.519 1.48/1.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.48/1.54 c 227 8745 20794 116546 5 85817 76234 236 149 1.52 1.48/1.54 o 3467663 1.537 1.88/1.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.88/1.95 c 229 8745 20797 119884 5 89092 76234 239 148 1.54 1.88/1.95 c 330 8745 20898 126741 6 89295 83858 340 201 1.64 1.88/1.95 c 580 8745 21148 163183 7 89794 92244 590 303 1.91 1.88/1.95 o 3417866 1.949 2.19/2.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.28 c 597 8745 21166 167924 7 93094 76234 608 305 1.95 2.19/2.28 c 697 8731 21266 173883 8 93284 83858 708 329 2.12 2.19/2.28 o 3393675 2.28 3.48/3.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.48/3.54 c 803 8730 21373 190099 8 96753 76210 815 351 2.28 3.48/3.54 c 905 8730 21475 201144 9 96955 83832 917 368 2.46 3.48/3.54 c 1156 8730 21726 230360 10 97457 92216 1168 407 2.83 3.48/3.54 c 1633 8730 22203 278196 12 98414 101438 1645 464 3.52 3.48/3.54 o 3245181 3.535 3.48/3.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.48/3.57 c 1634 8730 22205 281467 12 101671 76210 1647 461 3.54 3.48/3.57 o 3210946 3.567 5.39/5.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.46 c 1640 8730 22212 284775 12 104941 76210 1654 459 3.57 5.39/5.46 c 1744 8730 22316 298013 13 105148 83832 1758 461 3.78 5.39/5.46 c 1995 8730 22567 322361 14 105653 92216 2009 461 4.32 5.39/5.46 c 2470 8730 23042 374319 16 106602 101438 2484 469 5.27 5.39/5.46 o 3158921 5.453 16.98/17.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.98/17.02 c 2538 7195 23111 380684 16 109511 75248 2553 465 5.46 16.98/17.02 c 2638 7195 23211 387729 16 109713 82773 2653 467 5.65 16.98/17.02 c 2889 7195 23462 407599 17 110209 91051 2904 465 6.21 16.98/17.02 c 3366 7195 23939 460998 19 111168 100157 3381 468 7.18 16.98/17.02 c 4179 7195 24752 595195 24 112788 110173 4194 462 9.03 16.98/17.02 c 5502 7195 26075 880269 33 115436 121191 5517 467 11.78 16.98/17.02 c 7585 7195 28158 1175671 41 119603 133311 7600 448 16.93 16.98/17.02 o 3147738 17.015 17.28/17.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.28/17.35 c 7608 7195 28182 1180764 41 122412 75248 7624 447 17.02 17.28/17.35 c 7708 7195 28282 1190983 42 122630 82773 7724 445 17.29 17.28/17.35 o 3129703 17.345 19.08/19.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.08/19.12 c 7725 7195 28300 1194665 42 125413 75248 7742 445 17.35 19.08/19.12 c 7826 7195 28401 1205843 42 125617 82773 7843 443 17.65 19.08/19.12 c 8079 7195 28654 1230300 42 126129 91051 8096 439 18.39 19.08/19.12 o 3113268 19.111 21.38/21.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.38/21.40 c 8379 7195 28955 1269270 43 129494 75248 8397 438 19.11 21.38/21.40 c 8480 7195 29056 1275758 43 129697 82773 8498 437 19.38 21.38/21.40 c 8731 7195 29307 1312126 44 130199 91051 8749 432 20.19 21.38/21.40 c 9206 7195 29782 1351323 45 131157 100157 9224 431 21.35 21.38/21.40 o 3003349 21.39 23.58/23.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.58/23.68 c 9211 7195 29788 1354436 45 133963 75248 9230 430 21.39 23.58/23.68 c 9312 7195 29889 1363150 45 134154 82773 9331 428 21.73 23.58/23.68 c 9562 7195 30139 1386621 46 134660 91051 9581 427 22.38 23.58/23.68 c 10038 7195 30615 1432185 46 135584 100157 10057 425 23.61 23.58/23.68 o 2793768 23.672 41.18/41.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.18/41.20 c 10050 7195 30628 1435796 46 138386 75248 10070 424 23.68 41.18/41.20 c 10151 7195 30729 1444137 46 138599 82773 10171 422 24.04 41.18/41.20 c 10401 7195 30979 1468462 47 139117 91051 10421 418 24.83 41.18/41.20 c 10878 7195 31456 1507671 47 140046 100157 10898 417 26.05 41.18/41.20 c 11691 7195 32269 1640505 50 141693 110173 11711 411 28.43 41.18/41.20 c 13011 7195 33589 1757326 52 144307 121191 13031 409 31.81 41.18/41.20 c 15092 7195 35670 2028360 56 148480 133311 15112 401 37.60 41.18/41.20 o 2788884 41.193 67.17/67.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.17/67.21 c 16224 7195 36803 2202443 59 153521 75248 16245 393 41.20 67.17/67.21 c 16325 7195 36904 2214718 60 153720 82773 16346 393 41.50 67.17/67.21 c 16575 7195 37154 2248156 60 154213 91051 16596 391 42.35 67.17/67.21 c 17051 7195 37630 2289882 60 155160 100157 17072 391 43.55 67.17/67.21 c 17865 7195 38444 2420815 62 156791 110173 17886 387 46.16 67.17/67.21 c 19187 7195 39766 2561778 64 159436 121191 19208 390 49.08 67.17/67.21 c 21269 7195 41848 2805389 67 163617 133311 21290 387 54.88 67.17/67.21 c 24493 7195 45072 3388792 75 170058 146643 24514 364 67.15 67.17/67.21 o 2681883 67.196 73.47/73.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 73.47/73.58 c 24498 7195 45078 3391613 75 172836 75248 24520 364 67.20 73.47/73.58 c 24598 7195 45178 3400207 75 173026 82773 24620 364 67.51 73.47/73.58 c 24851 7195 45431 3422948 75 173561 91051 24873 362 68.49 73.47/73.58 c 25328 7195 45908 3478599 75 174512 100157 25350 358 70.64 73.47/73.58 c 26141 7195 46721 3585591 76 176124 110173 26163 358 72.88 73.47/73.58 o 2675214 73.564 86.37/86.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 86.37/86.42 c 26352 7195 46933 3614405 77 179328 75248 26375 358 73.57 86.37/86.42 c 26453 7195 47034 3624035 77 179539 82773 26476 357 74.10 86.37/86.42 c 26703 7195 47284 3659571 77 180018 91051 26726 355 75.02 86.37/86.42 c 27178 7195 47759 3813365 79 180989 100157 27201 351 77.36 86.37/86.42 c 27991 7195 48572 4020148 82 182606 110173 28014 349 80.01 86.37/86.42 c 29312 7195 49893 4383551 87 185244 121191 29335 339 86.29 86.37/86.42 o 2671097 86.403 108.67/108.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 108.67/108.78 c 29332 7195 49914 4387640 87 188062 75248 29356 339 86.41 108.67/108.78 c 29432 6649 50014 4396428 87 188291 82773 29456 339 86.80 108.67/108.78 c 29683 6649 50265 4418646 87 188761 91051 29707 338 87.78 108.67/108.78 c 30158 6649 50740 4508457 88 189714 100157 30182 335 89.99 108.67/108.78 c 30971 6649 51553 4589113 89 191331 110173 30995 332 93.02 108.67/108.78 c 32294 6649 52876 5358577 101 193983 121191 32318 322 100.08 108.67/108.78 c 34378 6649 54960 5549547 100 198153 133311 34402 321 106.83 108.67/108.78 o 2648357 108.758 121.06/121.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.06/121.14 c 34838 6649 55421 5601582 101 201699 74914 34863 320 108.76 121.06/121.14 c 34940 6649 55523 5644581 101 201897 82406 34965 319 109.50 121.06/121.14 c 35190 6649 55773 5664147 101 202386 90647 35215 317 110.70 121.06/121.14 c 35665 6649 56248 5803201 103 203344 99712 35690 314 113.51 121.06/121.14 c 36481 6649 57064 5889366 103 204958 109684 36506 313 116.26 121.06/121.14 o 2584615 121.114 134.76/134.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 134.76/134.88 c 37299 6649 57883 6308555 108 209233 74914 37325 307 121.12 134.76/134.88 c 37400 6649 57984 6364435 109 209439 82406 37426 307 121.72 134.76/134.88 c 37651 6649 58235 6392879 109 209899 90647 37677 306 122.89 134.76/134.88 c 38126 6649 58710 6624373 112 210862 99712 38152 301 126.26 134.76/134.88 c 38942 6649 59526 6708842 112 212490 109684 38968 299 130.16 134.76/134.88 c 40265 6649 60849 6822214 112 215134 120653 40291 299 134.59 134.76/134.88 o 2519533 134.851 139.96/140.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 139.96/140.01 c 40308 6649 60893 6825702 112 217868 74914 40335 298 134.85 139.96/140.01 c 40408 6649 60993 6831632 112 218059 82406 40435 297 135.62 139.96/140.01 c 40658 6649 61243 6853434 111 218532 90647 40685 296 137.03 139.96/140.01 c 41133 6649 61718 7024141 113 219488 99712 41160 294 139.90 139.96/140.01 o 2515781 139.986 142.56/142.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 142.56/142.65 c 41147 6649 61733 7027465 113 222130 74914 41175 293 139.99 142.56/142.65 c 41247 6649 61833 7035851 113 222323 82406 41275 293 140.63 142.56/142.65 c 41499 6649 62085 7217468 116 222851 90647 41527 291 142.57 142.56/142.65 o 2514544 142.619 156.66/156.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 156.66/156.71 c 41502 6649 62089 7220180 116 225446 74914 41531 290 142.62 156.66/156.71 c 41602 6649 62189 7229114 116 225646 82406 41631 290 143.28 156.66/156.71 c 41852 6649 62439 7279827 116 226166 90647 41881 288 145.02 156.66/156.71 c 42327 6649 62914 7334564 116 227083 99712 42356 287 147.19 156.66/156.71 c 43141 6649 63728 7824507 122 228721 109684 43170 281 153.08 156.66/156.71 o 2469212 156.686 172.36/172.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 172.36/172.48 c 43933 6649 64521 7938412 123 232935 74914 43963 280 156.69 172.36/172.48 c 44034 6649 64622 7950466 123 233133 82406 44064 280 157.20 172.36/172.48 c 44284 6649 64872 8033249 123 233626 90647 44314 278 158.79 172.36/172.48 c 44760 6649 65348 8098909 123 234580 99712 44790 277 161.06 172.36/172.48 c 45575 6649 66163 8214507 124 236208 109684 45605 276 164.93 172.36/172.48 c 46895 6649 67483 8605921 127 238855 120653 46925 273 171.30 172.36/172.48 o 2358684 172.448 214.95/215.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 214.95/215.07 c 47092 6649 67681 8639332 127 241852 74914 47123 273 172.45 214.95/215.07 c 47192 6649 67781 8648221 127 242050 82406 47223 272 172.96 214.95/215.07 c 47443 6649 68032 8678073 127 242554 90647 47474 272 174.26 214.95/215.07 c 47919 6649 68508 8724131 127 243488 99712 47950 270 176.85 214.95/215.07 c 48732 6649 69321 8833114 127 245132 109684 48763 269 181.05 214.95/215.07 c 50052 6649 70641 9020291 127 247775 120653 50083 264 189.10 214.95/215.07 c 52134 6649 72723 9496643 130 251936 132719 52165 260 199.79 214.95/215.07 o 2356181 215.032 271.04/271.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 271.04/271.17 c 54870 6649 75460 9849362 130 260021 74914 54902 255 215.04 271.04/271.17 c 54971 6649 75561 9859010 130 260220 82406 55003 254 215.58 271.04/271.17 c 55223 6649 75813 9888158 130 260709 90647 55255 254 217.06 271.04/271.17 c 55698 6649 76288 9956100 130 261674 99712 55730 253 219.92 271.04/271.17 c 56515 6649 77105 10045078 130 263306 109684 56547 251 224.99 271.04/271.17 c 57835 6649 78425 10274996 131 265948 120653 57867 248 232.96 271.04/271.17 c 59916 6649 80506 10653125 132 270101 132719 59948 243 246.16 271.04/271.17 c 63140 6649 83730 11384780 135 276558 145991 63172 236 267.36 271.04/271.17 o 2350707 271.128 277.44/277.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 277.44/277.55 c 63709 6649 84300 11479015 136 280297 74914 63742 234 271.13 277.44/277.55 c 63810 6649 84401 11491286 136 280508 82406 63843 234 272.04 277.44/277.55 c 64060 6649 84651 11523064 136 280999 90647 64093 233 273.89 277.44/277.55 o 2330688 277.499 463.41/463.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 463.41/463.58 c 64530 6649 85122 11568355 135 284558 74914 64564 232 277.50 463.41/463.58 c 64633 6649 85225 11578247 135 284755 82406 64667 232 278.28 463.41/463.58 c 64883 6649 85475 11647508 136 285264 90647 64917 231 280.03 463.41/463.58 c 65360 6649 85952 11811754 137 286209 99712 65394 230 283.35 463.41/463.58 c 66174 6649 86766 12029276 138 287846 109684 66208 228 289.36 463.41/463.58 c 67495 6649 88087 12149122 137 290479 120653 67529 226 298.56 463.41/463.58 c 69577 6649 90169 12719931 141 294652 132719 69611 221 313.77 463.41/463.58 c 72800 6649 93392 13281464 142 301089 145991 72834 217 334.36 463.41/463.58 c 77739 6649 98331 14617286 148 310976 160591 77773 206 376.26 463.41/463.58 c 85247 6649 105839 16484460 155 325983 176651 85281 195 437.16 463.41/463.58 o 2309463 463.506 496.88/497.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 496.88/497.09 c 87924 6649 108517 17601324 162 333956 74914 87959 189 463.51 496.88/497.09 c 88026 6649 33520 3850225 114 90479 82406 12962 188 467.74 496.88/497.09 c 88276 6649 33770 3875839 114 90977 90647 13212 188 468.29 496.88/497.09 c 88751 6649 34245 3941995 115 91928 99712 13687 189 469.00 496.88/497.09 c 89564 6649 35058 4230142 120 93554 109684 14500 190 470.78 496.88/497.09 c 90886 6649 36380 4443771 122 96199 120653 15822 192 473.01 496.88/497.09 c 92968 6649 38462 5312717 138 100361 132719 17904 194 477.83 496.88/497.09 c 96193 6649 41687 5846566 140 106813 145991 21129 198 485.33 496.88/497.09 o 2306898 496.988 605.60/605.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 605.60/605.90 c 99813 6649 45308 7488716 165 116660 74914 24750 200 496.99 605.60/605.90 c 99913 6649 45408 7498877 165 116861 82406 24850 200 497.19 605.60/605.90 c 100164 6649 45659 7633104 167 117362 90647 25101 201 498.26 605.60/605.90 c 100639 6649 46134 7719460 167 118314 99712 25576 201 499.45 605.60/605.90 c 101452 6649 46947 7957546 169 119938 109684 26389 201 502.92 605.60/605.90 c 102772 6649 48267 8157376 169 122579 120653 27709 203 505.96 605.60/605.90 c 104854 6649 50349 9376803 186 126742 132719 29791 202 516.89 605.60/605.90 c 108078 6649 53573 10104140 188 133191 145991 33015 205 525.58 605.60/605.90 c 113016 6649 58511 13217852 225 143066 160591 37953 201 559.81 605.60/605.90 c 120525 6649 66020 15533477 235 158085 176651 45462 206 584.54 605.60/605.90 o 2298938 605.699 711.47/711.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 711.47/711.76 c 123791 6649 69287 17188647 248 167226 74914 48729 204 605.70 711.47/711.76 c 123891 6649 69387 17197963 247 167427 82406 48829 204 606.22 711.47/711.76 c 124141 6649 69637 17328056 248 167926 90647 49079 203 608.95 711.47/711.76 c 124616 6649 70112 17394556 248 168878 99712 49554 203 610.98 711.47/711.76 c 125430 6649 70926 17549901 247 170504 109684 50368 203 617.44 711.47/711.76 c 126750 6649 72246 18056363 249 173145 120653 51688 203 623.74 711.47/711.76 c 128832 6649 74328 19526229 262 177308 132719 53770 200 641.94 711.47/711.76 c 132056 6649 77552 20010567 258 183757 145991 56994 201 655.01 711.47/711.76 c 136993 6649 82489 23949221 290 193630 160591 61931 194 703.88 711.47/711.76 o 2282780 711.538 1271.95/1272.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1271.95/1272.45 c 138264 6649 83761 24313739 290 198783 74914 63203 194 711.54 1271.95/1272.45 c 138364 6649 83861 24366294 290 198982 82406 63303 194 713.14 1271.95/1272.45 c 138615 6649 84112 24426332 290 199486 90647 63554 193 714.94 1271.95/1272.45 c 139090 6649 84587 24631422 291 200434 99712 64029 192 721.00 1271.95/1272.45 c 139906 6649 85403 25073452 293 202068 109684 64845 192 727.42 1271.95/1272.45 c 141226 6649 86723 25924828 298 204706 120653 66165 189 744.39 1271.95/1272.45 c 143308 6649 88805 26515088 298 208871 132719 68247 189 756.76 1271.95/1272.45 c 146534 6649 92031 27221464 295 215322 145991 71473 187 780.96 1271.95/1272.45 c 151470 6649 96967 28271489 291 225195 160591 76409 187 806.97 1271.95/1272.45 c 158976 6649 104473 35131520 336 240206 176651 83915 174 909.91 1271.95/1272.45 c 170337 6649 115834 37732402 325 262929 194317 95276 173 982.12 1271.95/1272.45 c 187485 6649 132982 51552821 387 297224 213749 112424 150 1249.31 1271.95/1272.45 o 2271852 1272.03 1295.26/1295.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1295.26/1295.79 c 189816 6649 135314 51990619 384 304497 74914 114756 149 1272.03 1295.26/1295.79 c 189916 6649 34567 7974649 230 92573 82406 14009 148 1281.91 1295.26/1295.79 c 190167 6649 34818 8027788 230 93074 90647 14260 148 1282.22 1295.26/1295.79 c 190643 6649 35294 8461796 239 94026 99712 14736 148 1284.66 1295.26/1295.79 c 191456 6649 36107 8637646 239 95652 109684 15549 148 1285.75 1295.26/1295.79 c 192776 6649 37427 10160192 271 98291 120653 16869 149 1292.70 1295.26/1295.79 o 2257690 1295.36 1446.73/1447.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1446.73/1447.22 c 194479 6649 39131 10596673 270 104307 74914 18573 150 1295.36 1446.73/1447.22 c 194581 6649 39233 10662292 271 104510 82406 18675 150 1295.93 1446.73/1447.22 c 194831 6649 39483 10696534 270 105012 90647 18925 150 1296.35 1446.73/1447.22 c 195307 6649 39959 11167447 279 105962 99712 19401 150 1298.52 1446.73/1447.22 c 196121 6649 40773 11299681 277 107592 109684 20215 150 1299.82 1446.73/1447.22 c 197442 6649 42094 12842335 305 110232 120653 21536 150 1307.88 1446.73/1447.22 c 199524 6649 44176 13129711 297 114397 132719 23618 152 1311.65 1446.73/1447.22 c 202750 6649 47402 15980112 337 120848 145991 26844 151 1334.65 1446.73/1447.22 c 207686 6649 52338 17230467 329 130722 160591 31780 154 1347.08 1446.73/1447.22 c 215194 6649 59846 23730233 396 145736 176651 39288 152 1411.63 1446.73/1447.22 o 2227400 1446.76 1800.03/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.61 c 226137 6649 70790 25890413 365 170234 74914 50232 156 1446.77 1800.03/1800.61 c 226238 6649 70891 25975965 366 170434 82406 50333 156 1448.13 1800.03/1800.61 c 226489 6649 71142 26047876 366 170938 90647 50584 156 1449.29 1800.03/1800.61 c 226965 6649 71618 26284714 367 171888 99712 51060 156 1454.28 1800.03/1800.61 c 227778 6649 72431 26464012 365 173516 109684 51873 156 1457.70 1800.03/1800.61 c 229101 6649 73754 27739044 376 176160 120653 53196 155 1474.54 1800.03/1800.61 c 231182 6649 75835 28472783 375 180323 132719 55277 155 1485.49 1800.03/1800.61 c 234405 6649 79058 31886247 403 186768 145991 58500 152 1533.45 1800.03/1800.61 c 239341 6649 83994 34168264 406 196641 160591 63436 153 1562.12 1800.03/1800.61 c 246850 6649 91503 38351226 419 211658 176651 70945 151 1626.54 1800.03/1800.61 c 258211 6649 102864 42410592 412 234382 194317 82306 150 1716.93 1800.03/1800.61 c Caught signal: 15 1800.03/1800.61 v -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9504 -x9505 -x9506 -x9507 -x9508 x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9301 x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 x9366 -x9367 x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 x6226 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 x6234 -x6235 -x6236 x6237 -x6238 -x6239 -x6240 -x6241 -x6242 x6244 x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9247 x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 x9276 -x9277 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 x9536 -x9537 -x9538 x9539 -x9540 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9728 -x9729 x9730 x9731 -x9732 -x9733 x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 x9547 -x9548 -x9549 x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 x9562 -x9563 -x9564 x9565 -x9567 -x9568 x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 x9607 -x9608 -x9609 -x9610 x9611 -x9612 -x9613 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x9391 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x9407 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x9423 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x9439 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x9455 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x9471 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x9487 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x9503 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x9519 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x9310 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x9326 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x9342 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x9358 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x9374 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x9390 -x6211 -x6227 -x6243 -x6259 -x6275 -x6291 -x6307 -x6323 -x6339 -x6130 -x6146 -x6162 -x6178 -x6194 -x6210 -x9631 -x9647 -x9663 -x9679 -x9695 -x9711 -x9727 -x9743 -x9759 -x9550 -x9566 -x9582 -x9598 -x9614 -x9630 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 x8425 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x9166 -x9182 -x9198 -x9214 -x9230 -x9246 -x9262 -x9278 -x9294 -x9085 -x9101 -x9117 -x9133 -x9149 -x9165 1800.03/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.61 c 201 265259 102013 608482 109912 48756730 89354 147 1800.04 1800.03/1800.61 c Objective: 2227400 1800.03/1800.61 s SATISFIABLE 1800.03/1800.61 c Total time: 1800.04 s
OK 2227400
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-3744001-1338799904/watcher-3744001-1338799904 -o /tmp/evaluation-result-3744001-1338799904/solver-3744001-1338799904 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744001-1338799904.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: 4.49 3.01 2.39 2/175 31151 /proc/meminfo: memFree=25097036/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=2888 CPUtime=0 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 346115810 2957312 61 33554432000 134512640 135840783 4291905184 4291903416 2481454 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/31151/statm: 1118 65 49 325 0 38 0 [startup+0.050896 s] /proc/loadavg: 4.49 3.01 2.39 2/175 31151 /proc/meminfo: memFree=25097036/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=7460 CPUtime=0.04 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 1108 0 0 0 4 0 0 0 20 0 1 0 346115810 7639040 1044 33554432000 134512640 135840783 4291905184 4291904672 134530727 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/31151/statm: 1865 1045 458 325 0 598 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7460 [startup+0.100279 s] /proc/loadavg: 4.49 3.01 2.39 2/175 31151 /proc/meminfo: memFree=25097036/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=9916 CPUtime=0.09 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 1974 0 0 0 9 0 0 0 20 0 1 0 346115810 10153984 1707 33554432000 134512640 135840783 4291905184 4291787084 15799344 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/31151/statm: 2479 1707 342 325 0 1415 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9916 [startup+0.300241 s] /proc/loadavg: 4.49 3.01 2.39 2/175 31151 /proc/meminfo: memFree=25097036/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=9916 CPUtime=0.29 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 1975 0 0 0 29 0 0 0 20 0 1 0 346115810 10153984 1708 33554432000 134512640 135840783 4291905184 4291787084 15799344 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/31151/statm: 2479 1708 342 325 0 1415 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9916 [startup+0.700241 s] /proc/loadavg: 4.49 3.01 2.39 2/175 31151 /proc/meminfo: memFree=25097036/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=9916 CPUtime=0.68 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 1975 0 0 0 68 0 0 0 20 0 1 0 346115810 10153984 1708 33554432000 134512640 135840783 4291905184 4291787084 15799344 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/31151/statm: 2479 1708 342 325 0 1415 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 9916 [startup+1.50025 s] /proc/loadavg: 4.49 3.01 2.39 3/176 31152 /proc/meminfo: memFree=25091060/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=11152 CPUtime=1.48 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 2385 0 0 0 147 1 0 0 20 0 1 0 346115810 11419648 2040 33554432000 134512640 135840783 4291905184 4291904544 134551093 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/31151/statm: 2788 2040 349 325 0 1724 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11152 [startup+3.10028 s] /proc/loadavg: 4.49 3.01 2.39 3/176 31152 /proc/meminfo: memFree=25087332/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=13264 CPUtime=3.08 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 2920 0 0 0 307 1 0 0 20 0 1 0 346115810 13582336 2575 33554432000 134512640 135840783 4291905184 4291904544 134550872 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/31151/statm: 3316 2575 349 325 0 2252 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13264 [startup+6.30024 s] /proc/loadavg: 4.29 3.00 2.39 3/176 31152 /proc/meminfo: memFree=25083984/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=15660 CPUtime=6.28 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 3527 0 0 0 626 2 0 0 20 0 1 0 346115810 16035840 3182 33554432000 134512640 135840783 4291905184 4291904544 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 3915 3182 349 325 0 2851 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15660 [startup+12.7002 s] /proc/loadavg: 4.10 2.98 2.38 3/176 31152 /proc/meminfo: memFree=25073212/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=22552 CPUtime=12.69 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 5242 0 0 0 1266 3 0 0 20 0 1 0 346115810 23093248 4897 33554432000 134512640 135840783 4291905184 4291904544 134551383 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 5638 4897 349 325 0 4574 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22552 [startup+25.5002 s] /proc/loadavg: 3.64 2.93 2.38 3/176 31152 /proc/meminfo: memFree=25055280/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=30668 CPUtime=25.48 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 7257 0 0 0 2545 3 0 0 20 0 1 0 346115810 31404032 6912 33554432000 134512640 135840783 4291905184 4291904544 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 7667 6912 349 325 0 6603 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30668 [startup+51.1003 s] /proc/loadavg: 3.14 2.87 2.37 3/176 31152 /proc/meminfo: memFree=25019836/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=46448 CPUtime=51.07 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 11212 0 0 0 5103 4 0 0 20 0 1 0 346115810 47562752 10867 33554432000 134512640 135840783 4291905184 4291904544 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 11612 10867 349 325 0 10548 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 46448 [startup+102.307 s] /proc/loadavg: 2.49 2.73 2.35 3/175 31153 /proc/meminfo: memFree=24943752/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=83464 CPUtime=102.27 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 20455 0 0 0 10219 8 0 0 20 0 1 0 346115810 85467136 20110 33554432000 134512640 135840783 4291905184 4291904544 134551365 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 20866 20110 349 325 0 19802 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 83464 [startup+162.3 s] /proc/loadavg: 2.18 2.60 2.33 3/175 31153 /proc/meminfo: memFree=24869876/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=119552 CPUtime=162.26 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 29495 0 0 0 16216 10 0 0 20 0 1 0 346115810 122421248 29150 33554432000 134512640 135840783 4291905184 4291904544 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 29888 29150 349 325 0 28824 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 119552 [startup+222.3 s] /proc/loadavg: 2.06 2.49 2.30 3/175 31153 /proc/meminfo: memFree=24836672/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=144624 CPUtime=222.25 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 35763 0 0 0 22213 12 0 0 20 0 1 0 346115810 148094976 35418 33554432000 134512640 135840783 4291905184 4291904544 134551646 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 36156 35418 349 325 0 35092 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 144624 [startup+282.3 s] /proc/loadavg: 2.02 2.39 2.28 3/175 31153 /proc/meminfo: memFree=24802972/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=167872 CPUtime=282.24 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 41576 0 0 0 28210 14 0 0 20 0 1 0 346115810 171900928 41231 33554432000 134512640 135840783 4291905184 4291904496 134550913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 41968 41231 349 325 0 40904 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 167872 [startup+342.3 s] /proc/loadavg: 2.01 2.32 2.26 3/175 31153 /proc/meminfo: memFree=24769736/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=190768 CPUtime=342.23 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 47283 0 0 0 34207 16 0 0 20 0 1 0 346115810 195346432 46938 33554432000 134512640 135840783 4291905184 4291904544 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 47692 46938 349 325 0 46628 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 190768 [startup+402.3 s] /proc/loadavg: 2.00 2.26 2.24 3/175 31154 /proc/meminfo: memFree=24731696/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=219104 CPUtime=402.22 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 54367 0 0 0 40203 19 0 0 20 0 1 0 346115810 224362496 54022 33554432000 134512640 135840783 4291905184 4291904544 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 54776 54022 349 325 0 53712 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 219104 [startup+462.3 s] /proc/loadavg: 2.00 2.21 2.22 3/175 31154 /proc/meminfo: memFree=24696756/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=244212 CPUtime=462.21 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 60669 0 0 0 46200 21 0 0 20 0 1 0 346115810 250073088 60324 33554432000 134512640 135840783 4291905184 4291904544 134551063 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 61053 60324 349 325 0 59989 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 244212 [startup+522.3 s] /proc/loadavg: 2.00 2.17 2.21 3/176 31157 /proc/meminfo: memFree=24687956/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=245284 CPUtime=522.16 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 61039 0 0 0 52195 21 0 0 20 0 1 0 346115810 251170816 60582 33554432000 134512640 135840783 4291905184 4291904544 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 61321 60582 349 325 0 60257 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 245284 [startup+582.3 s] /proc/loadavg: 2.00 2.14 2.19 3/176 31180 /proc/meminfo: memFree=24673352/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=245284 CPUtime=582.12 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 61086 0 0 0 58190 22 0 0 20 0 1 0 346115810 251170816 60584 33554432000 134512640 135840783 4291905184 4291904544 134550939 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 61321 60584 349 325 0 60257 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 245284 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.01 2.06 2.14 3/175 31220 /proc/meminfo: memFree=25074844/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=389380 CPUtime=822.04 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 97156 0 0 0 82168 36 0 0 20 0 1 0 346115810 398725120 96623 33554432000 134512640 135840783 4291905184 4291904420 3047371 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 97345 96623 349 325 0 96281 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 389380 [startup+882.3 s] /proc/loadavg: 2.00 2.05 2.13 3/175 31220 /proc/meminfo: memFree=25020756/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=442808 CPUtime=882.02 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 110498 0 0 0 88162 40 0 0 20 0 1 0 346115810 453435392 109953 33554432000 134512640 135840783 4291905184 4291904544 134551058 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 110702 109953 349 325 0 109638 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 442808 [startup+942.3 s] /proc/loadavg: 2.00 2.04 2.12 3/175 31220 /proc/meminfo: memFree=24928588/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=479496 CPUtime=941.97 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 119731 0 0 0 94154 43 0 0 20 0 1 0 346115810 491003904 119141 33554432000 134512640 135840783 4291905184 4291904544 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 119874 119141 349 325 0 118810 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 479496 [startup+1002.3 s] /proc/loadavg: 2.00 2.03 2.11 3/174 31220 /proc/meminfo: memFree=24892912/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=511796 CPUtime=1001.92 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 127834 0 0 0 100145 47 0 0 20 0 1 0 346115810 524079104 127204 33554432000 134512640 135840783 4291905184 4291904544 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 127949 127204 349 325 0 126885 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 511796 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.10 3/175 31221 /proc/meminfo: memFree=24836140/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=562652 CPUtime=1061.89 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 140583 0 0 0 106137 52 0 0 20 0 1 0 346115810 576155648 139922 33554432000 134512640 135840783 4291905184 4291904544 134551071 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 140663 139922 349 325 0 139599 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 562652 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.09 3/176 31224 /proc/meminfo: memFree=24780236/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=604176 CPUtime=1121.88 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 150976 0 0 0 112133 55 0 0 20 0 1 0 346115810 618676224 150315 33554432000 134512640 135840783 4291905184 4291904544 134550808 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 151044 150315 349 325 0 149980 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 604176 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.08 3/175 31224 /proc/meminfo: memFree=24732284/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=645020 CPUtime=1181.87 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 161199 0 0 0 118128 59 0 0 20 0 1 0 346115810 660500480 160538 33554432000 134512640 135840783 4291905184 4291904544 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 161255 160538 349 325 0 160191 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 645020 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.08 3/175 31224 /proc/meminfo: memFree=24697812/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=672384 CPUtime=1241.86 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 168026 0 0 0 124125 61 0 0 20 0 1 0 346115810 688521216 167365 33554432000 134512640 135840783 4291905184 4291904544 134550913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 168096 167365 349 325 0 167032 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 672384 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.07 3/175 31224 /proc/meminfo: memFree=24679956/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=683092 CPUtime=1301.86 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 170803 0 0 0 130124 62 0 0 20 0 1 0 346115810 699486208 170029 33554432000 134512640 135840783 4291905184 4291904544 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 170773 170029 349 325 0 169709 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 683092 [startup+1362.3 s] /proc/loadavg: 2.08 2.02 2.07 3/175 31225 /proc/meminfo: memFree=24673384/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=683092 CPUtime=1361.84 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 170805 0 0 0 136122 62 0 0 20 0 1 0 346115810 699486208 170031 33554432000 134512640 135840783 4291905184 4291904544 134550878 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 170773 170031 349 325 0 169709 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 683092 [startup+1422.31 s] /proc/loadavg: 2.03 2.01 2.06 3/175 31225 /proc/meminfo: memFree=24661604/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=683092 CPUtime=1421.84 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 170805 0 0 0 142122 62 0 0 20 0 1 0 346115810 699486208 170031 33554432000 134512640 135840783 4291905184 4291904212 3039586 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 170773 170031 349 325 0 169709 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 683092 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 2.06 3/175 31225 /proc/meminfo: memFree=24650072/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=683092 CPUtime=1481.82 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 170805 0 0 0 148120 62 0 0 20 0 1 0 346115810 699486208 170031 33554432000 134512640 135840783 4291905184 4291904544 134551175 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 170773 170031 349 325 0 169709 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 683092 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.05 3/175 31225 /proc/meminfo: memFree=24635440/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=683092 CPUtime=1541.81 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 170805 0 0 0 154119 62 0 0 20 0 1 0 346115810 699486208 170031 33554432000 134512640 135840783 4291905184 4291904480 134572795 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 170773 170031 349 325 0 169709 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 683092 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 2.05 3/175 31225 /proc/meminfo: memFree=24607360/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=683092 CPUtime=1601.78 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 170831 0 0 0 160116 62 0 0 20 0 1 0 346115810 699486208 170031 33554432000 134512640 135840783 4291905184 4291904544 134551071 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 170773 170031 349 325 0 169709 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 683092 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.05 3/175 31226 /proc/meminfo: memFree=24548940/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=683092 CPUtime=1661.74 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 170869 0 0 0 166112 62 0 0 20 0 1 0 346115810 699486208 170031 33554432000 134512640 135840783 4291905184 4291904544 134551518 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 170773 170031 349 325 0 169709 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 683092 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.04 3/176 31229 /proc/meminfo: memFree=24538888/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=683092 CPUtime=1721.73 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 170869 0 0 0 172111 62 0 0 20 0 1 0 346115810 699486208 170031 33554432000 134512640 135840783 4291905184 4291904544 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 170773 170031 349 325 0 169709 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 683092 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.03 3/175 31229 /proc/meminfo: memFree=24531952/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=683092 CPUtime=1781.72 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 170869 0 0 0 178110 62 0 0 20 0 1 0 346115810 699486208 170031 33554432000 134512640 135840783 4291905184 4291904544 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 170773 170031 349 325 0 169709 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 683092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.00 2.00 2.03 3/175 31229 /proc/meminfo: memFree=24530768/32873852 swapFree=6856/6856 [pid=31151] ppid=31149 vsize=683092 CPUtime=1800.03 cores=1,3,5,7 /proc/31151/stat : 31151 (bsolo3.0.17) R 31149 31151 30817 0 -1 4202496 170869 0 0 0 179941 62 0 0 20 0 1 0 346115810 699486208 170031 33554432000 134512640 135840783 4291905184 4291904544 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/31151/statm: 170773 170031 349 325 0 169709 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 683092 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.05 CPU user time (s): 1799.42 CPU system time (s): 0.630904 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (KiB): 683544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.630904 maximum resident set size= 680568 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 170872 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= 320 involuntary context switches= 1992 runsolver used 3.71443 second user time and 9.99248 second system time The end
Begin job on node129 at 2012-06-04 10:51:44 IDJOB=3744001 IDBENCH=92667 IDSOLVER=2318 FILE ID=node129/3744001-1338799904 RUNJOBID= node129-1338796573-30834 PBS_JOBID= 14636860 Free space on /tmp= 70468 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_1_mh_ic.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744001-1338799904/watcher-3744001-1338799904 -o /tmp/evaluation-result-3744001-1338799904/solver-3744001-1338799904 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744001-1338799904.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f4c34ee83da7e36be7881d34beece196 RANDOM SEED=1643633960 node129.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 : 2666.957 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 : 5333.91 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 : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 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 : 2666.957 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 : 2666.957 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.90 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 : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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 : 2666.957 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.90 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 : 2666.957 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 25097036 kB Buffers: 493388 kB Cached: 5767672 kB SwapCached: 0 kB Active: 3304300 kB Inactive: 3565672 kB Active(anon): 600464 kB Inactive(anon): 10748 kB Active(file): 2703836 kB Inactive(file): 3554924 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13516 kB Writeback: 0 kB AnonPages: 615516 kB Mapped: 15684 kB Shmem: 204 kB Slab: 762880 kB SReclaimable: 204632 kB SUnreclaim: 558248 kB KernelStack: 1432 kB PageTables: 5124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 725256 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 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= 70436 MiB End job on node129 at 2012-06-04 11:21:46