Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb |
MD5SUM | ac4ddb996334a0834a018e09e97d1ecb |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 76 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 4617 |
Biggest coefficient in the objective function | 2642 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 13340 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 2642 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 13340 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.06984 |
Number of variables | 4617 |
Total number of constraints | 9896 |
Number of constraints which are clauses | 4395 |
Number of constraints which are cardinality constraints (but not clauses) | 5501 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 23 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-09 02:20:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28984 boxname=wulflinc6 idbench=370 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: ac4ddb996334a0834a018e09e97d1ecb /oldhome/oroussel/tmp/wulflinc6/normalized-30:30:4.5:0.95:100.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-30:30:4.5:0.95:100.opb IDLAUNCH: 28984 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 905800 kB Buffers: 22860 kB Cached: 82096 kB SwapCached: 4048 kB Active: 29460 kB Inactive: 80664 kB HighTotal: 131008 kB HighFree: 50232 kB LowTotal: 903652 kB LowFree: 855568 kB SwapTotal: 2097136 kB SwapFree: 2092080 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4992 kB Slab: 13120 kB Committed_AS: 63728 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 02:40:24 (client local time) WITH STATUS 10 IN 1175.28 SECONDS stats: 28984 0 1175.28 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 4617 variables and 5280 constraints. c After prepocess the problem consists of 4616 variables and 5433 constraints. c preprocess terminated 32.135 s c Initial Lower Bound: -1 c Lower Bound Elapsed time: 71.5885 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 8046 @ 179.57 c NEW SOLUTION FOUND: 8043 @ 179.591 c NEW SOLUTION FOUND: 8033 @ 179.661 c NEW SOLUTION FOUND: 8030 @ 179.727 c NEW SOLUTION FOUND: 8020 @ 179.793 c NEW SOLUTION FOUND: 8019 @ 179.857 c NEW SOLUTION FOUND: 8009 @ 180.009 c NEW SOLUTION FOUND: 7999 @ 180.092 c NEW SOLUTION FOUND: 7989 @ 180.177 c NEW SOLUTION FOUND: 7988 @ 180.26 c NEW SOLUTION FOUND: 7985 @ 180.349 c NEW SOLUTION FOUND: 7979 @ 180.436 c NEW SOLUTION FOUND: 7975 @ 180.521 c NEW SOLUTION FOUND: 7970 @ 180.611 c NEW SOLUTION FOUND: 7969 @ 180.697 c NEW SOLUTION FOUND: 7968 @ 180.785 c NEW SOLUTION FOUND: 7958 @ 180.877 c NEW SOLUTION FOUND: 7948 @ 180.968 c NEW SOLUTION FOUND: 7938 @ 181.06 c NEW SOLUTION FOUND: 7928 @ 181.152 c NEW SOLUTION FOUND: 7927 @ 181.242 c NEW SOLUTION FOUND: 7924 @ 181.337 c NEW SOLUTION FOUND: 7914 @ 181.431 c NEW SOLUTION FOUND: 7904 @ 181.525 c NEW SOLUTION FOUND: 7901 @ 181.621 c NEW SOLUTION FOUND: 7891 @ 181.717 c NEW SOLUTION FOUND: 7881 @ 181.815 c NEW SOLUTION FOUND: 7871 @ 181.914 c NEW SOLUTION FOUND: 7861 @ 182.014 c NEW SOLUTION FOUND: 7855 @ 182.115 c NEW SOLUTION FOUND: 7852 @ 182.214 c NEW SOLUTION FOUND: 7846 @ 182.319 c NEW SOLUTION FOUND: 7836 @ 182.422 c NEW SOLUTION FOUND: 7833 @ 182.526 c NEW SOLUTION FOUND: 7827 @ 182.639 c NEW SOLUTION FOUND: 7817 @ 182.749 c NEW SOLUTION FOUND: 7807 @ 182.861 c NEW SOLUTION FOUND: 7801 @ 182.976 c NEW SOLUTION FOUND: 7791 @ 183.09 c NEW SOLUTION FOUND: 7788 @ 183.203 c NEW SOLUTION FOUND: 7778 @ 183.319 c NEW SOLUTION FOUND: 7768 @ 183.436 c NEW SOLUTION FOUND: 7764 @ 183.555 c NEW SOLUTION FOUND: 7754 @ 183.676 c NEW SOLUTION FOUND: 7744 @ 183.796 c NEW SOLUTION FOUND: 7734 @ 183.916 c NEW SOLUTION FOUND: 7730 @ 184.034 c NEW SOLUTION FOUND: 7720 @ 184.158 c NEW SOLUTION FOUND: 7719 @ 184.279 c NEW SOLUTION FOUND: 7716 @ 184.4 c NEW SOLUTION FOUND: 7706 @ 184.526 c NEW SOLUTION FOUND: 7704 @ 184.644 c NEW SOLUTION FOUND: 7703 @ 184.767 c NEW SOLUTION FOUND: 7700 @ 184.894 c NEW SOLUTION FOUND: 7696 @ 185.014 c NEW SOLUTION FOUND: 7692 @ 185.138 c NEW SOLUTION FOUND: 7691 @ 185.262 c NEW SOLUTION FOUND: 7690 @ 185.385 c NEW SOLUTION FOUND: 7689 @ 185.509 c NEW SOLUTION FOUND: 7688 @ 185.634 c NEW SOLUTION FOUND: 7687 @ 185.758 c NEW SOLUTION FOUND: 7686 @ 185.881 c NEW SOLUTION FOUND: 7685 @ 186.006 c NEW SOLUTION FOUND: 7684 @ 186.132 c NEW SOLUTION FOUND: 7683 @ 186.256 c NEW SOLUTION FOUND: 7679 @ 186.385 c NEW SOLUTION FOUND: 7678 @ 186.51 c NEW SOLUTION FOUND: 7677 @ 186.638 c NEW SOLUTION FOUND: 7676 @ 186.763 c NEW SOLUTION FOUND: 7672 @ 186.892 c NEW SOLUTION FOUND: 7671 @ 187.015 c NEW SOLUTION FOUND: 7670 @ 187.141 c NEW SOLUTION FOUND: 7669 @ 187.268 c NEW SOLUTION FOUND: 7668 @ 187.394 c NEW SOLUTION FOUND: 7667 @ 187.523 c NEW SOLUTION FOUND: 7666 @ 187.652 c NEW SOLUTION FOUND: 7665 @ 187.781 c NEW SOLUTION FOUND: 7664 @ 187.91 c NEW SOLUTION FOUND: 7663 @ 188.041 c NEW SOLUTION FOUND: 7662 @ 188.171 c NEW SOLUTION FOUND: 7661 @ 188.303 c NEW SOLUTION FOUND: 7660 @ 188.432 c NEW SOLUTION FOUND: 7659 @ 188.563 c NEW SOLUTION FOUND: 7658 @ 188.692 c NEW SOLUTION FOUND: 7657 @ 188.819 c NEW SOLUTION FOUND: 7655 @ 188.947 c NEW SOLUTION FOUND: 7653 @ 189.075 c NEW SOLUTION FOUND: 7652 @ 189.202 c NEW SOLUTION FOUND: 7651 @ 189.329 c NEW SOLUTION FOUND: 7650 @ 189.455 c NEW SOLUTION FOUND: 7647 @ 189.587 c NEW SOLUTION FOUND: 7645 @ 189.717 c NEW SOLUTION FOUND: 7644 @ 189.844 c NEW SOLUTION FOUND: 7642 @ 189.976 c NEW SOLUTION FOUND: 7640 @ 190.109 c NEW SOLUTION FOUND: 7638 @ 190.239 c NEW SOLUTION FOUND: 7636 @ 190.372 c NEW SOLUTION FOUND: 7634 @ 190.502 c NEW SOLUTION FOUND: 7632 @ 190.633 c NEW SOLUTION FOUND: 7630 @ 190.762 c NEW SOLUTION FOUND: 7628 @ 190.891 c NEW SOLUTION FOUND: 7626 @ 191.02 c NEW SOLUTION FOUND: 7624 @ 191.153 c NEW SOLUTION FOUND: 7622 @ 191.281 c NEW SOLUTION FOUND: 7620 @ 191.412 c NEW SOLUTION FOUND: 7618 @ 191.543 c NEW SOLUTION FOUND: 7616 @ 191.673 c NEW SOLUTION FOUND: 7614 @ 191.802 c NEW SOLUTION FOUND: 7613 @ 191.933 c NEW SOLUTION FOUND: 7611 @ 192.069 c NEW SOLUTION FOUND: 7609 @ 192.197 c NEW SOLUTION FOUND: 7607 @ 192.329 c NEW SOLUTION FOUND: 7605 @ 192.46 c NEW SOLUTION FOUND: 7603 @ 192.591 c NEW SOLUTION FOUND: 7601 @ 192.722 c NEW SOLUTION FOUND: 7599 @ 192.853 c NEW SOLUTION FOUND: 7597 @ 192.984 c NEW SOLUTION FOUND: 7595 @ 193.116 c NEW SOLUTION FOUND: 7592 @ 193.253 c NEW SOLUTION FOUND: 7590 @ 193.382 c NEW SOLUTION FOUND: 7588 @ 193.518 c NEW SOLUTION FOUND: 7585 @ 193.653 c NEW SOLUTION FOUND: 7583 @ 193.782 c NEW SOLUTION FOUND: 7581 @ 193.914 c NEW SOLUTION FOUND: 7578 @ 194.049 c NEW SOLUTION FOUND: 7571 @ 194.183 c NEW SOLUTION FOUND: 7569 @ 194.314 c NEW SOLUTION FOUND: 7565 @ 194.452 c NEW SOLUTION FOUND: 7563 @ 194.585 c NEW SOLUTION FOUND: 7559 @ 194.724 c NEW SOLUTION FOUND: 7557 @ 194.857 c NEW SOLUTION FOUND: 7554 @ 194.992 c NEW SOLUTION FOUND: 7551 @ 195.126 c NEW SOLUTION FOUND: 7547 @ 195.26 c NEW SOLUTION FOUND: 7543 @ 195.399 c NEW SOLUTION FOUND: 7539 @ 195.533 c NEW SOLUTION FOUND: 7535 @ 195.67 c NEW SOLUTION FOUND: 7531 @ 195.804 c NEW SOLUTION FOUND: 7527 @ 195.942 c NEW SOLUTION FOUND: 7523 @ 196.077 c NEW SOLUTION FOUND: 7519 @ 196.215 c NEW SOLUTION FOUND: 7515 @ 196.349 c NEW SOLUTION FOUND: 7511 @ 196.483 c NEW SOLUTION FOUND: 7507 @ 196.617 c NEW SOLUTION FOUND: 7503 @ 196.755 c NEW SOLUTION FOUND: 7499 @ 196.889 c NEW SOLUTION FOUND: 7495 @ 197.024 c NEW SOLUTION FOUND: 7491 @ 197.158 c NEW SOLUTION FOUND: 7487 @ 197.296 c NEW SOLUTION FOUND: 7483 @ 197.43 c NEW SOLUTION FOUND: 7479 @ 197.565 c NEW SOLUTION FOUND: 7475 @ 197.699 c NEW SOLUTION FOUND: 7471 @ 197.837 c NEW SOLUTION FOUND: 7467 @ 197.97 c NEW SOLUTION FOUND: 7463 @ 198.107 c NEW SOLUTION FOUND: 7459 @ 198.241 c NEW SOLUTION FOUND: 7455 @ 198.379 c NEW SOLUTION FOUND: 7451 @ 198.513 c NEW SOLUTION FOUND: 7447 @ 198.651 c NEW SOLUTION FOUND: 7443 @ 198.786 c NEW SOLUTION FOUND: 7439 @ 198.925 c NEW SOLUTION FOUND: 7435 @ 199.061 c NEW SOLUTION FOUND: 7431 @ 199.2 c NEW SOLUTION FOUND: 7427 @ 199.334 c NEW SOLUTION FOUND: 7423 @ 199.469 c NEW SOLUTION FOUND: 7419 @ 199.608 c NEW SOLUTION FOUND: 7415 @ 199.743 c NEW SOLUTION FOUND: 7411 @ 199.882 c NEW SOLUTION FOUND: 7407 @ 200.017 c NEW SOLUTION FOUND: 7403 @ 200.156 c NEW SOLUTION FOUND: 7399 @ 200.291 c NEW SOLUTION FOUND: 7395 @ 200.43 c NEW SOLUTION FOUND: 7391 @ 200.565 c NEW SOLUTION FOUND: 7387 @ 200.704 c NEW SOLUTION FOUND: 7383 @ 200.839 c NEW SOLUTION FOUND: 7379 @ 200.974 c NEW SOLUTION FOUND: 7375 @ 201.109 c NEW SOLUTION FOUND: 7371 @ 201.245 c NEW SOLUTION FOUND: 7367 @ 201.382 c NEW SOLUTION FOUND: 7363 @ 201.518 c NEW SOLUTION FOUND: 7359 @ 201.653 c NEW SOLUTION FOUND: 7355 @ 201.789 c NEW SOLUTION FOUND: 7351 @ 201.923 c NEW SOLUTION FOUND: 7347 @ 202.058 c NEW SOLUTION FOUND: 7343 @ 202.193 c NEW SOLUTION FOUND: 7339 @ 202.328 c NEW SOLUTION FOUND: 7335 @ 202.463 c NEW SOLUTION FOUND: 7331 @ 202.598 c NEW SOLUTION FOUND: 7327 @ 202.737 c NEW SOLUTION FOUND: 7323 @ 202.871 c NEW SOLUTION FOUND: 7319 @ 203.008 c NEW SOLUTION FOUND: 7315 @ 203.143 c NEW SOLUTION FOUND: 7311 @ 203.279 c NEW SOLUTION FOUND: 7307 @ 203.418 c NEW SOLUTION FOUND: 7303 @ 203.554 c NEW SOLUTION FOUND: 7299 @ 203.689 c NEW SOLUTION FOUND: 7295 @ 203.825 c NEW SOLUTION FOUND: 7291 @ 203.961 c NEW SOLUTION FOUND: 7287 @ 204.097 c NEW SOLUTION FOUND: 7283 @ 204.232 c NEW SOLUTION FOUND: 7279 @ 204.372 c NEW SOLUTION FOUND: 7275 @ 204.507 c NEW SOLUTION FOUND: 7271 @ 204.646 c NEW SOLUTION FOUND: 7261 @ 204.79 c NEW SOLUTION FOUND: 7257 @ 204.927 c NEW SOLUTION FOUND: 7253 @ 205.065 c NEW SOLUTION FOUND: 7251 @ 205.206 c NEW SOLUTION FOUND: 7249 @ 205.343 c NEW SOLUTION FOUND: 7247 @ 205.484 c NEW SOLUTION FOUND: 7245 @ 205.625 c NEW SOLUTION FOUND: 7243 @ 205.767 c NEW SOLUTION FOUND: 7241 @ 205.909 c NEW SOLUTION FOUND: 7239 @ 206.053 c NEW SOLUTION FOUND: 7236 @ 206.198 c NEW SOLUTION FOUND: 7234 @ 206.34 c NEW SOLUTION FOUND: 7232 @ 206.486 c NEW SOLUTION FOUND: 7229 @ 206.636 c NEW SOLUTION FOUND: 7224 @ 206.784 c NEW SOLUTION FOUND: 7222 @ 206.928 c NEW SOLUTION FOUND: 7219 @ 207.079 c NEW SOLUTION FOUND: 7214 @ 207.226 c NEW SOLUTION FOUND: 7212 @ 207.368 c NEW SOLUTION FOUND: 7210 @ 207.669 c NEW SOLUTION FOUND: 7208 @ 207.825 c NEW SOLUTION FOUND: 7205 @ 207.973 c NEW SOLUTION FOUND: 7203 @ 208.123 c NEW SOLUTION FOUND: 7200 @ 208.279 c NEW SOLUTION FOUND: 7199 @ 208.427 c NEW SOLUTION FOUND: 7196 @ 208.583 c NEW SOLUTION FOUND: 7193 @ 208.733 c NEW SOLUTION FOUND: 7190 @ 208.883 c NEW SOLUTION FOUND: 7187 @ 209.036 c NEW SOLUTION FOUND: 7184 @ 209.187 c NEW SOLUTION FOUND: 7181 @ 209.342 c NEW SOLUTION FOUND: 7178 @ 209.492 c NEW SOLUTION FOUND: 7175 @ 209.644 c NEW SOLUTION FOUND: 7172 @ 209.795 c NEW SOLUTION FOUND: 7169 @ 209.949 c NEW SOLUTION FOUND: 7166 @ 210.102 c NEW SOLUTION FOUND: 7163 @ 210.257 c NEW SOLUTION FOUND: 7160 @ 210.41 c NEW SOLUTION FOUND: 7157 @ 210.565 c NEW SOLUTION FOUND: 7154 @ 210.718 c NEW SOLUTION FOUND: 7151 @ 210.872 c NEW SOLUTION FOUND: 7148 @ 211.025 c NEW SOLUTION FOUND: 7145 @ 211.18 c NEW SOLUTION FOUND: 7142 @ 211.333 c NEW SOLUTION FOUND: 7133 @ 211.491 c NEW SOLUTION FOUND: 7131 @ 211.8 c NEW SOLUTION FOUND: 7128 @ 211.954 c NEW SOLUTION FOUND: 7122 @ 212.107 c NEW SOLUTION FOUND: 7119 @ 212.257 c NEW SOLUTION FOUND: 7111 @ 212.422 c NEW SOLUTION FOUND: 7108 @ 212.573 c NEW SOLUTION FOUND: 7100 @ 212.732 c NEW SOLUTION FOUND: 7097 @ 212.886 c NEW SOLUTION FOUND: 7094 @ 213.049 c NEW SOLUTION FOUND: 7091 @ 213.204 c NEW SOLUTION FOUND: 7088 @ 213.36 c NEW SOLUTION FOUND: 7085 @ 213.515 c NEW SOLUTION FOUND: 7081 @ 213.672 c NEW SOLUTION FOUND: 7077 @ 213.827 c NEW SOLUTION FOUND: 7073 @ 213.983 c NEW SOLUTION FOUND: 7066 @ 214.142 c NEW SOLUTION FOUND: 7062 @ 214.299 c NEW SOLUTION FOUND: 7057 @ 214.462 c NEW SOLUTION FOUND: 7053 @ 214.622 c NEW SOLUTION FOUND: 7051 @ 214.785 c NEW SOLUTION FOUND: 7047 @ 214.957 c NEW SOLUTION FOUND: 7043 @ 215.117 c NEW SOLUTION FOUND: 7039 @ 215.278 c NEW SOLUTION FOUND: 7035 @ 215.441 c NEW SOLUTION FOUND: 7031 @ 215.603 c NEW SOLUTION FOUND: 7027 @ 215.765 c NEW SOLUTION FOUND: 7023 @ 215.928 c NEW SOLUTION FOUND: 7019 @ 216.088 c NEW SOLUTION FOUND: 7018 @ 216.252 c NEW SOLUTION FOUND: 7014 @ 216.425 c NEW SOLUTION FOUND: 7010 @ 216.585 c NEW SOLUTION FOUND: 7006 @ 216.753 c NEW SOLUTION FOUND: 7002 @ 216.916 c NEW SOLUTION FOUND: 6998 @ 217.078 c NEW SOLUTION FOUND: 6994 @ 217.241 c NEW SOLUTION FOUND: 6990 @ 217.403 c NEW SOLUTION FOUND: 6986 @ 217.571 c NEW SOLUTION FOUND: 6982 @ 217.733 c NEW SOLUTION FOUND: 6978 @ 217.895 c NEW SOLUTION FOUND: 6974 @ 218.064 c NEW SOLUTION FOUND: 6970 @ 218.231 c NEW SOLUTION FOUND: 6966 @ 218.392 c NEW SOLUTION FOUND: 6962 @ 218.554 c NEW SOLUTION FOUND: 6958 @ 218.718 c NEW SOLUTION FOUND: 6954 @ 218.877 c NEW SOLUTION FOUND: 6950 @ 219.044 c NEW SOLUTION FOUND: 6946 @ 219.205 c NEW SOLUTION FOUND: 6942 @ 219.372 c NEW SOLUTION FOUND: 6938 @ 219.534 c NEW SOLUTION FOUND: 6934 @ 219.699 c NEW SOLUTION FOUND: 6930 @ 219.862 c NEW SOLUTION FOUND: 6926 @ 220.024 c NEW SOLUTION FOUND: 6922 @ 220.186 c NEW SOLUTION FOUND: 6918 @ 220.354 c NEW SOLUTION FOUND: 6914 @ 220.516 c NEW SOLUTION FOUND: 6910 @ 220.679 c NEW SOLUTION FOUND: 6906 @ 220.842 c NEW SOLUTION FOUND: 6902 @ 221.006 c NEW SOLUTION FOUND: 6898 @ 221.168 c NEW SOLUTION FOUND: 6894 @ 221.332 c NEW SOLUTION FOUND: 6890 @ 221.494 c NEW SOLUTION FOUND: 6886 @ 221.657 c NEW SOLUTION FOUND: 6882 @ 221.819 c NEW SOLUTION FOUND: 6878 @ 221.985 c NEW SOLUTION FOUND: 6874 @ 222.146 c NEW SOLUTION FOUND: 6864 @ 222.315 c NEW SOLUTION FOUND: 6860 @ 222.474 c NEW SOLUTION FOUND: 6856 @ 222.643 c NEW SOLUTION FOUND: 6852 @ 222.804 c NEW SOLUTION FOUND: 6848 @ 222.969 c NEW SOLUTION FOUND: 6844 @ 223.131 c NEW SOLUTION FOUND: 6840 @ 223.294 c NEW SOLUTION FOUND: 6836 @ 223.455 c NEW SOLUTION FOUND: 6832 @ 223.619 c NEW SOLUTION FOUND: 6828 @ 223.78 c NEW SOLUTION FOUND: 6824 @ 223.945 c NEW SOLUTION FOUND: 6820 @ 224.109 c NEW SOLUTION FOUND: 6816 @ 224.277 c NEW SOLUTION FOUND: 6812 @ 224.439 c NEW SOLUTION FOUND: 6808 @ 224.601 c NEW SOLUTION FOUND: 6804 @ 224.763 c NEW SOLUTION FOUND: 6800 @ 224.925 c NEW SOLUTION FOUND: 6796 @ 225.088 c NEW SOLUTION FOUND: 6792 @ 225.251 c NEW SOLUTION FOUND: 6788 @ 225.414 c NEW SOLUTION FOUND: 6784 @ 225.576 c NEW SOLUTION FOUND: 6780 @ 225.739 c NEW SOLUTION FOUND: 6776 @ 225.902 c NEW SOLUTION FOUND: 6772 @ 226.065 c NEW SOLUTION FOUND: 6768 @ 226.228 c NEW SOLUTION FOUND: 6764 @ 226.389 c NEW SOLUTION FOUND: 6760 @ 226.554 c NEW SOLUTION FOUND: 6756 @ 226.716 c NEW SOLUTION FOUND: 6752 @ 226.886 c NEW SOLUTION FOUND: 6749 @ 227.049 c NEW SOLUTION FOUND: 6745 @ 227.221 c NEW SOLUTION FOUND: 6741 @ 227.384 c NEW SOLUTION FOUND: 6737 @ 227.549 c NEW SOLUTION FOUND: 6733 @ 227.71 c NEW SOLUTION FOUND: 6729 @ 227.879 c NEW SOLUTION FOUND: 6725 @ 228.041 c NEW SOLUTION FOUND: 6721 @ 228.204 c NEW SOLUTION FOUND: 6717 @ 228.367 c NEW SOLUTION FOUND: 6713 @ 228.53 c NEW SOLUTION FOUND: 6709 @ 228.692 c NEW SOLUTION FOUND: 6705 @ 228.861 c NEW SOLUTION FOUND: 6701 @ 229.024 c NEW SOLUTION FOUND: 6697 @ 229.187 c NEW SOLUTION FOUND: 6693 @ 229.352 c NEW SOLUTION FOUND: 6689 @ 229.52 c NEW SOLUTION FOUND: 6685 @ 229.686 c NEW SOLUTION FOUND: 6681 @ 229.855 c NEW SOLUTION FOUND: 6677 @ 230.021 c NEW SOLUTION FOUND: 6673 @ 230.191 c NEW SOLUTION FOUND: 6669 @ 230.355 c NEW SOLUTION FOUND: 6665 @ 230.519 c NEW SOLUTION FOUND: 6661 @ 230.687 c NEW SOLUTION FOUND: 6657 @ 230.85 c NEW SOLUTION FOUND: 6653 @ 231.02 c NEW SOLUTION FOUND: 6649 @ 231.184 c NEW SOLUTION FOUND: 6645 @ 231.347 c NEW SOLUTION FOUND: 6641 @ 231.516 c NEW SOLUTION FOUND: 6637 @ 231.685 c NEW SOLUTION FOUND: 6633 @ 231.852 c NEW SOLUTION FOUND: 6629 @ 232.022 c NEW SOLUTION FOUND: 6625 @ 232.193 c NEW SOLUTION FOUND: 6621 @ 232.359 c NEW SOLUTION FOUND: 6617 @ 232.53 c NEW SOLUTION FOUND: 6613 @ 232.697 c NEW SOLUTION FOUND: 6609 @ 232.868 c NEW SOLUTION FOUND: 6605 @ 233.034 c NEW SOLUTION FOUND: 6601 @ 233.205 c NEW SOLUTION FOUND: 6597 @ 233.371 c NEW SOLUTION FOUND: 6593 @ 233.543 c NEW SOLUTION FOUND: 6589 @ 233.709 c NEW SOLUTION FOUND: 6585 @ 233.88 c NEW SOLUTION FOUND: 6581 @ 234.046 c NEW SOLUTION FOUND: 6577 @ 234.22 c NEW SOLUTION FOUND: 6573 @ 234.386 c NEW SOLUTION FOUND: 6569 @ 234.557 c NEW SOLUTION FOUND: 6565 @ 234.723 c NEW SOLUTION FOUND: 6561 @ 234.894 c NEW SOLUTION FOUND: 6557 @ 235.062 c NEW SOLUTION FOUND: 6553 @ 235.234 c NEW SOLUTION FOUND: 6549 @ 235.4 c NEW SOLUTION FOUND: 6545 @ 235.572 c NEW SOLUTION FOUND: 6541 @ 235.739 c NEW SOLUTION FOUND: 6537 @ 235.911 c NEW SOLUTION FOUND: 6533 @ 236.076 c NEW SOLUTION FOUND: 6529 @ 236.249 c NEW SOLUTION FOUND: 6525 @ 236.414 c NEW SOLUTION FOUND: 6521 @ 236.583 c NEW SOLUTION FOUND: 6517 @ 236.748 c NEW SOLUTION FOUND: 6513 @ 236.918 c NEW SOLUTION FOUND: 6509 @ 237.084 c NEW SOLUTION FOUND: 6505 @ 237.254 c NEW SOLUTION FOUND: 6501 @ 237.418 c NEW SOLUTION FOUND: 6497 @ 237.588 c NEW SOLUTION FOUND: 6493 @ 237.753 c NEW SOLUTION FOUND: 6489 @ 237.923 c NEW SOLUTION FOUND: 6485 @ 238.086 c NEW SOLUTION FOUND: 6481 @ 238.249 c NEW SOLUTION FOUND: 6477 @ 238.413 c NEW SOLUTION FOUND: 6473 @ 238.583 c NEW SOLUTION FOUND: 6469 @ 238.746 c NEW SOLUTION FOUND: 6465 @ 238.912 c NEW SOLUTION FOUND: 6461 @ 239.074 c NEW SOLUTION FOUND: 6457 @ 239.238 c NEW SOLUTION FOUND: 6453 @ 239.402 c NEW SOLUTION FOUND: 6449 @ 239.567 c NEW SOLUTION FOUND: 6445 @ 239.73 c NEW SOLUTION FOUND: 6441 @ 239.895 c NEW SOLUTION FOUND: 6437 @ 240.058 c NEW SOLUTION FOUND: 6433 @ 240.223 c NEW SOLUTION FOUND: 6429 @ 240.386 c NEW SOLUTION FOUND: 6425 @ 240.556 c NEW SOLUTION FOUND: 6421 @ 240.719 c NEW SOLUTION FOUND: 6417 @ 240.882 c NEW SOLUTION FOUND: 6413 @ 241.045 c NEW SOLUTION FOUND: 6409 @ 241.21 c NEW SOLUTION FOUND: 6405 @ 241.375 c NEW SOLUTION FOUND: 6401 @ 241.539 c NEW SOLUTION FOUND: 6397 @ 241.703 c NEW SOLUTION FOUND: 6393 @ 241.867 c NEW SOLUTION FOUND: 6389 @ 242.031 c NEW SOLUTION FOUND: 6385 @ 242.195 c NEW SOLUTION FOUND: 6381 @ 242.357 c NEW SOLUTION FOUND: 6377 @ 242.52 c NEW SOLUTION FOUND: 6373 @ 242.688 c NEW SOLUTION FOUND: 6369 @ 242.851 c NEW SOLUTION FOUND: 6365 @ 243.014 c NEW SOLUTION FOUND: 6361 @ 243.177 c NEW SOLUTION FOUND: 6357 @ 243.346 c NEW SOLUTION FOUND: 6353 @ 243.511 c NEW SOLUTION FOUND: 6349 @ 243.675 c NEW SOLUTION FOUND: 6345 @ 243.838 c NEW SOLUTION FOUND: 6341 @ 244.001 c NEW SOLUTION FOUND: 6337 @ 244.165 c NEW SOLUTION FOUND: 6333 @ 244.327 c NEW SOLUTION FOUND: 6329 @ 244.491 c NEW SOLUTION FOUND: 6325 @ 244.654 c NEW SOLUTION FOUND: 6321 @ 244.818 c NEW SOLUTION FOUND: 6317 @ 244.981 c NEW SOLUTION FOUND: 6313 @ 245.15 c NEW SOLUTION FOUND: 6309 @ 245.312 c NEW SOLUTION FOUND: 6305 @ 245.476 c NEW SOLUTION FOUND: 6301 @ 245.639 c NEW SOLUTION FOUND: 6297 @ 245.808 c NEW SOLUTION FOUND: 6293 @ 245.972 c NEW SOLUTION FOUND: 6289 @ 246.134 c NEW SOLUTION FOUND: 6285 @ 246.297 c NEW SOLUTION FOUND: 6281 @ 246.46 c NEW SOLUTION FOUND: 6277 @ 246.623 c NEW SOLUTION FOUND: 6273 @ 246.788 c NEW SOLUTION FOUND: 6269 @ 246.951 c NEW SOLUTION FOUND: 6265 @ 247.113 c NEW SOLUTION FOUND: 6261 @ 247.276 c NEW SOLUTION FOUND: 6257 @ 247.437 c NEW SOLUTION FOUND: 6253 @ 247.6 c NEW SOLUTION FOUND: 6249 @ 247.761 c NEW SOLUTION FOUND: 6245 @ 247.925 c NEW SOLUTION FOUND: 6241 @ 248.086 c NEW SOLUTION FOUND: 6237 @ 248.25 c NEW SOLUTION FOUND: 6233 @ 248.412 c NEW SOLUTION FOUND: 6229 @ 248.575 c NEW SOLUTION FOUND: 6222 @ 248.741 c NEW SOLUTION FOUND: 6218 @ 248.902 c NEW SOLUTION FOUND: 6214 @ 249.065 c NEW SOLUTION FOUND: 6210 @ 249.23 c NEW SOLUTION FOUND: 6206 @ 249.395 c NEW SOLUTION FOUND: 6202 @ 249.557 c NEW SOLUTION FOUND: 6198 @ 249.719 c NEW SOLUTION FOUND: 6194 @ 249.881 c NEW SOLUTION FOUND: 6190 @ 250.045 c NEW SOLUTION FOUND: 6186 @ 250.208 c NEW SOLUTION FOUND: 6182 @ 250.371 c NEW SOLUTION FOUND: 6178 @ 250.54 c NEW SOLUTION FOUND: 6174 @ 250.706 c NEW SOLUTION FOUND: 6170 @ 250.871 c NEW SOLUTION FOUND: 6166 @ 251.041 c NEW SOLUTION FOUND: 6162 @ 251.203 c NEW SOLUTION FOUND: 6158 @ 251.366 c NEW SOLUTION FOUND: 6154 @ 251.532 c NEW SOLUTION FOUND: 6150 @ 251.695 c NEW SOLUTION FOUND: 6146 @ 251.861 c NEW SOLUTION FOUND: 6142 @ 252.023 c NEW SOLUTION FOUND: 6138 @ 252.192 c NEW SOLUTION FOUND: 6134 @ 252.355 c NEW SOLUTION FOUND: 6130 @ 252.524 c NEW SOLUTION FOUND: 6126 @ 252.688 c NEW SOLUTION FOUND: 6122 @ 252.857 c NEW SOLUTION FOUND: 6118 @ 253.02 c NEW SOLUTION FOUND: 6114 @ 253.19 c NEW SOLUTION FOUND: 6110 @ 253.353 c NEW SOLUTION FOUND: 6106 @ 253.517 c NEW SOLUTION FOUND: 6102 @ 253.681 c NEW SOLUTION FOUND: 6098 @ 253.845 c NEW SOLUTION FOUND: 6094 @ 254.009 c NEW SOLUTION FOUND: 6090 @ 254.173 c NEW SOLUTION FOUND: 6086 @ 254.339 c NEW SOLUTION FOUND: 6082 @ 254.501 c NEW SOLUTION FOUND: 6078 @ 254.669 c NEW SOLUTION FOUND: 6074 @ 254.831 c NEW SOLUTION FOUND: 6070 @ 254.998 c NEW SOLUTION FOUND: 6066 @ 255.161 c NEW SOLUTION FOUND: 6062 @ 255.324 c NEW SOLUTION FOUND: 6058 @ 255.493 c NEW SOLUTION FOUND: 6054 @ 255.661 c NEW SOLUTION FOUND: 6050 @ 255.824 c NEW SOLUTION FOUND: 6046 @ 255.986 c NEW SOLUTION FOUND: 6042 @ 256.149 c NEW SOLUTION FOUND: 6038 @ 256.312 c NEW SOLUTION FOUND: 6034 @ 256.482 c NEW SOLUTION FOUND: 6030 @ 256.644 c NEW SOLUTION FOUND: 6026 @ 256.807 c NEW SOLUTION FOUND: 6022 @ 256.975 c NEW SOLUTION FOUND: 6018 @ 257.14 c NEW SOLUTION FOUND: 6014 @ 257.307 c NEW SOLUTION FOUND: 6010 @ 257.469 c NEW SOLUTION FOUND: 6006 @ 257.634 c NEW SOLUTION FOUND: 6002 @ 257.797 c NEW SOLUTION FOUND: 5998 @ 257.961 c NEW SOLUTION FOUND: 5994 @ 258.123 c NEW SOLUTION FOUND: 5990 @ 258.286 c NEW SOLUTION FOUND: 5986 @ 258.449 c NEW SOLUTION FOUND: 5982 @ 258.612 c NEW SOLUTION FOUND: 5978 @ 258.774 c NEW SOLUTION FOUND: 5974 @ 258.94 c NEW SOLUTION FOUND: 5970 @ 259.103 c NEW SOLUTION FOUND: 5966 @ 259.267 c NEW SOLUTION FOUND: 5962 @ 259.43 c NEW SOLUTION FOUND: 5958 @ 259.593 c NEW SOLUTION FOUND: 5954 @ 259.756 c NEW SOLUTION FOUND: 5950 @ 259.92 c NEW SOLUTION FOUND: 5946 @ 260.083 c NEW SOLUTION FOUND: 5942 @ 260.247 c NEW SOLUTION FOUND: 5938 @ 260.41 c NEW SOLUTION FOUND: 5934 @ 260.573 c NEW SOLUTION FOUND: 5930 @ 260.736 c NEW SOLUTION FOUND: 5926 @ 260.901 c NEW SOLUTION FOUND: 5922 @ 261.063 c NEW SOLUTION FOUND: 5918 @ 261.228 c NEW SOLUTION FOUND: 5914 @ 261.39 c NEW SOLUTION FOUND: 5910 @ 261.554 c NEW SOLUTION FOUND: 5906 @ 261.716 c NEW SOLUTION FOUND: 5902 @ 261.879 c NEW SOLUTION FOUND: 5898 @ 262.041 c NEW SOLUTION FOUND: 5894 @ 262.206 c NEW SOLUTION FOUND: 5890 @ 262.368 c NEW SOLUTION FOUND: 5886 @ 262.532 c NEW SOLUTION FOUND: 5882 @ 262.695 c NEW SOLUTION FOUND: 5878 @ 262.858 c NEW SOLUTION FOUND: 5874 @ 263.023 c NEW SOLUTION FOUND: 5870 @ 263.187 c NEW SOLUTION FOUND: 5866 @ 263.351 c NEW SOLUTION FOUND: 5862 @ 263.515 c NEW SOLUTION FOUND: 5858 @ 263.679 c NEW SOLUTION FOUND: 5854 @ 263.843 c NEW SOLUTION FOUND: 5850 @ 264.007 c NEW SOLUTION FOUND: 5846 @ 264.171 c NEW SOLUTION FOUND: 5842 @ 264.335 c NEW SOLUTION FOUND: 5838 @ 264.499 c NEW SOLUTION FOUND: 5834 @ 264.662 c NEW SOLUTION FOUND: 5830 @ 264.826 c NEW SOLUTION FOUND: 5826 @ 264.99 c NEW SOLUTION FOUND: 5822 @ 265.155 c NEW SOLUTION FOUND: 5818 @ 265.319 c NEW SOLUTION FOUND: 5814 @ 265.484 c NEW SOLUTION FOUND: 5810 @ 265.646 c NEW SOLUTION FOUND: 5806 @ 265.811 c NEW SOLUTION FOUND: 5802 @ 265.975 c NEW SOLUTION FOUND: 5798 @ 266.14 c NEW SOLUTION FOUND: 5794 @ 266.309 c NEW SOLUTION FOUND: 5790 @ 266.475 c NEW SOLUTION FOUND: 5786 @ 266.638 c NEW SOLUTION FOUND: 5782 @ 266.807 c NEW SOLUTION FOUND: 5778 @ 266.97 c NEW SOLUTION FOUND: 5774 @ 267.136 c NEW SOLUTION FOUND: 5770 @ 267.299 c NEW SOLUTION FOUND: 5766 @ 267.468 c NEW SOLUTION FOUND: 5762 @ 267.632 c NEW SOLUTION FOUND: 5758 @ 267.801 c NEW SOLUTION FOUND: 5754 @ 267.964 c NEW SOLUTION FOUND: 5750 @ 268.127 c NEW SOLUTION FOUND: 5746 @ 268.291 c NEW SOLUTION FOUND: 5742 @ 268.456 c NEW SOLUTION FOUND: 5738 @ 268.618 c NEW SOLUTION FOUND: 5734 @ 268.784 c NEW SOLUTION FOUND: 5730 @ 268.948 c NEW SOLUTION FOUND: 5726 @ 269.111 c NEW SOLUTION FOUND: 5722 @ 269.28 c NEW SOLUTION FOUND: 5718 @ 269.442 c NEW SOLUTION FOUND: 5714 @ 269.612 c NEW SOLUTION FOUND: 5710 @ 269.774 c NEW SOLUTION FOUND: 5706 @ 269.943 c NEW SOLUTION FOUND: 5702 @ 270.105 c NEW SOLUTION FOUND: 5698 @ 270.275 c NEW SOLUTION FOUND: 5694 @ 270.439 c NEW SOLUTION FOUND: 5690 @ 270.602 c NEW SOLUTION FOUND: 5686 @ 270.766 c NEW SOLUTION FOUND: 5682 @ 270.928 c NEW SOLUTION FOUND: 5678 @ 271.091 c NEW SOLUTION FOUND: 5674 @ 271.255 c NEW SOLUTION FOUND: 5670 @ 271.42 c NEW SOLUTION FOUND: 5666 @ 271.582 c NEW SOLUTION FOUND: 5662 @ 271.745 c NEW SOLUTION FOUND: 5658 @ 271.909 c NEW SOLUTION FOUND: 5654 @ 272.08 c NEW SOLUTION FOUND: 5650 @ 272.243 c NEW SOLUTION FOUND: 5646 @ 272.405 c NEW SOLUTION FOUND: 5642 @ 272.568 c NEW SOLUTION FOUND: 5638 @ 272.732 c NEW SOLUTION FOUND: 5634 @ 272.895 c NEW SOLUTION FOUND: 5630 @ 273.06 c NEW SOLUTION FOUND: 5626 @ 273.224 c NEW SOLUTION FOUND: 5622 @ 273.389 c NEW SOLUTION FOUND: 5618 @ 273.552 c NEW SOLUTION FOUND: 5614 @ 273.714 c NEW SOLUTION FOUND: 5610 @ 273.877 c NEW SOLUTION FOUND: 5606 @ 274.04 c NEW SOLUTION FOUND: 5602 @ 274.203 c NEW SOLUTION FOUND: 5598 @ 274.366 c NEW SOLUTION FOUND: 5594 @ 274.527 c NEW SOLUTION FOUND: 5590 @ 274.69 c NEW SOLUTION FOUND: 5586 @ 274.851 c NEW SOLUTION FOUND: 5582 @ 275.013 c NEW SOLUTION FOUND: 5578 @ 275.174 c NEW SOLUTION FOUND: 5574 @ 275.337 c NEW SOLUTION FOUND: 5570 @ 275.497 c NEW SOLUTION FOUND: 5566 @ 275.66 c NEW SOLUTION FOUND: 5562 @ 275.823 c NEW SOLUTION FOUND: 5558 @ 275.986 c NEW SOLUTION FOUND: 5554 @ 276.148 c NEW SOLUTION FOUND: 5550 @ 276.312 c NEW SOLUTION FOUND: 5546 @ 276.476 c NEW SOLUTION FOUND: 5542 @ 276.639 c NEW SOLUTION FOUND: 5538 @ 276.809 c NEW SOLUTION FOUND: 5534 @ 276.971 c NEW SOLUTION FOUND: 5530 @ 277.141 c NEW SOLUTION FOUND: 5526 @ 277.304 c NEW SOLUTION FOUND: 5522 @ 277.474 c NEW SOLUTION FOUND: 5518 @ 277.639 c NEW SOLUTION FOUND: 5514 @ 277.802 c NEW SOLUTION FOUND: 5510 @ 277.967 c NEW SOLUTION FOUND: 5506 @ 278.129 c NEW SOLUTION FOUND: 5502 @ 278.29 c NEW SOLUTION FOUND: 5498 @ 278.452 c NEW SOLUTION FOUND: 5494 @ 278.613 c NEW SOLUTION FOUND: 5490 @ 278.774 c NEW SOLUTION FOUND: 5486 @ 278.934 c NEW SOLUTION FOUND: 5482 @ 279.096 c NEW SOLUTION FOUND: 5478 @ 279.259 c NEW SOLUTION FOUND: 5474 @ 279.424 c NEW SOLUTION FOUND: 5470 @ 279.593 c NEW SOLUTION FOUND: 5466 @ 279.753 c NEW SOLUTION FOUND: 5462 @ 279.916 c NEW SOLUTION FOUND: 5458 @ 280.081 c NEW SOLUTION FOUND: 5454 @ 280.244 c NEW SOLUTION FOUND: 5450 @ 280.409 c NEW SOLUTION FOUND: 5446 @ 280.574 c NEW SOLUTION FOUND: 5442 @ 280.739 c NEW SOLUTION FOUND: 5438 @ 280.903 c NEW SOLUTION FOUND: 5434 @ 281.065 c NEW SOLUTION FOUND: 5430 @ 281.228 c NEW SOLUTION FOUND: 5426 @ 281.392 c NEW SOLUTION FOUND: 5422 @ 281.559 c NEW SOLUTION FOUND: 5418 @ 281.723 c NEW SOLUTION FOUND: 5414 @ 281.889 c NEW SOLUTION FOUND: 5410 @ 282.053 c NEW SOLUTION FOUND: 5406 @ 282.221 c NEW SOLUTION FOUND: 5402 @ 282.385 c NEW SOLUTION FOUND: 5398 @ 282.552 c NEW SOLUTION FOUND: 5394 @ 282.716 c NEW SOLUTION FOUND: 5390 @ 282.883 c NEW SOLUTION FOUND: 5386 @ 283.049 c NEW SOLUTION FOUND: 5382 @ 283.216 c NEW SOLUTION FOUND: 5378 @ 283.381 c NEW SOLUTION FOUND: 5374 @ 283.543 c NEW SOLUTION FOUND: 5370 @ 283.709 c NEW SOLUTION FOUND: 5366 @ 283.873 c NEW SOLUTION FOUND: 5362 @ 284.037 c NEW SOLUTION FOUND: 5358 @ 284.2 c NEW SOLUTION FOUND: 5354 @ 284.364 c NEW SOLUTION FOUND: 5350 @ 284.529 c NEW SOLUTION FOUND: 5346 @ 284.699 c NEW SOLUTION FOUND: 5343 @ 284.865 c NEW SOLUTION FOUND: 5339 @ 285.034 c NEW SOLUTION FOUND: 5335 @ 285.195 c NEW SOLUTION FOUND: 5331 @ 285.357 c NEW SOLUTION FOUND: 5327 @ 285.521 c NEW SOLUTION FOUND: 5323 @ 285.686 c NEW SOLUTION FOUND: 5319 @ 285.851 c NEW SOLUTION FOUND: 5315 @ 286.013 c NEW SOLUTION FOUND: 5311 @ 286.177 c NEW SOLUTION FOUND: 5307 @ 286.341 c NEW SOLUTION FOUND: 5303 @ 286.504 c NEW SOLUTION FOUND: 5293 @ 286.678 c NEW SOLUTION FOUND: 5289 @ 286.84 c NEW SOLUTION FOUND: 5285 @ 287.011 c NEW SOLUTION FOUND: 5281 @ 287.175 c NEW SOLUTION FOUND: 5277 @ 287.348 c NEW SOLUTION FOUND: 5273 @ 287.514 c NEW SOLUTION FOUND: 5269 @ 287.679 c NEW SOLUTION FOUND: 5265 @ 287.845 c NEW SOLUTION FOUND: 5255 @ 288.015 c NEW SOLUTION FOUND: 5251 @ 288.176 c NEW SOLUTION FOUND: 5247 @ 288.35 c NEW SOLUTION FOUND: 5243 @ 288.516 c NEW SOLUTION FOUND: 5239 @ 288.682 c NEW SOLUTION FOUND: 5235 @ 288.85 c NEW SOLUTION FOUND: 5231 @ 289.019 c NEW SOLUTION FOUND: 5227 @ 289.187 c NEW SOLUTION FOUND: 5223 @ 289.354 c NEW SOLUTION FOUND: 5219 @ 289.527 c NEW SOLUTION FOUND: 5215 @ 289.69 c NEW SOLUTION FOUND: 5212 @ 289.855 c NEW SOLUTION FOUND: 5208 @ 290.03 c NEW SOLUTION FOUND: 5204 @ 290.193 c NEW SOLUTION FOUND: 5200 @ 290.359 c NEW SOLUTION FOUND: 5196 @ 290.527 c NEW SOLUTION FOUND: 5192 @ 290.695 c NEW SOLUTION FOUND: 5188 @ 290.863 c NEW SOLUTION FOUND: 5184 @ 291.032 c NEW SOLUTION FOUND: 5180 @ 291.206 c NEW SOLUTION FOUND: 5176 @ 291.694 c NEW SOLUTION FOUND: 5172 @ 291.861 c NEW SOLUTION FOUND: 5168 @ 292.03 c NEW SOLUTION FOUND: 5164 @ 292.202 c NEW SOLUTION FOUND: 5160 @ 292.38 c NEW SOLUTION FOUND: 5156 @ 292.55 c NEW SOLUTION FOUND: 5152 @ 292.722 c NEW SOLUTION FOUND: 5148 @ 292.894 c NEW SOLUTION FOUND: 5144 @ 293.065 c NEW SOLUTION FOUND: 5140 @ 293.24 c NEW SOLUTION FOUND: 5136 @ 293.411 c NEW SOLUTION FOUND: 5132 @ 293.583 c NEW SOLUTION FOUND: 5128 @ 293.753 c NEW SOLUTION FOUND: 5124 @ 293.924 c NEW SOLUTION FOUND: 5120 @ 294.098 c NEW SOLUTION FOUND: 5116 @ 294.269 c NEW SOLUTION FOUND: 5112 @ 294.438 c NEW SOLUTION FOUND: 5108 @ 294.609 c NEW SOLUTION FOUND: 5104 @ 294.778 c NEW SOLUTION FOUND: 5100 @ 294.949 c NEW SOLUTION FOUND: 5096 @ 295.129 c NEW SOLUTION FOUND: 5092 @ 295.302 c NEW SOLUTION FOUND: 5088 @ 295.475 c NEW SOLUTION FOUND: 5084 @ 295.649 c NEW SOLUTION FOUND: 5080 @ 295.823 c NEW SOLUTION FOUND: 5076 @ 295.992 c NEW SOLUTION FOUND: 5072 @ 296.166 c NEW SOLUTION FOUND: 5068 @ 296.336 c NEW SOLUTION FOUND: 5064 @ 296.511 c NEW SOLUTION FOUND: 5060 @ 296.68 c NEW SOLUTION FOUND: 5056 @ 296.854 c NEW SOLUTION FOUND: 5052 @ 297.024 c NEW SOLUTION FOUND: 5048 @ 297.198 c NEW SOLUTION FOUND: 5044 @ 297.367 c NEW SOLUTION FOUND: 5040 @ 297.541 c NEW SOLUTION FOUND: 5036 @ 297.71 c NEW SOLUTION FOUND: 5032 @ 297.884 c NEW SOLUTION FOUND: 5028 @ 298.055 c NEW SOLUTION FOUND: 5024 @ 298.229 c NEW SOLUTION FOUND: 5020 @ 298.4 c NEW SOLUTION FOUND: 5016 @ 298.572 c NEW SOLUTION FOUND: 5012 @ 298.743 c NEW SOLUTION FOUND: 5008 @ 298.916 c NEW SOLUTION FOUND: 5004 @ 299.085 c NEW SOLUTION FOUND: 5000 @ 299.257 c NEW SOLUTION FOUND: 4996 @ 299.425 c NEW SOLUTION FOUND: 4992 @ 299.597 c NEW SOLUTION FOUND: 4988 @ 299.766 c NEW SOLUTION FOUND: 4984 @ 299.937 c NEW SOLUTION FOUND: 4980 @ 300.106 c NEW SOLUTION FOUND: 4976 @ 300.277 c NEW SOLUTION FOUND: 4972 @ 300.446 c NEW SOLUTION FOUND: 4968 @ 300.617 c NEW SOLUTION FOUND: 4964 @ 300.787 c NEW SOLUTION FOUND: 4960 @ 300.96 c NEW SOLUTION FOUND: 4956 @ 301.13 c NEW SOLUTION FOUND: 4952 @ 301.303 c NEW SOLUTION FOUND: 4948 @ 301.472 c NEW SOLUTION FOUND: 4944 @ 301.644 c NEW SOLUTION FOUND: 4940 @ 301.814 c NEW SOLUTION FOUND: 4936 @ 301.985 c NEW SOLUTION FOUND: 4932 @ 302.154 c NEW SOLUTION FOUND: 4928 @ 302.326 c NEW SOLUTION FOUND: 4924 @ 302.494 c NEW SOLUTION FOUND: 4920 @ 302.664 c NEW SOLUTION FOUND: 4916 @ 302.831 c NEW SOLUTION FOUND: 4912 @ 303.001 c NEW SOLUTION FOUND: 4908 @ 303.171 c NEW SOLUTION FOUND: 4904 @ 303.34 c NEW SOLUTION FOUND: 4900 @ 303.509 c NEW SOLUTION FOUND: 4896 @ 303.683 c NEW SOLUTION FOUND: 4892 @ 303.852 c NEW SOLUTION FOUND: 4888 @ 304.022 c NEW SOLUTION FOUND: 4884 @ 304.193 c NEW SOLUTION FOUND: 4880 @ 304.363 c NEW SOLUTION FOUND: 4876 @ 304.533 c NEW SOLUTION FOUND: 4872 @ 304.706 c NEW SOLUTION FOUND: 4868 @ 304.876 c NEW SOLUTION FOUND: 4864 @ 305.049 c NEW SOLUTION FOUND: 4860 @ 305.22 c NEW SOLUTION FOUND: 4856 @ 305.389 c NEW SOLUTION FOUND: 4852 @ 305.557 c NEW SOLUTION FOUND: 4848 @ 305.73 c NEW SOLUTION FOUND: 4844 @ 305.902 c NEW SOLUTION FOUND: 4840 @ 306.073 c NEW SOLUTION FOUND: 4836 @ 306.244 c NEW SOLUTION FOUND: 4832 @ 306.413 c NEW SOLUTION FOUND: 4828 @ 306.582 c NEW SOLUTION FOUND: 4824 @ 306.754 c NEW SOLUTION FOUND: 4820 @ 306.93 c NEW SOLUTION FOUND: 4816 @ 307.101 c NEW SOLUTION FOUND: 4812 @ 307.277 c NEW SOLUTION FOUND: 4805 @ 307.605 c NEW SOLUTION FOUND: 4802 @ 307.779 c NEW SOLUTION FOUND: 4799 @ 307.955 c NEW SOLUTION FOUND: 4796 @ 308.138 c NEW SOLUTION FOUND: 4795 @ 308.314 c NEW SOLUTION FOUND: 4792 @ 308.501 c NEW SOLUTION FOUND: 4789 @ 308.68 c NEW SOLUTION FOUND: 4786 @ 308.859 c NEW SOLUTION FOUND: 4783 @ 309.044 c NEW SOLUTION FOUND: 4778 @ 309.23 c NEW SOLUTION FOUND: 4775 @ 309.414 c NEW SOLUTION FOUND: 4772 @ 309.591 c NEW SOLUTION FOUND: 4769 @ 309.781 c NEW SOLUTION FOUND: 4766 @ 309.962 c NEW SOLUTION FOUND: 4763 @ 310.149 c NEW SOLUTION FOUND: 4760 @ 310.335 c NEW SOLUTION FOUND: 4757 @ 310.523 c NEW SOLUTION FOUND: 4754 @ 310.899 c NEW SOLUTION FOUND: 4751 @ 311.079 c NEW SOLUTION FOUND: 4748 @ 311.27 c NEW SOLUTION FOUND: 4745 @ 311.458 c NEW SOLUTION FOUND: 4742 @ 311.649 c NEW SOLUTION FOUND: 4739 @ 311.839 c NEW SOLUTION FOUND: 4736 @ 312.025 c NEW SOLUTION FOUND: 4733 @ 312.215 c NEW SOLUTION FOUND: 4730 @ 312.405 c NEW SOLUTION FOUND: 4727 @ 312.596 c NEW SOLUTION FOUND: 4722 @ 312.79 c NEW SOLUTION FOUND: 4719 @ 312.976 c NEW SOLUTION FOUND: 4716 @ 313.169 c NEW SOLUTION FOUND: 4713 @ 313.359 c NEW SOLUTION FOUND: 4707 @ 313.556 c NEW SOLUTION FOUND: 4701 @ 313.75 c NEW SOLUTION FOUND: 4698 @ 313.944 c NEW SOLUTION FOUND: 4695 @ 314.138 c NEW SOLUTION FOUND: 4692 @ 314.334 c NEW SOLUTION FOUND: 4689 @ 314.526 c NEW SOLUTION FOUND: 4686 @ 314.723 c NEW SOLUTION FOUND: 4683 @ 314.916 c NEW SOLUTION FOUND: 4678 @ 315.117 c NEW SOLUTION FOUND: 4675 @ 315.311 c NEW SOLUTION FOUND: 4672 @ 315.516 c NEW SOLUTION FOUND: 4669 @ 315.714 c NEW SOLUTION FOUND: 4666 @ 315.909 c NEW SOLUTION FOUND: 4663 @ 316.109 c NEW SOLUTION FOUND: 4660 @ 316.312 c NEW SOLUTION FOUND: 4657 @ 316.513 c NEW SOLUTION FOUND: 4654 @ 316.713 c NEW SOLUTION FOUND: 4651 @ 316.915 c NEW SOLUTION FOUND: 4648 @ 317.116 c NEW SOLUTION FOUND: 4645 @ 317.315 c NEW SOLUTION FOUND: 4642 @ 317.526 c NEW SOLUTION FOUND: 4639 @ 317.726 c NEW SOLUTION FOUND: 4636 @ 317.936 c NEW SOLUTION FOUND: 4633 @ 318.139 c NEW SOLUTION FOUND: 4630 @ 318.344 c NEW SOLUTION FOUND: 4627 @ 318.545 c NEW SOLUTION FOUND: 4624 @ 318.75 c NEW SOLUTION FOUND: 4619 @ 318.96 c NEW SOLUTION FOUND: 4616 @ 319.161 c NEW SOLUTION FOUND: 4613 @ 319.366 c NEW SOLUTION FOUND: 4610 @ 319.572 c NEW SOLUTION FOUND: 4607 @ 319.775 c NEW SOLUTION FOUND: 4602 @ 319.983 c NEW SOLUTION FOUND: 4599 @ 320.19 c NEW SOLUTION FOUND: 4596 @ 320.405 c NEW SOLUTION FOUND: 4593 @ 320.618 c NEW SOLUTION FOUND: 4590 @ 320.825 c NEW SOLUTION FOUND: 4587 @ 321.034 c NEW SOLUTION FOUND: 4584 @ 321.253 c NEW SOLUTION FOUND: 4581 @ 321.467 c NEW SOLUTION FOUND: 4576 @ 321.689 c NEW SOLUTION FOUND: 4573 @ 321.899 c NEW SOLUTION FOUND: 4570 @ 322.113 c NEW SOLUTION FOUND: 4567 @ 322.325 c NEW SOLUTION FOUND: 4564 @ 322.536 c NEW SOLUTION FOUND: 4561 @ 322.75 c NEW SOLUTION FOUND: 4558 @ 322.965 c NEW SOLUTION FOUND: 4555 @ 323.178 c NEW SOLUTION FOUND: 4552 @ 323.391 c NEW SOLUTION FOUND: 4549 @ 323.607 c NEW SOLUTION FOUND: 4546 @ 323.824 c NEW SOLUTION FOUND: 4543 @ 324.036 c NEW SOLUTION FOUND: 4540 @ 324.253 c NEW SOLUTION FOUND: 4537 @ 324.471 c NEW SOLUTION FOUND: 4534 @ 324.687 c NEW SOLUTION FOUND: 4531 @ 324.913 c NEW SOLUTION FOUND: 4528 @ 325.133 c NEW SOLUTION FOUND: 4525 @ 325.352 c NEW SOLUTION FOUND: 4522 @ 325.567 c NEW SOLUTION FOUND: 4519 @ 325.789 c NEW SOLUTION FOUND: 4516 @ 326.004 c NEW SOLUTION FOUND: 4513 @ 326.227 c NEW SOLUTION FOUND: 4510 @ 326.449 c NEW SOLUTION FOUND: 4507 @ 326.673 c NEW SOLUTION FOUND: 4504 @ 326.894 c NEW SOLUTION FOUND: 4498 @ 327.119 c NEW SOLUTION FOUND: 4495 @ 327.34 c NEW SOLUTION FOUND: 4492 @ 327.559 c NEW SOLUTION FOUND: 4486 @ 327.796 c NEW SOLUTION FOUND: 4483 @ 328.025 c NEW SOLUTION FOUND: 4480 @ 328.256 c NEW SOLUTION FOUND: 4477 @ 328.485 c NEW SOLUTION FOUND: 4474 @ 328.714 c NEW SOLUTION FOUND: 4471 @ 328.946 c NEW SOLUTION FOUND: 4468 @ 329.176 c NEW SOLUTION FOUND: 4465 @ 329.408 c NEW SOLUTION FOUND: 4462 @ 329.642 c NEW SOLUTION FOUND: 4459 @ 329.885 c NEW SOLUTION FOUND: 4456 @ 330.121 c NEW SOLUTION FOUND: 4453 @ 330.364 c NEW SOLUTION FOUND: 4450 @ 330.597 c NEW SOLUTION FOUND: 4447 @ 330.832 c NEW SOLUTION FOUND: 4444 @ 331.069 c NEW SOLUTION FOUND: 4441 @ 331.305 c NEW SOLUTION FOUND: 4438 @ 331.544 c NEW SOLUTION FOUND: 4435 @ 331.79 c NEW SOLUTION FOUND: 4432 @ 332.038 c NEW SOLUTION FOUND: 4429 @ 332.277 c NEW SOLUTION FOUND: 4426 @ 332.515 c NEW SOLUTION FOUND: 4423 @ 332.758 c NEW SOLUTION FOUND: 4420 @ 332.997 c NEW SOLUTION FOUND: 4417 @ 333.246 c NEW SOLUTION FOUND: 4414 @ 333.487 c NEW SOLUTION FOUND: 4411 @ 333.73 c NEW SOLUTION FOUND: 4408 @ 333.972 c NEW SOLUTION FOUND: 4403 @ 334.219 c NEW SOLUTION FOUND: 4400 @ 334.467 c NEW SOLUTION FOUND: 4397 @ 334.709 c NEW SOLUTION FOUND: 4394 @ 334.958 c NEW SOLUTION FOUND: 4391 @ 335.212 c NEW SOLUTION FOUND: 4386 @ 335.456 c NEW SOLUTION FOUND: 4383 @ 335.697 c NEW SOLUTION FOUND: 4380 @ 335.955 c NEW SOLUTION FOUND: 4377 @ 336.207 c NEW SOLUTION FOUND: 4374 @ 336.455 c NEW SOLUTION FOUND: 4371 @ 336.702 c NEW SOLUTION FOUND: 4368 @ 336.955 c NEW SOLUTION FOUND: 4365 @ 337.205 c NEW SOLUTION FOUND: 4362 @ 337.451 c NEW SOLUTION FOUND: 4359 @ 337.703 c NEW SOLUTION FOUND: 4356 @ 337.949 c NEW SOLUTION FOUND: 4353 @ 338.197 c NEW SOLUTION FOUND: 4350 @ 338.459 c NEW SOLUTION FOUND: 4347 @ 338.703 c NEW SOLUTION FOUND: 4341 @ 338.962 c NEW SOLUTION FOUND: 4338 @ 339.21 c NEW SOLUTION FOUND: 4335 @ 339.461 c NEW SOLUTION FOUND: 4332 @ 339.716 c NEW SOLUTION FOUND: 4329 @ 340.227 c NEW SOLUTION FOUND: 4326 @ 340.482 c NEW SOLUTION FOUND: 4323 @ 340.75 c NEW SOLUTION FOUND: 4320 @ 341.01 c NEW SOLUTION FOUND: 4317 @ 341.262 c NEW SOLUTION FOUND: 4314 @ 341.524 c NEW SOLUTION FOUND: 4311 @ 341.783 c NEW SOLUTION FOUND: 4308 @ 342.04 c NEW SOLUTION FOUND: 4305 @ 342.307 c NEW SOLUTION FOUND: 4302 @ 342.564 c NEW SOLUTION FOUND: 4299 @ 342.822 c NEW SOLUTION FOUND: 4296 @ 343.084 c NEW SOLUTION FOUND: 4293 @ 343.347 c NEW SOLUTION FOUND: 4290 @ 343.604 c NEW SOLUTION FOUND: 4287 @ 343.864 c NEW SOLUTION FOUND: 4284 @ 344.135 c NEW SOLUTION FOUND: 4281 @ 344.398 c NEW SOLUTION FOUND: 4278 @ 344.659 c NEW SOLUTION FOUND: 4275 @ 344.928 c NEW SOLUTION FOUND: 4272 @ 345.193 c NEW SOLUTION FOUND: 4269 @ 345.455 c NEW SOLUTION FOUND: 4266 @ 345.723 c NEW SOLUTION FOUND: 4263 @ 345.986 c NEW SOLUTION FOUND: 4260 @ 346.251 c NEW SOLUTION FOUND: 4257 @ 346.518 c NEW SOLUTION FOUND: 4254 @ 346.784 c NEW SOLUTION FOUND: 4251 @ 347.052 c NEW SOLUTION FOUND: 4248 @ 347.317 c NEW SOLUTION FOUND: 4245 @ 347.584 c NEW SOLUTION FOUND: 4242 @ 347.852 c NEW SOLUTION FOUND: 4239 @ 348.118 c NEW SOLUTION FOUND: 4236 @ 348.385 c NEW SOLUTION FOUND: 4233 @ 348.658 c NEW SOLUTION FOUND: 4230 @ 348.926 c NEW SOLUTION FOUND: 4227 @ 349.198 c NEW SOLUTION FOUND: 4224 @ 349.469 c NEW SOLUTION FOUND: 4221 @ 349.737 c NEW SOLUTION FOUND: 4218 @ 350.019 c NEW SOLUTION FOUND: 4215 @ 350.293 c NEW SOLUTION FOUND: 4212 @ 350.567 c NEW SOLUTION FOUND: 4209 @ 350.838 c NEW SOLUTION FOUND: 4206 @ 351.121 c NEW SOLUTION FOUND: 4203 @ 351.393 c NEW SOLUTION FOUND: 4200 @ 351.669 c NEW SOLUTION FOUND: 4197 @ 351.942 c NEW SOLUTION FOUND: 4194 @ 352.216 c NEW SOLUTION FOUND: 4191 @ 352.49 c NEW SOLUTION FOUND: 4188 @ 352.764 c NEW SOLUTION FOUND: 4185 @ 353.041 c NEW SOLUTION FOUND: 4182 @ 353.317 c NEW SOLUTION FOUND: 4179 @ 353.593 c NEW SOLUTION FOUND: 4174 @ 353.871 c NEW SOLUTION FOUND: 4171 @ 354.145 c NEW SOLUTION FOUND: 4168 @ 354.423 c NEW SOLUTION FOUND: 4165 @ 354.703 c NEW SOLUTION FOUND: 4160 @ 354.983 c NEW SOLUTION FOUND: 4157 @ 355.265 c NEW SOLUTION FOUND: 4154 @ 355.544 c NEW SOLUTION FOUND: 4151 @ 355.825 c NEW SOLUTION FOUND: 4148 @ 356.109 c NEW SOLUTION FOUND: 4145 @ 356.403 c NEW SOLUTION FOUND: 4142 @ 356.688 c NEW SOLUTION FOUND: 4139 @ 356.971 c NEW SOLUTION FOUND: 4136 @ 357.252 c NEW SOLUTION FOUND: 4133 @ 357.544 c NEW SOLUTION FOUND: 4128 @ 357.841 c NEW SOLUTION FOUND: 4125 @ 358.124 c NEW SOLUTION FOUND: 4122 @ 358.415 c NEW SOLUTION FOUND: 4119 @ 358.699 c NEW SOLUTION FOUND: 4116 @ 358.993 c NEW SOLUTION FOUND: 4113 @ 359.282 c NEW SOLUTION FOUND: 4110 @ 359.583 c NEW SOLUTION FOUND: 4105 @ 359.869 c NEW SOLUTION FOUND: 4100 @ 360.159 c NEW SOLUTION FOUND: 4095 @ 360.452 c NEW SOLUTION FOUND: 4090 @ 360.747 c NEW SOLUTION FOUND: 4087 @ 361.048 c NEW SOLUTION FOUND: 4084 @ 361.353 c NEW SOLUTION FOUND: 4079 @ 361.655 c NEW SOLUTION FOUND: 4074 @ 361.96 c NEW SOLUTION FOUND: 4071 @ 362.26 c NEW SOLUTION FOUND: 4066 @ 362.564 c NEW SOLUTION FOUND: 4063 @ 362.863 c NEW SOLUTION FOUND: 4060 @ 363.166 c NEW SOLUTION FOUND: 4054 @ 363.48 c NEW SOLUTION FOUND: 4051 @ 363.786 c NEW SOLUTION FOUND: 4048 @ 364.093 c NEW SOLUTION FOUND: 4045 @ 364.398 c NEW SOLUTION FOUND: 4042 @ 364.711 c NEW SOLUTION FOUND: 4039 @ 365.029 c NEW SOLUTION FOUND: 4036 @ 365.341 c NEW SOLUTION FOUND: 4030 @ 365.65 c NEW SOLUTION FOUND: 4025 @ 365.958 c NEW SOLUTION FOUND: 4020 @ 366.269 c NEW SOLUTION FOUND: 4017 @ 366.578 c NEW SOLUTION FOUND: 4012 @ 366.892 c NEW SOLUTION FOUND: 4007 @ 367.205 c NEW SOLUTION FOUND: 4002 @ 367.522 c NEW SOLUTION FOUND: 3997 @ 367.843 c NEW SOLUTION FOUND: 3992 @ 368.162 c NEW SOLUTION FOUND: 3987 @ 368.489 c NEW SOLUTION FOUND: 3982 @ 368.811 c NEW SOLUTION FOUND: 3977 @ 369.129 c NEW SOLUTION FOUND: 3972 @ 369.455 c NEW SOLUTION FOUND: 3967 @ 369.777 c NEW SOLUTION FOUND: 3964 @ 370.108 c NEW SOLUTION FOUND: 3961 @ 370.433 c NEW SOLUTION FOUND: 3956 @ 370.759 c NEW SOLUTION FOUND: 3951 @ 371.096 c NEW SOLUTION FOUND: 3946 @ 371.426 c NEW SOLUTION FOUND: 3941 @ 371.752 c NEW SOLUTION FOUND: 3938 @ 372.083 c NEW SOLUTION FOUND: 3933 @ 372.422 c NEW SOLUTION FOUND: 3928 @ 372.756 c NEW SOLUTION FOUND: 3925 @ 373.082 c NEW SOLUTION FOUND: 3922 @ 373.415 c NEW SOLUTION FOUND: 3919 @ 373.758 c NEW SOLUTION FOUND: 3914 @ 374.09 c NEW SOLUTION FOUND: 3909 @ 374.426 c NEW SOLUTION FOUND: 3904 @ 374.764 c NEW SOLUTION FOUND: 3899 @ 375.099 c NEW SOLUTION FOUND: 3896 @ 375.438 c NEW SOLUTION FOUND: 3893 @ 375.774 c NEW SOLUTION FOUND: 3888 @ 376.118 c NEW SOLUTION FOUND: 3883 @ 376.46 c NEW SOLUTION FOUND: 3878 @ 376.804 c NEW SOLUTION FOUND: 3873 @ 377.15 c NEW SOLUTION FOUND: 3868 @ 377.503 c NEW SOLUTION FOUND: 3863 @ 377.854 c NEW SOLUTION FOUND: 3860 @ 378.194 c NEW SOLUTION FOUND: 3855 @ 378.546 c NEW SOLUTION FOUND: 3850 @ 378.892 c NEW SOLUTION FOUND: 3845 @ 379.236 c NEW SOLUTION FOUND: 3839 @ 379.577 c NEW SOLUTION FOUND: 3834 @ 379.918 c NEW SOLUTION FOUND: 3829 @ 380.26 c NEW SOLUTION FOUND: 3826 @ 380.605 c NEW SOLUTION FOUND: 3821 @ 380.956 c NEW SOLUTION FOUND: 3816 @ 381.302 c NEW SOLUTION FOUND: 3811 @ 381.653 c NEW SOLUTION FOUND: 3808 @ 382.004 c NEW SOLUTION FOUND: 3803 @ 382.355 c NEW SOLUTION FOUND: 3798 @ 382.71 c NEW SOLUTION FOUND: 3793 @ 383.058 c NEW SOLUTION FOUND: 3790 @ 383.411 c NEW SOLUTION FOUND: 3785 @ 383.767 c NEW SOLUTION FOUND: 3782 @ 384.119 c NEW SOLUTION FOUND: 3779 @ 384.472 c NEW SOLUTION FOUND: 3774 @ 384.822 c NEW SOLUTION FOUND: 3769 @ 385.185 c NEW SOLUTION FOUND: 3763 @ 385.545 c NEW SOLUTION FOUND: 3758 @ 385.898 c NEW SOLUTION FOUND: 3753 @ 386.248 c NEW SOLUTION FOUND: 3750 @ 386.612 c NEW SOLUTION FOUND: 3745 @ 386.971 c NEW SOLUTION FOUND: 3740 @ 387.336 c NEW SOLUTION FOUND: 3735 @ 387.693 c NEW SOLUTION FOUND: 3730 @ 388.06 c NEW SOLUTION FOUND: 3725 @ 388.427 c NEW SOLUTION FOUND: 3720 @ 388.8 c NEW SOLUTION FOUND: 3715 @ 389.167 c NEW SOLUTION FOUND: 3710 @ 389.531 c NEW SOLUTION FOUND: 3705 @ 389.902 c NEW SOLUTION FOUND: 3702 @ 390.263 c NEW SOLUTION FOUND: 3699 @ 390.63 c NEW SOLUTION FOUND: 3694 @ 391.013 c NEW SOLUTION FOUND: 3689 @ 391.388 c NEW SOLUTION FOUND: 3684 @ 391.753 c NEW SOLUTION FOUND: 3679 @ 392.125 c NEW SOLUTION FOUND: 3676 @ 392.501 c NEW SOLUTION FOUND: 3670 @ 392.883 c NEW SOLUTION FOUND: 3664 @ 393.262 c NEW SOLUTION FOUND: 3658 @ 393.649 c NEW SOLUTION FOUND: 3652 @ 394.019 c NEW SOLUTION FOUND: 3646 @ 394.402 c NEW SOLUTION FOUND: 3643 @ 394.787 c NEW SOLUTION FOUND: 3637 @ 395.178 c NEW SOLUTION FOUND: 3634 @ 395.57 c NEW SOLUTION FOUND: 3629 @ 395.96 c NEW SOLUTION FOUND: 3623 @ 396.351 c NEW SOLUTION FOUND: 3620 @ 396.736 c NEW SOLUTION FOUND: 3617 @ 397.123 c NEW SOLUTION FOUND: 3614 @ 397.513 c NEW SOLUTION FOUND: 3611 @ 397.9 c NEW SOLUTION FOUND: 3606 @ 398.296 c NEW SOLUTION FOUND: 3600 @ 398.687 c NEW SOLUTION FOUND: 3597 @ 399.078 c NEW SOLUTION FOUND: 3592 @ 399.485 c NEW SOLUTION FOUND: 3587 @ 399.881 c NEW SOLUTION FOUND: 3581 @ 400.27 c NEW SOLUTION FOUND: 3575 @ 400.668 c NEW SOLUTION FOUND: 3569 @ 401.066 c NEW SOLUTION FOUND: 3566 @ 401.47 c NEW SOLUTION FOUND: 3561 @ 401.875 c NEW SOLUTION FOUND: 3555 @ 402.281 c NEW SOLUTION FOUND: 3550 @ 402.679 c NEW SOLUTION FOUND: 3545 @ 403.099 c NEW SOLUTION FOUND: 3540 @ 403.499 c NEW SOLUTION FOUND: 3537 @ 403.902 c NEW SOLUTION FOUND: 3532 @ 404.31 c NEW SOLUTION FOUND: 3526 @ 404.713 c NEW SOLUTION FOUND: 3520 @ 405.119 c NEW SOLUTION FOUND: 3517 @ 405.527 c NEW SOLUTION FOUND: 3514 @ 405.934 c NEW SOLUTION FOUND: 3508 @ 406.351 c NEW SOLUTION FOUND: 3502 @ 406.762 c NEW SOLUTION FOUND: 3499 @ 407.185 c NEW SOLUTION FOUND: 3496 @ 407.6 c NEW SOLUTION FOUND: 3493 @ 408.017 c NEW SOLUTION FOUND: 3487 @ 408.433 c NEW SOLUTION FOUND: 3484 @ 408.854 c NEW SOLUTION FOUND: 3481 @ 409.274 c NEW SOLUTION FOUND: 3475 @ 409.7 c NEW SOLUTION FOUND: 3470 @ 410.125 c NEW SOLUTION FOUND: 3467 @ 410.54 c NEW SOLUTION FOUND: 3461 @ 410.98 c NEW SOLUTION FOUND: 3455 @ 411.398 c NEW SOLUTION FOUND: 3449 @ 411.834 c NEW SOLUTION FOUND: 3446 @ 412.263 c NEW SOLUTION FOUND: 3443 @ 412.686 c NEW SOLUTION FOUND: 3440 @ 413.115 c NEW SOLUTION FOUND: 3437 @ 413.551 c NEW SOLUTION FOUND: 3434 @ 413.984 c NEW SOLUTION FOUND: 3428 @ 414.418 c NEW SOLUTION FOUND: 3422 @ 414.85 c NEW SOLUTION FOUND: 3419 @ 415.279 c NEW SOLUTION FOUND: 3413 @ 415.719 c NEW SOLUTION FOUND: 3407 @ 416.158 c NEW SOLUTION FOUND: 3401 @ 416.593 c NEW SOLUTION FOUND: 3396 @ 417.027 c NEW SOLUTION FOUND: 3390 @ 417.471 c NEW SOLUTION FOUND: 3384 @ 417.911 c NEW SOLUTION FOUND: 3378 @ 418.362 c NEW SOLUTION FOUND: 3372 @ 418.801 c NEW SOLUTION FOUND: 3366 @ 419.25 c NEW SOLUTION FOUND: 3363 @ 419.689 c NEW SOLUTION FOUND: 3360 @ 420.139 c NEW SOLUTION FOUND: 3357 @ 420.59 c NEW SOLUTION FOUND: 3351 @ 421.045 c NEW SOLUTION FOUND: 3348 @ 421.493 c NEW SOLUTION FOUND: 3343 @ 421.948 c NEW SOLUTION FOUND: 3340 @ 422.41 c NEW SOLUTION FOUND: 3334 @ 422.868 c NEW SOLUTION FOUND: 3328 @ 423.325 c NEW SOLUTION FOUND: 3322 @ 423.785 c NEW SOLUTION FOUND: 3317 @ 424.234 c NEW SOLUTION FOUND: 3314 @ 424.691 c NEW SOLUTION FOUND: 3311 @ 425.147 c NEW SOLUTION FOUND: 3305 @ 425.612 c NEW SOLUTION FOUND: 3299 @ 426.073 c NEW SOLUTION FOUND: 3293 @ 426.533 c NEW SOLUTION FOUND: 3290 @ 426.993 c NEW SOLUTION FOUND: 3287 @ 427.452 c NEW SOLUTION FOUND: 3281 @ 427.924 c NEW SOLUTION FOUND: 3275 @ 428.392 c NEW SOLUTION FOUND: 3269 @ 428.861 c NEW SOLUTION FOUND: 3264 @ 429.331 c NEW SOLUTION FOUND: 3259 @ 429.806 c NEW SOLUTION FOUND: 3254 @ 430.29 c NEW SOLUTION FOUND: 3248 @ 430.766 c NEW SOLUTION FOUND: 3245 @ 431.244 c NEW SOLUTION FOUND: 3239 @ 431.731 c NEW SOLUTION FOUND: 3234 @ 432.209 c NEW SOLUTION FOUND: 3229 @ 432.693 c NEW SOLUTION FOUND: 3226 @ 433.171 c NEW SOLUTION FOUND: 3220 @ 433.655 c NEW SOLUTION FOUND: 3214 @ 434.135 c NEW SOLUTION FOUND: 3208 @ 434.625 c NEW SOLUTION FOUND: 3202 @ 435.109 c NEW SOLUTION FOUND: 3199 @ 435.605 c NEW SOLUTION FOUND: 3193 @ 436.104 c NEW SOLUTION FOUND: 3188 @ 436.598 c NEW SOLUTION FOUND: 3183 @ 437.089 c NEW SOLUTION FOUND: 3180 @ 437.596 c NEW SOLUTION FOUND: 3174 @ 438.102 c NEW SOLUTION FOUND: 3169 @ 438.603 c NEW SOLUTION FOUND: 3164 @ 439.093 c NEW SOLUTION FOUND: 3158 @ 439.602 c NEW SOLUTION FOUND: 3155 @ 440.1 c NEW SOLUTION FOUND: 3149 @ 440.607 c NEW SOLUTION FOUND: 3143 @ 441.111 c NEW SOLUTION FOUND: 3137 @ 441.619 c NEW SOLUTION FOUND: 3131 @ 442.13 c NEW SOLUTION FOUND: 3125 @ 442.642 c NEW SOLUTION FOUND: 3122 @ 443.15 c NEW SOLUTION FOUND: 3116 @ 443.658 c NEW SOLUTION FOUND: 3111 @ 444.166 c NEW SOLUTION FOUND: 3105 @ 444.679 c NEW SOLUTION FOUND: 3099 @ 445.19 c NEW SOLUTION FOUND: 3094 @ 445.709 c NEW SOLUTION FOUND: 3088 @ 446.235 c NEW SOLUTION FOUND: 3083 @ 446.76 c NEW SOLUTION FOUND: 3077 @ 447.276 c NEW SOLUTION FOUND: 3072 @ 447.807 c NEW SOLUTION FOUND: 3066 @ 448.337 c NEW SOLUTION FOUND: 3060 @ 448.85 c NEW SOLUTION FOUND: 3054 @ 449.371 c NEW SOLUTION FOUND: 3048 @ 449.904 c NEW SOLUTION FOUND: 3042 @ 450.422 c NEW SOLUTION FOUND: 3039 @ 450.952 c NEW SOLUTION FOUND: 3033 @ 451.487 c NEW SOLUTION FOUND: 3027 @ 452.022 c NEW SOLUTION FOUND: 3022 @ 452.555 c NEW SOLUTION FOUND: 3019 @ 453.082 c NEW SOLUTION FOUND: 3016 @ 453.629 c NEW SOLUTION FOUND: 3013 @ 454.168 c NEW SOLUTION FOUND: 3008 @ 454.702 c NEW SOLUTION FOUND: 3002 @ 455.232 c NEW SOLUTION FOUND: 2996 @ 455.783 c NEW SOLUTION FOUND: 2990 @ 456.332 c NEW SOLUTION FOUND: 2984 @ 456.869 c NEW SOLUTION FOUND: 2981 @ 457.42 c NEW SOLUTION FOUND: 2978 @ 457.973 c NEW SOLUTION FOUND: 2972 @ 458.517 c NEW SOLUTION FOUND: 2966 @ 459.054 c NEW SOLUTION FOUND: 2960 @ 459.599 c NEW SOLUTION FOUND: 2954 @ 460.142 c NEW SOLUTION FOUND: 2949 @ 460.687 c NEW SOLUTION FOUND: 2946 @ 461.26 c NEW SOLUTION FOUND: 2941 @ 461.827 c NEW SOLUTION FOUND: 2935 @ 462.402 c NEW SOLUTION FOUND: 2932 @ 462.964 c NEW SOLUTION FOUND: 2926 @ 463.526 c NEW SOLUTION FOUND: 2921 @ 464.101 c NEW SOLUTION FOUND: 2915 @ 464.663 c NEW SOLUTION FOUND: 2909 @ 465.247 c NEW SOLUTION FOUND: 2903 @ 465.816 c NEW SOLUTION FOUND: 2898 @ 466.39 c NEW SOLUTION FOUND: 2892 @ 466.952 c NEW SOLUTION FOUND: 2886 @ 467.528 c NEW SOLUTION FOUND: 2880 @ 468.1 c NEW SOLUTION FOUND: 2874 @ 468.681 c NEW SOLUTION FOUND: 2871 @ 469.254 c NEW SOLUTION FOUND: 2865 @ 469.847 c NEW SOLUTION FOUND: 2860 @ 470.425 c NEW SOLUTION FOUND: 2855 @ 471.003 c NEW SOLUTION FOUND: 2850 @ 471.592 c NEW SOLUTION FOUND: 2845 @ 472.177 c NEW SOLUTION FOUND: 2840 @ 472.761 c NEW SOLUTION FOUND: 2834 @ 473.354 c NEW SOLUTION FOUND: 2831 @ 473.943 c NEW SOLUTION FOUND: 2825 @ 474.529 c NEW SOLUTION FOUND: 2819 @ 475.12 c NEW SOLUTION FOUND: 2816 @ 475.714 c NEW SOLUTION FOUND: 2813 @ 476.303 c NEW SOLUTION FOUND: 2810 @ 476.888 c NEW SOLUTION FOUND: 2804 @ 477.501 c NEW SOLUTION FOUND: 2800 @ 478.111 c NEW SOLUTION FOUND: 2794 @ 479.307 c NEW SOLUTION FOUND: 2791 @ 483.452 c NEW SOLUTION FOUND: 2788 @ 638.29 c NEW SOLUTION FOUND: 2786 @ 780.127 c NEW SOLUTION FOUND: 2784 @ 788.803 c NEW SOLUTION FOUND: 2783 @ 803.489 c NEW SOLUTION FOUND: 2782 @ 1067.94 s SATISFIABLE v -v4075 v3895 v668 -v176 -v4076 v180 v3894 -v2907 -v1568 -v1450 v671 v3178 v1573 -v1454 -v672 -v3900 v3177 v2876 v1572 -v3898 v2881 -v1265 v3179 v2880 v1575 -v1264 -v1034 -v78 -v3899 v3181 v1576 -v1266 -v1038 -v3903 v2883 v1579 v1267 -v1009 v77 v3182 v2884 v1577 v1268 -v1013 v81 v3920 v3184 v2887 -v1578 v1275 v7 -v3185 v2885 v1269 -v82 v11 v3923 v2886 -v2380 v1270 -v196 -v3924 v3071 v1271 v4616 v3070 -v3454 -v2333 -v1615 v199 v3570 -v2332 v1620 -v200 -v4286 v3569 v3078 -v2334 -v1637 v1619 -v203 -v4290 -v4117 v3571 -v3072 v2337 -v1636 -v201 -v4116 v3572 -v3311 -v3073 v2336 -v1638 v1622 -v202 -v4118 v3573 v3310 -v3074 -v2559 v2341 -v1954 v1641 v1623 -v4119 -v3580 v3312 -v2558 v2340 -v1953 v1640 v1626 v4120 -v3574 -v3315 -v2560 v2338 v1645 v1624 v4127 -v3575 v3314 -v2561 -v2339 v1955 v1644 -v1625 v4121 -v3576 -v3318 v2562 v1957 -v1642 v4122 -v3316 v2567 -v1643 -v625 v4123 -v3317 v2563 v1958 -v3380 -v3384 -v4140 v4077 -v3890 -v2903 v667 -v175 v179 v3896 -v2906 -v2670 -v1449 v673 -v236 -v3173 -v1567 -v1453 -v240 -v4080 -v3901 -v3172 -v1569 v2875 v1574 -v3904 v3180 v2877 v1571 -v1033 -v676 -v3902 v3183 v2882 v1580 -v1037 v3187 v2879 -v1278 -v1008 v79 v3186 v2888 -v1279 -v1012 v83 v3919 v1274 -v760 v6 v10 v3925 -v2379 -v1272 -v85 -v195 -v86 -v3450 -v197 v3928 -v3453 v3081 v3082 -v1614 -v204 v4285 v3077 v2384 -v1616 -v4289 -v2335 v1621 v3583 -v3075 v2349 v1618 v3584 -v2345 v1949 -v1639 v1627 -v4130 -v3579 -v2344 v1948 v1653 -v4131 v3313 v1649 v4126 -v3577 v3326 v2570 v1956 -v1648 -v621 -v3322 v2571 v1959 -v4124 -v3321 v2566 v1960 v624 v1961 -v4136 -v3379 -v3111 -v663 -v3383 -v3115 -v4139 v4078 -v2902 -v2671 -v1903 v669 v177 -v3889 -v2669 v181 -v4456 -v4081 -v3891 -v2908 -v2216 -v1451 v674 v235 -v4079 v3897 -v2220 -v1455 -v239 v3893 v677 -v183 -v3905 v3174 -v1570 v675 -v184 -v73 -v4390 v3175 -v2911 v1588 v1457 -v1277 v1035 v72 v3176 v2878 v1584 -v1458 -v1276 v1039 -v3915 -v3191 v2896 -v1980 v1583 -v1010 -v756 v80 v2892 -v1014 v84 v3921 v3093 -v2891 -v2376 -v1041 -v759 -v88 v8 -v1042 -v87 v12 v3926 -v2772 -v2381 -v1273 -v1016 -v1017 v3929 v3449 v3080 v14 v3927 v3079 v198 -v15 -v3455 v2385 v212 v2383 v208 v4287 v3582 v2346 v207 -v4291 v3581 v2348 v1617 -v4129 v3458 -v3076 -v1650 v1635 -v382 -v265 -v4128 -v1652 v1631 v386 -v4293 v3323 -v2569 -v2342 v1630 -v4294 v3325 v2568 v1950 -v3578 -v2343 v1951 -v1646 -v620 -v334 v1952 v338 -v4125 v3949 -v3319 v2564 -v1965 -v1647 v626 -v4135 -v4074 -v3381 -v3110 v2898 v1899 -v172 v3385 -v3114 -v2672 -v1445 v662 v4457 -v4141 -v3030 -v2904 -v1902 -v1499 -v1444 v664 v178 v4455 v4082 -v1503 v670 v182 v3387 -v3003 -v2909 -v2215 -v1452 v666 v237 -v186 -v3892 v3388 v3007 -v2219 -v1456 -v1029 v678 -v241 -v185 v4386 -v4144 -v3913 v2912 v1585 v1460 -v1059 v1028 v3909 -v2910 v1587 v1459 -v1063 -v1004 v4389 -v3908 v3194 -v2893 -v1976 v1036 -v1003 -v243 v3195 v2895 v1040 -v244 v74 -v2 -v3190 v3089 v1979 v1581 -v1044 -v1011 -v755 -v361 v75 -v1 v3914 -v1043 -v1015 v76 v3916 -v3188 v3092 -v2889 -v2768 v1582 -v1019 -v761 -v92 v9 v3922 -v2375 -v1018 v13 v3918 -v3445 -v2890 -v2771 v2377 v17 v3930 -v2382 v16 v3451 v764 v209 -v4281 v2386 v211 -v4280 v3456 -v1789 v2347 v4288 v3459 -v1632 -v261 v205 v4292 v3457 -v1651 -v1634 v4296 v3479 -v381 -v264 v206 v4295 v3324 v385 v1628 -v616 v3945 -v1968 -v1629 v1355 -v1238 -v622 v333 -v1969 -v1359 v337 v3948 -v3320 -v2565 -v1964 v627 -v4137 -v3382 -v3112 -v3026 v2680 v1932 v1898 v4458 -v4073 v3386 -v3116 v2897 -v2676 -v231 -v171 -v4142 -v4090 v3390 -v3029 v2899 -v2675 -v1904 v1498 v230 -v173 -v4086 v3389 -v2905 v1502 -v1446 v665 v174 -v4145 -v4085 -v3910 v3118 -v3002 v2901 -v2217 -v1447 -v686 v238 v190 -v4143 -v3912 v3119 v3006 v2913 -v2221 v1586 v1448 v682 -v242 v4385 v4012 -v3193 v1907 -v1464 -v1058 v681 -v246 v3192 -v2894 -v1062 v1030 -v245 v4391 v4315 -v3906 -v2223 -v1975 v1031 -v751 -v357 -v2224 v1032 -v1005 -v3907 v3088 v2096 v1981 v1048 -v1006 -v757 -v360 -v95 v2100 v1007 v96 -v3 -v4394 -v3189 v3094 -v2767 -v1023 -v762 -v91 -v4 v3917 v5 v3938 v2773 -v1984 v765 -v89 v21 v3934 v3444 v2378 v763 -v210 v3933 v3446 v3097 v2394 -v1785 v3452 v2390 v3448 -v3295 -v2776 v2389 -v1788 v4282 v3460 -v1633 v4283 -v3983 -v3475 -v260 v4284 v3987 v4300 v3478 -v1876 -v383 -v266 -v1880 v387 -v4265 -v1967 -v1234 -v1966 -v615 v3944 v1354 v1237 -v617 -v389 v335 -v269 -v1358 v623 -v390 v339 v3950 -v1962 v619 v628 v4466 -v4133 -v4087 v3378 -v3113 -v3025 v2679 v1931 v1900 v4462 -v4138 -v4089 v3377 v3117 -v2211 -v4461 v4134 v3394 v3121 v3031 -v2673 -v2210 -v1905 v1500 -v683 -v313 -v193 -v4146 -v3911 v3120 v2900 v1504 -v685 v232 v194 v4381 -v4083 -v4008 -v3004 v2921 -v2674 -v2401 -v2218 v1908 -v1467 v233 v189 v3008 -v2917 -v2405 -v2222 v1906 -v1468 v234 v4387 v4311 -v4084 v4011 v3034 -v2916 -v2226 -v1971 v1760 v1506 -v1463 -v1060 -v679 -v250 v187 -v2225 -v1764 v1507 -v1064 v4392 v4314 -v3084 v3010 -v1977 -v1461 -v1051 -v680 v356 -v94 v3011 v1052 -v750 -v93 v4395 v3090 v2763 v2095 v1982 -v1066 -v1047 -v1026 -v752 -v362 -v4393 v2099 -v1067 -v1027 -v758 -v3935 v3095 -v2769 -v1985 -v1045 -v1022 v754 v24 -v3937 -v1983 v766 v25 v3098 v2774 -v2391 -v1020 -v365 -v90 v20 v3096 v2393 v3931 v3291 v2777 -v1784 v18 v3447 v2775 v3932 v3468 v3294 v2387 -v1790 v571 -v256 v3464 -v575 -v377 v4303 -v3982 v3474 v3463 -v2388 -v376 -v262 v4304 v3986 -v4299 -v4261 v3480 -v1875 -v1793 -v525 -v384 -v267 -v1879 v388 -v329 -v4297 -v4264 v4186 -v3940 -v1233 -v392 -v328 -v270 -v4190 -v391 -v268 v3946 -v3483 v1356 v1239 v336 -v32 v1360 -v618 v340 -v36 v3951 -v1963 v636 v341 v632 v342 -v4465 -v4088 -v3397 v3109 -v3027 -v2677 -v2288 v1933 v1896 v1495 v309 -v192 -v4132 -v3398 v3108 v2998 -v2292 v1901 -v684 -v191 -v4459 -v4154 v3393 v3125 v3032 v2997 -v2918 v1897 v1501 -v1466 -v312 -v4150 -v2920 -v2212 v1909 v1505 -v1465 -v1054 -v4460 -v4149 -v4007 -v3391 v3035 -v3005 -v2400 -v2213 v1937 v1509 -v1053 -v253 v4380 v3033 v3009 -v2404 v2214 v1508 v254 v4382 v4310 v4013 v3013 -v2914 -v2230 v1759 -v1061 -v1050 -v352 -v249 v188 v4388 v3012 -v1970 -v1763 -v1065 -v1049 v4384 v4316 -v2915 v1972 -v1462 -v1069 -v1025 v358 -v247 v4396 -v3083 v1978 -v1068 -v1024 -v4016 -v3085 v2097 v1974 -v363 v23 -v3936 v3091 v2762 v2101 -v1986 v753 v22 -v4319 v3087 v2764 -v1046 -v774 v366 v3099 v2770 -v2392 v770 -v364 v2766 v2103 -v1780 -v1021 v769 v2778 v2104 -v3465 v3290 -v1786 v19 -v3467 v4302 -v3470 v3296 -v1791 v570 v4301 -v574 -v255 -v3984 v3476 -v3461 v1794 -v521 -v257 v3988 -v1792 -v378 -v263 -v4260 -v3637 v3481 -v3462 -v3299 -v1877 v1229 -v524 -v379 v259 v1881 -v1350 v380 -v271 -v4298 -v4266 v4185 -v3990 -v3484 -v1349 -v1235 v396 -v4189 -v3991 v3939 -v3482 v330 v3941 v3778 v1883 v1357 v1240 v633 v331 v31 v3947 -v1884 v1361 v635 v332 -v35 -v4269 v3943 v1362 v1241 v346 -v3952 -v1363 v1242 v631 -v4463 -v4151 -v3395 v3128 -v3023 -v2678 v2287 v1934 v308 -v4153 v3129 -v3028 -v2919 v2291 v1895 v1494 -v4003 v3124 v3024 v1938 v1917 v1496 -v808 -v314 -v252 v3036 v2999 v1936 v1913 v1497 -v251 -v4306 -v4147 -v4009 -v3392 v3122 v3000 v2402 -v2233 v1912 -v1513 v3001 -v2406 -v2234 -v1055 v4312 -v4148 v4014 v3017 -v2229 v1761 -v1056 v317 v4383 v2091 v1765 v1057 -v351 v4404 v4317 v4017 v2408 -v2227 v2090 -v1073 v947 -v353 -v248 v4400 -v4015 v2409 v1973 v359 v4399 v4320 v3658 v2098 v1994 -v1767 -v771 v355 -v4318 v3662 -v3086 v2102 v1990 -v1768 -v773 v367 -v3107 v2106 v1989 v3103 v2765 v2105 v3286 v3102 v2786 v767 -v3466 v2782 -v1779 v3292 v2781 -v1781 v768 -v3978 -v1787 -v3977 v3297 v1783 v572 -v3469 -v1871 v1795 v576 v4256 -v3985 -v3633 v3471 v3300 v1870 -v520 v3989 v3477 -v3298 -v258 -v4262 -v3993 -v3802 -v3636 v3473 -v1878 v578 v526 -v399 -v279 -v3992 -v3485 v1882 v1228 -v579 v400 -v275 -v4267 v4187 -v3774 v1886 v1230 -v647 -v395 -v274 -v4191 v1885 -v1351 -v1236 -v634 -v4270 v3777 -v1352 v1232 v529 -v393 v349 v33 -v4268 v3942 v1353 v1243 v350 -v37 -v4193 v3960 -v1367 -v345 -v4194 v3956 v629 -v4464 -v4152 -v3396 v3126 v2289 v1935 -v1914 -v804 v402 v310 -v3022 -v2396 v2293 v1939 v1916 -v3044 v2395 -v2232 v1851 -v1516 v807 -v315 -v4002 v3040 -v2231 -v1855 v1755 -v1517 -v4361 -v4004 v3123 v3039 -v3020 v2403 v2295 -v1910 v1754 -v1512 v318 v4365 v4305 -v4010 -v3021 -v2407 v2296 v316 -v4401 v4307 v4211 v4006 v3016 -v2654 v2411 -v1911 v1762 -v1510 -v1076 -v943 v4403 v4313 v4215 v4018 v2410 v1766 -v1077 v4309 -v3014 -v2228 -v1991 -v1770 -v1072 v946 v4321 v2092 v1993 -v1769 -v772 -v354 -v4397 v3657 -v3104 v2093 v1685 -v1070 v375 v3661 -v3106 v2094 v1689 v371 -v4398 -v2783 v2110 v1987 v1404 v370 v2785 -v3100 v1988 v3285 -v566 v3287 -v3101 v2779 v565 v3293 -v1782 v3289 -v2780 v1803 v573 -v516 v3979 v3301 v1799 v577 v3980 -v3798 -v3632 v1798 -v833 v581 v522 -v398 -v276 v4255 -v4181 v3981 v3472 v1872 v580 -v397 -v278 v4257 -v4180 -v3997 -v3801 -v3638 -v3493 v1873 -v643 v527 -v4263 v3489 v1874 -v27 v4259 v4188 -v3773 v3488 -v1890 -v646 v530 v348 -v272 -v26 -v4271 -v4192 v1231 v528 v347 -v4196 -v3957 v3779 -v3641 -v1370 -v1251 -v394 -v273 v34 -v4195 v3959 -v1371 -v1247 -v38 -v1366 v1290 -v1246 -v343 -v219 -v39 v3955 v630 -v223 -v40 v3133 v3127 -v3041 v2290 v1947 -v1915 -v1515 -v803 v401 -v306 -v3137 -v3043 v2294 v1943 -v1514 v311 -v3019 v2298 -v1942 v1850 v809 v307 -v3018 v2397 v2297 -v1854 v319 -v4360 -v3037 -v2650 v2398 -v1075 -v4402 v4364 v4005 v2399 v1756 -v1074 v4210 v4026 -v3038 v2653 v2415 v1757 -v1511 -v942 v812 v4308 v4214 v4022 -v1992 v1758 v4329 v4021 -v3015 v1774 v948 -v372 v4325 -v3105 v374 v4324 v3659 v2113 v1684 -v1400 -v1071 v3663 -v2784 v2114 v1688 v2109 v1403 -v951 -v368 v3665 v3595 -v2107 -v369 v3666 v1800 v3288 v1802 v567 v3628 v3309 -v829 v568 v3305 v569 v515 -v277 v4000 -v3797 -v3634 -v3490 -v3304 v1796 -v832 v585 v517 v4001 -v3492 v523 -v3996 -v3803 v3769 -v3639 -v1893 v1797 -v642 v519 v4258 v4182 v1894 v531 v4279 v4183 -v3994 -v3775 -v3642 -v3486 -v2982 -v1889 -v1425 -v1369 -v1248 -v648 v4275 v4184 -v3958 -v3640 v1429 -v1368 -v1250 -v28 -v4274 -v4200 -v3806 v3780 -v3487 -v1887 v1286 v29 v30 v3781 -v3274 -v1364 v1289 -v1244 -v651 -v344 -v218 v44 v3953 v3782 -v3278 v222 v3132 -v3042 v2286 v1946 v805 v403 v3136 v2285 v305 v2302 -v1940 v1852 v810 v327 -v1856 v323 -v4362 -v4023 -v2649 -v2418 -v1941 -v938 v813 -v407 v322 v4366 -v4025 v2419 v811 -v4326 v4212 v2655 v2414 -v2071 v1858 v1777 -v944 -v4328 v4216 -v3653 -v2075 v1859 v1778 -v373 v4368 -v4019 v3652 -v2412 v2112 -v1773 -v1138 v949 -v4369 v2111 v4322 -v4218 -v4020 v3660 -v3333 v2658 -v1771 v1686 -v1399 -v952 -v4219 v3664 -v3337 v1690 -v950 -v4323 v3668 v3591 -v2001 v1405 v3667 -v2005 v4415 v3594 -v2108 v1692 v1801 -v1693 v3306 v1408 v3308 v3999 -v3793 -v828 v588 v3998 v3627 -v3491 v589 -v3845 v3799 v3629 -v3302 -v1892 v1664 -v834 -v638 -v584 -v3849 -v3635 -v1891 v518 -v4276 v3804 v3631 -v3303 v2978 v644 -v582 v539 -v4278 v3768 -v3643 -v1249 v535 v4203 -v3995 -v3807 v3770 -v2981 -v1424 -v837 v649 -v534 v4204 -v3805 v3776 v1428 -v4272 -v4199 v3772 -v1888 v1285 -v736 v652 -v47 v3783 v650 -v48 -v4273 -v4197 v3273 -v1365 v1291 -v1245 v220 v43 v3954 v3277 v224 v3134 v2305 v1944 v1847 -v801 v404 -v324 -v4356 v3138 v2306 v806 -v326 v4355 -v3253 v2645 -v2417 v2301 v1853 v802 v408 -v4206 -v4024 -v2416 v1857 v814 -v406 v4363 -v4205 -v3140 -v2651 v2299 -v2270 v1861 v1776 -v320 v4367 -v4327 -v3141 v1860 v1775 -v937 v4371 v4213 v3230 v2656 -v2070 v1134 -v939 -v918 -v321 v4370 v4217 v2074 v1680 v945 -v922 v4221 v2659 -v2539 -v2413 v1679 v1395 -v1137 v1088 v941 -v4220 v3654 v2657 -v2543 v953 v3655 -v3332 -v1772 v1687 -v1401 -v1334 v3656 v3336 v1691 -v4411 v3672 v3590 -v2000 v1695 v1406 v2004 v1694 v4414 v3596 -v2928 v1409 v3307 v2932 v1407 -v4161 -v824 v587 v4165 v586 -v3599 v2313 -v1660 -v830 v3792 -v2317 v3844 v3794 v1663 v835 v536 -v4277 -v3848 v3800 v3630 -v637 v538 v4597 -v4202 v3796 v3651 v2977 -v838 -v639 -v583 -v4601 -v4201 v3808 v3647 -v836 v645 v3646 -v2983 v1426 v1281 -v732 v641 -v532 -v286 v131 -v46 v3771 v1430 v653 -v290 -v214 -v45 v3791 v1287 -v735 -v533 -v213 v3787 -v4198 -v3786 v3275 -v2986 v1432 v1292 v221 v41 v3279 v1433 v225 -v3249 v3135 -v2303 -v1945 v405 -v325 v3139 v1846 v800 v409 -v3252 v3143 -v2266 v1848 v822 v4357 -v3142 v2644 v1849 -v818 v4358 -v3226 v2646 v2300 -v2269 v1865 -v817 v4359 v4207 v2652 v4375 v4208 v3229 v2648 -v2072 v1133 v1084 v917 v4209 v2660 v2076 v940 v921 v4225 -v2538 v1330 -v1139 v1087 v961 -v2542 v1681 v1394 v957 v4527 v3675 -v3586 v3334 v2078 v1682 v1396 -v1333 v956 v3676 v3338 -v2079 v1683 v1402 v4410 -v3671 v3592 -v2002 v1699 v1398 -v1142 -v984 v2006 v1410 v988 v4416 -v3669 v3597 -v3504 v3340 -v2927 -v3341 v2931 -v4160 v3600 -v2195 -v2008 v4164 -v3598 -v2009 -v823 -v4419 v2312 -v1659 -v825 v2316 v831 v537 v3846 v3648 v2973 v2430 v1665 v827 -v3850 v3795 v3650 -v1420 v839 v4596 v3816 v2979 -v1419 v127 -v4600 v3812 v640 v3852 v3811 v3788 -v3644 -v2984 -v1668 v1427 -v731 v661 v285 v130 -v3853 v3790 -v3269 v1431 v1280 v657 -v289 -v3645 v3268 v2987 v1435 v1282 -v737 -v656 v2985 v1434 v1288 -v215 -v3784 v3276 -v2030 v1284 v216 v42 v3280 v1293 v217 -v3248 v3131 -v2304 -v1805 v819 v417 v3130 v821 v413 -v3254 v3147 v2265 -v1868 v412 -v2066 v1869 v4378 -v3225 v2271 -v2065 -v1864 v1129 -v815 v4379 v2647 -v4374 -v4228 v3257 v3231 v2668 v2073 -v1862 v1135 v1083 -v958 v919 -v816 -v4229 v3328 v2664 v2077 -v960 v923 -v4523 -v4372 -v4224 v3674 v3327 v2663 -v2540 v2274 v2081 v1329 v1140 v1089 v3673 -v2544 v2080 v1996 v4526 -v4406 -v4222 v3335 -v3234 v1995 v1702 -v1335 -v1143 -v954 -v925 -v3585 v3339 v1703 v1397 -v1141 -v926 v4412 -v3587 -v3500 v3343 -v2546 v2514 v2003 -v1698 v1418 -v1092 v983 -v955 v3593 v3342 -v2547 -v2518 v2007 v1414 v987 v4417 -v3670 v3589 -v3503 -v2929 -v2191 v2011 -v1696 v1413 -v1338 v3601 v2933 v2010 v4420 -v4162 -v2194 -v1655 -v471 v4418 v4166 -v3840 -v475 v3839 v2935 v2426 v2314 -v1661 -v3649 -v2936 v2318 v826 v4168 v3847 -v3813 v2429 v1666 v847 v4169 v3851 -v3815 v2972 v843 v4598 v3855 v2974 v2320 v2170 -v1669 -v842 -v727 -v658 v126 -v4602 v3854 -v3789 v2980 v2321 -v1667 -v1421 -v660 v3809 v2976 v1422 v733 v287 v132 v2988 v1423 v291 v4604 v3810 -v2026 v1439 v738 -v654 -v4605 v3270 v1283 -v3785 v3271 -v2125 -v2029 v1301 v739 -v655 -v293 -v228 -v135 v3272 v1297 v740 -v294 v229 v3250 v3150 v2261 -v1867 v1804 v820 v416 v3151 -v1866 -v4377 v3255 -v3221 -v3146 v2267 -v876 v410 -v4376 -v913 v880 -v4227 v3258 -v3227 -v3144 -v2665 v2272 v1079 v912 v411 -v4226 v3256 -v2667 -v2534 v2067 v1128 -v959 v3232 -v2793 -v2533 v2275 v2068 -v1863 -v1325 v1130 v1085 v920 -v785 -v2797 v2273 v2069 v1136 v924 v4522 -v4373 v3235 -v2661 v2541 v2085 -v1701 v1331 v1132 v1090 v928 v3329 v3233 v2545 -v1700 v1144 v927 v4528 -v4223 v3330 -v2662 v2549 v1415 v1336 v1093 v4405 v3331 -v2923 -v2548 v1997 v1417 -v1091 v4407 v3499 v3347 v2922 v2513 v1998 v1339 v985 v4413 v4156 v3588 -v2517 v1999 -v1337 v989 v4531 v4409 v4155 v3609 -v3505 v2930 -v2190 v2015 -v1697 v1411 v4421 v3605 v2934 -v2308 v4163 -v3604 v2938 v2307 -v2196 v1412 -v991 -v470 v4167 v2937 -v1654 -v992 -v474 v4171 v3508 v2425 v2315 -v1656 -v844 v4592 v4170 v3841 -v3814 v2319 v1662 -v846 v4591 v3842 -v3683 v2431 v2323 -v2199 -v2166 -v1831 v1658 -v122 v3843 -v3687 v2322 v1670 -v659 -v281 v4599 v3859 v3055 v2169 -v840 -v280 v128 v4603 v2975 v726 v4607 v2996 v2434 v1442 -v841 v728 v288 v133 v4606 v2992 v1443 v734 v292 -v2991 v2121 -v2025 -v1438 -v1298 v730 -v296 -v227 -v136 -v55 -v1300 v741 -v295 -v226 -v134 -v59 v3283 -v2124 v2031 -v1436 v3284 v1296 v3246 v3148 v1806 v710 v414 v3251 v2260 v3247 v2262 v875 v3259 -v3220 -v2666 v2268 v879 v3222 -v3145 v2264 v1810 -v781 v3228 v2276 v1078 v914 -v4518 -v4058 v3224 v2792 v2088 v1080 v915 -v784 v3236 v2796 v2535 v2089 -v1324 v1131 v1086 v916 v4524 v2536 v2084 v1326 v1152 v1082 v932 v2537 v1416 v1332 v1148 v1094 -v979 v4529 -v3495 v3350 v2553 -v2082 v1328 v1147 -v978 v3351 v1340 v4532 -v3606 v3501 v3346 v2515 v2186 v2018 v986 v4530 v4408 v3608 v2924 v2519 v2019 v990 v4429 v3506 -v3344 v2925 -v2192 v2014 v994 v4425 v4157 v2926 v993 -v4436 v4424 v4158 -v3602 v3509 v2942 -v2521 -v2421 -v2197 -v2012 v472 v4440 v4159 v3507 -v2522 v2309 -v845 v476 v4175 -v3603 v2427 v2310 v2200 v1827 v2311 v2198 v1657 v3862 -v3682 -v3051 v2432 v2327 v2165 -v1830 -v1714 v1678 -v1209 -v478 v4593 v3863 -v3686 v1674 -v1213 -v479 -v121 v4594 v3858 v3054 -v2993 v2435 v2171 v1673 v1441 v123 v4595 v2995 v2433 v1440 v282 v129 v4611 -v3856 v2021 v283 v125 -v1299 v729 v284 v137 v3282 -v2989 -v2174 v2120 v2027 v749 v300 v54 v3281 v745 -v58 -v2990 -v2582 v2126 v2032 -v1437 v744 v1294 v3149 v1807 v1305 v709 -v415 v3245 -v1309 v3267 v1811 v877 v3263 v2263 v1809 v881 -v4054 v3262 v2284 -v2087 -v780 v3223 v2280 -v2086 -v4057 v3550 v3244 v2794 v2279 -v1149 v935 -v883 -v786 -v4517 v3554 v3240 v2798 -v1151 v1081 v936 -v884 v4519 -v3349 v3239 v2556 v1102 v931 v4525 -v3348 v2557 -v2509 v1327 v1098 v4521 -v2800 v2552 v2508 -v2083 -v2017 v1348 -v1145 v1097 -v929 v789 v4533 -v3607 -v3494 -v2801 -v2016 v1344 v980 -v4426 v3496 -v2550 v2516 v1343 -v1146 v981 v4428 v3502 v2520 v2185 v982 -v466 v3498 -v3345 -v2953 v2945 v2524 v2187 v998 -v465 v3510 -v2957 v2946 v2523 -v2193 -v4435 v4422 v4178 v2941 -v2604 v2451 v2189 -v2013 v473 v4439 v4179 v2455 -v2420 v2201 v477 v4423 -v4236 v4174 -v3861 -v3728 -v2939 v2422 v2330 -v2161 v1826 -v1710 -v1675 v481 -v4240 -v3860 v2428 v2331 v1677 v480 v4172 v3684 -v3050 v2424 v2326 v2167 v1832 -v1713 v1208 v3688 -v2994 v2436 -v1212 v4614 v4336 -v3529 v3056 -v2324 v2172 -v1671 v4615 -v4340 v124 v4610 -v3857 v3690 v2175 v2116 -v1835 -v1672 -v746 -v596 v303 v145 v3691 v2173 v2020 v748 v600 v304 v141 -v4608 -v3059 -v2578 v2122 v2022 v299 v140 v56 v2028 v60 v2581 v2127 v2024 v742 v297 v2033 -v1295 v3264 v1808 v1304 -v872 v711 v3266 v1812 v1308 -v2281 v878 v776 -v2788 v2283 v882 -v4053 -v3260 -v3241 -v2787 -v934 v886 -v782 v715 v3243 -v1150 -v933 v885 v4059 v3549 -v3261 v2795 -v2555 v2277 -v1184 -v1099 -v787 v3553 v2799 -v2554 v1188 v1101 -v3237 v2803 -v2278 -v1345 v790 v4520 v2802 v1347 v788 v4541 -v4062 -v3238 v1095 -v930 v4537 -v4427 v2510 v4552 v4536 v2944 -v2551 v2511 -v1341 -v1096 v1001 v3497 v2943 v2512 v1002 -v4177 v3518 -v2952 v2600 v2528 -v1342 v997 -v156 -v4176 v3514 -v2956 v2188 v467 v4437 -v3724 v3513 -v2603 v2450 -v2356 v2329 -v2209 v1822 v995 v468 v4441 -v3678 v2454 -v2360 v2328 v2205 -v1676 v469 -v4235 -v3727 -v3677 -v3046 -v2940 -v2709 v2204 v1828 -v1709 v485 -v4239 -v2713 v2423 v2160 -v4613 -v4443 v4173 v3685 -v3525 v3052 v2444 v2162 v1833 -v1715 v1210 v4612 -v4444 v3689 v2440 v2168 v1214 v4335 v3693 -v3528 v3057 v2439 -v2325 v2164 v1836 -v1479 -v302 -v142 -v4339 v3692 v2176 -v1834 -v747 -v301 v144 -v50 v3060 -v1718 -v1216 v595 -v550 -v49 v3058 v2115 -v1217 v599 -v4609 -v2577 v2117 -v138 v57 v2123 v2023 v61 v2583 v2119 v2041 -v743 v298 -v139 v62 -v2128 v2037 -v63 v3265 v1820 v1306 v712 -v2282 v1816 v1310 v871 -v4049 v1815 v873 v716 -v3242 v874 v775 v714 v4055 v1312 v890 v777 v2789 -v1313 -v1100 -v783 v4060 v3551 v2790 v1183 v779 v3555 v2791 -v1346 v1187 v791 v4538 v4063 v2807 v4540 v4061 -v4548 v3557 -v1524 -v1000 v3558 v1528 -v999 v4551 v4534 -v3515 v2531 -v1599 -v152 -v4431 v3517 v2532 v4535 -v4430 v2954 -v2625 v2599 v2527 -v2206 v155 v2958 -v2629 -v2208 v4438 -v3723 -v3511 v2605 -v2525 v2452 -v2355 v1705 v996 v488 v4442 v2456 -v2359 v1821 -v1204 v489 v4446 v4237 v3729 -v3512 -v2960 v2708 v2441 -v2202 v1823 v1711 -v1203 v484 v4445 v4241 v3679 -v3045 -v2961 v2712 v2443 v1829 v3680 -v3524 v3047 -v2860 v2608 v2458 -v2203 v1825 -v1716 -v1475 v1211 -v482 v3681 v3053 v2459 v2163 v1837 v1215 -v143 v4337 v4243 v3732 v3697 v3530 v3049 -v2437 v2184 v1719 v1478 v1219 -v546 v4341 v4244 v3061 v2180 v1717 v1218 -v2573 -v2438 v2179 v597 -v549 v601 v51 v4343 v3533 v2579 -v2038 v52 v4344 v2118 -v2040 v53 v2584 v2136 -v901 -v603 v67 -v2132 v2036 v905 -v604 v2731 v1819 v1307 v713 v2735 v1311 v717 v1813 v1315 v893 -v4048 v3545 v1314 v894 v4050 v3544 -v1814 v889 v4056 v778 v4052 v3552 v2810 v1185 -v887 -v799 -v4539 v4064 v3556 v2811 v1189 v795 v3560 v2806 v794 v3559 -v4547 -v2804 -v2530 -v1595 -v1523 -v1191 -v3516 -v2948 -v2529 v1527 -v1192 v4553 -v4502 -v2947 v2595 -v1598 -v151 -v2446 -v2207 -v3719 v2955 v2624 v2601 -v2445 -v487 v157 v4432 v4231 v2959 -v2628 -v486 v4556 v4433 v4230 -v3870 v3725 v2963 v2606 -v2526 v2453 v2357 v4434 -v3874 v2962 v2457 v2442 v2361 v1704 v4450 v4238 v3730 -v3520 -v2856 v2710 v2609 v2461 v1706 v160 v4331 v4242 v2714 v2607 v2460 v1824 v1712 v1205 v4330 v4246 v3733 v3700 v3526 v2859 -v2363 -v2181 v1845 v1708 v1474 v1206 -v1113 -v483 v4245 v3731 v3701 v3048 -v2364 v2183 v1841 v1720 v1207 v591 v4338 v3696 v3531 v3069 v2716 v1840 v1480 v1223 v590 -v545 v4342 v3065 v2717 v4346 -v3694 v3534 v3064 v2177 -v1159 v598 v551 v4345 v3532 v2572 -v2039 -v1163 v602 v2574 -v2178 -v2143 v2133 -v1483 -v606 v70 v2580 -v2147 v2135 -v605 v71 v2576 -v900 -v697 -v554 v66 v2585 -v2131 v2034 v904 v2730 -v2684 v1817 v1303 v892 v725 v2734 -v2688 v1302 v891 -v721 -v2050 -v1548 v1319 -v720 -v1552 -v1179 v2809 v1178 -v796 v4051 v3546 v2808 -v798 v4072 v3547 v1186 -v888 v4068 v3548 v1190 -v4543 v4067 v3564 v1194 v792 v1193 v4549 -v4498 -v2805 -v1594 -v1525 v793 v147 v1529 v4554 v4501 -v1600 v153 v2949 v2594 v2351 v4557 -v4473 v2950 v2626 v2596 v2350 v1531 v158 v4555 -v4477 -v3718 v2951 v2704 v2630 v2602 v2447 v1532 v4453 -v3869 v3720 v2967 v2703 v2598 v2448 v2358 -v1603 v161 v4454 v4232 -v3873 v3726 v2610 v2449 v2362 v159 v4449 v4233 v3722 -v3699 -v2855 v2711 -v2632 v2465 v2366 -v1842 v1470 -v1109 v4234 v3734 -v3698 -v3519 v2715 -v2633 v2365 -v2182 v1844 v1707 v4447 v4250 v3521 v3066 v2861 v2719 v1728 v1476 v1226 -v1112 -v541 v4332 v3527 v3068 v2718 v1724 v1227 v4333 v3523 -v1838 v1723 v1481 v1222 v547 v4334 v3535 v592 v4350 -v3695 -v3409 v3062 v2864 -v1839 v1484 -v1220 -v1158 v593 v552 -v69 -v2134 -v1482 -v1162 v594 v68 -v3063 -v2476 v2142 -v693 v610 v555 v2575 -v2480 -v2146 v553 -v3616 v2593 v902 v696 v64 -v3620 v2589 -v2129 -v2035 v906 -v3820 v2732 v2683 -v2046 -v1818 v1322 v724 v3824 v2736 -v2687 v1323 -v3201 v2049 -v1547 v1318 -v718 v3205 -v1551 -v797 v4069 v2738 v1316 -v719 v4071 -v2739 v1180 v3567 -v2241 v1181 v3568 v2245 -v1519 v1182 -v4065 v3563 -v1590 v1518 v1198 v4542 v4544 -v4497 -v4066 v3561 -v1596 v1526 v500 v4550 v2620 v1530 v146 v4546 v4503 v2619 -v1601 v1534 v148 v4558 v1533 v154 v4472 -v4452 v2970 v2627 v1604 v150 v4476 -v4451 v2971 v2631 v2597 v2352 v1602 v162 -v4506 v3871 v2966 -v2851 v2635 v2618 v2468 v2353 v3875 v3721 v2705 v2634 v2614 v2469 v2354 -v1843 v4253 v3742 v3362 -v2964 v2857 v2706 -v2613 v2464 v2370 v1725 -v1225 -v1108 v4254 v3738 -v3067 v2707 v1727 v1469 -v1224 v4448 v4249 -v3877 v3737 v2862 v2723 -v2462 v1471 v1114 -v3878 v3522 v1477 -v540 v4353 -v4247 v3543 -v3405 v2865 v1721 v1473 v542 v4354 v3539 v2863 v1485 v548 v4349 v3538 v3408 -v1722 -v1221 v1160 -v1117 v613 v544 v1164 -v896 v614 v556 v4347 -v2590 -v2475 v2144 -v895 v692 v609 v2592 -v2479 -v2148 -v3615 -v1166 v903 v698 -v607 -v65 -v3619 v2588 -v2130 -v1167 v907 v3819 v2733 v2685 v2045 v1320 v722 v3823 v2737 v2689 -v3200 v2741 v2051 v1549 v856 -v4070 v3204 v2740 v1553 v3566 -v2691 v1317 v3565 -v2692 v2240 -v2054 v1555 v1201 v2244 v1556 v1202 v4493 v1197 v496 v1589 v1520 v4499 -v3562 v1591 v1521 -v1195 v499 v4545 -v1597 v1522 v4566 v4504 -v3753 -v2969 v1593 v1538 v4562 -v3865 -v2968 v2621 v1605 v149 v4561 v4507 v4474 -v3864 v2622 -v2615 v2467 v450 v170 -v4505 v4478 v2623 v2617 v2466 v166 -v4252 v3872 v3739 v3358 v2639 v2373 v1104 v165 v4251 v3876 v3741 -v2850 v2374 v1726 v4480 v3880 v3361 -v2965 v2852 v2726 -v2611 v2369 v1110 v4481 v3879 v2858 v2727 -v4352 -v3735 -v3540 v2854 v2722 -v2612 -v2463 -v2367 v1735 v1115 -v4351 v3542 v2866 -v1739 v1472 v1154 -v4248 -v3736 v3404 v2720 v1493 v1153 v1118 v612 v2138 v1489 -v1116 v611 v543 -v3536 v3410 -v2822 v2137 v1488 v1161 v688 v564 -v2591 v1165 v560 v4348 -v3537 v2477 v2145 v1169 v694 v559 v2481 -v2149 v1168 v897 -v3617 v3413 -v2150 v898 v699 -v608 -v3621 v2586 -v2151 v899 -v4030 v3821 v2729 v2686 v2047 -v1544 -v1321 -v852 -v723 -v4034 v3825 v2728 v2690 -v3202 v2745 v2694 v2052 v1550 v855 v3206 v2693 v1554 v3827 v2055 v1558 -v1200 v3828 v2053 v1557 -v1199 v3208 v2242 v3209 v2246 v495 v4492 -v4563 v4494 -v3749 -v2248 v1541 -v1196 v501 -v4565 v4500 -v4468 -v2249 v1592 v1542 -v4577 v4496 -v4467 -v3752 v1613 -v1537 -v446 -v167 v4508 -v2616 -v1609 v169 v4559 v4475 v2642 -v2372 -v1608 -v1535 v504 v449 v4479 v3866 -v3740 v2643 -v2371 v4560 v4483 v3867 v3357 -v2725 v2638 -v163 v4482 v3868 -v2724 v1103 v3884 v3363 -v2636 v1105 -v164 -v3541 v2853 v1111 -v3400 v2874 -v2368 v1734 -v1490 v1107 v2870 v1738 v1492 v1119 v3406 v3366 -v2869 v2818 v2721 -v561 v107 -v2471 v1155 v563 -v4097 v3411 -v2821 -v2470 -v1486 v1156 -v4101 -v3611 v2139 v1157 v687 -v3610 v3414 v2478 v2140 -v1487 v1173 v689 -v557 v3412 v2482 v2141 v695 -v3618 v2483 v2155 v910 v691 -v558 -v3622 v2587 -v2484 v911 v700 v4029 v3822 -v3197 v2751 v2748 v2682 -v2043 v851 -v4033 v3826 v2749 v2681 v2048 v1543 v3830 -v3203 v2744 v2698 v2044 v1545 v857 v3829 v3207 v2236 v2056 v1546 v3211 -v2742 v2235 v1562 v3210 v2243 v860 v491 v2247 v2251 -v1540 v497 -v4564 v2250 v1539 v4573 -v3748 -v1610 v1378 v502 v4495 v1612 -v1382 -v168 -v4576 -v4516 v3754 -v2641 v505 -v445 v4512 v4469 -v2640 v503 v4511 v4470 -v3353 -v1606 -v1536 v451 v4471 v4487 v3887 -v3757 v3359 -v1607 v3888 v3883 v3364 v2871 -v2637 v454 -v424 v2873 -v1491 v1106 v428 -v3881 v3434 v3367 v1736 v1127 v103 v3399 v3365 v1740 v1123 -v562 v3401 v3162 -v2867 v2817 v1122 v106 v3407 -v4096 v3403 -v2868 v2823 -v1742 v1176 v4100 v3415 v2472 -v1743 v1177 v2473 v2158 v1172 -v909 -v3612 v2474 v2159 -v908 v690 v3712 -v3613 -v2826 v2488 v2154 -v1170 v708 v3614 v704 v4031 -v3818 v2750 v2746 v2701 v853 v4035 v3817 -v3196 v2702 v2042 v3834 -v3198 v2697 v2064 v1565 v858 v3199 v2060 v1566 -v4037 v3215 -v2743 -v2695 v2059 -v1926 v1561 v861 -v4038 v2237 v859 -v2501 v2238 v1559 v2239 v490 -v3744 v2255 v492 -v1611 v498 v4572 -v4513 v3750 v1377 -v1257 v494 v441 -v4515 -v1381 v506 v4578 v3755 v447 -v4509 v4490 v3886 v3758 v452 v4491 v3885 -v3756 v3352 -v4581 -v4510 v4486 v3354 v455 v3360 -v2872 -v1730 v453 -v4484 v3430 v3356 v1729 -v1124 v423 v3368 -v1126 v427 -v3882 v3433 v3158 -v2813 v1737 v102 v1741 v3161 v2819 v1745 -v1175 -v1120 v108 v3402 v1744 v1174 v4098 v3423 v2824 -v2157 -v1121 -v971 v4102 v3419 v2156 -v3967 -v3708 v3418 v2827 v2491 -v705 -v111 -v3971 -v2825 v2492 v707 -v4104 v3711 v3625 v2846 v2487 v2152 -v1171 -v4105 v3626 v703 v4032 v3837 v2752 -v2747 v2699 -v2061 -v1564 v849 v4036 v3838 v2063 -v1563 v854 v4040 v3833 v3218 v1922 v850 v4039 v3219 v862 -v3831 v3214 v2756 -v2696 v2497 -v2057 -v1925 v3212 -v2500 v2258 -v2058 v1560 v2259 v4568 v2254 v1253 -v4514 v3743 v493 v4574 v3745 v2252 v1379 -v1256 v514 v3751 -v1383 v510 v440 v4579 -v4489 v3747 v509 v442 v4488 v3759 v448 v4582 -v1385 v444 v4580 -v1386 v456 v3355 -v1125 -v4485 v3429 -v3376 v425 -v98 v3372 v1731 v429 v3435 v3371 v3157 v1732 v104 v4092 -v2812 v1733 v4091 -v3420 v3163 v2814 v1749 -v967 v431 v109 v3422 v2820 v432 v4099 v3438 v2816 v2490 -v970 v112 v4103 v2828 v2489 -v706 v110 -v4107 -v3966 -v3707 v3624 -v3416 v3166 -v2842 -v4106 v3970 v3623 v3713 -v3417 v2845 v2485 v2153 v701 v4028 v3835 -v3217 v2753 -v2700 -v2062 v4027 -v3216 v848 v4044 v2757 v1921 v870 v2755 v866 -v3832 v2496 v2257 v1927 v865 v2256 v3213 v2502 v1373 v1930 v1372 v1252 -v511 v4567 -v513 v4569 -v2505 v2253 v1380 v1258 v4575 v3746 -v1384 v4571 v3767 -v1388 -v507 v4583 v3763 -v1387 v443 v3762 v1261 -v508 v464 v460 v419 v3425 -v3373 v459 v418 -v3375 v3431 v3153 v426 v430 v97 v3436 v3369 v3159 v1752 v434 v99 -v3421 v1753 v433 v105 v3439 -v3370 v3164 v1748 -v966 v101 v4093 v3437 v2815 v113 v4094 v3703 v3167 v2836 -v1746 v972 v4095 v3165 v2832 -v4111 v3968 v3709 -v2841 v2831 v3972 v3714 v2847 -v2486 -v975 v702 v4045 -v3836 v2754 v1920 v867 v4047 v2758 v869 v4043 v2495 v1923 v4041 v2498 v1928 v863 v2503 -v864 v1929 -v512 v2506 v1254 v2504 v1374 -v3764 v1375 v1259 v4570 v3766 v1376 v4590 -v1391 v1262 v461 v4587 v1260 v463 v4586 -v3760 -v3374 -v3761 v457 v3424 v420 v3426 -v1751 v458 v421 v3432 v3152 -v1750 v422 v3428 v3154 -v964 v437 v3440 v3160 v100 v3156 -v2833 v968 -v120 v3962 v3168 v2835 v117 -v4114 v3961 -v2839 -v1747 v973 v116 -v4115 v3702 -v4110 v3969 v3704 v2843 v2829 v976 v3973 v3710 v974 -v4108 v3974 v3706 v2848 -v2830 v3975 -v3715 v4046 v2761 v868 v2759 v1919 -v2760 v1918 v2494 v1924 v4042 v2493 v2499 v2507 -v3765 v1255 v4589 v1393 v4588 v1392 v1263 v462 -v1389 v4584 -v1390 -v4585 v439 v3427 v438 v3443 v435 -v119 v3441 v3155 -v2834 v963 -v118 -v4113 v3442 -v3171 v962 v436 -v4112 v3169 v969 v3170 v965 v114 v3963 v2838 v977 v3964 v2837 -v115 v3965 v3705 v2844 -v4109 v3976 v3717 v2840 v3716 v2849 one c Exit Code: 10 c Total time: 1175.26 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.98 0.91 2/54 4913 Raw data (stat): 4913 (runsolver) R 4912 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906629449 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0004 s] Raw data (loadavg): 0.93 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 2274 0 0 0 991 7 0 0 25 0 1 0 906629449 12492800 2183 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3050 2183 1111 63 0 2987 0 vsize: 12200 [startup+20.001 s] Raw data (loadavg): 0.94 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 2274 0 0 0 1991 7 0 0 25 0 1 0 906629449 12492800 2183 4294967295 134512640 134716908 3221224560 3221223340 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3050 2183 1111 63 0 2987 0 vsize: 12200 [startup+30.002 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 2274 0 0 0 2991 7 0 0 25 0 1 0 906629449 12492800 2183 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3050 2183 1111 63 0 2987 0 vsize: 12200 [startup+40.0019 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 3633 0 0 0 3988 11 0 0 25 0 1 0 906629449 18345984 3365 4294967295 134512640 134716908 3221224560 3221220736 1074961129 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4479 3365 1111 63 0 4416 0 vsize: 17916 [startup+50.0024 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 3913 0 0 0 4987 12 0 0 25 0 1 0 906629449 18022400 3459 4294967295 134512640 134716908 3221224560 3221220528 1074881359 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4400 3459 1111 63 0 4337 0 vsize: 17600 [startup+60.0025 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 3958 0 0 0 5987 12 0 0 25 0 1 0 906629449 18206720 3504 4294967295 134512640 134716908 3221224560 3221220992 1075120005 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4445 3504 1111 63 0 4382 0 vsize: 17780 [startup+70.0033 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 4699 0 0 0 6985 14 0 0 25 0 1 0 906629449 16166912 3184 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3947 3184 1111 63 0 3884 0 vsize: 15788 [startup+80.0038 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 4699 0 0 0 7985 15 0 0 25 0 1 0 906629449 16166912 3184 4294967295 134512640 134716908 3221224560 3221222960 134649143 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3947 3184 1111 63 0 3884 0 vsize: 15788 [startup+90.004 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 4699 0 0 0 8984 16 0 0 25 0 1 0 906629449 16166912 3184 4294967295 134512640 134716908 3221224560 3221222952 134543174 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3947 3184 1111 63 0 3884 0 vsize: 15788 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 4699 0 0 0 9984 17 0 0 25 0 1 0 906629449 16166912 3184 4294967295 134512640 134716908 3221224560 3221222716 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3947 3184 1111 63 0 3884 0 vsize: 15788 [startup+110.005 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 4699 0 0 0 10984 17 0 0 25 0 1 0 906629449 16166912 3184 4294967295 134512640 134716908 3221224560 3221222968 134558798 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3947 3184 1111 63 0 3884 0 vsize: 15788 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 6233 0 0 0 11980 22 0 0 25 0 1 0 906629449 16310272 3197 4294967295 134512640 134716908 3221224560 3221222944 1074031958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3982 3197 1111 63 0 3919 0 vsize: 15928 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 6233 0 0 0 12979 23 0 0 25 0 1 0 906629449 16310272 3197 4294967295 134512640 134716908 3221224560 3221222976 134646754 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3982 3197 1111 63 0 3919 0 vsize: 15928 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 6233 0 0 0 13979 23 0 0 25 0 1 0 906629449 16310272 3197 4294967295 134512640 134716908 3221224560 3221222948 134646662 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3982 3197 1111 63 0 3919 0 vsize: 15928 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 6233 0 0 0 14979 24 0 0 25 0 1 0 906629449 16310272 3197 4294967295 134512640 134716908 3221224560 3221222952 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3982 3197 1111 63 0 3919 0 vsize: 15928 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 6233 0 0 0 15979 24 0 0 25 0 1 0 906629449 16310272 3197 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3982 3197 1111 63 0 3919 0 vsize: 15928 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 6233 0 0 0 16979 25 0 0 25 0 1 0 906629449 16310272 3197 4294967295 134512640 134716908 3221224560 3221222976 134646719 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3982 3197 1111 63 0 3919 0 vsize: 15928 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 6348 0 0 0 17977 27 0 0 25 0 1 0 906629449 15003648 2944 4294967295 134512640 134716908 3221224560 3221222604 1077379843 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3663 2944 1111 63 0 3600 0 vsize: 14652 [startup+190.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 13080 0 0 0 18957 47 0 0 25 0 1 0 906629449 15003648 2944 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3663 2944 1111 63 0 3600 0 vsize: 14652 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 19757 0 0 0 19938 66 0 0 25 0 1 0 906629449 15048704 2955 4294967295 134512640 134716908 3221224560 3221223344 134551454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3674 2955 1111 63 0 3611 0 vsize: 14696 [startup+210.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 27567 0 0 0 20916 88 0 0 25 0 1 0 906629449 15003648 2944 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3663 2944 1111 63 0 3600 0 vsize: 14652 [startup+220.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 36157 0 0 0 21894 111 0 0 25 0 1 0 906629449 15097856 2967 4294967295 134512640 134716908 3221224560 3221223344 134551454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3686 2967 1111 63 0 3623 0 vsize: 14744 [startup+230.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 45552 0 0 0 22868 137 0 0 25 0 1 0 906629449 15147008 2979 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3698 2979 1111 63 0 3635 0 vsize: 14792 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 56124 0 0 0 23838 166 0 0 25 0 1 0 906629449 15462400 3014 4294967295 134512640 134716908 3221224560 3221221672 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3908 3015 1111 63 0 3845 0 vsize: 15100 [startup+250.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 66765 0 0 0 24808 197 0 0 25 0 1 0 906629449 15380480 3036 4294967295 134512640 134716908 3221224560 3221223248 134558535 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3755 3036 1111 63 0 3692 0 vsize: 15020 [startup+260.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 76626 0 0 0 25783 223 0 0 25 0 1 0 906629449 18083840 3116 4294967295 134512640 134716908 3221224560 3221221544 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4415 3116 1111 63 0 4352 0 vsize: 17660 [startup+270.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 86403 0 0 0 26754 252 0 0 25 0 1 0 906629449 15519744 3070 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3789 3070 1111 63 0 3726 0 vsize: 15156 [startup+280.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 96296 0 0 0 27728 279 0 0 25 0 1 0 906629449 15708160 3116 4294967295 134512640 134716908 3221224560 3221222288 1075635463 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3835 3116 1111 63 0 3772 0 vsize: 15340 [startup+290.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 106598 0 0 0 28701 306 0 0 25 0 1 0 906629449 15753216 3127 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3846 3127 1111 63 0 3783 0 vsize: 15384 [startup+300.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 116075 0 0 0 29675 332 0 0 25 0 1 0 906629449 15990784 3173 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3904 3173 1111 63 0 3841 0 vsize: 15616 [startup+310.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 125327 0 0 0 30648 359 0 0 25 0 1 0 906629449 16035840 3196 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3915 3196 1111 63 0 3852 0 vsize: 15660 [startup+320.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 133053 0 0 0 31628 380 0 0 25 0 1 0 906629449 16228352 3243 4294967295 134512640 134716908 3221224560 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3962 3243 1111 63 0 3899 0 vsize: 15848 [startup+330.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 139659 0 0 0 32610 398 0 0 25 0 1 0 906629449 16592896 3301 4294967295 134512640 134716908 3221224560 3221222696 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4051 3304 1111 63 0 3988 0 vsize: 16204 [startup+340.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 145038 0 0 0 33595 414 0 0 25 0 1 0 906629449 16474112 3303 4294967295 134512640 134716908 3221224560 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4022 3303 1111 63 0 3959 0 vsize: 16088 [startup+350.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 150622 0 0 0 34581 428 0 0 25 0 1 0 906629449 16568320 3326 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4045 3326 1111 63 0 3982 0 vsize: 16180 [startup+360.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 155640 0 0 0 35567 442 0 0 25 0 1 0 906629449 16711680 3361 4294967295 134512640 134716908 3221224560 3221222344 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4080 3361 1111 63 0 4017 0 vsize: 16320 [startup+370.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 165194 0 0 0 36539 471 0 0 25 0 1 0 906629449 20406272 3439 4294967295 134512640 134716908 3221224560 3221221496 1075066476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4982 3439 1111 63 0 4919 0 vsize: 19928 [startup+380.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 173955 0 0 0 37515 495 0 0 25 0 1 0 906629449 16912384 3410 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4129 3410 1111 63 0 4066 0 vsize: 16516 [startup+390.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 177583 0 0 0 38505 506 0 0 25 0 1 0 906629449 17113088 3459 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4178 3459 1111 63 0 4115 0 vsize: 16712 [startup+400.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 182036 0 0 0 39494 517 0 0 25 0 1 0 906629449 17244160 3491 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4210 3491 1111 63 0 4147 0 vsize: 16840 [startup+410.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 186513 0 0 0 40481 530 0 0 25 0 1 0 906629449 21114880 3633 4294967295 134512640 134716908 3221224560 3221221544 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5155 3633 1111 63 0 5092 0 vsize: 20620 [startup+420.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 190333 0 0 0 41471 541 0 0 25 0 1 0 906629449 17809408 3629 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4348 3629 1111 63 0 4285 0 vsize: 17392 [startup+430.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 193831 0 0 0 42461 551 0 0 25 0 1 0 906629449 18001920 3656 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4395 3656 1111 63 0 4332 0 vsize: 17580 [startup+440.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 196946 0 0 0 43452 560 0 0 25 0 1 0 906629449 18100224 3700 4294967295 134512640 134716908 3221224560 3221222560 1074056202 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4419 3700 1111 63 0 4356 0 vsize: 17676 [startup+450.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 200733 0 0 0 44443 570 0 0 25 0 1 0 906629449 18128896 3707 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4426 3707 1111 63 0 4363 0 vsize: 17704 [startup+460.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 204684 0 0 0 45432 581 0 0 25 0 1 0 906629449 22048768 3835 4294967295 134512640 134716908 3221224560 3221221620 1074617634 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3818 1111 63 0 4514 0 vsize: 21532 [startup+470.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 208159 0 0 0 46423 591 0 0 25 0 1 0 906629449 18599936 3822 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4541 3822 1111 63 0 4478 0 vsize: 18164 [startup+480.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 211921 0 0 0 47413 601 0 0 25 0 1 0 906629449 18690048 3844 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4563 3844 1111 63 0 4500 0 vsize: 18252 [startup+490.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 215895 0 0 0 48403 611 0 0 25 0 1 0 906629449 18780160 3866 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4585 3866 1111 63 0 4522 0 vsize: 18340 [startup+500.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 219832 0 0 0 49393 622 0 0 25 0 1 0 906629449 18870272 3888 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4607 3888 1111 63 0 4544 0 vsize: 18428 [startup+510.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 224168 0 0 0 50382 633 0 0 25 0 1 0 906629449 18960384 3910 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4629 3910 1111 63 0 4566 0 vsize: 18516 [startup+520.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 228002 0 0 0 51373 643 0 0 25 0 1 0 906629449 19132416 3952 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4671 3952 1111 63 0 4608 0 vsize: 18684 [startup+530.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 232278 0 0 0 52361 655 0 0 25 0 1 0 906629449 19308544 3995 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4714 3995 1111 63 0 4651 0 vsize: 18856 [startup+540.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 236511 0 0 0 53352 664 0 0 25 0 1 0 906629449 19402752 4018 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4737 4018 1111 63 0 4674 0 vsize: 18948 [startup+550.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 241138 0 0 0 54340 676 0 0 25 0 1 0 906629449 19628032 4073 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 4073 1111 63 0 4729 0 vsize: 19168 [startup+560.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 244887 0 0 0 55329 688 0 0 25 0 1 0 906629449 19832832 4123 4294967295 134512640 134716908 3221224560 3221222872 1074138158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4842 4123 1111 63 0 4779 0 vsize: 19368 [startup+570.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 248846 0 0 0 56319 699 0 0 25 0 1 0 906629449 19935232 4148 4294967295 134512640 134716908 3221224560 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4867 4148 1111 63 0 4804 0 vsize: 19468 [startup+580.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 252952 0 0 0 57306 712 0 0 25 0 1 0 906629449 20164608 4172 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4923 4172 1111 63 0 4860 0 vsize: 19692 [startup+590.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 255609 0 0 0 58300 718 0 0 25 0 1 0 906629449 20389888 4250 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4978 4250 1111 63 0 4915 0 vsize: 19912 [startup+600.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 258191 0 0 0 59292 726 0 0 25 0 1 0 906629449 20332544 4245 4294967295 134512640 134716908 3221224560 3221223184 134652477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4964 4245 1111 63 0 4901 0 vsize: 19856 [startup+610.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 261896 0 0 0 60283 736 0 0 25 0 1 0 906629449 24264704 4389 4294967295 134512640 134716908 3221224560 3221220704 1074950925 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5924 4389 1111 63 0 5861 0 vsize: 23696 [startup+620.028 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 265757 0 0 0 61272 747 0 0 25 0 1 0 906629449 20561920 4270 4294967295 134512640 134716908 3221224560 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5020 4270 1111 63 0 4957 0 vsize: 20080 [startup+630.028 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 269924 0 0 0 62262 758 0 0 25 0 1 0 906629449 21008384 4379 4294967295 134512640 134716908 3221224560 3221222696 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5129 4383 1111 63 0 5066 0 vsize: 20516 [startup+640.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 274148 0 0 0 63251 768 0 0 25 0 1 0 906629449 20774912 4353 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5072 4353 1111 63 0 5009 0 vsize: 20288 [startup+650.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 278092 0 0 0 64241 779 0 0 25 0 1 0 906629449 20881408 4379 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5098 4379 1111 63 0 5035 0 vsize: 20392 [startup+660.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 282495 0 0 0 65228 792 0 0 25 0 1 0 906629449 25022464 4564 4294967295 134512640 134716908 3221224560 3221220720 1074794565 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6109 4564 1111 63 0 6046 0 vsize: 24436 [startup+670.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 286828 0 0 0 66218 803 0 0 25 0 1 0 906629449 21168128 4449 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5168 4449 1111 63 0 5105 0 vsize: 20672 [startup+680.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 291284 0 0 0 67205 816 0 0 25 0 1 0 906629449 21307392 4483 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5202 4483 1111 63 0 5139 0 vsize: 20808 [startup+690.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 295543 0 0 0 68194 828 0 0 25 0 1 0 906629449 21372928 4499 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5218 4499 1111 63 0 5155 0 vsize: 20872 [startup+700.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 299195 0 0 0 69184 837 0 0 25 0 1 0 906629449 21680128 4574 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5293 4574 1111 63 0 5230 0 vsize: 21172 [startup+710.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 302507 0 0 0 70176 847 0 0 25 0 1 0 906629449 21827584 4610 4294967295 134512640 134716908 3221224560 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5329 4610 1111 63 0 5266 0 vsize: 21316 [startup+720.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 305840 0 0 0 71167 856 0 0 25 0 1 0 906629449 21970944 4645 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5364 4645 1111 63 0 5301 0 vsize: 21456 [startup+730.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 309366 0 0 0 72158 865 0 0 25 0 1 0 906629449 22110208 4679 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5398 4679 1111 63 0 5335 0 vsize: 21592 [startup+740.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 313285 0 0 0 73149 874 0 0 25 0 1 0 906629449 22110208 4679 4294967295 134512640 134716908 3221224560 3221222744 1077378310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5398 4679 1111 63 0 5335 0 vsize: 21592 [startup+750.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 317349 0 0 0 74137 887 0 0 25 0 1 0 906629449 22224896 4707 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5426 4707 1111 63 0 5363 0 vsize: 21704 [startup+760.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 321410 0 0 0 75126 898 0 0 25 0 1 0 906629449 22364160 4741 4294967295 134512640 134716908 3221224560 3221222960 1074153766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5460 4741 1111 63 0 5397 0 vsize: 21840 [startup+770.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 325550 0 0 0 76114 910 0 0 25 0 1 0 906629449 23076864 4843 4294967295 134512640 134716908 3221224560 3221222288 1075828447 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5634 4843 1111 63 0 5571 0 vsize: 22536 [startup+780.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 329733 0 0 0 77103 922 0 0 25 0 1 0 906629449 22560768 4789 4294967295 134512640 134716908 3221224560 3221222924 1074205875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5508 4789 1111 63 0 5445 0 vsize: 22032 [startup+790.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 333700 0 0 0 78092 933 0 0 25 0 1 0 906629449 22704128 4824 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5543 4824 1111 63 0 5480 0 vsize: 22172 [startup+800.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 337867 0 0 0 79081 944 0 0 25 0 1 0 906629449 22835200 4856 4294967295 134512640 134716908 3221224560 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5575 4856 1111 63 0 5512 0 vsize: 22300 [startup+810.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 341709 0 0 0 80072 953 0 0 25 0 1 0 906629449 22929408 4879 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5598 4879 1111 63 0 5535 0 vsize: 22392 [startup+820.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 346206 0 0 0 81061 965 0 0 25 0 1 0 906629449 23040000 4906 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5625 4906 1111 63 0 5562 0 vsize: 22500 [startup+830.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 350777 0 0 0 82049 977 0 0 25 0 1 0 906629449 23187456 4942 4294967295 134512640 134716908 3221224560 3221222912 1073986885 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5661 4942 1111 63 0 5598 0 vsize: 22644 [startup+840.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 355301 0 0 0 83037 990 0 0 25 0 1 0 906629449 23404544 4995 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5714 4995 1111 63 0 5651 0 vsize: 22856 [startup+850.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 359653 0 0 0 84026 1001 0 0 25 0 1 0 906629449 23515136 5022 4294967295 134512640 134716908 3221224560 3221222960 1074153673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5741 5022 1111 63 0 5678 0 vsize: 22964 [startup+860.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 363710 0 0 0 85016 1012 0 0 25 0 1 0 906629449 23646208 5054 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5773 5054 1111 63 0 5710 0 vsize: 23092 [startup+870.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 368183 0 0 0 86002 1025 0 0 25 0 1 0 906629449 23789568 5089 4294967295 134512640 134716908 3221224560 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5808 5089 1111 63 0 5745 0 vsize: 23232 [startup+880.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 372539 0 0 0 86992 1037 0 0 25 0 1 0 906629449 27893760 5279 4294967295 134512640 134716908 3221224560 3221221680 1074834317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6810 5279 1111 63 0 6747 0 vsize: 27240 [startup+890.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 376954 0 0 0 87979 1050 0 0 25 0 1 0 906629449 24059904 5155 4294967295 134512640 134716908 3221224560 3221222744 1077378277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5874 5155 1111 63 0 5811 0 vsize: 23496 [startup+900.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 381516 0 0 0 88966 1063 0 0 25 0 1 0 906629449 24207360 5191 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5910 5191 1111 63 0 5847 0 vsize: 23640 [startup+910.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 386052 0 0 0 89952 1077 0 0 25 0 1 0 906629449 24346624 5225 4294967295 134512640 134716908 3221224560 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5944 5225 1111 63 0 5881 0 vsize: 23776 [startup+920.042 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 390765 0 0 0 90941 1089 0 0 25 0 1 0 906629449 24473600 5256 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5975 5256 1111 63 0 5912 0 vsize: 23900 [startup+930.043 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 395655 0 0 0 91929 1101 0 0 25 0 1 0 906629449 24621056 5292 4294967295 134512640 134716908 3221224560 3221222872 1074138158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6011 5292 1111 63 0 5948 0 vsize: 24044 [startup+940.043 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 400531 0 0 0 92916 1114 0 0 25 0 1 0 906629449 24760320 5326 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6045 5326 1111 63 0 5982 0 vsize: 24180 [startup+950.044 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 405455 0 0 0 93903 1128 0 0 25 0 1 0 906629449 25145344 5420 4294967295 134512640 134716908 3221224560 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6139 5420 1111 63 0 6076 0 vsize: 24556 [startup+960.045 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 410325 0 0 0 94890 1141 0 0 25 0 1 0 906629449 24981504 5380 4294967295 134512640 134716908 3221224560 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6099 5380 1111 63 0 6036 0 vsize: 24396 [startup+970.045 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 415493 0 0 0 95877 1155 0 0 25 0 1 0 906629449 25341952 5468 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6187 5468 1111 63 0 6124 0 vsize: 24748 [startup+980.045 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 420702 0 0 0 96864 1168 0 0 25 0 1 0 906629449 25235456 5442 4294967295 134512640 134716908 3221224560 3221223216 134652244 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6161 5442 1111 63 0 6098 0 vsize: 24644 [startup+990.046 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 426208 0 0 0 97850 1182 0 0 25 0 1 0 906629449 25337856 5467 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6186 5467 1111 63 0 6123 0 vsize: 24744 [startup+1000.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 433795 0 0 0 98829 1203 0 0 25 0 1 0 906629449 25464832 5498 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6217 5498 1111 63 0 6154 0 vsize: 24868 [startup+1010.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 442937 0 0 0 99805 1228 0 0 25 0 1 0 906629449 25661440 5546 4294967295 134512640 134716908 3221224560 3221222524 1077378064 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6265 5546 1111 63 0 6202 0 vsize: 25060 [startup+1020.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 446428 0 0 0 100794 1239 0 0 25 0 1 0 906629449 26054656 5642 4294967295 134512640 134716908 3221224560 3221222344 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6361 5642 1111 63 0 6298 0 vsize: 25444 [startup+1030.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 449869 0 0 0 101784 1250 0 0 25 0 1 0 906629449 26198016 5677 4294967295 134512640 134716908 3221224560 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6396 5677 1111 63 0 6333 0 vsize: 25584 [startup+1040.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 453663 0 0 0 102774 1261 0 0 25 0 1 0 906629449 26447872 5738 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6457 5738 1111 63 0 6394 0 vsize: 25828 [startup+1050.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 457247 0 0 0 103765 1270 0 0 25 0 1 0 906629449 26591232 5773 4294967295 134512640 134716908 3221224560 3221222960 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6492 5773 1111 63 0 6429 0 vsize: 25968 [startup+1060.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 462678 0 0 0 104749 1286 0 0 25 0 1 0 906629449 26689536 5797 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6516 5797 1111 63 0 6453 0 vsize: 26064 [startup+1070.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 470221 0 0 0 105732 1304 0 0 25 0 1 0 906629449 26882048 5844 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6563 5844 1111 63 0 6500 0 vsize: 26252 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 473417 0 0 0 106722 1313 0 0 25 0 1 0 906629449 26988544 5870 4294967295 134512640 134716908 3221224560 3221222448 1074050818 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6589 5870 1111 63 0 6526 0 vsize: 26356 [startup+1090.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 477970 0 0 0 107710 1325 0 0 25 0 1 0 906629449 27119616 5902 4294967295 134512640 134716908 3221224560 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6621 5902 1111 63 0 6558 0 vsize: 26484 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 482507 0 0 0 108698 1338 0 0 25 0 1 0 906629449 27209728 5924 4294967295 134512640 134716908 3221224560 3221222960 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6643 5924 1111 63 0 6580 0 vsize: 26572 [startup+1110.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 487412 0 0 0 109683 1353 0 0 25 0 1 0 906629449 27385856 5967 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6686 5967 1111 63 0 6623 0 vsize: 26744 [startup+1120.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 492131 0 0 0 110670 1367 0 0 25 0 1 0 906629449 27660288 6034 4294967295 134512640 134716908 3221224560 3221222940 1074152905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6753 6034 1111 63 0 6690 0 vsize: 27012 [startup+1130.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 495684 0 0 0 111660 1376 0 0 25 0 1 0 906629449 27856896 6082 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6801 6082 1111 63 0 6738 0 vsize: 27204 [startup+1140.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 500234 0 0 0 112649 1388 0 0 25 0 1 0 906629449 27856896 6082 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6801 6082 1111 63 0 6738 0 vsize: 27204 [startup+1150.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 504606 0 0 0 113637 1400 0 0 25 0 1 0 906629449 28041216 6127 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6846 6127 1111 63 0 6783 0 vsize: 27384 [startup+1160.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 509908 0 0 0 114620 1417 0 0 25 0 1 0 906629449 32096256 6289 4294967295 134512640 134716908 3221224560 3221220616 1074860208 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7836 6289 1111 63 0 7773 0 vsize: 31344 [startup+1170.05 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 514718 0 0 0 115607 1431 0 0 25 0 1 0 906629449 28504064 6240 4294967295 134512640 134716908 3221224560 3221222912 1074115311 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6959 6240 1111 63 0 6896 0 vsize: 27836 [startup+1174.95 s] Raw data (loadavg): 0.99 0.98 0.91 1/53 4913 Raw data (stat): 4913 (bsolo_lpr_cuts-) R 4912 25568 25567 0 -1 0 514718 0 0 0 115607 1431 0 0 25 0 1 0 906629449 28504064 6240 4294967295 134512640 134716908 3221224560 3221222912 1074115311 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6959 6240 1111 63 0 6896 0 vsize: 0 Child status: 10 Real time (s): 1174.95 CPU time (s): 1175.28 CPU user time (s): 1160.87 CPU system time (s): 14.4138 CPU usage (%): 100.029 Max. virtual memory (Kb): 31344 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 2782 #### END VERIFIER DATA ####