Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p2756.opb |
MD5SUM | 49fba7b1c2f3e65c53f8418d126e3ec3 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4605 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.06684 |
Number of variables | 2756 |
Total number of constraints | 3511 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 2976 |
Number of constraints which are nor clauses,nor cardinality constraints | 403 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 546 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-24 18:51:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18736 boxname=wulflinc2 idbench=1442 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 49fba7b1c2f3e65c53f8418d126e3ec3 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p2756.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p2756.opb IDLAUNCH: 18736 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 880492 kB Buffers: 30912 kB Cached: 102928 kB SwapCached: 868 kB Active: 26492 kB Inactive: 109936 kB HighTotal: 131008 kB HighFree: 24528 kB LowTotal: 903652 kB LowFree: 855964 kB SwapTotal: 2097136 kB SwapFree: 2095788 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5616 kB Slab: 12072 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 19:11:21 (client local time) WITH STATUS 10 IN 1175.06 SECONDS stats: 18736 0 1175.06 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 2756 variables and 749 constraints. c After prepocess the problem consists of 2723 variables and 732 constraints. c preprocess terminated 11.397 s c Initial Lower Bound: 4 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. c NEW SOLUTION FOUND: 14055 @ 16.786 c NEW SOLUTION FOUND: 14054 @ 16.793 c NEW SOLUTION FOUND: 14053 @ 16.798 c NEW SOLUTION FOUND: 14052 @ 16.801 c NEW SOLUTION FOUND: 14050 @ 16.805 c NEW SOLUTION FOUND: 13889 @ 16.809 c NEW SOLUTION FOUND: 13882 @ 16.813 c NEW SOLUTION FOUND: 13842 @ 16.835 c NEW SOLUTION FOUND: 13841 @ 16.838 c NEW SOLUTION FOUND: 13840 @ 16.854 c NEW SOLUTION FOUND: 13839 @ 16.863 c NEW SOLUTION FOUND: 13837 @ 16.911 c NEW SOLUTION FOUND: 13835 @ 16.919 c NEW SOLUTION FOUND: 13800 @ 16.95 c NEW SOLUTION FOUND: 13782 @ 16.985 c NEW SOLUTION FOUND: 13781 @ 17.002 c NEW SOLUTION FOUND: 13739 @ 17.012 c NEW SOLUTION FOUND: 13738 @ 17.124 c NEW SOLUTION FOUND: 13716 @ 17.221 c NEW SOLUTION FOUND: 13715 @ 17.396 c NEW SOLUTION FOUND: 13714 @ 17.599 c NEW SOLUTION FOUND: 13713 @ 17.616 c NEW SOLUTION FOUND: 13712 @ 17.63 c NEW SOLUTION FOUND: 13710 @ 17.655 c NEW SOLUTION FOUND: 13687 @ 17.732 c NEW SOLUTION FOUND: 13683 @ 17.742 c NEW SOLUTION FOUND: 13681 @ 17.759 c NEW SOLUTION FOUND: 13678 @ 17.839 c NEW SOLUTION FOUND: 13676 @ 17.858 c NEW SOLUTION FOUND: 13675 @ 17.896 c NEW SOLUTION FOUND: 13671 @ 17.909 c NEW SOLUTION FOUND: 13669 @ 17.923 c NEW SOLUTION FOUND: 13649 @ 17.96 c NEW SOLUTION FOUND: 13647 @ 17.979 c NEW SOLUTION FOUND: 13646 @ 18.149 c NEW SOLUTION FOUND: 13645 @ 18.319 c NEW SOLUTION FOUND: 13644 @ 18.507 c NEW SOLUTION FOUND: 13643 @ 18.717 c NEW SOLUTION FOUND: 13642 @ 18.904 c NEW SOLUTION FOUND: 13639 @ 19.096 c NEW SOLUTION FOUND: 13638 @ 19.351 c NEW SOLUTION FOUND: 13618 @ 19.414 c NEW SOLUTION FOUND: 13616 @ 19.45 c NEW SOLUTION FOUND: 13613 @ 19.647 c NEW SOLUTION FOUND: 13611 @ 19.683 c NEW SOLUTION FOUND: 13591 @ 19.737 c NEW SOLUTION FOUND: 13589 @ 19.773 c NEW SOLUTION FOUND: 13588 @ 19.833 c NEW SOLUTION FOUND: 13584 @ 19.86 c NEW SOLUTION FOUND: 13577 @ 19.909 c NEW SOLUTION FOUND: 13561 @ 19.972 c NEW SOLUTION FOUND: 13557 @ 20.001 c NEW SOLUTION FOUND: 13555 @ 20.031 c NEW SOLUTION FOUND: 13551 @ 20.207 c NEW SOLUTION FOUND: 13550 @ 20.488 c NEW SOLUTION FOUND: 13549 @ 20.722 c NEW SOLUTION FOUND: 13547 @ 20.751 c NEW SOLUTION FOUND: 13528 @ 20.802 c NEW SOLUTION FOUND: 13525 @ 20.835 c NEW SOLUTION FOUND: 13524 @ 21.02 c NEW SOLUTION FOUND: 13522 @ 21.047 c NEW SOLUTION FOUND: 13504 @ 21.086 c NEW SOLUTION FOUND: 13500 @ 21.114 c NEW SOLUTION FOUND: 13499 @ 21.422 c NEW SOLUTION FOUND: 13497 @ 21.454 c NEW SOLUTION FOUND: 13475 @ 21.491 c NEW SOLUTION FOUND: 13469 @ 21.761 c NEW SOLUTION FOUND: 13468 @ 22.102 c NEW SOLUTION FOUND: 13448 @ 22.512 c NEW SOLUTION FOUND: 13446 @ 22.56 c NEW SOLUTION FOUND: 13438 @ 22.98 c NEW SOLUTION FOUND: 13436 @ 23.024 c NEW SOLUTION FOUND: 13431 @ 23.171 c NEW SOLUTION FOUND: 13430 @ 23.276 c NEW SOLUTION FOUND: 13427 @ 23.346 c NEW SOLUTION FOUND: 13426 @ 23.441 c NEW SOLUTION FOUND: 13424 @ 23.486 c NEW SOLUTION FOUND: 13406 @ 23.54 c NEW SOLUTION FOUND: 13402 @ 23.572 c NEW SOLUTION FOUND: 13399 @ 24.099 c NEW SOLUTION FOUND: 13397 @ 24.519 c NEW SOLUTION FOUND: 13382 @ 25.05 c NEW SOLUTION FOUND: 13378 @ 25.082 c NEW SOLUTION FOUND: 13376 @ 25.129 c NEW SOLUTION FOUND: 13373 @ 25.422 c NEW SOLUTION FOUND: 13371 @ 26.961 c NEW SOLUTION FOUND: 12877 @ 27.085 c NEW SOLUTION FOUND: 12782 @ 27.124 c NEW SOLUTION FOUND: 12745 @ 27.162 c NEW SOLUTION FOUND: 12741 @ 27.2 c NEW SOLUTION FOUND: 12739 @ 27.239 c NEW SOLUTION FOUND: 12721 @ 27.288 c NEW SOLUTION FOUND: 12717 @ 27.324 c NEW SOLUTION FOUND: 12716 @ 27.403 c NEW SOLUTION FOUND: 12714 @ 27.443 c NEW SOLUTION FOUND: 12713 @ 27.492 c NEW SOLUTION FOUND: 12711 @ 27.532 c NEW SOLUTION FOUND: 12695 @ 27.581 c NEW SOLUTION FOUND: 12691 @ 27.616 c NEW SOLUTION FOUND: 12689 @ 27.659 c NEW SOLUTION FOUND: 12688 @ 27.74 c NEW SOLUTION FOUND: 12687 @ 27.811 c NEW SOLUTION FOUND: 12685 @ 27.851 c NEW SOLUTION FOUND: 12684 @ 27.9 c NEW SOLUTION FOUND: 12682 @ 27.94 c NEW SOLUTION FOUND: 12666 @ 27.989 c NEW SOLUTION FOUND: 12662 @ 28.023 c NEW SOLUTION FOUND: 12660 @ 28.067 c NEW SOLUTION FOUND: 12658 @ 28.159 c NEW SOLUTION FOUND: 12654 @ 28.197 c NEW SOLUTION FOUND: 12653 @ 28.323 c NEW SOLUTION FOUND: 12651 @ 28.366 c NEW SOLUTION FOUND: 12648 @ 28.411 c NEW SOLUTION FOUND: 12632 @ 28.464 c NEW SOLUTION FOUND: 12628 @ 28.5 c NEW SOLUTION FOUND: 12626 @ 28.543 c NEW SOLUTION FOUND: 12624 @ 28.709 c NEW SOLUTION FOUND: 12623 @ 28.83 c NEW SOLUTION FOUND: 12622 @ 28.872 c NEW SOLUTION FOUND: 12618 @ 28.912 c NEW SOLUTION FOUND: 12616 @ 28.949 c NEW SOLUTION FOUND: 12598 @ 28.999 c NEW SOLUTION FOUND: 12594 @ 29.033 c NEW SOLUTION FOUND: 12591 @ 29.168 c NEW SOLUTION FOUND: 12588 @ 29.243 c NEW SOLUTION FOUND: 12572 @ 29.296 c NEW SOLUTION FOUND: 12568 @ 29.332 c NEW SOLUTION FOUND: 12566 @ 29.376 c NEW SOLUTION FOUND: 12565 @ 29.551 c NEW SOLUTION FOUND: 12563 @ 29.599 c NEW SOLUTION FOUND: 12559 @ 29.708 c NEW SOLUTION FOUND: 12558 @ 29.804 c NEW SOLUTION FOUND: 12556 @ 29.844 c NEW SOLUTION FOUND: 12553 @ 29.928 c NEW SOLUTION FOUND: 12533 @ 29.979 c NEW SOLUTION FOUND: 12531 @ 30.025 c NEW SOLUTION FOUND: 12525 @ 30.16 c NEW SOLUTION FOUND: 12524 @ 30.251 c NEW SOLUTION FOUND: 12522 @ 30.294 c NEW SOLUTION FOUND: 12521 @ 30.37 c NEW SOLUTION FOUND: 12519 @ 30.409 c NEW SOLUTION FOUND: 12503 @ 30.457 c NEW SOLUTION FOUND: 12499 @ 30.492 c NEW SOLUTION FOUND: 12497 @ 30.536 c NEW SOLUTION FOUND: 12495 @ 30.711 c NEW SOLUTION FOUND: 12476 @ 31.004 c NEW SOLUTION FOUND: 12474 @ 31.047 c NEW SOLUTION FOUND: 12473 @ 31.258 c NEW SOLUTION FOUND: 12471 @ 31.3 c NEW SOLUTION FOUND: 12466 @ 31.567 c NEW SOLUTION FOUND: 12464 @ 31.673 c NEW SOLUTION FOUND: 12463 @ 31.839 c NEW SOLUTION FOUND: 12462 @ 31.878 c NEW SOLUTION FOUND: 12458 @ 31.918 c NEW SOLUTION FOUND: 12456 @ 31.955 c NEW SOLUTION FOUND: 12438 @ 32.004 c NEW SOLUTION FOUND: 12434 @ 32.039 c NEW SOLUTION FOUND: 12433 @ 32.131 c NEW SOLUTION FOUND: 12431 @ 32.17 c NEW SOLUTION FOUND: 12430 @ 32.35 c NEW SOLUTION FOUND: 12428 @ 32.433 c NEW SOLUTION FOUND: 12427 @ 32.551 c NEW SOLUTION FOUND: 12411 @ 32.595 c NEW SOLUTION FOUND: 12407 @ 32.635 c NEW SOLUTION FOUND: 12405 @ 32.672 c NEW SOLUTION FOUND: 12403 @ 32.77 c NEW SOLUTION FOUND: 12400 @ 33.272 c NEW SOLUTION FOUND: 12399 @ 33.392 c NEW SOLUTION FOUND: 12383 @ 33.437 c NEW SOLUTION FOUND: 12379 @ 33.476 c NEW SOLUTION FOUND: 12377 @ 33.513 c NEW SOLUTION FOUND: 12375 @ 33.611 c NEW SOLUTION FOUND: 12359 @ 34.149 c NEW SOLUTION FOUND: 12357 @ 34.195 c NEW SOLUTION FOUND: 12356 @ 34.29 c NEW SOLUTION FOUND: 12354 @ 34.333 c NEW SOLUTION FOUND: 12338 @ 34.927 c NEW SOLUTION FOUND: 12334 @ 34.965 c NEW SOLUTION FOUND: 12332 @ 35.004 c NEW SOLUTION FOUND: 12330 @ 35.101 c NEW SOLUTION FOUND: 12328 @ 35.9 c NEW SOLUTION FOUND: 12326 @ 35.943 c NEW SOLUTION FOUND: 12325 @ 36.025 c NEW SOLUTION FOUND: 12323 @ 36.069 c NEW SOLUTION FOUND: 12322 @ 36.163 c NEW SOLUTION FOUND: 12320 @ 36.254 c NEW SOLUTION FOUND: 12300 @ 36.373 c NEW SOLUTION FOUND: 12298 @ 36.418 c NEW SOLUTION FOUND: 12297 @ 36.51 c NEW SOLUTION FOUND: 12295 @ 36.553 c NEW SOLUTION FOUND: 12278 @ 36.885 c NEW SOLUTION FOUND: 12274 @ 36.923 c NEW SOLUTION FOUND: 12273 @ 37.019 c NEW SOLUTION FOUND: 12271 @ 37.064 c NEW SOLUTION FOUND: 12270 @ 37.558 c NEW SOLUTION FOUND: 12266 @ 37.596 c NEW SOLUTION FOUND: 12264 @ 37.697 c NEW SOLUTION FOUND: 12263 @ 37.823 c NEW SOLUTION FOUND: 12262 @ 37.864 c NEW SOLUTION FOUND: 12258 @ 37.902 c NEW SOLUTION FOUND: 12256 @ 37.939 c NEW SOLUTION FOUND: 12238 @ 37.988 c NEW SOLUTION FOUND: 12234 @ 38.023 c NEW SOLUTION FOUND: 12233 @ 38.115 c NEW SOLUTION FOUND: 12231 @ 38.154 c NEW SOLUTION FOUND: 12230 @ 38.255 c NEW SOLUTION FOUND: 12228 @ 38.337 c NEW SOLUTION FOUND: 12212 @ 38.508 c NEW SOLUTION FOUND: 12208 @ 38.543 c NEW SOLUTION FOUND: 12206 @ 38.587 c NEW SOLUTION FOUND: 12203 @ 38.666 c NEW SOLUTION FOUND: 12202 @ 39.082 c NEW SOLUTION FOUND: 12200 @ 39.17 c NEW SOLUTION FOUND: 12199 @ 39.376 c NEW SOLUTION FOUND: 12183 @ 39.424 c NEW SOLUTION FOUND: 12179 @ 39.463 c NEW SOLUTION FOUND: 12177 @ 39.501 c NEW SOLUTION FOUND: 12175 @ 39.6 c NEW SOLUTION FOUND: 12174 @ 40.427 c NEW SOLUTION FOUND: 12170 @ 40.465 c NEW SOLUTION FOUND: 12168 @ 40.503 c NEW SOLUTION FOUND: 12166 @ 40.645 c NEW SOLUTION FOUND: 12163 @ 41.192 c NEW SOLUTION FOUND: 12159 @ 41.23 c NEW SOLUTION FOUND: 12156 @ 41.373 c NEW SOLUTION FOUND: 12140 @ 41.427 c NEW SOLUTION FOUND: 12136 @ 41.461 c NEW SOLUTION FOUND: 12134 @ 41.504 c NEW SOLUTION FOUND: 12133 @ 41.672 c NEW SOLUTION FOUND: 12131 @ 41.717 c NEW SOLUTION FOUND: 12111 @ 42.066 c NEW SOLUTION FOUND: 12109 @ 42.111 c NEW SOLUTION FOUND: 12107 @ 42.294 c NEW SOLUTION FOUND: 12104 @ 43.026 c NEW SOLUTION FOUND: 12102 @ 43.067 c NEW SOLUTION FOUND: 12100 @ 43.251 c NEW SOLUTION FOUND: 12098 @ 43.43 c NEW SOLUTION FOUND: 12082 @ 43.478 c NEW SOLUTION FOUND: 12078 @ 43.512 c NEW SOLUTION FOUND: 12076 @ 43.55 c NEW SOLUTION FOUND: 12072 @ 43.631 c NEW SOLUTION FOUND: 12070 @ 43.676 c NEW SOLUTION FOUND: 12067 @ 43.762 c NEW SOLUTION FOUND: 12066 @ 43.843 c NEW SOLUTION FOUND: 12064 @ 43.88 c NEW SOLUTION FOUND: 12048 @ 43.923 c NEW SOLUTION FOUND: 12044 @ 43.963 c NEW SOLUTION FOUND: 12042 @ 44 c NEW SOLUTION FOUND: 12041 @ 44.16 c NEW SOLUTION FOUND: 12039 @ 44.198 c NEW SOLUTION FOUND: 12038 @ 44.551 c NEW SOLUTION FOUND: 12037 @ 44.627 c NEW SOLUTION FOUND: 12035 @ 44.666 c NEW SOLUTION FOUND: 12017 @ 44.714 c NEW SOLUTION FOUND: 12013 @ 44.749 c NEW SOLUTION FOUND: 12011 @ 44.927 c NEW SOLUTION FOUND: 12009 @ 45.663 c NEW SOLUTION FOUND: 12007 @ 45.784 c NEW SOLUTION FOUND: 12006 @ 48.242 c NEW SOLUTION FOUND: 12004 @ 48.468 c NEW SOLUTION FOUND: 12002 @ 48.589 c NEW SOLUTION FOUND: 12001 @ 49.896 c NEW SOLUTION FOUND: 11999 @ 50.018 c NEW SOLUTION FOUND: 11998 @ 51.208 c NEW SOLUTION FOUND: 11996 @ 51.333 c NEW SOLUTION FOUND: 11994 @ 51.451 c NEW SOLUTION FOUND: 11992 @ 53.839 c NEW SOLUTION FOUND: 11991 @ 58.416 c NEW SOLUTION FOUND: 11989 @ 58.553 c NEW SOLUTION FOUND: 11987 @ 58.681 c NEW SOLUTION FOUND: 11986 @ 61.05 c NEW SOLUTION FOUND: 11984 @ 61.173 c NEW SOLUTION FOUND: 11982 @ 61.291 c NEW SOLUTION FOUND: 11981 @ 62.393 c NEW SOLUTION FOUND: 11979 @ 62.604 c NEW SOLUTION FOUND: 11972 @ 67.551 c NEW SOLUTION FOUND: 11968 @ 67.574 c NEW SOLUTION FOUND: 11966 @ 67.608 c NEW SOLUTION FOUND: 11963 @ 67.776 c NEW SOLUTION FOUND: 11961 @ 67.974 c NEW SOLUTION FOUND: 11959 @ 68.124 c NEW SOLUTION FOUND: 11958 @ 79.311 c NEW SOLUTION FOUND: 11956 @ 79.344 c NEW SOLUTION FOUND: 11531 @ 84.605 c NEW SOLUTION FOUND: 11527 @ 84.636 c NEW SOLUTION FOUND: 11486 @ 84.664 c NEW SOLUTION FOUND: 11484 @ 84.708 c NEW SOLUTION FOUND: 11462 @ 84.742 c NEW SOLUTION FOUND: 11459 @ 84.796 c NEW SOLUTION FOUND: 11455 @ 84.826 c NEW SOLUTION FOUND: 11451 @ 84.881 c NEW SOLUTION FOUND: 11447 @ 84.91 c NEW SOLUTION FOUND: 11445 @ 84.944 c NEW SOLUTION FOUND: 11429 @ 84.983 c NEW SOLUTION FOUND: 11425 @ 85.006 c NEW SOLUTION FOUND: 11423 @ 85.034 c NEW SOLUTION FOUND: 11422 @ 85.175 c NEW SOLUTION FOUND: 11420 @ 85.209 c NEW SOLUTION FOUND: 11418 @ 85.34 c NEW SOLUTION FOUND: 11416 @ 85.468 c NEW SOLUTION FOUND: 11414 @ 85.699 c NEW SOLUTION FOUND: 11412 @ 85.916 c NEW SOLUTION FOUND: 11408 @ 86.672 c NEW SOLUTION FOUND: 11406 @ 86.708 c NEW SOLUTION FOUND: 11405 @ 86.861 c NEW SOLUTION FOUND: 11403 @ 86.895 c NEW SOLUTION FOUND: 11401 @ 87.088 c NEW SOLUTION FOUND: 11399 @ 87.249 c NEW SOLUTION FOUND: 11393 @ 87.419 c NEW SOLUTION FOUND: 11392 @ 87.458 c NEW SOLUTION FOUND: 11388 @ 87.487 c NEW SOLUTION FOUND: 11386 @ 87.512 c NEW SOLUTION FOUND: 11384 @ 87.585 c NEW SOLUTION FOUND: 11383 @ 87.718 c NEW SOLUTION FOUND: 11380 @ 87.848 c NEW SOLUTION FOUND: 11378 @ 88.26 c NEW SOLUTION FOUND: 11377 @ 89.691 c NEW SOLUTION FOUND: 11375 @ 90.004 c NEW SOLUTION FOUND: 11374 @ 91.375 c NEW SOLUTION FOUND: 11371 @ 91.651 c NEW SOLUTION FOUND: 11365 @ 91.926 c NEW SOLUTION FOUND: 11361 @ 91.952 c NEW SOLUTION FOUND: 11360 @ 91.991 c NEW SOLUTION FOUND: 11356 @ 92.015 c NEW SOLUTION FOUND: 11354 @ 92.048 c NEW SOLUTION FOUND: 11352 @ 92.25 c NEW SOLUTION FOUND: 11350 @ 92.655 c NEW SOLUTION FOUND: 11349 @ 94.261 c NEW SOLUTION FOUND: 11345 @ 94.29 c NEW SOLUTION FOUND: 11343 @ 94.317 c NEW SOLUTION FOUND: 11340 @ 94.61 c NEW SOLUTION FOUND: 11327 @ 94.812 c NEW SOLUTION FOUND: 11325 @ 94.847 c NEW SOLUTION FOUND: 11321 @ 94.943 c NEW SOLUTION FOUND: 11319 @ 95.16 c NEW SOLUTION FOUND: 11317 @ 95.67 c NEW SOLUTION FOUND: 11316 @ 97.249 c NEW SOLUTION FOUND: 11314 @ 97.286 c NEW SOLUTION FOUND: 11302 @ 98.606 c NEW SOLUTION FOUND: 11301 @ 98.65 c NEW SOLUTION FOUND: 11297 @ 98.675 c NEW SOLUTION FOUND: 11295 @ 98.7 c NEW SOLUTION FOUND: 11293 @ 98.923 c NEW SOLUTION FOUND: 11292 @ 99.311 c NEW SOLUTION FOUND: 11289 @ 99.49 c NEW SOLUTION FOUND: 11287 @ 103.493 c NEW SOLUTION FOUND: 11286 @ 103.769 c NEW SOLUTION FOUND: 11284 @ 103.803 c NEW SOLUTION FOUND: 11282 @ 104.429 c NEW SOLUTION FOUND: 11278 @ 105.392 c NEW SOLUTION FOUND: 11276 @ 105.429 c NEW SOLUTION FOUND: 11272 @ 105.509 c NEW SOLUTION FOUND: 11268 @ 105.534 c NEW SOLUTION FOUND: 11266 @ 105.56 c NEW SOLUTION FOUND: 11265 @ 105.596 c NEW SOLUTION FOUND: 11261 @ 105.621 c NEW SOLUTION FOUND: 11259 @ 105.646 c NEW SOLUTION FOUND: 11257 @ 105.737 c NEW SOLUTION FOUND: 11255 @ 105.774 c NEW SOLUTION FOUND: 11253 @ 105.964 c NEW SOLUTION FOUND: 11252 @ 106.475 c NEW SOLUTION FOUND: 11249 @ 106.809 c NEW SOLUTION FOUND: 11248 @ 107.604 c NEW SOLUTION FOUND: 11246 @ 108.543 c NEW SOLUTION FOUND: 11235 @ 109.813 c NEW SOLUTION FOUND: 11233 @ 109.851 c NEW SOLUTION FOUND: 11230 @ 109.881 c NEW SOLUTION FOUND: 11226 @ 109.904 c NEW SOLUTION FOUND: 11223 @ 110.079 c NEW SOLUTION FOUND: 11221 @ 110.614 c NEW SOLUTION FOUND: 11220 @ 115.863 c NEW SOLUTION FOUND: 11218 @ 116.313 c NEW SOLUTION FOUND: 11211 @ 117.094 c NEW SOLUTION FOUND: 11207 @ 117.122 c NEW SOLUTION FOUND: 11205 @ 117.152 c NEW SOLUTION FOUND: 11202 @ 117.187 c NEW SOLUTION FOUND: 11198 @ 117.212 c NEW SOLUTION FOUND: 11195 @ 117.583 c NEW SOLUTION FOUND: 11193 @ 118.586 c NEW SOLUTION FOUND: 11191 @ 122.087 c NEW SOLUTION FOUND: 11190 @ 122.492 c NEW SOLUTION FOUND: 11188 @ 122.524 c NEW SOLUTION FOUND: 11186 @ 123.669 c NEW SOLUTION FOUND: 11184 @ 124.343 c NEW SOLUTION FOUND: 11182 @ 124.462 c NEW SOLUTION FOUND: 11180 @ 124.497 c NEW SOLUTION FOUND: 11179 @ 124.609 c NEW SOLUTION FOUND: 11172 @ 124.68 c NEW SOLUTION FOUND: 11168 @ 124.705 c NEW SOLUTION FOUND: 11166 @ 124.738 c NEW SOLUTION FOUND: 11163 @ 124.768 c NEW SOLUTION FOUND: 11159 @ 124.796 c NEW SOLUTION FOUND: 11157 @ 125.068 c NEW SOLUTION FOUND: 11156 @ 125.48 c NEW SOLUTION FOUND: 11153 @ 125.878 c NEW SOLUTION FOUND: 11152 @ 126.728 c NEW SOLUTION FOUND: 11150 @ 127.665 c NEW SOLUTION FOUND: 11146 @ 128.841 c NEW SOLUTION FOUND: 11142 @ 128.866 c NEW SOLUTION FOUND: 11140 @ 128.893 c NEW SOLUTION FOUND: 11137 @ 128.93 c NEW SOLUTION FOUND: 11133 @ 128.954 c NEW SOLUTION FOUND: 11131 @ 129.042 c NEW SOLUTION FOUND: 11129 @ 129.079 c NEW SOLUTION FOUND: 11127 @ 129.276 c NEW SOLUTION FOUND: 11125 @ 129.816 c NEW SOLUTION FOUND: 11118 @ 136.424 c NEW SOLUTION FOUND: 11116 @ 136.794 c NEW SOLUTION FOUND: 11114 @ 137.447 c NEW SOLUTION FOUND: 11111 @ 139.215 c NEW SOLUTION FOUND: 11104 @ 140.563 c NEW SOLUTION FOUND: 11100 @ 140.59 c NEW SOLUTION FOUND: 11095 @ 140.625 c NEW SOLUTION FOUND: 11093 @ 140.663 c NEW SOLUTION FOUND: 11090 @ 140.893 c NEW SOLUTION FOUND: 11088 @ 141.21 c NEW SOLUTION FOUND: 11086 @ 141.533 c NEW SOLUTION FOUND: 11084 @ 150.019 c NEW SOLUTION FOUND: 11082 @ 150.439 c NEW SOLUTION FOUND: 11080 @ 151.72 c NEW SOLUTION FOUND: 11076 @ 151.752 c NEW SOLUTION FOUND: 11074 @ 151.963 c NEW SOLUTION FOUND: 11073 @ 152.163 c NEW SOLUTION FOUND: 11072 @ 152.355 c NEW SOLUTION FOUND: 11070 @ 152.392 c NEW SOLUTION FOUND: 11063 @ 152.775 c NEW SOLUTION FOUND: 11061 @ 152.815 c NEW SOLUTION FOUND: 11058 @ 152.852 c NEW SOLUTION FOUND: 11054 @ 152.878 c NEW SOLUTION FOUND: 11051 @ 153.035 c NEW SOLUTION FOUND: 11049 @ 153.46 c NEW SOLUTION FOUND: 11046 @ 155.118 c NEW SOLUTION FOUND: 11045 @ 156.485 c NEW SOLUTION FOUND: 11044 @ 156.767 c NEW SOLUTION FOUND: 11042 @ 156.804 c NEW SOLUTION FOUND: 11040 @ 157.008 c NEW SOLUTION FOUND: 11036 @ 157.035 c NEW SOLUTION FOUND: 11035 @ 157.08 c NEW SOLUTION FOUND: 11031 @ 157.106 c NEW SOLUTION FOUND: 11029 @ 157.137 c NEW SOLUTION FOUND: 11025 @ 157.21 c NEW SOLUTION FOUND: 11023 @ 157.445 c NEW SOLUTION FOUND: 11021 @ 157.854 c NEW SOLUTION FOUND: 11020 @ 162.498 c NEW SOLUTION FOUND: 11018 @ 163.137 c NEW SOLUTION FOUND: 11017 @ 164.499 c NEW SOLUTION FOUND: 11016 @ 164.76 c NEW SOLUTION FOUND: 11014 @ 164.795 c NEW SOLUTION FOUND: 11008 @ 165.083 c NEW SOLUTION FOUND: 11004 @ 165.112 c NEW SOLUTION FOUND: 10999 @ 165.149 c NEW SOLUTION FOUND: 10997 @ 165.185 c NEW SOLUTION FOUND: 10995 @ 165.416 c NEW SOLUTION FOUND: 10993 @ 165.804 c NEW SOLUTION FOUND: 10991 @ 169.848 c NEW SOLUTION FOUND: 10990 @ 170.018 c NEW SOLUTION FOUND: 10988 @ 170.049 c NEW SOLUTION FOUND: 10986 @ 170.704 c NEW SOLUTION FOUND: 10981 @ 171.471 c NEW SOLUTION FOUND: 10980 @ 171.686 c NEW SOLUTION FOUND: 10978 @ 171.715 c NEW SOLUTION FOUND: 10977 @ 171.978 c NEW SOLUTION FOUND: 10973 @ 171.985 c NEW SOLUTION FOUND: 10972 @ 172.003 c NEW SOLUTION FOUND: 10970 @ 172.029 c NEW SOLUTION FOUND: 10969 @ 172.046 c NEW SOLUTION FOUND: 10968 @ 172.06 c NEW SOLUTION FOUND: 10967 @ 172.095 c NEW SOLUTION FOUND: 10966 @ 172.11 c NEW SOLUTION FOUND: 10964 @ 172.146 c NEW SOLUTION FOUND: 10963 @ 172.164 c NEW SOLUTION FOUND: 10959 @ 172.186 c NEW SOLUTION FOUND: 10957 @ 172.429 c NEW SOLUTION FOUND: 10956 @ 173.06 c NEW SOLUTION FOUND: 10954 @ 173.233 c NEW SOLUTION FOUND: 10953 @ 173.248 c NEW SOLUTION FOUND: 10952 @ 174.075 c NEW SOLUTION FOUND: 10951 @ 174.943 c NEW SOLUTION FOUND: 10950 @ 174.961 c NEW SOLUTION FOUND: 10949 @ 176.103 c NEW SOLUTION FOUND: 10948 @ 176.151 c NEW SOLUTION FOUND: 10941 @ 176.408 c NEW SOLUTION FOUND: 10937 @ 176.436 c NEW SOLUTION FOUND: 10934 @ 176.476 c NEW SOLUTION FOUND: 10932 @ 176.491 c NEW SOLUTION FOUND: 10930 @ 176.533 c NEW SOLUTION FOUND: 10927 @ 176.755 c NEW SOLUTION FOUND: 10925 @ 177.285 c NEW SOLUTION FOUND: 10920 @ 187.42 c NEW SOLUTION FOUND: 10919 @ 187.423 c NEW SOLUTION FOUND: 10918 @ 187.47 c NEW SOLUTION FOUND: 10916 @ 187.584 c NEW SOLUTION FOUND: 10915 @ 187.626 c NEW SOLUTION FOUND: 10914 @ 187.64 c NEW SOLUTION FOUND: 10913 @ 187.801 c NEW SOLUTION FOUND: 10912 @ 187.814 c NEW SOLUTION FOUND: 10911 @ 188.028 c NEW SOLUTION FOUND: 10908 @ 188.255 c NEW SOLUTION FOUND: 10907 @ 195.88 c NEW SOLUTION FOUND: 10905 @ 196.488 c NEW SOLUTION FOUND: 10904 @ 197.792 c NEW SOLUTION FOUND: 10901 @ 198.082 c NEW SOLUTION FOUND: 10895 @ 198.339 c NEW SOLUTION FOUND: 10893 @ 198.365 c NEW SOLUTION FOUND: 10891 @ 198.378 c NEW SOLUTION FOUND: 10890 @ 198.412 c NEW SOLUTION FOUND: 10886 @ 198.437 c NEW SOLUTION FOUND: 10884 @ 198.461 c NEW SOLUTION FOUND: 10882 @ 198.659 c NEW SOLUTION FOUND: 10880 @ 199.064 c NEW SOLUTION FOUND: 10879 @ 205.054 c NEW SOLUTION FOUND: 10877 @ 205.081 c NEW SOLUTION FOUND: 10875 @ 205.257 c NEW SOLUTION FOUND: 10873 @ 205.679 c NEW SOLUTION FOUND: 10872 @ 210.194 c NEW SOLUTION FOUND: 10870 @ 210.501 c NEW SOLUTION FOUND: 10866 @ 210.526 c NEW SOLUTION FOUND: 10865 @ 210.565 c NEW SOLUTION FOUND: 10861 @ 210.586 c NEW SOLUTION FOUND: 10859 @ 210.611 c NEW SOLUTION FOUND: 10855 @ 210.71 c NEW SOLUTION FOUND: 10853 @ 210.89 c NEW SOLUTION FOUND: 10851 @ 211.401 c NEW SOLUTION FOUND: 10848 @ 212.55 c NEW SOLUTION FOUND: 10846 @ 212.58 c NEW SOLUTION FOUND: 10844 @ 212.725 c NEW SOLUTION FOUND: 10843 @ 213.021 c NEW SOLUTION FOUND: 10842 @ 213.331 c NEW SOLUTION FOUND: 10840 @ 213.361 c NEW SOLUTION FOUND: 10839 @ 214.54 c NEW SOLUTION FOUND: 10837 @ 215.245 c NEW SOLUTION FOUND: 10835 @ 216.364 c NEW SOLUTION FOUND: 10833 @ 216.841 c NEW SOLUTION FOUND: 10825 @ 217.105 c NEW SOLUTION FOUND: 10824 @ 217.146 c NEW SOLUTION FOUND: 10820 @ 217.168 c NEW SOLUTION FOUND: 10818 @ 217.191 c NEW SOLUTION FOUND: 10816 @ 217.412 c NEW SOLUTION FOUND: 10815 @ 217.628 c NEW SOLUTION FOUND: 10812 @ 217.831 c NEW SOLUTION FOUND: 10810 @ 226.207 c NEW SOLUTION FOUND: 10808 @ 226.629 c NEW SOLUTION FOUND: 10807 @ 227.725 c NEW SOLUTION FOUND: 10803 @ 227.752 c NEW SOLUTION FOUND: 10801 @ 227.781 c NEW SOLUTION FOUND: 10800 @ 227.981 c NEW SOLUTION FOUND: 10798 @ 228.016 c NEW SOLUTION FOUND: 10796 @ 228.492 c NEW SOLUTION FOUND: 10794 @ 228.773 c NEW SOLUTION FOUND: 10792 @ 228.806 c NEW SOLUTION FOUND: 10791 @ 228.834 c NEW SOLUTION FOUND: 10787 @ 228.854 c NEW SOLUTION FOUND: 10785 @ 228.885 c NEW SOLUTION FOUND: 10783 @ 228.974 c NEW SOLUTION FOUND: 10781 @ 229.006 c NEW SOLUTION FOUND: 10779 @ 229.146 c NEW SOLUTION FOUND: 10778 @ 229.357 c NEW SOLUTION FOUND: 10775 @ 229.552 c NEW SOLUTION FOUND: 10774 @ 230.699 c NEW SOLUTION FOUND: 10772 @ 231.292 c NEW SOLUTION FOUND: 10770 @ 232.402 c NEW SOLUTION FOUND: 10769 @ 232.884 c NEW SOLUTION FOUND: 10768 @ 232.898 c NEW SOLUTION FOUND: 10763 @ 233.096 c NEW SOLUTION FOUND: 10762 @ 233.137 c NEW SOLUTION FOUND: 10758 @ 233.159 c NEW SOLUTION FOUND: 10756 @ 233.182 c NEW SOLUTION FOUND: 10755 @ 233.27 c NEW SOLUTION FOUND: 10754 @ 233.285 c NEW SOLUTION FOUND: 10752 @ 233.317 c NEW SOLUTION FOUND: 10750 @ 233.526 c NEW SOLUTION FOUND: 10749 @ 233.893 c NEW SOLUTION FOUND: 10747 @ 233.928 c NEW SOLUTION FOUND: 10746 @ 239.78 c NEW SOLUTION FOUND: 10744 @ 239.823 c NEW SOLUTION FOUND: 10742 @ 241.069 c NEW SOLUTION FOUND: 10740 @ 241.383 c NEW SOLUTION FOUND: 10739 @ 241.746 c NEW SOLUTION FOUND: 10735 @ 241.773 c NEW SOLUTION FOUND: 10733 @ 241.798 c NEW SOLUTION FOUND: 10730 @ 241.831 c NEW SOLUTION FOUND: 10726 @ 241.853 c NEW SOLUTION FOUND: 10722 @ 241.995 c NEW SOLUTION FOUND: 10721 @ 242.217 c NEW SOLUTION FOUND: 10719 @ 242.44 c NEW SOLUTION FOUND: 10718 @ 246.784 c NEW SOLUTION FOUND: 10716 @ 246.818 c NEW SOLUTION FOUND: 10714 @ 247.055 c NEW SOLUTION FOUND: 10712 @ 247.501 c NEW SOLUTION FOUND: 10711 @ 248.507 c NEW SOLUTION FOUND: 10710 @ 248.539 c NEW SOLUTION FOUND: 10706 @ 248.562 c NEW SOLUTION FOUND: 10704 @ 248.592 c NEW SOLUTION FOUND: 10702 @ 248.874 c NEW SOLUTION FOUND: 10700 @ 249.348 c NEW SOLUTION FOUND: 10691 @ 249.609 c NEW SOLUTION FOUND: 10690 @ 249.647 c NEW SOLUTION FOUND: 10686 @ 249.67 c NEW SOLUTION FOUND: 10684 @ 249.701 c NEW SOLUTION FOUND: 10682 @ 249.916 c NEW SOLUTION FOUND: 10679 @ 250.311 c NEW SOLUTION FOUND: 10678 @ 251.903 c NEW SOLUTION FOUND: 10676 @ 251.934 c NEW SOLUTION FOUND: 10674 @ 253.052 c NEW SOLUTION FOUND: 10667 @ 253.306 c NEW SOLUTION FOUND: 10666 @ 253.32 c NEW SOLUTION FOUND: 10662 @ 253.346 c NEW SOLUTION FOUND: 10657 @ 253.382 c NEW SOLUTION FOUND: 10655 @ 253.411 c NEW SOLUTION FOUND: 10653 @ 253.637 c NEW SOLUTION FOUND: 10651 @ 254.241 c NEW SOLUTION FOUND: 10646 @ 261.833 c NEW SOLUTION FOUND: 10645 @ 261.848 c NEW SOLUTION FOUND: 10606 @ 261.892 c NEW SOLUTION FOUND: 10602 @ 261.92 c NEW SOLUTION FOUND: 10597 @ 261.952 c NEW SOLUTION FOUND: 10595 @ 261.987 c NEW SOLUTION FOUND: 10585 @ 262.017 c NEW SOLUTION FOUND: 10579 @ 262.035 c NEW SOLUTION FOUND: 10575 @ 262.059 c NEW SOLUTION FOUND: 10573 @ 262.093 c NEW SOLUTION FOUND: 10562 @ 262.139 c NEW SOLUTION FOUND: 10556 @ 262.154 c NEW SOLUTION FOUND: 10552 @ 262.176 c NEW SOLUTION FOUND: 10551 @ 262.213 c NEW SOLUTION FOUND: 10547 @ 262.24 c NEW SOLUTION FOUND: 10545 @ 262.264 c NEW SOLUTION FOUND: 10536 @ 262.349 c NEW SOLUTION FOUND: 10532 @ 262.37 c NEW SOLUTION FOUND: 10531 @ 262.403 c NEW SOLUTION FOUND: 10527 @ 262.431 c NEW SOLUTION FOUND: 10525 @ 262.456 c NEW SOLUTION FOUND: 10524 @ 262.601 c NEW SOLUTION FOUND: 10522 @ 262.633 c NEW SOLUTION FOUND: 10520 @ 262.716 c NEW SOLUTION FOUND: 10518 @ 262.743 c NEW SOLUTION FOUND: 10509 @ 262.78 c NEW SOLUTION FOUND: 10505 @ 262.802 c NEW SOLUTION FOUND: 10503 @ 262.833 c NEW SOLUTION FOUND: 10500 @ 262.861 c NEW SOLUTION FOUND: 10496 @ 262.887 c NEW SOLUTION FOUND: 10494 @ 262.974 c NEW SOLUTION FOUND: 10492 @ 263.006 c NEW SOLUTION FOUND: 10490 @ 263.139 c NEW SOLUTION FOUND: 10488 @ 263.514 c NEW SOLUTION FOUND: 10487 @ 263.708 c NEW SOLUTION FOUND: 10485 @ 263.739 c NEW SOLUTION FOUND: 10483 @ 263.819 c NEW SOLUTION FOUND: 10481 @ 263.855 c NEW SOLUTION FOUND: 10479 @ 264.063 c NEW SOLUTION FOUND: 10474 @ 264.472 c NEW SOLUTION FOUND: 10472 @ 264.5 c NEW SOLUTION FOUND: 10471 @ 264.527 c NEW SOLUTION FOUND: 10467 @ 264.549 c NEW SOLUTION FOUND: 10465 @ 264.582 c NEW SOLUTION FOUND: 10463 @ 264.67 c NEW SOLUTION FOUND: 10461 @ 264.705 c NEW SOLUTION FOUND: 10460 @ 264.913 c NEW SOLUTION FOUND: 10458 @ 264.945 c NEW SOLUTION FOUND: 10456 @ 265.268 c NEW SOLUTION FOUND: 10454 @ 265.538 c NEW SOLUTION FOUND: 10453 @ 266.381 c NEW SOLUTION FOUND: 10451 @ 267.212 c NEW SOLUTION FOUND: 10449 @ 268.312 c NEW SOLUTION FOUND: 10439 @ 268.562 c NEW SOLUTION FOUND: 10437 @ 268.597 c NEW SOLUTION FOUND: 10434 @ 268.626 c NEW SOLUTION FOUND: 10430 @ 268.646 c NEW SOLUTION FOUND: 10428 @ 268.878 c NEW SOLUTION FOUND: 10426 @ 269.444 c NEW SOLUTION FOUND: 10422 @ 271.272 c NEW SOLUTION FOUND: 10420 @ 271.307 c NEW SOLUTION FOUND: 10418 @ 271.501 c NEW SOLUTION FOUND: 10417 @ 271.693 c NEW SOLUTION FOUND: 10416 @ 271.875 c NEW SOLUTION FOUND: 10414 @ 271.907 c NEW SOLUTION FOUND: 10413 @ 272.188 c NEW SOLUTION FOUND: 10409 @ 272.209 c NEW SOLUTION FOUND: 10408 @ 272.248 c NEW SOLUTION FOUND: 10404 @ 272.27 c NEW SOLUTION FOUND: 10402 @ 272.294 c NEW SOLUTION FOUND: 10398 @ 272.383 c NEW SOLUTION FOUND: 10395 @ 272.53 c NEW SOLUTION FOUND: 10393 @ 272.914 c NEW SOLUTION FOUND: 10392 @ 274.292 c NEW SOLUTION FOUND: 10390 @ 274.618 c NEW SOLUTION FOUND: 10389 @ 275.955 c NEW SOLUTION FOUND: 10386 @ 276.21 c NEW SOLUTION FOUND: 10378 @ 276.503 c NEW SOLUTION FOUND: 10376 @ 276.538 c NEW SOLUTION FOUND: 10373 @ 276.567 c NEW SOLUTION FOUND: 10369 @ 276.588 c NEW SOLUTION FOUND: 10367 @ 276.812 c NEW SOLUTION FOUND: 10365 @ 277.214 c NEW SOLUTION FOUND: 10362 @ 280.918 c NEW SOLUTION FOUND: 10360 @ 281.164 c NEW SOLUTION FOUND: 10358 @ 281.832 c NEW SOLUTION FOUND: 10356 @ 282.495 c NEW SOLUTION FOUND: 10352 @ 282.617 c NEW SOLUTION FOUND: 10350 @ 282.805 c NEW SOLUTION FOUND: 10345 @ 283.058 c NEW SOLUTION FOUND: 10341 @ 283.08 c NEW SOLUTION FOUND: 10339 @ 283.104 c NEW SOLUTION FOUND: 10336 @ 283.139 c NEW SOLUTION FOUND: 10332 @ 283.162 c NEW SOLUTION FOUND: 10331 @ 283.372 c NEW SOLUTION FOUND: 10329 @ 283.405 c NEW SOLUTION FOUND: 10328 @ 284 c NEW SOLUTION FOUND: 10327 @ 284.166 c NEW SOLUTION FOUND: 10325 @ 284.198 c NEW SOLUTION FOUND: 10324 @ 285.044 c NEW SOLUTION FOUND: 10322 @ 285.907 c NEW SOLUTION FOUND: 10320 @ 287.034 c NEW SOLUTION FOUND: 10312 @ 287.288 c NEW SOLUTION FOUND: 10308 @ 287.311 c NEW SOLUTION FOUND: 10303 @ 287.343 c NEW SOLUTION FOUND: 10301 @ 287.377 c NEW SOLUTION FOUND: 10299 @ 287.599 c NEW SOLUTION FOUND: 10297 @ 288.125 c NEW SOLUTION FOUND: 10296 @ 293.661 c NEW SOLUTION FOUND: 10294 @ 293.979 c NEW SOLUTION FOUND: 10293 @ 295.246 c NEW SOLUTION FOUND: 10289 @ 295.269 c NEW SOLUTION FOUND: 10287 @ 295.293 c NEW SOLUTION FOUND: 10284 @ 295.328 c NEW SOLUTION FOUND: 10280 @ 295.351 c NEW SOLUTION FOUND: 10278 @ 295.424 c NEW SOLUTION FOUND: 10276 @ 295.457 c NEW SOLUTION FOUND: 10275 @ 295.677 c NEW SOLUTION FOUND: 10273 @ 295.71 c NEW SOLUTION FOUND: 10271 @ 296.017 c NEW SOLUTION FOUND: 10269 @ 296.303 c NEW SOLUTION FOUND: 10268 @ 300.904 c NEW SOLUTION FOUND: 10266 @ 300.937 c NEW SOLUTION FOUND: 10264 @ 301.3 c NEW SOLUTION FOUND: 10262 @ 301.647 c NEW SOLUTION FOUND: 10261 @ 302.63 c NEW SOLUTION FOUND: 10260 @ 302.659 c NEW SOLUTION FOUND: 10256 @ 302.68 c NEW SOLUTION FOUND: 10254 @ 302.712 c NEW SOLUTION FOUND: 10250 @ 302.791 c NEW SOLUTION FOUND: 10246 @ 302.814 c NEW SOLUTION FOUND: 10244 @ 302.838 c NEW SOLUTION FOUND: 10241 @ 302.872 c NEW SOLUTION FOUND: 10237 @ 302.895 c NEW SOLUTION FOUND: 10233 @ 302.984 c NEW SOLUTION FOUND: 10231 @ 303.18 c NEW SOLUTION FOUND: 10229 @ 303.967 c NEW SOLUTION FOUND: 10228 @ 305.643 c NEW SOLUTION FOUND: 10226 @ 305.676 c NEW SOLUTION FOUND: 10221 @ 307.015 c NEW SOLUTION FOUND: 10217 @ 307.037 c NEW SOLUTION FOUND: 10215 @ 307.061 c NEW SOLUTION FOUND: 10212 @ 307.096 c NEW SOLUTION FOUND: 10208 @ 307.119 c NEW SOLUTION FOUND: 10207 @ 307.342 c NEW SOLUTION FOUND: 10205 @ 307.378 c NEW SOLUTION FOUND: 10203 @ 307.735 c NEW SOLUTION FOUND: 10201 @ 308.012 c NEW SOLUTION FOUND: 10199 @ 314.738 c NEW SOLUTION FOUND: 10195 @ 314.761 c NEW SOLUTION FOUND: 10192 @ 314.912 c NEW SOLUTION FOUND: 10190 @ 315.462 c NEW SOLUTION FOUND: 10189 @ 317.152 c NEW SOLUTION FOUND: 10187 @ 317.29 c NEW SOLUTION FOUND: 10179 @ 318.695 c NEW SOLUTION FOUND: 10175 @ 318.724 c NEW SOLUTION FOUND: 10174 @ 318.763 c NEW SOLUTION FOUND: 10170 @ 318.791 c NEW SOLUTION FOUND: 10168 @ 318.824 c NEW SOLUTION FOUND: 10166 @ 318.972 c NEW SOLUTION FOUND: 10165 @ 319.265 c NEW SOLUTION FOUND: 10164 @ 319.573 c NEW SOLUTION FOUND: 10162 @ 319.608 c NEW SOLUTION FOUND: 10160 @ 327.867 c NEW SOLUTION FOUND: 10158 @ 328.526 c NEW SOLUTION FOUND: 10152 @ 329.188 c NEW SOLUTION FOUND: 10151 @ 329.427 c NEW SOLUTION FOUND: 10144 @ 329.5 c NEW SOLUTION FOUND: 10140 @ 329.529 c NEW SOLUTION FOUND: 10138 @ 329.562 c NEW SOLUTION FOUND: 10133 @ 329.596 c NEW SOLUTION FOUND: 10131 @ 329.63 c NEW SOLUTION FOUND: 10129 @ 330.043 c NEW SOLUTION FOUND: 10128 @ 330.49 c NEW SOLUTION FOUND: 10125 @ 331.032 c NEW SOLUTION FOUND: 10124 @ 331.883 c NEW SOLUTION FOUND: 10122 @ 332.768 c NEW SOLUTION FOUND: 10120 @ 333.907 c NEW SOLUTION FOUND: 10118 @ 334.4 c NEW SOLUTION FOUND: 10115 @ 334.598 c NEW SOLUTION FOUND: 10112 @ 334.639 c NEW SOLUTION FOUND: 10108 @ 334.667 c NEW SOLUTION FOUND: 10106 @ 334.761 c NEW SOLUTION FOUND: 10104 @ 334.795 c NEW SOLUTION FOUND: 10103 @ 335.004 c NEW SOLUTION FOUND: 10101 @ 335.04 c NEW SOLUTION FOUND: 10099 @ 335.255 c NEW SOLUTION FOUND: 10097 @ 335.485 c NEW SOLUTION FOUND: 10096 @ 340.1 c NEW SOLUTION FOUND: 10094 @ 340.687 c NEW SOLUTION FOUND: 10093 @ 342.131 c NEW SOLUTION FOUND: 10092 @ 342.167 c NEW SOLUTION FOUND: 10090 @ 342.391 c NEW SOLUTION FOUND: 10087 @ 342.727 c NEW SOLUTION FOUND: 10086 @ 342.733 c NEW SOLUTION FOUND: 10085 @ 342.739 c NEW SOLUTION FOUND: 10084 @ 342.753 c NEW SOLUTION FOUND: 10083 @ 342.766 c NEW SOLUTION FOUND: 10081 @ 342.803 c NEW SOLUTION FOUND: 10078 @ 342.828 c NEW SOLUTION FOUND: 10074 @ 342.848 c NEW SOLUTION FOUND: 10073 @ 343 c NEW SOLUTION FOUND: 10071 @ 343.03 c NEW SOLUTION FOUND: 10069 @ 343.421 c NEW SOLUTION FOUND: 10068 @ 346.915 c NEW SOLUTION FOUND: 10067 @ 347.011 c NEW SOLUTION FOUND: 10066 @ 347.09 c NEW SOLUTION FOUND: 10064 @ 347.12 c NEW SOLUTION FOUND: 10062 @ 347.493 c NEW SOLUTION FOUND: 10060 @ 348.573 c NEW SOLUTION FOUND: 10058 @ 348.687 c NEW SOLUTION FOUND: 10057 @ 348.793 c NEW SOLUTION FOUND: 10056 @ 348.904 c NEW SOLUTION FOUND: 10054 @ 348.932 c NEW SOLUTION FOUND: 10053 @ 349.18 c NEW SOLUTION FOUND: 10052 @ 349.29 c NEW SOLUTION FOUND: 10050 @ 349.32 c NEW SOLUTION FOUND: 10042 @ 349.716 c NEW SOLUTION FOUND: 10040 @ 349.749 c NEW SOLUTION FOUND: 10037 @ 349.775 c NEW SOLUTION FOUND: 10033 @ 349.802 c NEW SOLUTION FOUND: 10031 @ 349.883 c NEW SOLUTION FOUND: 10030 @ 350.262 c NEW SOLUTION FOUND: 10029 @ 350.282 c NEW SOLUTION FOUND: 10028 @ 351.629 c NEW SOLUTION FOUND: 10026 @ 351.719 c NEW SOLUTION FOUND: 10024 @ 352.874 c NEW SOLUTION FOUND: 10023 @ 353.186 c NEW SOLUTION FOUND: 10022 @ 353.199 c NEW SOLUTION FOUND: 10018 @ 353.46 c NEW SOLUTION FOUND: 10017 @ 353.496 c NEW SOLUTION FOUND: 10013 @ 353.518 c NEW SOLUTION FOUND: 10011 @ 353.548 c NEW SOLUTION FOUND: 10009 @ 353.622 c NEW SOLUTION FOUND: 10008 @ 353.714 c NEW SOLUTION FOUND: 10007 @ 353.786 c NEW SOLUTION FOUND: 10005 @ 353.816 c NEW SOLUTION FOUND: 10003 @ 354.144 c NEW SOLUTION FOUND: 10001 @ 354.226 c NEW SOLUTION FOUND: 10000 @ 361.221 c NEW SOLUTION FOUND: 9998 @ 361.313 c NEW SOLUTION FOUND: 9996 @ 361.701 c NEW SOLUTION FOUND: 9995 @ 366.688 c NEW SOLUTION FOUND: 9993 @ 366.77 c NEW SOLUTION FOUND: 9991 @ 367.866 c NEW SOLUTION FOUND: 9989 @ 368.267 c NEW SOLUTION FOUND: 9986 @ 368.665 c NEW SOLUTION FOUND: 9982 @ 368.685 c NEW SOLUTION FOUND: 9981 @ 368.72 c NEW SOLUTION FOUND: 9977 @ 368.74 c NEW SOLUTION FOUND: 9975 @ 368.767 c NEW SOLUTION FOUND: 9974 @ 368.845 c NEW SOLUTION FOUND: 9972 @ 368.872 c NEW SOLUTION FOUND: 9971 @ 369.219 c NEW SOLUTION FOUND: 9970 @ 369.295 c NEW SOLUTION FOUND: 9968 @ 369.32 c NEW SOLUTION FOUND: 9967 @ 372.844 c NEW SOLUTION FOUND: 9965 @ 372.953 c NEW SOLUTION FOUND: 9963 @ 373.297 c NEW SOLUTION FOUND: 9961 @ 373.374 c NEW SOLUTION FOUND: 9960 @ 374.681 c NEW SOLUTION FOUND: 9956 @ 374.702 c NEW SOLUTION FOUND: 9954 @ 374.729 c NEW SOLUTION FOUND: 9953 @ 374.836 c NEW SOLUTION FOUND: 9951 @ 374.878 c NEW SOLUTION FOUND: 9949 @ 375.224 c NEW SOLUTION FOUND: 9943 @ 375.631 c NEW SOLUTION FOUND: 9941 @ 375.677 c NEW SOLUTION FOUND: 9938 @ 375.708 c NEW SOLUTION FOUND: 9934 @ 375.729 c NEW SOLUTION FOUND: 9932 @ 375.807 c NEW SOLUTION FOUND: 9930 @ 376.13 c NEW SOLUTION FOUND: 9928 @ 376.21 c NEW SOLUTION FOUND: 9927 @ 377.157 c NEW SOLUTION FOUND: 9925 @ 377.665 c NEW SOLUTION FOUND: 9923 @ 379.052 c NEW SOLUTION FOUND: 9921 @ 379.162 c NEW SOLUTION FOUND: 9911 @ 379.583 c NEW SOLUTION FOUND: 9910 @ 379.622 c NEW SOLUTION FOUND: 9906 @ 379.644 c NEW SOLUTION FOUND: 9904 @ 379.666 c NEW SOLUTION FOUND: 9902 @ 379.746 c NEW SOLUTION FOUND: 9900 @ 380.1 c NEW SOLUTION FOUND: 9899 @ 392.896 c NEW SOLUTION FOUND: 9898 @ 392.929 c NEW SOLUTION FOUND: 9897 @ 392.972 c NEW SOLUTION FOUND: 9893 @ 393 c NEW SOLUTION FOUND: 9891 @ 393.036 c NEW SOLUTION FOUND: 9889 @ 393.151 c NEW SOLUTION FOUND: 9888 @ 393.328 c NEW SOLUTION FOUND: 9887 @ 393.412 c NEW SOLUTION FOUND: 9885 @ 393.448 c NEW SOLUTION FOUND: 9884 @ 393.867 c NEW SOLUTION FOUND: 9883 @ 393.958 c NEW SOLUTION FOUND: 9881 @ 393.991 c NEW SOLUTION FOUND: 9880 @ 397.436 c NEW SOLUTION FOUND: 9878 @ 397.525 c NEW SOLUTION FOUND: 9876 @ 397.89 c NEW SOLUTION FOUND: 9874 @ 397.991 c NEW SOLUTION FOUND: 9870 @ 399.077 c NEW SOLUTION FOUND: 9868 @ 399.113 c NEW SOLUTION FOUND: 9866 @ 399.223 c NEW SOLUTION FOUND: 9864 @ 399.648 c NEW SOLUTION FOUND: 9862 @ 399.768 c NEW SOLUTION FOUND: 9858 @ 400.186 c NEW SOLUTION FOUND: 9857 @ 400.211 c NEW SOLUTION FOUND: 9854 @ 400.226 c NEW SOLUTION FOUND: 9852 @ 400.251 c NEW SOLUTION FOUND: 9849 @ 400.284 c NEW SOLUTION FOUND: 9845 @ 400.308 c NEW SOLUTION FOUND: 9843 @ 400.388 c NEW SOLUTION FOUND: 9841 @ 400.752 c NEW SOLUTION FOUND: 9840 @ 402.131 c NEW SOLUTION FOUND: 9838 @ 402.164 c NEW SOLUTION FOUND: 9837 @ 403.538 c NEW SOLUTION FOUND: 9834 @ 403.655 c NEW SOLUTION FOUND: 9830 @ 403.918 c NEW SOLUTION FOUND: 9828 @ 403.954 c NEW SOLUTION FOUND: 9825 @ 403.984 c NEW SOLUTION FOUND: 9821 @ 404.005 c NEW SOLUTION FOUND: 9819 @ 404.093 c NEW SOLUTION FOUND: 9818 @ 404.188 c NEW SOLUTION FOUND: 9817 @ 404.268 c NEW SOLUTION FOUND: 9815 @ 404.302 c NEW SOLUTION FOUND: 9813 @ 404.666 c NEW SOLUTION FOUND: 9809 @ 409.982 c NEW SOLUTION FOUND: 9807 @ 410.028 c NEW SOLUTION FOUND: 9806 @ 410.106 c NEW SOLUTION FOUND: 9804 @ 410.14 c NEW SOLUTION FOUND: 9803 @ 410.867 c NEW SOLUTION FOUND: 9802 @ 410.894 c NEW SOLUTION FOUND: 9801 @ 412.464 c NEW SOLUTION FOUND: 9799 @ 412.5 c NEW SOLUTION FOUND: 9797 @ 413.23 c NEW SOLUTION FOUND: 9796 @ 413.621 c NEW SOLUTION FOUND: 9792 @ 413.702 c NEW SOLUTION FOUND: 9788 @ 413.726 c NEW SOLUTION FOUND: 9786 @ 413.751 c NEW SOLUTION FOUND: 9785 @ 413.788 c NEW SOLUTION FOUND: 9781 @ 413.811 c NEW SOLUTION FOUND: 9779 @ 413.836 c NEW SOLUTION FOUND: 9778 @ 413.915 c NEW SOLUTION FOUND: 9776 @ 413.951 c NEW SOLUTION FOUND: 9774 @ 414.842 c NEW SOLUTION FOUND: 9773 @ 422.043 c NEW SOLUTION FOUND: 9772 @ 422.131 c NEW SOLUTION FOUND: 9770 @ 422.163 c NEW SOLUTION FOUND: 9765 @ 422.965 c NEW SOLUTION FOUND: 9763 @ 423.003 c NEW SOLUTION FOUND: 9762 @ 423.112 c NEW SOLUTION FOUND: 9760 @ 423.132 c NEW SOLUTION FOUND: 9758 @ 423.308 c NEW SOLUTION FOUND: 9754 @ 423.326 c NEW SOLUTION FOUND: 9752 @ 423.359 c NEW SOLUTION FOUND: 9745 @ 423.382 c NEW SOLUTION FOUND: 9743 @ 423.491 c NEW SOLUTION FOUND: 9742 @ 423.648 c NEW SOLUTION FOUND: 9739 @ 423.727 c NEW SOLUTION FOUND: 9737 @ 424.436 c NEW SOLUTION FOUND: 9736 @ 425.899 c NEW SOLUTION FOUND: 9734 @ 425.981 c NEW SOLUTION FOUND: 9733 @ 427.31 c NEW SOLUTION FOUND: 9728 @ 427.388 c NEW SOLUTION FOUND: 9724 @ 427.412 c NEW SOLUTION FOUND: 9722 @ 427.435 c NEW SOLUTION FOUND: 9721 @ 427.471 c NEW SOLUTION FOUND: 9717 @ 427.494 c NEW SOLUTION FOUND: 9715 @ 427.518 c NEW SOLUTION FOUND: 9713 @ 427.601 c NEW SOLUTION FOUND: 9711 @ 428.095 c NEW SOLUTION FOUND: 9709 @ 428.176 c NEW SOLUTION FOUND: 9708 @ 432.657 c NEW SOLUTION FOUND: 9706 @ 433.179 c NEW SOLUTION FOUND: 9704 @ 434.284 c NEW SOLUTION FOUND: 9702 @ 434.631 c NEW SOLUTION FOUND: 9700 @ 435.034 c NEW SOLUTION FOUND: 9696 @ 435.057 c NEW SOLUTION FOUND: 9694 @ 435.081 c NEW SOLUTION FOUND: 9691 @ 435.118 c NEW SOLUTION FOUND: 9687 @ 435.14 c NEW SOLUTION FOUND: 9685 @ 435.22 c NEW SOLUTION FOUND: 9683 @ 435.54 c NEW SOLUTION FOUND: 9681 @ 435.621 c NEW SOLUTION FOUND: 9680 @ 439.057 c NEW SOLUTION FOUND: 9678 @ 439.091 c NEW SOLUTION FOUND: 9677 @ 439.641 c NEW SOLUTION FOUND: 9676 @ 439.724 c NEW SOLUTION FOUND: 9674 @ 439.76 c NEW SOLUTION FOUND: 9671 @ 440.596 c NEW SOLUTION FOUND: 9668 @ 440.709 c NEW SOLUTION FOUND: 9658 @ 440.788 c NEW SOLUTION FOUND: 9656 @ 440.824 c NEW SOLUTION FOUND: 9653 @ 440.853 c NEW SOLUTION FOUND: 9649 @ 440.873 c NEW SOLUTION FOUND: 9647 @ 440.96 c NEW SOLUTION FOUND: 9645 @ 441.096 c NEW SOLUTION FOUND: 9643 @ 441.177 c NEW SOLUTION FOUND: 9641 @ 441.957 c NEW SOLUTION FOUND: 9640 @ 443.351 c NEW SOLUTION FOUND: 9638 @ 443.459 c NEW SOLUTION FOUND: 9637 @ 444.841 c NEW SOLUTION FOUND: 9633 @ 444.919 c NEW SOLUTION FOUND: 9629 @ 444.937 c NEW SOLUTION FOUND: 9627 @ 444.97 c NEW SOLUTION FOUND: 9626 @ 444.999 c NEW SOLUTION FOUND: 9622 @ 445.022 c NEW SOLUTION FOUND: 9620 @ 445.054 c NEW SOLUTION FOUND: 9617 @ 445.127 c NEW SOLUTION FOUND: 9615 @ 445.683 c NEW SOLUTION FOUND: 9613 @ 445.765 c NEW SOLUTION FOUND: 9612 @ 452.743 c NEW SOLUTION FOUND: 9610 @ 454.059 c NEW SOLUTION FOUND: 9608 @ 454.159 c NEW SOLUTION FOUND: 9603 @ 454.336 c NEW SOLUTION FOUND: 9602 @ 454.375 c NEW SOLUTION FOUND: 9598 @ 454.4 c NEW SOLUTION FOUND: 9596 @ 454.431 c NEW SOLUTION FOUND: 9595 @ 454.505 c NEW SOLUTION FOUND: 9593 @ 454.535 c NEW SOLUTION FOUND: 9591 @ 454.688 c NEW SOLUTION FOUND: 9589 @ 454.768 c NEW SOLUTION FOUND: 9587 @ 455.126 c NEW SOLUTION FOUND: 9586 @ 463.958 c NEW SOLUTION FOUND: 9584 @ 464.025 c NEW SOLUTION FOUND: 9582 @ 465.356 c NEW SOLUTION FOUND: 9580 @ 465.465 c NEW SOLUTION FOUND: 9574 @ 465.871 c NEW SOLUTION FOUND: 9570 @ 465.899 c NEW SOLUTION FOUND: 9569 @ 465.939 c NEW SOLUTION FOUND: 9565 @ 465.968 c NEW SOLUTION FOUND: 9563 @ 466.001 c NEW SOLUTION FOUND: 9561 @ 466.082 c NEW SOLUTION FOUND: 9559 @ 466.438 c NEW SOLUTION FOUND: 9558 @ 469.918 c NEW SOLUTION FOUND: 9556 @ 470.015 c NEW SOLUTION FOUND: 9555 @ 470.376 c NEW SOLUTION FOUND: 9554 @ 470.469 c NEW SOLUTION FOUND: 9552 @ 470.497 c NEW SOLUTION FOUND: 9546 @ 471.586 c NEW SOLUTION FOUND: 9544 @ 471.702 c NEW SOLUTION FOUND: 9543 @ 472.125 c NEW SOLUTION FOUND: 9542 @ 472.235 c NEW SOLUTION FOUND: 9540 @ 472.269 c NEW SOLUTION FOUND: 9531 @ 472.693 c NEW SOLUTION FOUND: 9530 @ 472.735 c NEW SOLUTION FOUND: 9526 @ 472.759 c NEW SOLUTION FOUND: 9524 @ 472.783 c NEW SOLUTION FOUND: 9523 @ 472.863 c NEW SOLUTION FOUND: 9521 @ 472.898 c NEW SOLUTION FOUND: 9519 @ 473.264 c NEW SOLUTION FOUND: 9518 @ 474.617 c NEW SOLUTION FOUND: 9516 @ 474.698 c NEW SOLUTION FOUND: 9515 @ 476.07 c NEW SOLUTION FOUND: 9512 @ 476.181 c NEW SOLUTION FOUND: 9505 @ 476.612 c NEW SOLUTION FOUND: 9503 @ 476.648 c NEW SOLUTION FOUND: 9500 @ 476.677 c NEW SOLUTION FOUND: 9496 @ 476.699 c NEW SOLUTION FOUND: 9493 @ 476.782 c NEW SOLUTION FOUND: 9491 @ 477.156 c NEW SOLUTION FOUND: 9490 @ 491.062 c NEW SOLUTION FOUND: 9488 @ 491.463 c NEW SOLUTION FOUND: 9486 @ 491.554 c NEW SOLUTION FOUND: 9485 @ 495.042 c NEW SOLUTION FOUND: 9484 @ 495.07 c NEW SOLUTION FOUND: 9483 @ 495.098 c NEW SOLUTION FOUND: 9481 @ 495.477 c NEW SOLUTION FOUND: 9480 @ 495.572 c NEW SOLUTION FOUND: 9479 @ 495.587 c NEW SOLUTION FOUND: 9475 @ 496.684 c NEW SOLUTION FOUND: 9474 @ 496.712 c NEW SOLUTION FOUND: 9473 @ 496.841 c NEW SOLUTION FOUND: 9471 @ 496.886 c NEW SOLUTION FOUND: 9470 @ 497.307 c NEW SOLUTION FOUND: 9469 @ 497.428 c NEW SOLUTION FOUND: 9467 @ 497.463 c NEW SOLUTION FOUND: 9464 @ 497.892 c NEW SOLUTION FOUND: 9460 @ 497.918 c NEW SOLUTION FOUND: 9458 @ 497.95 c NEW SOLUTION FOUND: 9455 @ 497.98 c NEW SOLUTION FOUND: 9451 @ 498.008 c NEW SOLUTION FOUND: 9450 @ 498.086 c NEW SOLUTION FOUND: 9448 @ 498.121 c NEW SOLUTION FOUND: 9446 @ 498.479 c NEW SOLUTION FOUND: 9443 @ 499.939 c NEW SOLUTION FOUND: 9441 @ 501.377 c NEW SOLUTION FOUND: 9439 @ 501.493 c NEW SOLUTION FOUND: 9433 @ 501.925 c NEW SOLUTION FOUND: 9432 @ 501.932 c NEW SOLUTION FOUND: 9429 @ 501.949 c NEW SOLUTION FOUND: 9428 @ 501.989 c NEW SOLUTION FOUND: 9424 @ 502.016 c NEW SOLUTION FOUND: 9422 @ 502.048 c NEW SOLUTION FOUND: 9420 @ 502.122 c NEW SOLUTION FOUND: 9418 @ 502.488 c NEW SOLUTION FOUND: 9416 @ 515.063 c NEW SOLUTION FOUND: 9415 @ 515.113 c NEW SOLUTION FOUND: 9414 @ 515.207 c NEW SOLUTION FOUND: 9412 @ 515.24 c NEW SOLUTION FOUND: 9411 @ 515.616 c NEW SOLUTION FOUND: 9410 @ 515.701 c NEW SOLUTION FOUND: 9408 @ 515.736 c NEW SOLUTION FOUND: 9405 @ 520.473 c NEW SOLUTION FOUND: 9404 @ 520.83 c NEW SOLUTION FOUND: 9403 @ 520.923 c NEW SOLUTION FOUND: 9401 @ 520.957 c NEW SOLUTION FOUND: 9400 @ 525.021 c NEW SOLUTION FOUND: 9397 @ 525.325 c NEW SOLUTION FOUND: 9395 @ 525.358 c NEW SOLUTION FOUND: 9394 @ 525.388 c NEW SOLUTION FOUND: 9390 @ 525.409 c NEW SOLUTION FOUND: 9388 @ 525.443 c NEW SOLUTION FOUND: 9385 @ 525.516 c NEW SOLUTION FOUND: 9383 @ 525.633 c NEW SOLUTION FOUND: 9381 @ 525.729 c NEW SOLUTION FOUND: 9379 @ 526.216 c NEW SOLUTION FOUND: 9377 @ 527.279 c NEW SOLUTION FOUND: 9375 @ 527.313 c NEW SOLUTION FOUND: 9374 @ 527.392 c NEW SOLUTION FOUND: 9372 @ 527.425 c NEW SOLUTION FOUND: 9371 @ 527.886 c NEW SOLUTION FOUND: 9370 @ 527.973 c NEW SOLUTION FOUND: 9368 @ 528.008 c NEW SOLUTION FOUND: 9367 @ 528.988 c NEW SOLUTION FOUND: 9365 @ 529.512 c NEW SOLUTION FOUND: 9363 @ 530.917 c NEW SOLUTION FOUND: 9361 @ 531.026 c NEW SOLUTION FOUND: 9358 @ 531.293 c NEW SOLUTION FOUND: 9356 @ 531.328 c NEW SOLUTION FOUND: 9355 @ 531.357 c NEW SOLUTION FOUND: 9351 @ 531.379 c NEW SOLUTION FOUND: 9349 @ 531.413 c NEW SOLUTION FOUND: 9348 @ 531.493 c NEW SOLUTION FOUND: 9346 @ 531.527 c NEW SOLUTION FOUND: 9344 @ 531.623 c NEW SOLUTION FOUND: 9342 @ 531.707 c NEW SOLUTION FOUND: 9340 @ 532.077 c NEW SOLUTION FOUND: 9339 @ 540.614 c NEW SOLUTION FOUND: 9337 @ 540.648 c NEW SOLUTION FOUND: 9335 @ 540.773 c NEW SOLUTION FOUND: 9334 @ 540.906 c NEW SOLUTION FOUND: 9331 @ 541.016 c NEW SOLUTION FOUND: 9329 @ 541.34 c NEW SOLUTION FOUND: 9324 @ 541.602 c NEW SOLUTION FOUND: 9320 @ 541.626 c NEW SOLUTION FOUND: 9318 @ 541.652 c NEW SOLUTION FOUND: 9316 @ 541.742 c NEW SOLUTION FOUND: 9315 @ 541.84 c NEW SOLUTION FOUND: 9314 @ 541.92 c NEW SOLUTION FOUND: 9312 @ 541.958 c NEW SOLUTION FOUND: 9310 @ 542.295 c NEW SOLUTION FOUND: 9308 @ 542.378 c NEW SOLUTION FOUND: 9307 @ 543.289 c NEW SOLUTION FOUND: 9305 @ 543.794 c NEW SOLUTION FOUND: 9303 @ 544.934 c NEW SOLUTION FOUND: 9301 @ 545.285 c NEW SOLUTION FOUND: 9296 @ 545.692 c NEW SOLUTION FOUND: 9295 @ 545.723 c NEW SOLUTION FOUND: 9293 @ 545.76 c NEW SOLUTION FOUND: 9290 @ 545.804 c NEW SOLUTION FOUND: 9286 @ 545.833 c NEW SOLUTION FOUND: 9284 @ 545.92 c NEW SOLUTION FOUND: 9283 @ 546.202 c NEW SOLUTION FOUND: 9280 @ 546.362 c NEW SOLUTION FOUND: 9279 @ 554.997 c NEW SOLUTION FOUND: 9278 @ 555.168 c NEW SOLUTION FOUND: 9277 @ 555.189 c NEW SOLUTION FOUND: 9275 @ 555.638 c NEW SOLUTION FOUND: 9274 @ 561.537 c NEW SOLUTION FOUND: 9272 @ 561.997 c NEW SOLUTION FOUND: 9270 @ 562.851 c NEW SOLUTION FOUND: 9266 @ 563.101 c NEW SOLUTION FOUND: 9263 @ 563.117 c NEW SOLUTION FOUND: 9259 @ 563.145 c NEW SOLUTION FOUND: 9258 @ 563.185 c NEW SOLUTION FOUND: 9254 @ 563.209 c NEW SOLUTION FOUND: 9252 @ 563.234 c NEW SOLUTION FOUND: 9249 @ 563.461 c NEW SOLUTION FOUND: 9247 @ 564.341 c NEW SOLUTION FOUND: 9244 @ 568.442 c NEW SOLUTION FOUND: 9242 @ 568.632 c NEW SOLUTION FOUND: 9241 @ 569.28 c NEW SOLUTION FOUND: 9240 @ 569.295 c NEW SOLUTION FOUND: 9236 @ 570.248 c NEW SOLUTION FOUND: 9234 @ 570.283 c NEW SOLUTION FOUND: 9230 @ 570.375 c NEW SOLUTION FOUND: 9226 @ 570.399 c NEW SOLUTION FOUND: 9224 @ 570.424 c NEW SOLUTION FOUND: 9221 @ 570.461 c NEW SOLUTION FOUND: 9217 @ 570.486 c NEW SOLUTION FOUND: 9215 @ 570.573 c NEW SOLUTION FOUND: 9213 @ 570.609 c NEW SOLUTION FOUND: 9211 @ 570.802 c NEW SOLUTION FOUND: 9210 @ 571.412 c NEW SOLUTION FOUND: 9207 @ 571.712 c NEW SOLUTION FOUND: 9206 @ 572.674 c NEW SOLUTION FOUND: 9204 @ 573.483 c NEW SOLUTION FOUND: 9193 @ 574.271 c NEW SOLUTION FOUND: 9192 @ 574.315 c NEW SOLUTION FOUND: 9188 @ 574.338 c NEW SOLUTION FOUND: 9186 @ 574.364 c NEW SOLUTION FOUND: 9185 @ 574.658 c NEW SOLUTION FOUND: 9183 @ 574.685 c NEW SOLUTION FOUND: 9181 @ 575.317 c NEW SOLUTION FOUND: 9179 @ 575.63 c NEW SOLUTION FOUND: 9178 @ 587.899 c NEW SOLUTION FOUND: 9171 @ 588.79 c NEW SOLUTION FOUND: 9169 @ 588.841 c NEW SOLUTION FOUND: 9166 @ 588.902 c NEW SOLUTION FOUND: 9162 @ 588.946 c NEW SOLUTION FOUND: 9158 @ 589.052 c NEW SOLUTION FOUND: 9157 @ 589.249 c NEW SOLUTION FOUND: 9155 @ 589.284 c NEW SOLUTION FOUND: 9153 @ 590.168 c NEW SOLUTION FOUND: 9149 @ 598.075 c NEW SOLUTION FOUND: 9145 @ 598.105 c NEW SOLUTION FOUND: 9140 @ 598.143 c NEW SOLUTION FOUND: 9138 @ 598.178 c NEW SOLUTION FOUND: 9136 @ 598.326 c NEW SOLUTION FOUND: 9135 @ 598.542 c NEW SOLUTION FOUND: 9134 @ 598.767 c NEW SOLUTION FOUND: 9132 @ 598.803 c NEW SOLUTION FOUND: 9131 @ 604.672 c NEW SOLUTION FOUND: 9130 @ 605.173 c NEW SOLUTION FOUND: 9129 @ 605.541 c NEW SOLUTION FOUND: 9127 @ 605.575 c NEW SOLUTION FOUND: 9126 @ 611.362 c NEW SOLUTION FOUND: 9124 @ 612.095 c NEW SOLUTION FOUND: 9122 @ 613.241 c NEW SOLUTION FOUND: 9120 @ 613.731 c NEW SOLUTION FOUND: 9118 @ 613.938 c NEW SOLUTION FOUND: 9116 @ 613.975 c NEW SOLUTION FOUND: 9113 @ 614.006 c NEW SOLUTION FOUND: 9109 @ 614.035 c NEW SOLUTION FOUND: 9107 @ 614.131 c NEW SOLUTION FOUND: 9105 @ 614.166 c NEW SOLUTION FOUND: 9103 @ 614.373 c NEW SOLUTION FOUND: 9102 @ 614.592 c NEW SOLUTION FOUND: 9101 @ 614.811 c NEW SOLUTION FOUND: 9099 @ 614.841 c NEW SOLUTION FOUND: 9098 @ 618.845 c NEW SOLUTION FOUND: 9096 @ 619.019 c NEW SOLUTION FOUND: 9094 @ 619.474 c NEW SOLUTION FOUND: 9092 @ 619.707 c NEW SOLUTION FOUND: 9091 @ 620.458 c NEW SOLUTION FOUND: 9087 @ 620.488 c NEW SOLUTION FOUND: 9085 @ 620.517 c NEW SOLUTION FOUND: 9084 @ 620.715 c NEW SOLUTION FOUND: 9082 @ 620.752 c NEW SOLUTION FOUND: 9074 @ 621.009 c NEW SOLUTION FOUND: 9070 @ 621.032 c NEW SOLUTION FOUND: 9069 @ 621.069 c NEW SOLUTION FOUND: 9065 @ 621.092 c NEW SOLUTION FOUND: 9063 @ 621.122 c NEW SOLUTION FOUND: 9061 @ 621.353 c NEW SOLUTION FOUND: 9059 @ 622.074 c NEW SOLUTION FOUND: 9056 @ 623.644 c NEW SOLUTION FOUND: 9049 @ 624.905 c NEW SOLUTION FOUND: 9048 @ 624.942 c NEW SOLUTION FOUND: 9044 @ 624.971 c NEW SOLUTION FOUND: 9042 @ 625 c NEW SOLUTION FOUND: 9040 @ 625.092 c NEW SOLUTION FOUND: 9038 @ 625.122 c NEW SOLUTION FOUND: 9035 @ 625.32 c NEW SOLUTION FOUND: 9033 @ 625.64 c NEW SOLUTION FOUND: 9031 @ 625.91 c NEW SOLUTION FOUND: 9029 @ 636.547 c NEW SOLUTION FOUND: 9027 @ 636.586 c NEW SOLUTION FOUND: 9025 @ 636.891 c NEW SOLUTION FOUND: 9024 @ 637.12 c NEW SOLUTION FOUND: 9021 @ 637.349 c NEW SOLUTION FOUND: 9017 @ 642.431 c NEW SOLUTION FOUND: 9015 @ 642.6 c NEW SOLUTION FOUND: 9013 @ 643.011 c NEW SOLUTION FOUND: 9012 @ 648.249 c NEW SOLUTION FOUND: 9009 @ 648.416 c NEW SOLUTION FOUND: 9007 @ 649.082 c NEW SOLUTION FOUND: 9006 @ 653.423 c NEW SOLUTION FOUND: 9004 @ 653.932 c NEW SOLUTION FOUND: 9003 @ 658.749 c NEW SOLUTION FOUND: 9001 @ 658.782 c NEW SOLUTION FOUND: 9000 @ 663.175 c NEW SOLUTION FOUND: 8999 @ 686.871 c NEW SOLUTION FOUND: 8998 @ 686.919 c NEW SOLUTION FOUND: 8996 @ 687.024 c NEW SOLUTION FOUND: 8993 @ 687.164 c NEW SOLUTION FOUND: 8989 @ 687.19 c NEW SOLUTION FOUND: 8987 @ 687.382 c NEW SOLUTION FOUND: 8986 @ 687.598 c NEW SOLUTION FOUND: 8984 @ 687.647 c NEW SOLUTION FOUND: 8982 @ 689.037 c NEW SOLUTION FOUND: 8981 @ 700.657 c NEW SOLUTION FOUND: 8978 @ 701.817 c NEW SOLUTION FOUND: 8974 @ 715.94 c NEW SOLUTION FOUND: 8972 @ 716.032 c NEW SOLUTION FOUND: 8971 @ 716.289 c NEW SOLUTION FOUND: 8969 @ 716.325 c NEW SOLUTION FOUND: 8967 @ 717.441 c NEW SOLUTION FOUND: 8966 @ 726.637 c NEW SOLUTION FOUND: 8965 @ 740.317 c NEW SOLUTION FOUND: 8962 @ 740.829 c NEW SOLUTION FOUND: 8960 @ 744.5 c NEW SOLUTION FOUND: 8957 @ 756.723 c NEW SOLUTION FOUND: 8956 @ 794.343 c NEW SOLUTION FOUND: 8953 @ 806.432 c NEW SOLUTION FOUND: 8951 @ 806.507 c NEW SOLUTION FOUND: 8944 @ 806.586 c NEW SOLUTION FOUND: 8942 @ 806.953 c NEW SOLUTION FOUND: 8941 @ 807.149 c NEW SOLUTION FOUND: 8939 @ 807.177 c NEW SOLUTION FOUND: 8938 @ 809.337 c NEW SOLUTION FOUND: 8936 @ 809.367 c NEW SOLUTION FOUND: 8935 @ 820.082 c NEW SOLUTION FOUND: 8933 @ 820.139 c NEW SOLUTION FOUND: 8932 @ 860.081 c NEW SOLUTION FOUND: 8931 @ 986.909 c NEW SOLUTION FOUND: 8930 @ 1006.03 c NEW SOLUTION FOUND: 8928 @ 1006.1 c NEW SOLUTION FOUND: 8927 @ 1008.54 c NEW SOLUTION FOUND: 8926 @ 1010.64 c NEW SOLUTION FOUND: 8925 @ 1011.27 c NEW SOLUTION FOUND: 8924 @ 1011.46 c NEW SOLUTION FOUND: 8919 @ 1011.54 c NEW SOLUTION FOUND: 8917 @ 1011.6 c NEW SOLUTION FOUND: 8912 @ 1011.73 c NEW SOLUTION FOUND: 8910 @ 1011.81 c NEW SOLUTION FOUND: 8908 @ 1012.07 c NEW SOLUTION FOUND: 8907 @ 1012.29 c NEW SOLUTION FOUND: 8905 @ 1012.35 c NEW SOLUTION FOUND: 8903 @ 1014.34 c NEW SOLUTION FOUND: 8902 @ 1030.37 c NEW SOLUTION FOUND: 8900 @ 1068.11 c NEW SOLUTION FOUND: 8897 @ 1068.37 c NEW SOLUTION FOUND: 8895 @ 1069.9 c NEW SOLUTION FOUND: 8894 @ 1070.13 c NEW SOLUTION FOUND: 8892 @ 1070.18 c NEW SOLUTION FOUND: 8885 @ 1070.28 c NEW SOLUTION FOUND: 8880 @ 1070.45 c NEW SOLUTION FOUND: 8878 @ 1070.49 c NEW SOLUTION FOUND: 8875 @ 1070.88 c NEW SOLUTION FOUND: 8873 @ 1073.23 c NEW SOLUTION FOUND: 8869 @ 1081.08 c NEW SOLUTION FOUND: 8867 @ 1081.12 c NEW SOLUTION FOUND: 8865 @ 1081.6 c NEW SOLUTION FOUND: 8862 @ 1081.86 c NEW SOLUTION FOUND: 8861 @ 1084.48 c NEW SOLUTION FOUND: 8859 @ 1084.53 c NEW SOLUTION FOUND: 8858 @ 1166.76 c NEW SOLUTION FOUND: 8857 @ 1167.88 c NEW SOLUTION FOUND: 8855 @ 1167.94 s SATISFIABLE v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1014_bit0 -C1017_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1027_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1042_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 C1051_bit0 -C1054_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 C1070_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1083_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1098_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 C1107_bit0 -C1110_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 C1126_bit0 -C1127_bit0 C1128_bit0 -C1129_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1139_bit0 C1140_bit0 C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 C1153_bit0 -C1156_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1166_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1181_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 C1190_bit0 -C1193_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1204_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 C1209_bit0 -C1212_bit0 -C1213_bit0 -C1214_bit0 C1215_bit0 -C1216_bit0 -C1217_bit0 -C1218_bit0 -C1219_bit0 -C1222_bit0 -C1224_bit0 -C1225_bit0 -C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1234_bit0 -C1237_bit0 -C1239_bit0 -C1240_bit0 -C1241_bit0 -C1242_bit0 -C1243_bit0 -C1244_bit0 -C1245_bit0 C1246_bit0 -C1249_bit0 -C1251_bit0 -C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 -C1256_bit0 -C1258_bit0 -C1259_bit0 -C1260_bit0 -C1261_bit0 -C1262_bit0 C1263_bit0 C1265_bit0 -C1266_bit0 C1267_bit0 -C1268_bit0 C1270_bit0 -C1271_bit0 -C1272_bit0 -C1273_bit0 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1278_bit0 -C1279_bit0 C1280_bit0 -C1281_bit0 -C1283_bit0 -C1284_bit0 -C1285_bit0 -C1286_bit0 -C1289_bit0 -C1290_bit0 C1291_bit0 C1292_bit0 -C1293_bit0 -C1294_bit0 C1295_bit0 -C1296_bit0 -C1297_bit0 -C1298_bit0 -C1299_bit0 -C1300_bit0 -C1303_bit0 -C1304_bit0 C1305_bit0 C1306_bit0 -C1307_bit0 -C1308_bit0 -C1309_bit0 -C1310_bit0 -C1313_bit0 -C1314_bit0 -C1315_bit0 -C1316_bit0 -C1317_bit0 -C1318_bit0 -C1319_bit0 -C1320_bit0 -C1321_bit0 -C1322_bit0 -C1323_bit0 -C1326_bit0 -C1327_bit0 -C1328_bit0 -C1329_bit0 -C1330_bit0 -C1331_bit0 -C1332_bit0 -C1333_bit0 -C1335_bit0 -C1338_bit0 -C1339_bit0 -C1340_bit0 -C1341_bit0 -C1343_bit0 -C1344_bit0 -C1345_bit0 -C1347_bit0 -C1348_bit0 -C1349_bit0 -C1351_bit0 -C1352_bit0 -C1353_bit0 -C1354_bit0 -C1356_bit0 C1357_bit0 -C1358_bit0 -C1359_bit0 -C1360_bit0 -C1361_bit0 -C1362_bit0 -C1363_bit0 -C1366_bit0 -C1367_bit0 C1368_bit0 C1369_bit0 C1370_bit0 -C1371_bit0 -C1372_bit0 -C1373_bit0 -C1374_bit0 -C1375_bit0 -C1376_bit0 -C1377_bit0 -C1380_bit0 -C1381_bit0 -C1382_bit0 -C1383_bit0 -C1384_bit0 -C1385_bit0 -C1386_bit0 -C1387_bit0 -C1390_bit0 -C1391_bit0 -C1392_bit0 -C1393_bit0 -C1394_bit0 -C1395_bit0 -C1396_bit0 -C1397_bit0 -C1398_bit0 -C1399_bit0 -C1400_bit0 -C1403_bit0 -C1404_bit0 -C1405_bit0 -C1406_bit0 -C1407_bit0 -C1408_bit0 -C1409_bit0 -C1410_bit0 -C1411_bit0 C1412_bit0 -C1415_bit0 -C1416_bit0 -C1417_bit0 -C1418_bit0 -C1419_bit0 -C1420_bit0 C1421_bit0 -C1422_bit0 -C1423_bit0 -C1424_bit0 -C1425_bit0 C1426_bit0 -C1428_bit0 -C1429_bit0 -C1430_bit0 C1431_bit0 -C1432_bit0 -C1433_bit0 -C1434_bit0 -C1435_bit0 -C1436_bit0 -C1437_bit0 -C1438_bit0 -C1439_bit0 -C1440_bit0 -C1441_bit0 -C1442_bit0 -C1443_bit0 -C1444_bit0 -C1445_bit0 -C1446_bit0 -C1447_bit0 -C1448_bit0 -C1449_bit0 -C1450_bit0 -C1451_bit0 -C1452_bit0 -C1453_bit0 -C1454_bit0 C1456_bit0 -C1457_bit0 -C1458_bit0 -C1459_bit0 -C1460_bit0 -C1461_bit0 -C1463_bit0 -C1464_bit0 C1465_bit0 -C1466_bit0 -C1467_bit0 -C1468_bit0 C1469_bit0 -C1470_bit0 -C1471_bit0 -C1472_bit0 -C1473_bit0 -C1474_bit0 -C1475_bit0 -C1476_bit0 -C1479_bit0 -C1480_bit0 -C1481_bit0 -C1482_bit0 -C1483_bit0 -C1484_bit0 -C1485_bit0 -C1486_bit0 -C1489_bit0 -C1490_bit0 -C1491_bit0 -C1492_bit0 -C1493_bit0 -C1494_bit0 -C1495_bit0 -C1496_bit0 -C1497_bit0 -C1498_bit0 -C1499_bit0 -C1500_bit0 -C1501_bit0 -C1502_bit0 -C1503_bit0 -C1506_bit0 -C1507_bit0 -C1508_bit0 -C1509_bit0 -C1510_bit0 -C1511_bit0 -C1512_bit0 -C1513_bit0 -C1514_bit0 -C1515_bit0 -C1516_bit0 -C1517_bit0 C1519_bit0 -C1522_bit0 -C1523_bit0 -C1524_bit0 -C1525_bit0 -C1526_bit0 -C1527_bit0 -C1528_bit0 -C1529_bit0 -C1530_bit0 -C1531_bit0 -C1532_bit0 C1533_bit0 -C1535_bit0 -C1536_bit0 C1537_bit0 C1538_bit0 -C1539_bit0 -C1540_bit0 -C1541_bit0 -C1542_bit0 -C1543_bit0 -C1544_bit0 -C1545_bit0 -C1546_bit0 -C1549_bit0 -C1550_bit0 -C1551_bit0 -C1552_bit0 -C1553_bit0 -C1554_bit0 -C1555_bit0 -C1556_bit0 -C1559_bit0 -C1560_bit0 -C1561_bit0 -C1562_bit0 -C1563_bit0 -C1564_bit0 -C1565_bit0 -C1566_bit0 -C1567_bit0 -C1568_bit0 -C1569_bit0 -C1570_bit0 -C1571_bit0 -C1572_bit0 -C1573_bit0 -C1576_bit0 -C1577_bit0 -C1578_bit0 -C1579_bit0 -C1580_bit0 -C1581_bit0 -C1582_bit0 -C1583_bit0 -C1584_bit0 -C1585_bit0 -C1586_bit0 -C1587_bit0 -C1588_bit0 C1589_bit0 -C1592_bit0 -C1593_bit0 -C1594_bit0 -C1595_bit0 -C1596_bit0 -C1597_bit0 -C1598_bit0 -C1599_bit0 -C1600_bit0 -C1601_bit0 -C1602_bit0 -C1603_bit0 -C1605_bit0 -C1606_bit0 -C1607_bit0 -C1608_bit0 -C1609_bit0 -C1610_bit0 -C1611_bit0 -C1612_bit0 -C1613_bit0 -C1614_bit0 -C1615_bit0 -C1616_bit0 -C1617_bit0 -C1618_bit0 -C1619_bit0 -C1620_bit0 -C1621_bit0 -C1622_bit0 -C1623_bit0 -C1624_bit0 -C1625_bit0 -C1626_bit0 -C1627_bit0 -C1628_bit0 -C1629_bit0 -C1630_bit0 -C1631_bit0 C1633_bit0 -C1634_bit0 -C1635_bit0 -C1636_bit0 -C1637_bit0 C1638_bit0 -C1639_bit0 -C1640_bit0 -C1641_bit0 C1642_bit0 -C1643_bit0 -C1644_bit0 -C1645_bit0 -C1646_bit0 -C1647_bit0 -C1648_bit0 -C1650_bit0 -C1651_bit0 -C1652_bit0 C1653_bit0 -C1656_bit0 -C1657_bit0 -C1658_bit0 -C1659_bit0 -C1660_bit0 -C1661_bit0 -C1662_bit0 -C1663_bit0 -C1666_bit0 -C1667_bit0 -C1668_bit0 -C1669_bit0 -C1670_bit0 -C1671_bit0 -C1672_bit0 -C1673_bit0 -C1674_bit0 -C1675_bit0 -C1676_bit0 -C1677_bit0 -C1678_bit0 -C1679_bit0 -C1680_bit0 -C1683_bit0 -C1684_bit0 -C1685_bit0 -C1686_bit0 -C1687_bit0 -C1688_bit0 -C1689_bit0 -C1690_bit0 -C1691_bit0 -C1692_bit0 -C1693_bit0 -C1694_bit0 C1696_bit0 -C1699_bit0 -C1700_bit0 -C1701_bit0 -C1702_bit0 -C1703_bit0 -C1704_bit0 C1705_bit0 -C1706_bit0 C1707_bit0 -C1708_bit0 -C1709_bit0 -C1710_bit0 -C1712_bit0 -C1713_bit0 C1714_bit0 C1715_bit0 -C1716_bit0 -C1717_bit0 -C1718_bit0 -C1719_bit0 -C1720_bit0 -C1721_bit0 -C1722_bit0 -C1723_bit0 -C1726_bit0 -C1727_bit0 -C1728_bit0 -C1729_bit0 -C1730_bit0 -C1731_bit0 -C1732_bit0 -C1733_bit0 -C1736_bit0 -C1737_bit0 -C1738_bit0 -C1739_bit0 -C1740_bit0 -C1741_bit0 -C1742_bit0 -C1743_bit0 -C1744_bit0 -C1745_bit0 -C1746_bit0 -C1747_bit0 -C1748_bit0 -C1749_bit0 -C1750_bit0 -C1753_bit0 -C1754_bit0 -C1755_bit0 -C1756_bit0 -C1757_bit0 -C1758_bit0 -C1759_bit0 -C1760_bit0 -C1761_bit0 -C1762_bit0 -C1763_bit0 -C1764_bit0 -C1765_bit0 C1766_bit0 -C1769_bit0 -C1770_bit0 -C1771_bit0 -C1772_bit0 -C1773_bit0 -C1774_bit0 -C1775_bit0 -C1776_bit0 -C1777_bit0 -C1778_bit0 -C1779_bit0 -C1780_bit0 -C1782_bit0 -C1783_bit0 -C1784_bit0 -C1785_bit0 -C1786_bit0 -C1787_bit0 -C1788_bit0 -C1789_bit0 -C1790_bit0 -C1791_bit0 -C1792_bit0 -C1793_bit0 -C1796_bit0 -C1797_bit0 -C1798_bit0 -C1799_bit0 -C1800_bit0 -C1812_bit0 -C1813_bit0 -C1814_bit0 -C1815_bit0 -C1816_bit0 -C1817_bit0 -C1818_bit0 -C1821_bit0 -C1822_bit0 -C1823_bit0 -C1824_bit0 -C1825_bit0 -C1829_bit0 -C1833_bit0 -C1837_bit0 -C1838_bit0 C1839_bit0 -C1840_bit0 -C1841_bit0 -C1842_bit0 -C1843_bit0 -C1846_bit0 C1847_bit0 -C1848_bit0 -C1849_bit0 -C1850_bit0 -C1851_bit0 -C1854_bit0 -C1856_bit0 -C1860_bit0 -C1864_bit0 -C1865_bit0 -C1867_bit0 -C1870_bit0 -C1871_bit0 -C1872_bit0 -C1873_bit0 -C1875_bit0 -C1876_bit0 -C1877_bit0 -C1878_bit0 -C1879_bit0 C1880_bit0 -C1882_bit0 -C1883_bit0 C1884_bit0 -C1885_bit0 -C1886_bit0 -C1887_bit0 -C1888_bit0 C1889_bit0 -C1890_bit0 -C1891_bit0 -C1892_bit0 -C1893_bit0 -C1896_bit0 -C1897_bit0 C1898_bit0 C1899_bit0 -C1900_bit0 -C1904_bit0 -C1908_bit0 -C1912_bit0 -C1913_bit0 -C1914_bit0 -C1915_bit0 -C1916_bit0 -C1917_bit0 -C1918_bit0 -C1921_bit0 -C1922_bit0 C1923_bit0 C1924_bit0 -C1925_bit0 -C1926_bit0 -C1929_bit0 -C1933_bit0 -C1937_bit0 -C1938_bit0 -C1939_bit0 -C1940_bit0 -C1941_bit0 -C1942_bit0 -C1943_bit0 -C1946_bit0 -C1947_bit0 -C1948_bit0 -C1949_bit0 -C1950_bit0 -C1951_bit0 -C1952_bit0 -C1954_bit0 C1955_bit0 -C1956_bit0 -C1959_bit0 -C1960_bit0 -C1961_bit0 -C1962_bit0 -C1964_bit0 -C1965_bit0 C1967_bit0 -C1970_bit0 -C1971_bit0 -C1972_bit0 -C1973_bit0 -C1974_bit0 -C1975_bit0 -C1976_bit0 C1977_bit0 -C1978_bit0 -C1979_bit0 -C1980_bit0 -C1982_bit0 -C1983_bit0 C1984_bit0 C1985_bit0 -C1986_bit0 -C1987_bit0 -C1988_bit0 -C1989_bit0 -C1990_bit0 -C1991_bit0 C1992_bit0 -C1993_bit0 -C1994_bit0 -C1995_bit0 -C1996_bit0 -C1997_bit0 -C2000_bit0 -C2001_bit0 C2002_bit0 C2003_bit0 -C2004_bit0 -C2005_bit0 -C2008_bit0 -C2011_bit0 -C2012_bit0 -C2013_bit0 -C2014_bit0 -C2016_bit0 -C2017_bit0 -C2018_bit0 -C2019_bit0 -C2020_bit0 -C2021_bit0 -C2022_bit0 -C2023_bit0 -C2024_bit0 -C2025_bit0 -C2026_bit0 -C2029_bit0 -C2030_bit0 C2031_bit0 C2032_bit0 -C2033_bit0 -C2034_bit0 -C2035_bit0 -C2036_bit0 -C2037_bit0 -C2038_bit0 -C2039_bit0 -C2040_bit0 -C2041_bit0 -C2042_bit0 -C2043_bit0 C2045_bit0 -C2048_bit0 -C2049_bit0 -C2050_bit0 -C2051_bit0 -C2052_bit0 -C2053_bit0 -C2054_bit0 -C2055_bit0 -C2056_bit0 -C2057_bit0 -C2058_bit0 -C2059_bit0 -C2060_bit0 -C2061_bit0 -C2062_bit0 -C2063_bit0 -C2064_bit0 -C2065_bit0 -C2066_bit0 -C2067_bit0 -C2070_bit0 -C2071_bit0 -C2072_bit0 -C2073_bit0 -C2074_bit0 -C2075_bit0 -C2076_bit0 -C2077_bit0 -C2078_bit0 -C2079_bit0 -C2080_bit0 -C2081_bit0 -C2082_bit0 -C2083_bit0 -C2084_bit0 -C2085_bit0 -C2086_bit0 -C2087_bit0 -C2088_bit0 -C2091_bit0 -C2092_bit0 -C2093_bit0 -C2094_bit0 -C2095_bit0 -C2096_bit0 -C2097_bit0 -C2098_bit0 -C2099_bit0 -C2100_bit0 -C2101_bit0 -C2102_bit0 C2103_bit0 -C2106_bit0 -C2107_bit0 -C2108_bit0 -C2109_bit0 -C2110_bit0 -C2111_bit0 -C2112_bit0 -C2113_bit0 -C2114_bit0 -C2115_bit0 -C2116_bit0 -C2117_bit0 -C2118_bit0 -C2119_bit0 -C2120_bit0 C2121_bit0 -C2122_bit0 -C2123_bit0 -C2124_bit0 -C2126_bit0 -C2127_bit0 C2128_bit0 C2129_bit0 -C2130_bit0 -C2131_bit0 -C2132_bit0 -C2133_bit0 -C2134_bit0 -C2135_bit0 C2136_bit0 -C2137_bit0 -C2138_bit0 -C2139_bit0 -C2140_bit0 -C2141_bit0 -C2144_bit0 C2145_bit0 -C2146_bit0 C2147_bit0 -C2148_bit0 -C2149_bit0 C2152_bit0 -C2155_bit0 -C2156_bit0 -C2157_bit0 -C2158_bit0 -C2160_bit0 -C2161_bit0 -C2162_bit0 -C2163_bit0 -C2164_bit0 -C2165_bit0 -C2166_bit0 -C2167_bit0 -C2168_bit0 -C2169_bit0 -C2170_bit0 -C2173_bit0 -C2174_bit0 -C2175_bit0 -C2176_bit0 -C2177_bit0 -C2178_bit0 -C2179_bit0 -C2180_bit0 -C2181_bit0 -C2182_bit0 -C2183_bit0 -C2184_bit0 -C2185_bit0 -C2186_bit0 -C2187_bit0 C2189_bit0 -C2192_bit0 -C2193_bit0 -C2194_bit0 -C2195_bit0 -C2196_bit0 -C2197_bit0 -C2198_bit0 -C2199_bit0 -C2200_bit0 -C2201_bit0 -C2202_bit0 -C2203_bit0 -C2204_bit0 -C2205_bit0 -C2206_bit0 -C2207_bit0 -C2208_bit0 -C2209_bit0 -C2210_bit0 -C2211_bit0 -C2214_bit0 -C2215_bit0 -C2216_bit0 -C2217_bit0 -C2218_bit0 -C2219_bit0 -C2220_bit0 -C2221_bit0 -C2222_bit0 -C2223_bit0 -C2224_bit0 -C2225_bit0 -C2226_bit0 -C2227_bit0 -C2228_bit0 -C2229_bit0 -C2230_bit0 -C2231_bit0 -C2232_bit0 -C2235_bit0 -C2236_bit0 -C2237_bit0 -C2238_bit0 -C2239_bit0 -C2240_bit0 -C2241_bit0 -C2242_bit0 -C2243_bit0 -C2244_bit0 -C2245_bit0 -C2246_bit0 C2247_bit0 -C2250_bit0 -C2251_bit0 -C2252_bit0 -C2253_bit0 -C2254_bit0 -C2255_bit0 -C2256_bit0 -C2257_bit0 -C2258_bit0 -C2259_bit0 -C2260_bit0 -C2261_bit0 -C2262_bit0 -C2263_bit0 -C2264_bit0 -C2265_bit0 -C2266_bit0 -C2267_bit0 -C2268_bit0 -C2270_bit0 -C2271_bit0 -C2272_bit0 -C2273_bit0 -C2274_bit0 -C2275_bit0 -C2276_bit0 -C2277_bit0 -C2278_bit0 -C2279_bit0 -C2280_bit0 -C2281_bit0 -C2282_bit0 -C2283_bit0 -C2284_bit0 -C2285_bit0 -C2286_bit0 -C2287_bit0 -C2288_bit0 C2289_bit0 C2290_bit0 C2291_bit0 -C2292_bit0 -C2293_bit0 -C2294_bit0 -C2295_bit0 -C2296_bit0 -C2297_bit0 -C2298_bit0 -C2299_bit0 -C2300_bit0 -C2301_bit0 -C2302_bit0 -C2303_bit0 -C2304_bit0 -C2305_bit0 -C2306_bit0 -C2307_bit0 -C2308_bit0 -C2309_bit0 -C2310_bit0 -C2311_bit0 -C2312_bit0 -C2313_bit0 -C2314_bit0 -C2315_bit0 C2316_bit0 -C2317_bit0 -C2318_bit0 -C2319_bit0 -C2320_bit0 -C2321_bit0 -C2322_bit0 -C2323_bit0 -C2324_bit0 -C2325_bit0 -C2326_bit0 -C2327_bit0 -C2328_bit0 -C2329_bit0 -C2330_bit0 -C2331_bit0 -C2332_bit0 -C2333_bit0 -C2334_bit0 C2335_bit0 -C2336_bit0 -C2337_bit0 -C2338_bit0 -C2339_bit0 -C2340_bit0 -C2341_bit0 -C2342_bit0 -C2343_bit0 -C2344_bit0 -C2345_bit0 -C2346_bit0 -C2348_bit0 -C2349_bit0 -C2351_bit0 -C2352_bit0 -C2353_bit0 -C2354_bit0 -C2355_bit0 -C2356_bit0 -C2357_bit0 -C2358_bit0 -C2359_bit0 -C2360_bit0 -C2361_bit0 -C2362_bit0 -C2363_bit0 -C2364_bit0 -C2365_bit0 -C2366_bit0 -C2367_bit0 -C2369_bit0 -C2370_bit0 -C2371_bit0 C2372_bit0 -C2373_bit0 -C2374_bit0 -C2375_bit0 -C2376_bit0 -C2377_bit0 -C2378_bit0 -C2379_bit0 -C2380_bit0 -C2381_bit0 -C2382_bit0 -C2384_bit0 -C2386_bit0 -C2387_bit0 -C2391_bit0 -C2392_bit0 -C2393_bit0 -C2394_bit0 -C2395_bit0 -C2396_bit0 -C2397_bit0 -C2398_bit0 -C2399_bit0 -C2401_bit0 -C2402_bit0 -C2404_bit0 -C2405_bit0 -C2406_bit0 -C2407_bit0 -C2408_bit0 -C2409_bit0 -C2410_bit0 -C2411_bit0 -C2412_bit0 -C2413_bit0 -C2414_bit0 -C2415_bit0 -C2416_bit0 -C2417_bit0 -C2418_bit0 -C2419_bit0 -C2420_bit0 -C2422_bit0 -C2423_bit0 -C2424_bit0 -C2425_bit0 -C2426_bit0 -C2427_bit0 -C2428_bit0 -C2429_bit0 -C2430_bit0 -C2431_bit0 -C2432_bit0 -C2433_bit0 -C2434_bit0 -C2435_bit0 -C2436_bit0 -C2437_bit0 -C2438_bit0 -C2440_bit0 C2441_bit0 -C2442_bit0 C2443_bit0 -C2444_bit0 -C2445_bit0 -C2446_bit0 -C2447_bit0 -C2448_bit0 -C2449_bit0 -C2450_bit0 -C2451_bit0 -C2452_bit0 -C2453_bit0 C2455_bit0 -C2457_bit0 -C2458_bit0 -C2459_bit0 -C2460_bit0 -C2461_bit0 -C2462_bit0 -C2463_bit0 -C2464_bit0 -C2465_bit0 -C2466_bit0 -C2467_bit0 -C2468_bit0 -C2469_bit0 -C2470_bit0 -C2471_bit0 -C2472_bit0 C2473_bit0 -C2475_bit0 -C2476_bit0 -C2477_bit0 -C2478_bit0 -C2479_bit0 -C2480_bit0 -C2481_bit0 -C2482_bit0 -C2483_bit0 -C2484_bit0 -C2485_bit0 -C2486_bit0 -C2487_bit0 -C2488_bit0 -C2489_bit0 -C2490_bit0 -C2491_bit0 -C2493_bit0 -C2494_bit0 -C2495_bit0 -C2496_bit0 -C2497_bit0 -C2498_bit0 -C2499_bit0 -C2500_bit0 -C2501_bit0 -C2502_bit0 -C2503_bit0 -C2504_bit0 -C2505_bit0 -C2506_bit0 -C2507_bit0 -C2508_bit0 -C2509_bit0 -C2511_bit0 -C2512_bit0 -C2513_bit0 -C2514_bit0 -C2515_bit0 -C2516_bit0 -C2517_bit0 -C2518_bit0 -C2519_bit0 -C2520_bit0 -C2521_bit0 C2522_bit0 -C2524_bit0 -C2525_bit0 C2526_bit0 C2527_bit0 -C2528_bit0 -C2529_bit0 -C2530_bit0 -C2531_bit0 -C2532_bit0 -C2533_bit0 -C2534_bit0 -C2535_bit0 -C2536_bit0 -C2537_bit0 -C2538_bit0 -C2539_bit0 -C2540_bit0 -C2542_bit0 -C2543_bit0 -C2544_bit0 -C2545_bit0 -C2546_bit0 -C2547_bit0 -C2548_bit0 -C2549_bit0 -C2550_bit0 -C2551_bit0 -C2552_bit0 -C2553_bit0 -C2554_bit0 -C2555_bit0 C2556_bit0 -C2557_bit0 -C2558_bit0 -C2560_bit0 -C2561_bit0 -C2562_bit0 -C2563_bit0 -C2564_bit0 -C2565_bit0 -C2566_bit0 -C2567_bit0 -C2568_bit0 -C2569_bit0 -C2570_bit0 -C2571_bit0 -C2572_bit0 -C2573_bit0 -C2574_bit0 -C2575_bit0 -C2576_bit0 -C2578_bit0 -C2579_bit0 -C2580_bit0 -C2581_bit0 -C2582_bit0 -C2583_bit0 -C2584_bit0 -C2585_bit0 -C2586_bit0 -C2587_bit0 -C2588_bit0 C2589_bit0 -C2591_bit0 C2592_bit0 C2593_bit0 C2594_bit0 C2595_bit0 -C2596_bit0 -C2597_bit0 -C2598_bit0 -C2599_bit0 -C2600_bit0 -C2601_bit0 -C2602_bit0 -C2603_bit0 -C2604_bit0 -C2605_bit0 -C2606_bit0 -C2607_bit0 -C2609_bit0 -C2610_bit0 -C2611_bit0 -C2612_bit0 -C2613_bit0 -C2614_bit0 -C2615_bit0 -C2616_bit0 -C2617_bit0 -C2618_bit0 -C2619_bit0 -C2620_bit0 -C2623_bit0 -C2624_bit0 -C2625_bit0 -C2626_bit0 -C2627_bit0 -C2628_bit0 -C2631_bit0 -C2634_bit0 -C2635_bit0 -C2636_bit0 -C2637_bit0 -C2639_bit0 -C2640_bit0 -C2641_bit0 -C2642_bit0 -C2643_bit0 -C2644_bit0 -C2647_bit0 -C2648_bit0 -C2649_bit0 -C2650_bit0 -C2651_bit0 -C2652_bit0 -C2653_bit0 -C2654_bit0 -C2655_bit0 -C2656_bit0 -C2658_bit0 -C2659_bit0 C2660_bit0 -C2663_bit0 -C2664_bit0 -C2665_bit0 -C2666_bit0 -C2667_bit0 -C2668_bit0 -C2669_bit0 -C2670_bit0 -C2671_bit0 -C2672_bit0 -C2673_bit0 -C2675_bit0 -C2678_bit0 -C2679_bit0 -C2680_bit0 -C2683_bit0 -C2684_bit0 -C2685_bit0 -C2686_bit0 -C2687_bit0 -C2688_bit0 -C2690_bit0 -C2692_bit0 -C2694_bit0 -C2695_bit0 -C2696_bit0 -C2699_bit0 -C2700_bit0 -C2701_bit0 -C2702_bit0 -C2703_bit0 -C2704_bit0 -C2705_bit0 -C2708_bit0 -C2709_bit0 -C2710_bit0 -C2711_bit0 -C2712_bit0 -C2713_bit0 -C2714_bit0 C2716_bit0 -C2719_bit0 -C2720_bit0 -C2721_bit0 -C2722_bit0 -C2723_bit0 -C2724_bit0 -C2725_bit0 -C2726_bit0 -C2727_bit0 -C2728_bit0 -C2729_bit0 -C2732_bit0 -C2733_bit0 -C2734_bit0 -C2735_bit0 -C2736_bit0 -C2737_bit0 -C2738_bit0 -C2739_bit0 -C2740_bit0 -C2741_bit0 -C2742_bit0 -C2743_bit0 -C2744_bit0 -C2745_bit0 -C2748_bit0 -C2749_bit0 -C2750_bit0 -C2751_bit0 -C2752_bit0 -C2753_bit0 -C2754_bit0 -C2755_bit0 -C2756_bit0 -C2757_bit0 -C2758_bit0 -C2760_bit0 -C2763_bit0 -C2764_bit0 -C2765_bit0 -C2766_bit0 -C2768_bit0 -C2769_bit0 -C2770_bit0 -C2771_bit0 -C2772_bit0 -C2773_bit0 -C2775_bit0 -C2776_bit0 -C2777_bit0 -C2779_bit0 -C2780_bit0 -C2781_bit0 -C2782_bit0 -C2783_bit0 -C2784_bit0 -C2785_bit0 -C2786_bit0 -C2787_bit0 -C2788_bit0 -C2789_bit0 -C2790_bit0 -C2793_bit0 -C2794_bit0 -C2795_bit0 -C2796_bit0 -C2797_bit0 -C2798_bit0 -C2799_bit0 C2801_bit0 -C2804_bit0 -C2805_bit0 -C2806_bit0 -C2807_bit0 -C2808_bit0 -C2809_bit0 -C2810_bit0 -C2811_bit0 -C2812_bit0 -C2813_bit0 -C2814_bit0 -C2817_bit0 -C2818_bit0 -C2819_bit0 -C2820_bit0 -C2821_bit0 -C2822_bit0 -C2823_bit0 -C2824_bit0 -C2825_bit0 -C2826_bit0 -C2827_bit0 -C2828_bit0 -C2829_bit0 -C2830_bit0 -C2833_bit0 -C2834_bit0 -C2835_bit0 -C2836_bit0 -C2837_bit0 -C2838_bit0 -C2839_bit0 -C2840_bit0 -C2841_bit0 -C2842_bit0 -C2843_bit0 C2845_bit0 -C2848_bit0 -C2849_bit0 -C2850_bit0 -C2851_bit0 -C2852_bit0 -C2853_bit0 -C2854_bit0 -C2855_bit0 -C2856_bit0 -C2857_bit0 -C2858_bit0 -C2859_bit0 -C2860_bit0 -C2861_bit0 -C2862_bit0 -C2864_bit0 -C2865_bit0 -C2866_bit0 -C2867_bit0 -C2868_bit0 -C2869_bit0 -C2870_bit0 -C2871_bit0 -C2872_bit0 -C2873_bit0 -C2874_bit0 -C2875_bit0 -C2878_bit0 -C2879_bit0 -C2880_bit0 -C2881_bit0 -C2882_bit0 -C2883_bit0 -C2884_bit0 -C2885_bit0 C2886_bit0 -C2889_bit0 -C2890_bit0 -C2891_bit0 -C2892_bit0 -C2893_bit0 -C2894_bit0 -C2895_bit0 -C2896_bit0 -C2897_bit0 -C2898_bit0 -C2899_bit0 -C2902_bit0 -C2903_bit0 -C2904_bit0 -C2905_bit0 -C2906_bit0 -C2907_bit0 -C2908_bit0 -C2909_bit0 -C2910_bit0 -C2911_bit0 -C2912_bit0 -C2913_bit0 -C2914_bit0 -C2915_bit0 -C2918_bit0 -C2919_bit0 C2920_bit0 C2921_bit0 -C2922_bit0 -C2923_bit0 -C2924_bit0 -C2925_bit0 -C2926_bit0 -C2927_bit0 -C2928_bit0 -C2929_bit0 C2930_bit0 -C2933_bit0 -C2934_bit0 -C2935_bit0 -C2936_bit0 -C2937_bit0 -C2938_bit0 -C2939_bit0 -C2940_bit0 -C2941_bit0 -C2942_bit0 -C2943_bit0 -C2944_bit0 -C2945_bit0 -C2946_bit0 -C2947_bit0 -C2949_bit0 -C2950_bit0 -C2951_bit0 -C2952_bit0 -C2953_bit0 -C2954_bit0 -C2955_bit0 -C2956_bit0 -C2957_bit0 -C2958_bit0 -C2959_bit0 -C2960_bit0 -C2961_bit0 -C2962_bit0 -C2963_bit0 -C2966_bit0 -C2967_bit0 -C2968_bit0 -C2969_bit0 -C2970_bit0 -C2971_bit0 -C2972_bit0 -C2973_bit0 -C2974_bit0 -C2975_bit0 -C2976_bit0 C2977_bit0 -C2980_bit0 -C2981_bit0 -C2982_bit0 -C2983_bit0 -C2984_bit0 -C2985_bit0 -C2986_bit0 -C2987_bit0 -C2988_bit0 -C2989_bit0 -C2990_bit0 -C2991_bit0 -C2992_bit0 C2993_bit0 -C2994_bit0 -C2995_bit0 -C2996_bit0 -C2997_bit0 -C2998_bit0 -C2999_bit0 -C3000_bit0 -C3001_bit0 C3003_bit0 -C3004_bit0 -C3005_bit0 -C3006_bit0 -C3007_bit0 -C3008_bit0 -C3009_bit0 -C3010_bit0 -C3011_bit0 -C3012_bit0 -C3013_bit0 -C3014_bit0 -C3015_bit0 -C3016_bit0 -C3017_bit0 -C3018_bit0 -C3019_bit0 -C3020_bit0 -C3021_bit0 -C3022_bit0 -C3023_bit0 -C3024_bit0 -C3025_bit0 -C3027_bit0 -C3028_bit0 -C3029_bit0 C3030_bit0 -C3031_bit0 -C3032_bit0 -C3033_bit0 -C3034_bit0 -C3035_bit0 -C3038_bit0 -C3040_bit0 -C3041_bit0 -C3042_bit0 -C3043_bit0 -C3045_bit0 -C3046_bit0 -C3047_bit0 -C3048_bit0 C3049_bit0 -C3050_bit0 -C3051_bit0 -C3053_bit0 -C3054_bit0 C3055_bit0 -C3056_bit0 -C3057_bit0 -C3058_bit0 -C3059_bit0 -C3060_bit0 -C3061_bit0 -C3062_bit0 -C3064_bit0 -C3066_bit0 -C3067_bit0 -C3068_bit0 -C3071_bit0 -C3072_bit0 -C3073_bit0 -C3074_bit0 -C3075_bit0 -C3076_bit0 -C3077_bit0 C3078_bit0 -C3080_bit0 -C3081_bit0 -C3082_bit0 -C3083_bit0 -C3084_bit0 -C3085_bit0 -C3086_bit0 -C3087_bit0 -C3088_bit0 C3089_bit0 -C3090_bit0 -C3091_bit0 -C3092_bit0 -C3094_bit0 -C3095_bit0 C3096_bit0 C3097_bit0 C3098_bit0 -C3099_bit0 -C3100_bit0 -C3101_bit0 -C3102_bit0 C3105_bit0 -C3107_bit0 -C3108_bit0 -C3109_bit0 -C3110_bit0 -C3112_bit0 -C3113_bit0 -C3114_bit0 -C3115_bit0 -C3116_bit0 -C3117_bit0 -C3118_bit0 -C3120_bit0 -C3121_bit0 -C3122_bit0 -C3123_bit0 -C3124_bit0 -C3125_bit0 -C3126_bit0 -C3127_bit0 -C3128_bit0 -C3129_bit0 -C3131_bit0 -C3133_bit0 -C3134_bit0 -C3135_bit0 -C3138_bit0 -C3139_bit0 -C3140_bit0 -C3141_bit0 -C3142_bit0 -C3143_bit0 -C3144_bit0 -C3145_bit0 -C3147_bit0 -C3148_bit0 -C3149_bit0 -C3150_bit0 -C3151_bit0 -C3152_bit0 -C3153_bit0 -C3154_bit0 -C3155_bit0 -C3156_bit0 -C3157_bit0 -C3158_bit0 -C3159_bit0 -C3161_bit0 -C3162_bit0 -C3163_bit0 C3164_bit0 -C3165_bit0 -C3166_bit0 -C3167_bit0 -C3168_bit0 -C3169_bit0 -C3170_bit0 C3172_bit0 -C3174_bit0 -C3175_bit0 -C3176_bit0 -C3177_bit0 -C3178_bit0 -C3179_bit0 -C3180_bit0 -C3181_bit0 -C3182_bit0 -C3183_bit0 -C3184_bit0 -C3185_bit0 -C3187_bit0 -C3188_bit0 C3189_bit0 -C3190_bit0 -C3191_bit0 -C3192_bit0 -C3193_bit0 -C3194_bit0 -C3195_bit0 -C3196_bit0 C3198_bit0 -C3200_bit0 -C3201_bit0 -C3202_bit0 -C3203_bit0 -C3204_bit0 -C3205_bit0 -C3206_bit0 -C3207_bit0 -C3208_bit0 -C3209_bit0 -C3210_bit0 -C3211_bit0 -C3212_bit0 -C3214_bit0 -C3215_bit0 -C3216_bit0 -C3217_bit0 -C3218_bit0 -C3219_bit0 -C3220_bit0 -C3221_bit0 -C3222_bit0 -C3223_bit0 -C3224_bit0 -C3225_bit0 -C3226_bit0 -C3228_bit0 -C3229_bit0 -C3230_bit0 -C3231_bit0 -C3232_bit0 -C3233_bit0 -C3234_bit0 -C3235_bit0 -C3236_bit0 C3237_bit0 C3239_bit0 -C3241_bit0 -C3242_bit0 C3243_bit0 C3244_bit0 -C3245_bit0 -C3246_bit0 -C3247_bit0 -C3248_bit0 -C3249_bit0 -C3250_bit0 -C3251_bit0 -C3252_bit0 -C3254_bit0 -C3255_bit0 -C3256_bit0 -C3257_bit0 -C3258_bit0 -C3259_bit0 -C3260_bit0 -C3261_bit0 -C3262_bit0 -C3263_bit0 C3265_bit0 -C3267_bit0 -C3268_bit0 C3269_bit0 C3270_bit0 -C3271_bit0 -C3272_bit0 -C3273_bit0 -C3274_bit0 -C3275_bit0 -C3276_bit0 -C3277_bit0 -C3278_bit0 -C3279_bit0 -C3281_bit0 -C3282_bit0 -C3283_bit0 -C3284_bit0 -C3285_bit0 -C3286_bit0 -C3287_bit0 -C3288_bit0 -C3289_bit0 -C3290_bit0 -C3291_bit0 -C3292_bit0 -C3293_bit0 -C3295_bit0 -C3296_bit0 -C3297_bit0 C3298_bit0 -C3299_bit0 -C3300_bit0 -C3301_bit0 -C3302_bit0 -C3303_bit0 -C3306_bit0 -C3308_bit0 -C3309_bit0 -C3310_bit0 -C3311_bit0 -C3313_bit0 -C3314_bit0 -C3315_bit0 -C3316_bit0 -C3317_bit0 -C3318_bit0 -C3319_bit0 -C3321_bit0 -C3322_bit0 C3323_bit0 C3324_bit0 -C3325_bit0 -C3326_bit0 -C3327_bit0 -C3328_bit0 -C3329_bit0 -C3330_bit0 -C3332_bit0 -C3334_bit0 -C3335_bit0 -C3336_bit0 -C3337_bit0 -C3339_bit0 -C3340_bit0 -C3341_bit0 -C3342_bit0 -C3343_bit0 -C3345_bit0 C3346_bit0 -C3348_bit0 -C3349_bit0 -C3350_bit0 -C3351_bit0 -C3352_bit0 -C3353_bit0 -C3354_bit0 -C3355_bit0 -C3356_bit0 C3357_bit0 -C3358_bit0 -C3359_bit0 -C3360_bit0 -C3362_bit0 -C3363_bit0 C3364_bit0 C3365_bit0 C3366_bit0 -C3367_bit0 -C3368_bit0 -C3369_bit0 -C3370_bit0 C3373_bit0 -C3375_bit0 -C3376_bit0 -C3377_bit0 -C3378_bit0 -C3380_bit0 -C3381_bit0 -C3382_bit0 -C3383_bit0 -C3384_bit0 -C3385_bit0 -C3386_bit0 -C3388_bit0 -C3389_bit0 -C3390_bit0 -C3391_bit0 -C3392_bit0 -C3393_bit0 -C3394_bit0 -C3395_bit0 -C3396_bit0 -C3397_bit0 C3399_bit0 -C3401_bit0 -C3402_bit0 -C3403_bit0 -C3404_bit0 -C3406_bit0 -C3407_bit0 -C3408_bit0 -C3409_bit0 -C3410_bit0 -C3411_bit0 -C3412_bit0 -C3413_bit0 -C3415_bit0 -C3416_bit0 -C3417_bit0 -C3418_bit0 -C3419_bit0 -C3420_bit0 -C3421_bit0 -C3422_bit0 -C3423_bit0 -C3424_bit0 -C3425_bit0 -C3426_bit0 -C3427_bit0 -C3428_bit0 -C3429_bit0 -C3430_bit0 -C3432_bit0 -C3433_bit0 -C3434_bit0 -C3435_bit0 -C3436_bit0 -C3437_bit0 -C3438_bit0 -C3439_bit0 -C3440_bit0 -C3441_bit0 -C3442_bit0 -C3443_bit0 -C3444_bit0 -C3445_bit0 C3446_bit0 -C3448_bit0 -C3449_bit0 -C3450_bit0 -C3451_bit0 -C3452_bit0 -C3453_bit0 -C3454_bit0 -C3455_bit0 -C3456_bit0 -C3457_bit0 -C3458_bit0 -C3459_bit0 -C3460_bit0 -C3461_bit0 -C3462_bit0 -C3463_bit0 -C3464_bit0 -C3466_bit0 -C3467_bit0 -C3468_bit0 -C3469_bit0 -C3470_bit0 -C3471_bit0 -C3472_bit0 -C3473_bit0 -C3474_bit0 -C3475_bit0 -C3476_bit0 -C3477_bit0 -C3478_bit0 -C3479_bit0 -C3480_bit0 -C3481_bit0 -C3483_bit0 -C3484_bit0 -C3485_bit0 -C3486_bit0 -C3487_bit0 -C3488_bit0 -C3489_bit0 -C3490_bit0 -C3491_bit0 -C3492_bit0 -C3493_bit0 -C3494_bit0 -C3495_bit0 -C3496_bit0 C3497_bit0 -C3499_bit0 -C3500_bit0 -C3501_bit0 -C3502_bit0 -C3503_bit0 -C3504_bit0 -C3505_bit0 -C3506_bit0 -C3507_bit0 -C3508_bit0 -C3509_bit0 -C3510_bit0 -C3511_bit0 -C3512_bit0 -C3513_bit0 -C3514_bit0 -C3515_bit0 -C3517_bit0 -C3518_bit0 -C3519_bit0 -C3520_bit0 -C3521_bit0 -C3522_bit0 -C3523_bit0 -C3524_bit0 -C3526_bit0 -C3527_bit0 -C3528_bit0 -C3529_bit0 -C3530_bit0 -C3531_bit0 C3532_bit0 -C3534_bit0 -C3535_bit0 C3536_bit0 C3537_bit0 -C3538_bit0 -C3539_bit0 -C3540_bit0 -C3541_bit0 -C3542_bit0 -C3544_bit0 -C3545_bit0 -C3546_bit0 -C3547_bit0 -C3548_bit0 C3549_bit0 -C3550_bit0 -C3551_bit0 -C3552_bit0 -C3553_bit0 C3554_bit0 -C3555_bit0 -C3556_bit0 -C3557_bit0 -C3558_bit0 -C3559_bit0 -C3560_bit0 -C3561_bit0 -C3562_bit0 -C3563_bit0 -C3564_bit0 -C3565_bit0 -C3566_bit0 -C3567_bit0 -C1007_bit0 C1008_bit0 -C3568_bit0 -C1012_bit0 -C1013_bit0 -C1015_bit0 -C1016_bit0 -C1018_bit0 -C3569_bit0 -C1025_bit0 C1026_bit0 -C1028_bit0 -C3570_bit0 -C1040_bit0 -C1041_bit0 -C1043_bit0 -C3571_bit0 -C1052_bit0 -C1053_bit0 -C1055_bit0 -C3572_bit0 -C1063_bit0 C1064_bit0 -C3573_bit0 -C1069_bit0 -C1071_bit0 C1072_bit0 C3574_bit0 -C1081_bit0 C1082_bit0 -C1084_bit0 -C3575_bit0 -C1096_bit0 -C1097_bit0 -C1099_bit0 -C3576_bit0 -C1108_bit0 -C1109_bit0 C1111_bit0 -C3577_bit0 -C1118_bit0 -C3578_bit0 -C1125_bit0 -C3579_bit0 -C1130_bit0 -C3580_bit0 -C1138_bit0 -C3581_bit0 -C1146_bit0 C1147_bit0 C3582_bit0 -C1151_bit0 -C1152_bit0 -C1154_bit0 -C1155_bit0 -C1157_bit0 -C3583_bit0 -C1164_bit0 C1165_bit0 -C1167_bit0 C3584_bit0 -C1179_bit0 -C1180_bit0 -C1182_bit0 -C3585_bit0 -C1191_bit0 -C1192_bit0 -C1194_bit0 -C3586_bit0 -C1202_bit0 -C1203_bit0 -C3587_bit0 -C1208_bit0 -C1210_bit0 -C1211_bit0 -C3588_bit0 -C1220_bit0 C1221_bit0 -C1223_bit0 C3589_bit0 -C1235_bit0 -C1236_bit0 -C1238_bit0 -C3590_bit0 -C1247_bit0 -C1248_bit0 -C1250_bit0 -C3591_bit0 -C1257_bit0 -C3592_bit0 C1264_bit0 C3593_bit0 -C1269_bit0 -C3594_bit0 -C1277_bit0 -C3595_bit0 -C1282_bit0 -C1287_bit0 -C1288_bit0 C3596_bit0 -C1301_bit0 -C1302_bit0 C3597_bit0 -C1311_bit0 -C1312_bit0 -C3598_bit0 -C1324_bit0 -C1325_bit0 -C3599_bit0 -C1334_bit0 -C1336_bit0 -C1337_bit0 -C1342_bit0 -C3600_bit0 -C1346_bit0 C1350_bit0 C1355_bit0 C3601_bit0 -C1364_bit0 -C1365_bit0 C3602_bit0 -C1378_bit0 -C1379_bit0 -C3603_bit0 -C1388_bit0 -C1389_bit0 -C3604_bit0 -C1401_bit0 -C1402_bit0 -C3605_bit0 -C1413_bit0 -C1414_bit0 -C3606_bit0 C1427_bit0 C3607_bit0 -C3608_bit0 -C3609_bit0 -C1455_bit0 -C3610_bit0 -C1462_bit0 -C3611_bit0 -C1477_bit0 -C1478_bit0 -C3612_bit0 -C1487_bit0 -C1488_bit0 -C3613_bit0 -C1504_bit0 -C1505_bit0 -C3614_bit0 -C1518_bit0 -C1520_bit0 -C1521_bit0 -C3615_bit0 C1534_bit0 C3616_bit0 -C1547_bit0 -C1548_bit0 -C3617_bit0 -C1557_bit0 -C1558_bit0 -C3618_bit0 -C1574_bit0 C1575_bit0 -C3619_bit0 -C1590_bit0 C1591_bit0 -C3620_bit0 -C1604_bit0 -C3621_bit0 -C3622_bit0 -C3623_bit0 -C1632_bit0 -C3624_bit0 C3625_bit0 -C1649_bit0 -C1654_bit0 -C1655_bit0 -C3626_bit0 -C1664_bit0 -C1665_bit0 -C3627_bit0 -C1681_bit0 -C1682_bit0 -C3628_bit0 -C1695_bit0 -C1697_bit0 -C1698_bit0 -C3629_bit0 C1711_bit0 C3630_bit0 -C1724_bit0 -C1725_bit0 -C3631_bit0 -C1734_bit0 -C1735_bit0 -C3632_bit0 -C1751_bit0 C1752_bit0 -C3633_bit0 -C1767_bit0 C1768_bit0 -C3634_bit0 -C1781_bit0 -C3635_bit0 -C1794_bit0 C1795_bit0 C3636_bit0 -C1801_bit0 -C1802_bit0 -C1803_bit0 -C1804_bit0 -C1805_bit0 -C1806_bit0 -C1807_bit0 C1808_bit0 C1809_bit0 C1810_bit0 -C1811_bit0 C3637_bit0 -C1819_bit0 C1820_bit0 C3638_bit0 -C1826_bit0 -C1827_bit0 -C1828_bit0 -C1830_bit0 -C1831_bit0 -C1832_bit0 -C1834_bit0 -C1835_bit0 -C1836_bit0 -C3639_bit0 -C1844_bit0 -C1845_bit0 C3640_bit0 -C1852_bit0 C1853_bit0 -C1855_bit0 -C1857_bit0 -C1858_bit0 -C1859_bit0 -C1861_bit0 -C1862_bit0 -C1863_bit0 -C3641_bit0 -C1866_bit0 -C1868_bit0 -C1869_bit0 -C1874_bit0 -C3642_bit0 C1881_bit0 C3643_bit0 -C1894_bit0 -C1895_bit0 C3644_bit0 C1901_bit0 C1902_bit0 -C1903_bit0 -C1905_bit0 -C1906_bit0 -C1907_bit0 C1909_bit0 C1910_bit0 C1911_bit0 C3645_bit0 -C1919_bit0 -C1920_bit0 C3646_bit0 -C1927_bit0 -C1928_bit0 -C1930_bit0 -C1931_bit0 -C1932_bit0 -C1934_bit0 -C1935_bit0 -C1936_bit0 -C3647_bit0 -C1944_bit0 -C1945_bit0 -C3648_bit0 -C1953_bit0 -C1957_bit0 -C1958_bit0 -C1963_bit0 -C3649_bit0 -C1966_bit0 -C1968_bit0 -C1969_bit0 -C3650_bit0 C1981_bit0 C3651_bit0 -C1998_bit0 -C1999_bit0 C3652_bit0 -C2006_bit0 C2007_bit0 -C2009_bit0 -C2010_bit0 -C2015_bit0 -C3653_bit0 -C2027_bit0 -C2028_bit0 C3654_bit0 -C2044_bit0 -C2046_bit0 -C2047_bit0 -C3655_bit0 -C2068_bit0 -C2069_bit0 -C3656_bit0 -C2089_bit0 -C2090_bit0 -C3657_bit0 -C2104_bit0 -C2105_bit0 -C3658_bit0 C2125_bit0 C3659_bit0 -C2142_bit0 -C2143_bit0 C3660_bit0 -C2150_bit0 -C2151_bit0 -C2153_bit0 -C2154_bit0 -C2159_bit0 -C3661_bit0 -C2171_bit0 -C2172_bit0 -C3662_bit0 -C2188_bit0 -C2190_bit0 -C2191_bit0 -C3663_bit0 -C2212_bit0 -C2213_bit0 -C3664_bit0 -C2233_bit0 -C2234_bit0 -C3665_bit0 -C2248_bit0 C2249_bit0 -C3666_bit0 -C2269_bit0 -C3667_bit0 C3668_bit0 -C3669_bit0 -C3670_bit0 C3671_bit0 -C2347_bit0 -C2350_bit0 -C3672_bit0 C2368_bit0 C3673_bit0 -C2383_bit0 -C2385_bit0 -C2388_bit0 -C2389_bit0 -C2390_bit0 -C3674_bit0 -C2400_bit0 -C2403_bit0 -C3675_bit0 C2421_bit0 C3676_bit0 C2439_bit0 C3677_bit0 -C2454_bit0 -C2456_bit0 -C3678_bit0 C2474_bit0 -C3679_bit0 -C2492_bit0 -C3680_bit0 C2510_bit0 C3681_bit0 C2523_bit0 C3682_bit0 -C2541_bit0 -C3683_bit0 C2559_bit0 C3684_bit0 -C2577_bit0 -C3685_bit0 C2590_bit0 C3686_bit0 C2608_bit0 -C3687_bit0 -C2621_bit0 -C2622_bit0 -C3688_bit0 -C2629_bit0 -C2630_bit0 -C2632_bit0 -C2633_bit0 -C2638_bit0 -C3689_bit0 -C2645_bit0 -C2646_bit0 -C3690_bit0 -C2657_bit0 -C2661_bit0 -C2662_bit0 -C3691_bit0 -C2674_bit0 -C2676_bit0 -C2677_bit0 -C2681_bit0 -C2682_bit0 -C3692_bit0 -C2689_bit0 -C2691_bit0 -C2693_bit0 -C2697_bit0 -C2698_bit0 -C3693_bit0 -C2706_bit0 -C2707_bit0 -C3694_bit0 -C2715_bit0 -C2717_bit0 -C2718_bit0 -C3695_bit0 -C2730_bit0 -C2731_bit0 -C3696_bit0 -C2746_bit0 C2747_bit0 -C3697_bit0 C2759_bit0 -C2761_bit0 -C2762_bit0 C2767_bit0 -C3698_bit0 -C2774_bit0 -C2778_bit0 -C3699_bit0 -C2791_bit0 -C2792_bit0 -C3700_bit0 -C2800_bit0 -C2802_bit0 -C2803_bit0 -C3701_bit0 -C2815_bit0 -C2816_bit0 -C3702_bit0 -C2831_bit0 -C2832_bit0 -C3703_bit0 -C2844_bit0 -C2846_bit0 -C2847_bit0 -C3704_bit0 -C2863_bit0 -C3705_bit0 -C2876_bit0 -C2877_bit0 -C3706_bit0 -C2887_bit0 -C2888_bit0 -C3707_bit0 -C2900_bit0 -C2901_bit0 -C3708_bit0 -C2916_bit0 -C2917_bit0 C3709_bit0 -C2931_bit0 C2932_bit0 -C3710_bit0 -C2948_bit0 -C3711_bit0 -C2964_bit0 -C2965_bit0 -C3712_bit0 -C2978_bit0 -C2979_bit0 -C3713_bit0 -C3714_bit0 -C3715_bit0 -C3002_bit0 -C3716_bit0 -C3717_bit0 C3026_bit0 C3718_bit0 -C3036_bit0 C3037_bit0 -C3039_bit0 -C3044_bit0 -C3719_bit0 C3052_bit0 C3720_bit0 -C3063_bit0 C3065_bit0 -C3069_bit0 C3070_bit0 C3721_bit0 -C3079_bit0 -C3722_bit0 C3093_bit0 C3723_bit0 -C3103_bit0 -C3104_bit0 -C3106_bit0 -C3111_bit0 -C3724_bit0 -C3119_bit0 -C3725_bit0 C3130_bit0 -C3132_bit0 -C3136_bit0 -C3137_bit0 -C3726_bit0 -C3146_bit0 -C3727_bit0 C3160_bit0 C3728_bit0 -C3171_bit0 -C3173_bit0 -C3729_bit0 C3186_bit0 C3730_bit0 -C3197_bit0 C3199_bit0 C3731_bit0 -C3213_bit0 -C3732_bit0 -C3227_bit0 -C3733_bit0 -C3238_bit0 C3240_bit0 C3734_bit0 -C3253_bit0 -C3735_bit0 -C3264_bit0 C3266_bit0 C3736_bit0 -C3280_bit0 -C3737_bit0 C3294_bit0 C3738_bit0 -C3304_bit0 -C3305_bit0 -C3307_bit0 -C3312_bit0 -C3739_bit0 C3320_bit0 C3740_bit0 -C3331_bit0 -C3333_bit0 -C3338_bit0 -C3741_bit0 -C3344_bit0 -C3347_bit0 -C3742_bit0 C3361_bit0 C3743_bit0 -C3371_bit0 -C3372_bit0 -C3374_bit0 -C3379_bit0 -C3744_bit0 -C3387_bit0 -C3745_bit0 -C3398_bit0 -C3400_bit0 -C3405_bit0 -C3746_bit0 -C3414_bit0 -C3747_bit0 -C3431_bit0 -C3748_bit0 -C3447_bit0 -C3749_bit0 -C3465_bit0 -C3750_bit0 C3482_bit0 -C3751_bit0 C3498_bit0 C3752_bit0 -C3516_bit0 -C3753_bit0 -C3525_bit0 -C3754_bit0 C3533_bit0 C3755_bit0 -C3543_bit0 -C3756_bit0 c Exit Code: 10 c Total time: 1175.01 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.97 0.97 0.93 2/54 1865 Raw data (stat): 1865 (runsolver) R 1864 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774321397 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0001 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 17755 0 0 0 958 40 0 0 25 0 1 0 774321397 76468224 17724 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18669 17724 1111 63 0 18606 0 vsize: 74676 [startup+20.0006 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 18832 0 0 0 1954 44 0 0 25 0 1 0 774321397 80809984 18801 4294967295 134512640 134714540 3221224592 3221223392 134531904 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19729 18801 1111 63 0 19666 0 vsize: 78916 [startup+30.0017 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19114 0 0 0 2951 47 0 0 25 0 1 0 774321397 81903616 19083 4294967295 134512640 134714540 3221224592 3221223016 1077377516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19996 19083 1111 63 0 19933 0 vsize: 79984 [startup+40.0016 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19114 0 0 0 3947 49 0 0 25 0 1 0 774321397 81903616 19083 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19996 19083 1111 63 0 19933 0 vsize: 79984 [startup+50.0025 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19114 0 0 0 4946 51 0 0 25 0 1 0 774321397 81903616 19083 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19996 19083 1111 63 0 19933 0 vsize: 79984 [startup+60.0028 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19114 0 0 0 5943 53 0 0 25 0 1 0 774321397 81903616 19083 4294967295 134512640 134714540 3221224592 3221223076 1077374498 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19996 19083 1111 63 0 19933 0 vsize: 79984 [startup+70.0042 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19114 0 0 0 6941 55 0 0 25 0 1 0 774321397 81903616 19083 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19996 19083 1111 63 0 19933 0 vsize: 79984 [startup+80.0046 s] Raw data (loadavg): 1.07 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 7940 57 0 0 25 0 1 0 774321397 82042880 19112 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20030 19112 1111 63 0 19967 0 vsize: 80120 [startup+90.0046 s] Raw data (loadavg): 1.06 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 8938 58 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223260 134534084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+100.005 s] Raw data (loadavg): 1.05 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 9937 60 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223368 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+110.006 s] Raw data (loadavg): 1.04 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 10936 61 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223328 134556745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+120.007 s] Raw data (loadavg): 1.04 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 11935 63 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+130.007 s] Raw data (loadavg): 1.03 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 12933 64 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221222828 1077379843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+140.007 s] Raw data (loadavg): 1.02 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 13932 66 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223052 1076648032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+150.008 s] Raw data (loadavg): 1.02 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 14932 67 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+160.007 s] Raw data (loadavg): 1.02 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 15930 68 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223112 1077377416 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+170.008 s] Raw data (loadavg): 1.01 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 16929 69 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223128 1077378438 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+180.008 s] Raw data (loadavg): 1.01 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 17928 71 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+190.008 s] Raw data (loadavg): 1.01 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 18927 71 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221222972 1077379843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+200.008 s] Raw data (loadavg): 1.01 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 19926 73 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223184 134613422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+210.008 s] Raw data (loadavg): 1.01 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 20926 73 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+220.009 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 21925 74 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223168 134535433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+230.009 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 22924 75 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221222828 1077379843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+240.009 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 23923 77 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+250.01 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 24923 77 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223120 134540488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+260.01 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 25922 79 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221222844 1077379843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+270.011 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 26920 80 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223276 134543616 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+280.011 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 27919 81 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223104 134539757 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+290.011 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 28918 83 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223312 134592376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+300.011 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 29918 83 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223288 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+310.011 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 30917 84 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221222980 1077378596 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+320.011 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 31916 86 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223328 134538795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+330.012 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 32915 87 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+340.012 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 33914 88 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+350.012 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 34913 89 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223312 134542598 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+360.012 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 35913 90 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223076 1077374543 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+370.013 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19143 0 0 0 36911 91 0 0 25 0 1 0 774321397 82014208 19112 4294967295 134512640 134714540 3221224592 3221223376 134534115 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 19112 1111 63 0 19960 0 vsize: 80092 [startup+380.012 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 37911 92 0 0 25 0 1 0 774321397 82214912 19146 4294967295 134512640 134714540 3221224592 3221223304 134592385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20072 19146 1111 63 0 20009 0 vsize: 80288 [startup+390.012 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 38910 92 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223296 134523396 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+400.014 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 39909 94 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223148 134535620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+410.014 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 40907 96 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223440 134530068 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+420.014 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 41906 97 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223328 134535026 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+430.015 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 42905 98 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223420 134586933 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+440.015 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 43903 100 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223232 134524451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+450.014 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 44903 101 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223272 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+460.015 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 45902 102 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+470.015 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 46902 103 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223296 134591984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+480.014 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 47900 104 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223376 134590179 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+490.014 s] Raw data (loadavg): 1.00 0.99 0.93 2/54 1865 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 48900 105 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223168 134535383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+500.015 s] Raw data (loadavg): 1.08 1.00 0.94 3/58 1911 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 49899 106 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223148 134535506 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+510.015 s] Raw data (loadavg): 1.07 1.00 0.94 2/54 1918 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 50898 107 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223148 134535503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+520.016 s] Raw data (loadavg): 1.06 1.00 0.94 2/54 1918 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 51897 108 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+530.016 s] Raw data (loadavg): 1.05 1.00 0.94 2/54 1918 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 52896 109 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+540.016 s] Raw data (loadavg): 1.04 1.00 0.94 2/54 1918 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 53895 110 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223112 1077377239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+550.016 s] Raw data (loadavg): 1.03 1.00 0.94 2/54 1918 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 54894 112 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221222828 1077379843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+560.015 s] Raw data (loadavg): 1.03 1.00 0.94 2/54 1918 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 55894 112 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223248 134591898 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+570.016 s] Raw data (loadavg): 1.02 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 56892 114 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223168 134542626 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+580.016 s] Raw data (loadavg): 1.02 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 57892 114 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223160 134613965 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+590.015 s] Raw data (loadavg): 1.02 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 58891 115 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223296 134603759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+600.016 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 59890 116 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223288 134672944 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+610.016 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 60890 117 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223168 1076999581 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+620.016 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 61888 119 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+630.016 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 62887 120 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223288 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+640.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 63887 120 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221222972 1077379843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+650.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 64886 121 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223148 134535506 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+660.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 65886 122 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223392 134524477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+670.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 66885 123 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223248 134540488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+680.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 67885 123 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223312 1076999581 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+690.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 68884 124 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223316 134542593 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+700.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 69883 125 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+710.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 70883 126 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223136 134543686 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+720.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19177 0 0 0 71882 127 0 0 25 0 1 0 774321397 82190336 19146 4294967295 134512640 134714540 3221224592 3221223328 134556547 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19146 1111 63 0 20003 0 vsize: 80264 [startup+730.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19190 0 0 0 72881 128 0 0 25 0 1 0 774321397 82190336 19159 4294967295 134512640 134714540 3221224592 3221222828 1077379924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19159 1111 63 0 20003 0 vsize: 80264 [startup+740.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19190 0 0 0 73880 129 0 0 25 0 1 0 774321397 82190336 19159 4294967295 134512640 134714540 3221224592 3221223312 134535330 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20066 19159 1111 63 0 20003 0 vsize: 80264 [startup+750.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19198 0 0 0 74880 130 0 0 25 0 1 0 774321397 82231296 19167 4294967295 134512640 134714540 3221224592 3221223120 134542368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20076 19167 1111 63 0 20013 0 vsize: 80304 [startup+760.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19225 0 0 0 75878 131 0 0 25 0 1 0 774321397 82366464 19194 4294967295 134512640 134714540 3221224592 3221223244 134534134 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20109 19194 1111 63 0 20046 0 vsize: 80436 [startup+770.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19225 0 0 0 76877 132 0 0 25 0 1 0 774321397 82366464 19194 4294967295 134512640 134714540 3221224592 3221223228 134538732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20109 19194 1111 63 0 20046 0 vsize: 80436 [startup+780.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19225 0 0 0 77876 134 0 0 25 0 1 0 774321397 82366464 19194 4294967295 134512640 134714540 3221224592 3221223376 134624498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20109 19194 1111 63 0 20046 0 vsize: 80436 [startup+790.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19242 0 0 0 78875 135 0 0 25 0 1 0 774321397 82501632 19211 4294967295 134512640 134714540 3221224592 3221223352 134543157 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20142 19211 1111 63 0 20079 0 vsize: 80568 [startup+800.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19324 0 0 0 79874 136 0 0 25 0 1 0 774321397 82771968 19293 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20208 19293 1111 63 0 20145 0 vsize: 80832 [startup+810.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1920 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19324 0 0 0 80873 137 0 0 25 0 1 0 774321397 82771968 19293 4294967295 134512640 134714540 3221224592 3221223292 134535671 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20208 19293 1111 63 0 20145 0 vsize: 80832 [startup+820.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19324 0 0 0 81873 137 0 0 25 0 1 0 774321397 82771968 19293 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20208 19293 1111 63 0 20145 0 vsize: 80832 [startup+830.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19324 0 0 0 82873 138 0 0 25 0 1 0 774321397 82771968 19293 4294967295 134512640 134714540 3221224592 3221223292 134535664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20208 19293 1111 63 0 20145 0 vsize: 80832 [startup+840.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19336 0 0 0 83873 138 0 0 25 0 1 0 774321397 82771968 19305 4294967295 134512640 134714540 3221224592 3221223352 134558593 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20208 19305 1111 63 0 20145 0 vsize: 80832 [startup+850.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19336 0 0 0 84872 139 0 0 25 0 1 0 774321397 82771968 19305 4294967295 134512640 134714540 3221224592 3221223120 134540040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20208 19305 1111 63 0 20145 0 vsize: 80832 [startup+860.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 85871 140 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221222980 1077378605 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+870.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 86871 141 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221223184 134613422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+880.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 87870 142 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221223312 134542598 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+890.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 88869 143 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221223184 134613451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+900.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 89869 143 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221222828 1077379846 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+910.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 90868 144 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221223104 134539900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+920.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 91867 145 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+930.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 92867 146 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+940.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 93866 147 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221223072 1076999581 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+950.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 94865 148 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221223424 134623919 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+960.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 95864 149 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221223128 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+970.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 96864 149 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221223296 134523607 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+980.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19373 0 0 0 97863 150 0 0 25 0 1 0 774321397 83042304 19342 4294967295 134512640 134714540 3221224592 3221222972 1077379898 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20274 19342 1111 63 0 20211 0 vsize: 81096 [startup+990.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 98862 151 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 99860 153 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223164 134534136 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 100860 154 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223192 134535482 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 101859 155 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223296 134523399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 102858 156 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 103858 156 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 104857 157 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223200 134535032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 105856 158 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223344 1076647581 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 106855 159 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223128 1077377249 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 107854 161 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221222844 1077379843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 108853 162 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223148 134535506 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 109853 162 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223312 134592107 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 110852 163 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 111852 163 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223312 134535433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1130.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 112851 164 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223104 134540191 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 113850 165 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223184 134535032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 114850 166 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223304 134558621 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1160.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 115849 167 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223252 134534132 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 116849 167 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223148 134535503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 81888 [startup+1174.91 s] Raw data (loadavg): 1.00 1.00 0.94 1/53 1922 Raw data (stat): 1865 (bsolo_mis) R 1864 31399 31398 0 -1 0 19586 0 0 0 116849 167 0 0 25 0 1 0 774321397 83853312 19555 4294967295 134512640 134714540 3221224592 3221223148 134535503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 19555 1111 63 0 20409 0 vsize: 0 Child status: 10 Real time (s): 1174.91 CPU time (s): 1175.06 CPU user time (s): 1173.34 CPU system time (s): 1.71774 CPU usage (%): 100.013 Max. virtual memory (Kb): 81888 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 8855 #### END VERIFIER DATA ####