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 wulflinc1 THE 2005-06-07 19:20:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27812 boxname=wulflinc1 idbench=370 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: ac4ddb996334a0834a018e09e97d1ecb /oldhome/oroussel/tmp/wulflinc1/normalized-30:30:4.5:0.95:100.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-30:30:4.5:0.95:100.opb IDLAUNCH: 27812 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 914152 kB Buffers: 31280 kB Cached: 64360 kB SwapCached: 1192 kB Active: 22956 kB Inactive: 74968 kB HighTotal: 131008 kB HighFree: 72044 kB LowTotal: 903652 kB LowFree: 842108 kB SwapTotal: 2097136 kB SwapFree: 2094852 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5728 kB Slab: 16844 kB Committed_AS: 92684 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 19:39:47 (client local time) WITH STATUS 10 IN 1175.37 SECONDS stats: 27812 0 1175.37 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.541 s c Initial Lower Bound: -1 c Lower Bound Elapsed time: 8.48825 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 8045 @ 70.863 c NEW SOLUTION FOUND: 8042 @ 70.885 c NEW SOLUTION FOUND: 8032 @ 70.957 c NEW SOLUTION FOUND: 8022 @ 71.024 c NEW SOLUTION FOUND: 8019 @ 71.091 c NEW SOLUTION FOUND: 8009 @ 71.159 c NEW SOLUTION FOUND: 7999 @ 71.382 c NEW SOLUTION FOUND: 7989 @ 71.468 c NEW SOLUTION FOUND: 7988 @ 71.552 c NEW SOLUTION FOUND: 7985 @ 71.641 c NEW SOLUTION FOUND: 7975 @ 71.731 c NEW SOLUTION FOUND: 7974 @ 71.818 c NEW SOLUTION FOUND: 7972 @ 71.907 c NEW SOLUTION FOUND: 7970 @ 71.997 c NEW SOLUTION FOUND: 7969 @ 72.088 c NEW SOLUTION FOUND: 7966 @ 72.182 c NEW SOLUTION FOUND: 7965 @ 72.271 c NEW SOLUTION FOUND: 7955 @ 72.365 c NEW SOLUTION FOUND: 7945 @ 72.459 c NEW SOLUTION FOUND: 7936 @ 72.552 c NEW SOLUTION FOUND: 7935 @ 72.642 c NEW SOLUTION FOUND: 7925 @ 72.742 c NEW SOLUTION FOUND: 7915 @ 72.837 c NEW SOLUTION FOUND: 7905 @ 72.936 c NEW SOLUTION FOUND: 7901 @ 73.034 c NEW SOLUTION FOUND: 7891 @ 73.132 c NEW SOLUTION FOUND: 7881 @ 73.232 c NEW SOLUTION FOUND: 7871 @ 73.333 c NEW SOLUTION FOUND: 7870 @ 73.432 c NEW SOLUTION FOUND: 7867 @ 73.536 c NEW SOLUTION FOUND: 7857 @ 73.639 c NEW SOLUTION FOUND: 7854 @ 73.74 c NEW SOLUTION FOUND: 7851 @ 73.844 c NEW SOLUTION FOUND: 7848 @ 73.954 c NEW SOLUTION FOUND: 7842 @ 74.059 c NEW SOLUTION FOUND: 7832 @ 74.168 c NEW SOLUTION FOUND: 7822 @ 74.279 c NEW SOLUTION FOUND: 7812 @ 74.391 c NEW SOLUTION FOUND: 7802 @ 74.505 c NEW SOLUTION FOUND: 7792 @ 74.62 c NEW SOLUTION FOUND: 7786 @ 74.735 c NEW SOLUTION FOUND: 7776 @ 74.853 c NEW SOLUTION FOUND: 7766 @ 74.969 c NEW SOLUTION FOUND: 7756 @ 75.088 c NEW SOLUTION FOUND: 7746 @ 75.206 c NEW SOLUTION FOUND: 7737 @ 75.326 c NEW SOLUTION FOUND: 7736 @ 75.445 c NEW SOLUTION FOUND: 7735 @ 75.565 c NEW SOLUTION FOUND: 7725 @ 75.688 c NEW SOLUTION FOUND: 7715 @ 75.813 c NEW SOLUTION FOUND: 7714 @ 75.934 c NEW SOLUTION FOUND: 7710 @ 76.183 c NEW SOLUTION FOUND: 7703 @ 76.31 c NEW SOLUTION FOUND: 7702 @ 76.432 c NEW SOLUTION FOUND: 7692 @ 76.564 c NEW SOLUTION FOUND: 7690 @ 76.688 c NEW SOLUTION FOUND: 7688 @ 76.814 c NEW SOLUTION FOUND: 7685 @ 76.939 c NEW SOLUTION FOUND: 7683 @ 77.07 c NEW SOLUTION FOUND: 7682 @ 77.196 c NEW SOLUTION FOUND: 7681 @ 77.324 c NEW SOLUTION FOUND: 7678 @ 77.454 c NEW SOLUTION FOUND: 7676 @ 77.582 c NEW SOLUTION FOUND: 7675 @ 77.709 c NEW SOLUTION FOUND: 7674 @ 77.835 c NEW SOLUTION FOUND: 7667 @ 77.968 c NEW SOLUTION FOUND: 7663 @ 78.094 c NEW SOLUTION FOUND: 7662 @ 78.228 c NEW SOLUTION FOUND: 7661 @ 78.358 c NEW SOLUTION FOUND: 7660 @ 78.486 c NEW SOLUTION FOUND: 7659 @ 78.614 c NEW SOLUTION FOUND: 7658 @ 78.744 c NEW SOLUTION FOUND: 7657 @ 78.874 c NEW SOLUTION FOUND: 7656 @ 79.003 c NEW SOLUTION FOUND: 7652 @ 79.138 c NEW SOLUTION FOUND: 7651 @ 79.27 c NEW SOLUTION FOUND: 7650 @ 79.401 c NEW SOLUTION FOUND: 7649 @ 79.534 c NEW SOLUTION FOUND: 7645 @ 79.671 c NEW SOLUTION FOUND: 7644 @ 79.801 c NEW SOLUTION FOUND: 7643 @ 79.935 c NEW SOLUTION FOUND: 7642 @ 80.068 c NEW SOLUTION FOUND: 7641 @ 80.202 c NEW SOLUTION FOUND: 7640 @ 80.333 c NEW SOLUTION FOUND: 7639 @ 80.466 c NEW SOLUTION FOUND: 7638 @ 80.597 c NEW SOLUTION FOUND: 7637 @ 80.73 c NEW SOLUTION FOUND: 7636 @ 80.859 c NEW SOLUTION FOUND: 7635 @ 80.992 c NEW SOLUTION FOUND: 7634 @ 81.124 c NEW SOLUTION FOUND: 7633 @ 81.257 c NEW SOLUTION FOUND: 7632 @ 81.39 c NEW SOLUTION FOUND: 7631 @ 81.524 c NEW SOLUTION FOUND: 7629 @ 81.657 c NEW SOLUTION FOUND: 7627 @ 81.791 c NEW SOLUTION FOUND: 7626 @ 81.928 c NEW SOLUTION FOUND: 7625 @ 82.061 c NEW SOLUTION FOUND: 7624 @ 82.198 c NEW SOLUTION FOUND: 7621 @ 82.338 c NEW SOLUTION FOUND: 7619 @ 82.477 c NEW SOLUTION FOUND: 7618 @ 82.611 c NEW SOLUTION FOUND: 7616 @ 82.746 c NEW SOLUTION FOUND: 7614 @ 82.887 c NEW SOLUTION FOUND: 7612 @ 83.031 c NEW SOLUTION FOUND: 7610 @ 83.168 c NEW SOLUTION FOUND: 7608 @ 83.306 c NEW SOLUTION FOUND: 7606 @ 83.449 c NEW SOLUTION FOUND: 7604 @ 83.587 c NEW SOLUTION FOUND: 7602 @ 83.731 c NEW SOLUTION FOUND: 7595 @ 83.877 c NEW SOLUTION FOUND: 7593 @ 84.015 c NEW SOLUTION FOUND: 7591 @ 84.155 c NEW SOLUTION FOUND: 7589 @ 84.294 c NEW SOLUTION FOUND: 7587 @ 84.433 c NEW SOLUTION FOUND: 7585 @ 84.573 c NEW SOLUTION FOUND: 7583 @ 84.714 c NEW SOLUTION FOUND: 7581 @ 84.854 c NEW SOLUTION FOUND: 7579 @ 84.992 c NEW SOLUTION FOUND: 7577 @ 85.133 c NEW SOLUTION FOUND: 7575 @ 85.273 c NEW SOLUTION FOUND: 7573 @ 85.411 c NEW SOLUTION FOUND: 7571 @ 85.551 c NEW SOLUTION FOUND: 7569 @ 85.693 c NEW SOLUTION FOUND: 7567 @ 85.836 c NEW SOLUTION FOUND: 7565 @ 85.978 c NEW SOLUTION FOUND: 7563 @ 86.12 c NEW SOLUTION FOUND: 7561 @ 86.261 c NEW SOLUTION FOUND: 7559 @ 86.405 c NEW SOLUTION FOUND: 7556 @ 86.551 c NEW SOLUTION FOUND: 7554 @ 86.687 c NEW SOLUTION FOUND: 7552 @ 86.826 c NEW SOLUTION FOUND: 7549 @ 86.972 c NEW SOLUTION FOUND: 7547 @ 87.11 c NEW SOLUTION FOUND: 7545 @ 87.25 c NEW SOLUTION FOUND: 7542 @ 87.394 c NEW SOLUTION FOUND: 7540 @ 87.53 c NEW SOLUTION FOUND: 7536 @ 87.673 c NEW SOLUTION FOUND: 7534 @ 87.81 c NEW SOLUTION FOUND: 7530 @ 87.956 c NEW SOLUTION FOUND: 7528 @ 88.092 c NEW SOLUTION FOUND: 7525 @ 88.233 c NEW SOLUTION FOUND: 7522 @ 88.373 c NEW SOLUTION FOUND: 7518 @ 88.518 c NEW SOLUTION FOUND: 7514 @ 88.659 c NEW SOLUTION FOUND: 7510 @ 88.8 c NEW SOLUTION FOUND: 7506 @ 88.942 c NEW SOLUTION FOUND: 7502 @ 89.089 c NEW SOLUTION FOUND: 7498 @ 89.234 c NEW SOLUTION FOUND: 7494 @ 89.379 c NEW SOLUTION FOUND: 7490 @ 89.525 c NEW SOLUTION FOUND: 7486 @ 89.666 c NEW SOLUTION FOUND: 7482 @ 89.807 c NEW SOLUTION FOUND: 7478 @ 89.946 c NEW SOLUTION FOUND: 7474 @ 90.088 c NEW SOLUTION FOUND: 7470 @ 90.228 c NEW SOLUTION FOUND: 7466 @ 90.37 c NEW SOLUTION FOUND: 7462 @ 90.511 c NEW SOLUTION FOUND: 7458 @ 90.654 c NEW SOLUTION FOUND: 7454 @ 90.795 c NEW SOLUTION FOUND: 7450 @ 90.934 c NEW SOLUTION FOUND: 7446 @ 91.072 c NEW SOLUTION FOUND: 7442 @ 91.213 c NEW SOLUTION FOUND: 7438 @ 91.351 c NEW SOLUTION FOUND: 7434 @ 91.493 c NEW SOLUTION FOUND: 7430 @ 91.638 c NEW SOLUTION FOUND: 7426 @ 91.779 c NEW SOLUTION FOUND: 7422 @ 91.923 c NEW SOLUTION FOUND: 7418 @ 92.065 c NEW SOLUTION FOUND: 7414 @ 92.204 c NEW SOLUTION FOUND: 7410 @ 92.345 c NEW SOLUTION FOUND: 7406 @ 92.484 c NEW SOLUTION FOUND: 7402 @ 92.626 c NEW SOLUTION FOUND: 7398 @ 92.764 c NEW SOLUTION FOUND: 7394 @ 92.906 c NEW SOLUTION FOUND: 7390 @ 93.05 c NEW SOLUTION FOUND: 7386 @ 93.19 c NEW SOLUTION FOUND: 7382 @ 93.33 c NEW SOLUTION FOUND: 7378 @ 93.471 c NEW SOLUTION FOUND: 7374 @ 93.61 c NEW SOLUTION FOUND: 7370 @ 93.749 c NEW SOLUTION FOUND: 7366 @ 93.89 c NEW SOLUTION FOUND: 7362 @ 94.032 c NEW SOLUTION FOUND: 7358 @ 94.178 c NEW SOLUTION FOUND: 7354 @ 94.32 c NEW SOLUTION FOUND: 7350 @ 94.465 c NEW SOLUTION FOUND: 7346 @ 94.606 c NEW SOLUTION FOUND: 7342 @ 94.748 c NEW SOLUTION FOUND: 7338 @ 94.889 c NEW SOLUTION FOUND: 7334 @ 95.029 c NEW SOLUTION FOUND: 7330 @ 95.174 c NEW SOLUTION FOUND: 7326 @ 95.315 c NEW SOLUTION FOUND: 7322 @ 95.453 c NEW SOLUTION FOUND: 7318 @ 95.594 c NEW SOLUTION FOUND: 7314 @ 95.734 c NEW SOLUTION FOUND: 7310 @ 95.874 c NEW SOLUTION FOUND: 7306 @ 96.013 c NEW SOLUTION FOUND: 7302 @ 96.153 c NEW SOLUTION FOUND: 7298 @ 96.294 c NEW SOLUTION FOUND: 7294 @ 96.434 c NEW SOLUTION FOUND: 7290 @ 96.572 c NEW SOLUTION FOUND: 7286 @ 96.712 c NEW SOLUTION FOUND: 7282 @ 96.853 c NEW SOLUTION FOUND: 7278 @ 96.993 c NEW SOLUTION FOUND: 7274 @ 97.132 c NEW SOLUTION FOUND: 7270 @ 97.271 c NEW SOLUTION FOUND: 7266 @ 97.411 c NEW SOLUTION FOUND: 7262 @ 97.551 c NEW SOLUTION FOUND: 7258 @ 97.69 c NEW SOLUTION FOUND: 7254 @ 97.83 c NEW SOLUTION FOUND: 7250 @ 97.975 c NEW SOLUTION FOUND: 7240 @ 98.118 c NEW SOLUTION FOUND: 7236 @ 98.262 c NEW SOLUTION FOUND: 7234 @ 98.405 c NEW SOLUTION FOUND: 7232 @ 98.548 c NEW SOLUTION FOUND: 7229 @ 98.69 c NEW SOLUTION FOUND: 7227 @ 98.836 c NEW SOLUTION FOUND: 7224 @ 99.137 c NEW SOLUTION FOUND: 7221 @ 99.282 c NEW SOLUTION FOUND: 7218 @ 99.432 c NEW SOLUTION FOUND: 7215 @ 99.578 c NEW SOLUTION FOUND: 7212 @ 99.723 c NEW SOLUTION FOUND: 7209 @ 99.871 c NEW SOLUTION FOUND: 7206 @ 100.02 c NEW SOLUTION FOUND: 7203 @ 100.171 c NEW SOLUTION FOUND: 7200 @ 100.321 c NEW SOLUTION FOUND: 7197 @ 100.471 c NEW SOLUTION FOUND: 7194 @ 100.616 c NEW SOLUTION FOUND: 7191 @ 100.762 c NEW SOLUTION FOUND: 7188 @ 100.906 c NEW SOLUTION FOUND: 7185 @ 101.051 c NEW SOLUTION FOUND: 7182 @ 101.193 c NEW SOLUTION FOUND: 7179 @ 101.336 c NEW SOLUTION FOUND: 7176 @ 101.479 c NEW SOLUTION FOUND: 7173 @ 101.623 c NEW SOLUTION FOUND: 7170 @ 101.765 c NEW SOLUTION FOUND: 7167 @ 101.91 c NEW SOLUTION FOUND: 7164 @ 102.052 c NEW SOLUTION FOUND: 7161 @ 102.196 c NEW SOLUTION FOUND: 7153 @ 102.344 c NEW SOLUTION FOUND: 7150 @ 102.49 c NEW SOLUTION FOUND: 7142 @ 102.644 c NEW SOLUTION FOUND: 7139 @ 102.789 c NEW SOLUTION FOUND: 7136 @ 102.935 c NEW SOLUTION FOUND: 7133 @ 103.083 c NEW SOLUTION FOUND: 7130 @ 103.23 c NEW SOLUTION FOUND: 7127 @ 103.376 c NEW SOLUTION FOUND: 7123 @ 103.523 c NEW SOLUTION FOUND: 7119 @ 103.668 c NEW SOLUTION FOUND: 7115 @ 103.814 c NEW SOLUTION FOUND: 7108 @ 103.965 c NEW SOLUTION FOUND: 7104 @ 104.115 c NEW SOLUTION FOUND: 7099 @ 104.272 c NEW SOLUTION FOUND: 7095 @ 104.419 c NEW SOLUTION FOUND: 7093 @ 104.565 c NEW SOLUTION FOUND: 7089 @ 104.716 c NEW SOLUTION FOUND: 7085 @ 104.865 c NEW SOLUTION FOUND: 7081 @ 105.01 c NEW SOLUTION FOUND: 7077 @ 105.158 c NEW SOLUTION FOUND: 7073 @ 105.306 c NEW SOLUTION FOUND: 7069 @ 105.455 c NEW SOLUTION FOUND: 7065 @ 105.604 c NEW SOLUTION FOUND: 7061 @ 105.753 c NEW SOLUTION FOUND: 7060 @ 105.903 c NEW SOLUTION FOUND: 7056 @ 106.061 c NEW SOLUTION FOUND: 7052 @ 106.209 c NEW SOLUTION FOUND: 7048 @ 106.364 c NEW SOLUTION FOUND: 7044 @ 106.512 c NEW SOLUTION FOUND: 7040 @ 106.662 c NEW SOLUTION FOUND: 7036 @ 106.812 c NEW SOLUTION FOUND: 7032 @ 106.962 c NEW SOLUTION FOUND: 7028 @ 107.114 c NEW SOLUTION FOUND: 7024 @ 107.267 c NEW SOLUTION FOUND: 7020 @ 107.416 c NEW SOLUTION FOUND: 7016 @ 107.567 c NEW SOLUTION FOUND: 7012 @ 107.717 c NEW SOLUTION FOUND: 7008 @ 107.87 c NEW SOLUTION FOUND: 7004 @ 108.019 c NEW SOLUTION FOUND: 7000 @ 108.173 c NEW SOLUTION FOUND: 6996 @ 108.322 c NEW SOLUTION FOUND: 6992 @ 108.475 c NEW SOLUTION FOUND: 6988 @ 108.624 c NEW SOLUTION FOUND: 6984 @ 108.778 c NEW SOLUTION FOUND: 6980 @ 108.926 c NEW SOLUTION FOUND: 6976 @ 109.079 c NEW SOLUTION FOUND: 6972 @ 109.229 c NEW SOLUTION FOUND: 6968 @ 109.382 c NEW SOLUTION FOUND: 6964 @ 109.529 c NEW SOLUTION FOUND: 6960 @ 109.682 c NEW SOLUTION FOUND: 6956 @ 109.831 c NEW SOLUTION FOUND: 6952 @ 109.984 c NEW SOLUTION FOUND: 6948 @ 110.131 c NEW SOLUTION FOUND: 6944 @ 110.284 c NEW SOLUTION FOUND: 6940 @ 110.43 c NEW SOLUTION FOUND: 6936 @ 110.582 c NEW SOLUTION FOUND: 6932 @ 110.728 c NEW SOLUTION FOUND: 6928 @ 110.881 c NEW SOLUTION FOUND: 6924 @ 111.027 c NEW SOLUTION FOUND: 6914 @ 111.183 c NEW SOLUTION FOUND: 6910 @ 111.33 c NEW SOLUTION FOUND: 6906 @ 111.479 c NEW SOLUTION FOUND: 6902 @ 111.628 c NEW SOLUTION FOUND: 6898 @ 111.781 c NEW SOLUTION FOUND: 6894 @ 111.929 c NEW SOLUTION FOUND: 6890 @ 112.084 c NEW SOLUTION FOUND: 6886 @ 112.238 c NEW SOLUTION FOUND: 6882 @ 112.39 c NEW SOLUTION FOUND: 6878 @ 112.541 c NEW SOLUTION FOUND: 6874 @ 112.693 c NEW SOLUTION FOUND: 6870 @ 112.842 c NEW SOLUTION FOUND: 6866 @ 112.989 c NEW SOLUTION FOUND: 6862 @ 113.137 c NEW SOLUTION FOUND: 6858 @ 113.289 c NEW SOLUTION FOUND: 6854 @ 113.435 c NEW SOLUTION FOUND: 6850 @ 113.586 c NEW SOLUTION FOUND: 6846 @ 113.734 c NEW SOLUTION FOUND: 6842 @ 113.882 c NEW SOLUTION FOUND: 6838 @ 114.033 c NEW SOLUTION FOUND: 6834 @ 114.181 c NEW SOLUTION FOUND: 6830 @ 114.329 c NEW SOLUTION FOUND: 6826 @ 114.477 c NEW SOLUTION FOUND: 6822 @ 114.632 c NEW SOLUTION FOUND: 6818 @ 114.782 c NEW SOLUTION FOUND: 6814 @ 114.932 c NEW SOLUTION FOUND: 6810 @ 115.082 c NEW SOLUTION FOUND: 6806 @ 115.23 c NEW SOLUTION FOUND: 6802 @ 115.381 c NEW SOLUTION FOUND: 6798 @ 115.529 c NEW SOLUTION FOUND: 6794 @ 115.678 c NEW SOLUTION FOUND: 6790 @ 115.826 c NEW SOLUTION FOUND: 6786 @ 115.975 c NEW SOLUTION FOUND: 6782 @ 116.123 c NEW SOLUTION FOUND: 6778 @ 116.272 c NEW SOLUTION FOUND: 6774 @ 116.42 c NEW SOLUTION FOUND: 6770 @ 116.569 c NEW SOLUTION FOUND: 6766 @ 116.717 c NEW SOLUTION FOUND: 6762 @ 116.866 c NEW SOLUTION FOUND: 6758 @ 117.013 c NEW SOLUTION FOUND: 6754 @ 117.162 c NEW SOLUTION FOUND: 6750 @ 117.312 c NEW SOLUTION FOUND: 6746 @ 117.462 c NEW SOLUTION FOUND: 6742 @ 117.609 c NEW SOLUTION FOUND: 6738 @ 117.758 c NEW SOLUTION FOUND: 6734 @ 117.907 c NEW SOLUTION FOUND: 6730 @ 118.057 c NEW SOLUTION FOUND: 6726 @ 118.205 c NEW SOLUTION FOUND: 6722 @ 118.354 c NEW SOLUTION FOUND: 6718 @ 118.505 c NEW SOLUTION FOUND: 6714 @ 118.655 c NEW SOLUTION FOUND: 6710 @ 118.805 c NEW SOLUTION FOUND: 6706 @ 118.954 c NEW SOLUTION FOUND: 6702 @ 119.104 c NEW SOLUTION FOUND: 6698 @ 119.253 c NEW SOLUTION FOUND: 6694 @ 119.402 c NEW SOLUTION FOUND: 6690 @ 119.551 c NEW SOLUTION FOUND: 6686 @ 119.701 c NEW SOLUTION FOUND: 6682 @ 119.849 c NEW SOLUTION FOUND: 6678 @ 119.999 c NEW SOLUTION FOUND: 6674 @ 120.149 c NEW SOLUTION FOUND: 6670 @ 120.299 c NEW SOLUTION FOUND: 6666 @ 120.449 c NEW SOLUTION FOUND: 6662 @ 120.603 c NEW SOLUTION FOUND: 6658 @ 120.753 c NEW SOLUTION FOUND: 6654 @ 120.907 c NEW SOLUTION FOUND: 6650 @ 121.057 c NEW SOLUTION FOUND: 6646 @ 121.211 c NEW SOLUTION FOUND: 6642 @ 121.362 c NEW SOLUTION FOUND: 6635 @ 121.514 c NEW SOLUTION FOUND: 6631 @ 121.661 c NEW SOLUTION FOUND: 6627 @ 121.809 c NEW SOLUTION FOUND: 6623 @ 121.959 c NEW SOLUTION FOUND: 6619 @ 122.111 c NEW SOLUTION FOUND: 6615 @ 122.261 c NEW SOLUTION FOUND: 6611 @ 122.409 c NEW SOLUTION FOUND: 6607 @ 122.562 c NEW SOLUTION FOUND: 6603 @ 122.71 c NEW SOLUTION FOUND: 6599 @ 122.864 c NEW SOLUTION FOUND: 6595 @ 123.011 c NEW SOLUTION FOUND: 6591 @ 123.166 c NEW SOLUTION FOUND: 6587 @ 123.314 c NEW SOLUTION FOUND: 6583 @ 123.468 c NEW SOLUTION FOUND: 6579 @ 123.615 c NEW SOLUTION FOUND: 6575 @ 123.771 c NEW SOLUTION FOUND: 6571 @ 123.918 c NEW SOLUTION FOUND: 6564 @ 124.071 c NEW SOLUTION FOUND: 6560 @ 124.224 c NEW SOLUTION FOUND: 6556 @ 124.373 c NEW SOLUTION FOUND: 6552 @ 124.524 c NEW SOLUTION FOUND: 6548 @ 124.672 c NEW SOLUTION FOUND: 6544 @ 124.821 c NEW SOLUTION FOUND: 6540 @ 124.971 c NEW SOLUTION FOUND: 6536 @ 125.123 c NEW SOLUTION FOUND: 6532 @ 125.277 c NEW SOLUTION FOUND: 6528 @ 125.428 c NEW SOLUTION FOUND: 6524 @ 125.577 c NEW SOLUTION FOUND: 6520 @ 125.726 c NEW SOLUTION FOUND: 6516 @ 125.876 c NEW SOLUTION FOUND: 6512 @ 126.026 c NEW SOLUTION FOUND: 6508 @ 126.181 c NEW SOLUTION FOUND: 6504 @ 126.331 c NEW SOLUTION FOUND: 6500 @ 126.488 c NEW SOLUTION FOUND: 6496 @ 126.641 c NEW SOLUTION FOUND: 6492 @ 126.797 c NEW SOLUTION FOUND: 6488 @ 126.95 c NEW SOLUTION FOUND: 6484 @ 127.106 c NEW SOLUTION FOUND: 6480 @ 127.26 c NEW SOLUTION FOUND: 6476 @ 127.411 c NEW SOLUTION FOUND: 6472 @ 127.561 c NEW SOLUTION FOUND: 6468 @ 127.716 c NEW SOLUTION FOUND: 6464 @ 127.872 c NEW SOLUTION FOUND: 6460 @ 128.029 c NEW SOLUTION FOUND: 6456 @ 128.179 c NEW SOLUTION FOUND: 6452 @ 128.332 c NEW SOLUTION FOUND: 6448 @ 128.483 c NEW SOLUTION FOUND: 6444 @ 128.636 c NEW SOLUTION FOUND: 6440 @ 128.785 c NEW SOLUTION FOUND: 6436 @ 128.937 c NEW SOLUTION FOUND: 6432 @ 129.087 c NEW SOLUTION FOUND: 6428 @ 129.239 c NEW SOLUTION FOUND: 6424 @ 129.389 c NEW SOLUTION FOUND: 6420 @ 129.544 c NEW SOLUTION FOUND: 6416 @ 129.694 c NEW SOLUTION FOUND: 6412 @ 129.85 c NEW SOLUTION FOUND: 6405 @ 130.003 c NEW SOLUTION FOUND: 6401 @ 130.155 c NEW SOLUTION FOUND: 6397 @ 130.309 c NEW SOLUTION FOUND: 6393 @ 130.463 c NEW SOLUTION FOUND: 6389 @ 130.621 c NEW SOLUTION FOUND: 6385 @ 130.774 c NEW SOLUTION FOUND: 6381 @ 130.925 c NEW SOLUTION FOUND: 6377 @ 131.079 c NEW SOLUTION FOUND: 6373 @ 131.23 c NEW SOLUTION FOUND: 6369 @ 131.382 c NEW SOLUTION FOUND: 6365 @ 131.54 c NEW SOLUTION FOUND: 6361 @ 131.691 c NEW SOLUTION FOUND: 6357 @ 131.843 c NEW SOLUTION FOUND: 6353 @ 131.996 c NEW SOLUTION FOUND: 6349 @ 132.147 c NEW SOLUTION FOUND: 6345 @ 132.298 c NEW SOLUTION FOUND: 6341 @ 132.449 c NEW SOLUTION FOUND: 6337 @ 132.599 c NEW SOLUTION FOUND: 6333 @ 132.75 c NEW SOLUTION FOUND: 6329 @ 132.901 c NEW SOLUTION FOUND: 6322 @ 133.057 c NEW SOLUTION FOUND: 6318 @ 133.208 c NEW SOLUTION FOUND: 6314 @ 133.359 c NEW SOLUTION FOUND: 6310 @ 133.515 c NEW SOLUTION FOUND: 6306 @ 133.666 c NEW SOLUTION FOUND: 6302 @ 133.817 c NEW SOLUTION FOUND: 6298 @ 133.971 c NEW SOLUTION FOUND: 6294 @ 134.128 c NEW SOLUTION FOUND: 6290 @ 134.279 c NEW SOLUTION FOUND: 6286 @ 134.432 c NEW SOLUTION FOUND: 6282 @ 134.583 c NEW SOLUTION FOUND: 6278 @ 134.737 c NEW SOLUTION FOUND: 6274 @ 134.887 c NEW SOLUTION FOUND: 6267 @ 135.037 c NEW SOLUTION FOUND: 6263 @ 135.184 c NEW SOLUTION FOUND: 6259 @ 135.336 c NEW SOLUTION FOUND: 6255 @ 135.486 c NEW SOLUTION FOUND: 6251 @ 135.633 c NEW SOLUTION FOUND: 6247 @ 135.782 c NEW SOLUTION FOUND: 6243 @ 135.934 c NEW SOLUTION FOUND: 6239 @ 136.09 c NEW SOLUTION FOUND: 6235 @ 136.244 c NEW SOLUTION FOUND: 6231 @ 136.395 c NEW SOLUTION FOUND: 6227 @ 136.548 c NEW SOLUTION FOUND: 6223 @ 136.699 c NEW SOLUTION FOUND: 6219 @ 136.852 c NEW SOLUTION FOUND: 6215 @ 137.006 c NEW SOLUTION FOUND: 6211 @ 137.16 c NEW SOLUTION FOUND: 6207 @ 137.316 c NEW SOLUTION FOUND: 6203 @ 137.469 c NEW SOLUTION FOUND: 6199 @ 137.623 c NEW SOLUTION FOUND: 6195 @ 137.776 c NEW SOLUTION FOUND: 6191 @ 137.93 c NEW SOLUTION FOUND: 6187 @ 138.083 c NEW SOLUTION FOUND: 6183 @ 138.236 c NEW SOLUTION FOUND: 6179 @ 138.388 c NEW SOLUTION FOUND: 6175 @ 138.541 c NEW SOLUTION FOUND: 6171 @ 138.693 c NEW SOLUTION FOUND: 6167 @ 138.846 c NEW SOLUTION FOUND: 6163 @ 138.998 c NEW SOLUTION FOUND: 6159 @ 139.149 c NEW SOLUTION FOUND: 6155 @ 139.301 c NEW SOLUTION FOUND: 6151 @ 139.453 c NEW SOLUTION FOUND: 6147 @ 139.605 c NEW SOLUTION FOUND: 6143 @ 139.753 c NEW SOLUTION FOUND: 6139 @ 139.905 c NEW SOLUTION FOUND: 6135 @ 140.057 c NEW SOLUTION FOUND: 6131 @ 140.209 c NEW SOLUTION FOUND: 6127 @ 140.36 c NEW SOLUTION FOUND: 6123 @ 140.512 c NEW SOLUTION FOUND: 6119 @ 140.66 c NEW SOLUTION FOUND: 6115 @ 140.816 c NEW SOLUTION FOUND: 6111 @ 140.968 c NEW SOLUTION FOUND: 6107 @ 141.12 c NEW SOLUTION FOUND: 6103 @ 141.274 c NEW SOLUTION FOUND: 6099 @ 141.421 c NEW SOLUTION FOUND: 6095 @ 141.572 c NEW SOLUTION FOUND: 6091 @ 141.723 c NEW SOLUTION FOUND: 6087 @ 141.87 c NEW SOLUTION FOUND: 6083 @ 142.018 c NEW SOLUTION FOUND: 6079 @ 142.173 c NEW SOLUTION FOUND: 6072 @ 142.326 c NEW SOLUTION FOUND: 6068 @ 142.481 c NEW SOLUTION FOUND: 6064 @ 142.633 c NEW SOLUTION FOUND: 6060 @ 142.789 c NEW SOLUTION FOUND: 6056 @ 142.941 c NEW SOLUTION FOUND: 6052 @ 143.095 c NEW SOLUTION FOUND: 6048 @ 143.247 c NEW SOLUTION FOUND: 6044 @ 143.4 c NEW SOLUTION FOUND: 6040 @ 143.551 c NEW SOLUTION FOUND: 6036 @ 143.701 c NEW SOLUTION FOUND: 6032 @ 143.851 c NEW SOLUTION FOUND: 6028 @ 144.004 c NEW SOLUTION FOUND: 6024 @ 144.155 c NEW SOLUTION FOUND: 6020 @ 144.307 c NEW SOLUTION FOUND: 6016 @ 144.457 c NEW SOLUTION FOUND: 6012 @ 144.606 c NEW SOLUTION FOUND: 6008 @ 144.757 c NEW SOLUTION FOUND: 6004 @ 144.911 c NEW SOLUTION FOUND: 6000 @ 145.06 c NEW SOLUTION FOUND: 5996 @ 145.214 c NEW SOLUTION FOUND: 5992 @ 145.364 c NEW SOLUTION FOUND: 5988 @ 145.518 c NEW SOLUTION FOUND: 5984 @ 145.667 c NEW SOLUTION FOUND: 5980 @ 145.821 c NEW SOLUTION FOUND: 5976 @ 145.971 c NEW SOLUTION FOUND: 5972 @ 146.125 c NEW SOLUTION FOUND: 5968 @ 146.275 c NEW SOLUTION FOUND: 5964 @ 146.429 c NEW SOLUTION FOUND: 5957 @ 146.582 c NEW SOLUTION FOUND: 5953 @ 146.729 c NEW SOLUTION FOUND: 5949 @ 146.878 c NEW SOLUTION FOUND: 5945 @ 147.028 c NEW SOLUTION FOUND: 5941 @ 147.177 c NEW SOLUTION FOUND: 5937 @ 147.327 c NEW SOLUTION FOUND: 5933 @ 147.475 c NEW SOLUTION FOUND: 5929 @ 147.625 c NEW SOLUTION FOUND: 5925 @ 147.773 c NEW SOLUTION FOUND: 5921 @ 147.923 c NEW SOLUTION FOUND: 5917 @ 148.072 c NEW SOLUTION FOUND: 5913 @ 148.226 c NEW SOLUTION FOUND: 5909 @ 148.375 c NEW SOLUTION FOUND: 5905 @ 148.529 c NEW SOLUTION FOUND: 5901 @ 148.677 c NEW SOLUTION FOUND: 5897 @ 148.829 c NEW SOLUTION FOUND: 5890 @ 148.984 c NEW SOLUTION FOUND: 5886 @ 149.136 c NEW SOLUTION FOUND: 5882 @ 149.293 c NEW SOLUTION FOUND: 5878 @ 149.444 c NEW SOLUTION FOUND: 5874 @ 149.602 c NEW SOLUTION FOUND: 5870 @ 149.756 c NEW SOLUTION FOUND: 5866 @ 149.908 c NEW SOLUTION FOUND: 5862 @ 150.06 c NEW SOLUTION FOUND: 5858 @ 150.215 c NEW SOLUTION FOUND: 5854 @ 150.369 c NEW SOLUTION FOUND: 5850 @ 150.522 c NEW SOLUTION FOUND: 5846 @ 150.679 c NEW SOLUTION FOUND: 5842 @ 150.831 c NEW SOLUTION FOUND: 5838 @ 150.983 c NEW SOLUTION FOUND: 5834 @ 151.135 c NEW SOLUTION FOUND: 5830 @ 151.286 c NEW SOLUTION FOUND: 5826 @ 151.436 c NEW SOLUTION FOUND: 5822 @ 151.593 c NEW SOLUTION FOUND: 5818 @ 151.746 c NEW SOLUTION FOUND: 5814 @ 151.899 c NEW SOLUTION FOUND: 5810 @ 152.053 c NEW SOLUTION FOUND: 5806 @ 152.206 c NEW SOLUTION FOUND: 5802 @ 152.36 c NEW SOLUTION FOUND: 5798 @ 152.516 c NEW SOLUTION FOUND: 5794 @ 152.669 c NEW SOLUTION FOUND: 5790 @ 152.821 c NEW SOLUTION FOUND: 5786 @ 152.972 c NEW SOLUTION FOUND: 5779 @ 153.126 c NEW SOLUTION FOUND: 5775 @ 153.279 c NEW SOLUTION FOUND: 5771 @ 153.431 c NEW SOLUTION FOUND: 5767 @ 153.585 c NEW SOLUTION FOUND: 5763 @ 153.737 c NEW SOLUTION FOUND: 5759 @ 153.891 c NEW SOLUTION FOUND: 5755 @ 154.042 c NEW SOLUTION FOUND: 5751 @ 154.198 c NEW SOLUTION FOUND: 5747 @ 154.35 c NEW SOLUTION FOUND: 5743 @ 154.504 c NEW SOLUTION FOUND: 5739 @ 154.655 c NEW SOLUTION FOUND: 5735 @ 154.809 c NEW SOLUTION FOUND: 5731 @ 154.962 c NEW SOLUTION FOUND: 5727 @ 155.114 c NEW SOLUTION FOUND: 5723 @ 155.267 c NEW SOLUTION FOUND: 5719 @ 155.417 c NEW SOLUTION FOUND: 5715 @ 155.569 c NEW SOLUTION FOUND: 5711 @ 155.728 c NEW SOLUTION FOUND: 5707 @ 155.884 c NEW SOLUTION FOUND: 5703 @ 156.036 c NEW SOLUTION FOUND: 5699 @ 156.193 c NEW SOLUTION FOUND: 5695 @ 156.346 c NEW SOLUTION FOUND: 5691 @ 156.499 c NEW SOLUTION FOUND: 5687 @ 156.656 c NEW SOLUTION FOUND: 5683 @ 156.81 c NEW SOLUTION FOUND: 5679 @ 156.969 c NEW SOLUTION FOUND: 5675 @ 157.127 c NEW SOLUTION FOUND: 5671 @ 157.278 c NEW SOLUTION FOUND: 5667 @ 157.432 c NEW SOLUTION FOUND: 5663 @ 157.581 c NEW SOLUTION FOUND: 5659 @ 157.732 c NEW SOLUTION FOUND: 5655 @ 157.885 c NEW SOLUTION FOUND: 5651 @ 158.038 c NEW SOLUTION FOUND: 5647 @ 158.194 c NEW SOLUTION FOUND: 5643 @ 158.347 c NEW SOLUTION FOUND: 5639 @ 158.5 c NEW SOLUTION FOUND: 5635 @ 158.653 c NEW SOLUTION FOUND: 5631 @ 158.803 c NEW SOLUTION FOUND: 5627 @ 158.959 c NEW SOLUTION FOUND: 5623 @ 159.113 c NEW SOLUTION FOUND: 5619 @ 159.267 c NEW SOLUTION FOUND: 5615 @ 159.424 c NEW SOLUTION FOUND: 5611 @ 159.575 c NEW SOLUTION FOUND: 5607 @ 159.73 c NEW SOLUTION FOUND: 5603 @ 159.882 c NEW SOLUTION FOUND: 5599 @ 160.036 c NEW SOLUTION FOUND: 5595 @ 160.189 c NEW SOLUTION FOUND: 5591 @ 160.344 c NEW SOLUTION FOUND: 5587 @ 160.5 c NEW SOLUTION FOUND: 5583 @ 160.651 c NEW SOLUTION FOUND: 5579 @ 160.807 c NEW SOLUTION FOUND: 5575 @ 160.959 c NEW SOLUTION FOUND: 5571 @ 161.111 c NEW SOLUTION FOUND: 5567 @ 161.265 c NEW SOLUTION FOUND: 5563 @ 161.417 c NEW SOLUTION FOUND: 5559 @ 161.57 c NEW SOLUTION FOUND: 5555 @ 161.723 c NEW SOLUTION FOUND: 5551 @ 161.874 c NEW SOLUTION FOUND: 5547 @ 162.028 c NEW SOLUTION FOUND: 5543 @ 162.185 c NEW SOLUTION FOUND: 5539 @ 162.34 c NEW SOLUTION FOUND: 5535 @ 162.495 c NEW SOLUTION FOUND: 5531 @ 162.648 c NEW SOLUTION FOUND: 5527 @ 162.806 c NEW SOLUTION FOUND: 5523 @ 162.959 c NEW SOLUTION FOUND: 5519 @ 163.108 c NEW SOLUTION FOUND: 5515 @ 163.261 c NEW SOLUTION FOUND: 5511 @ 163.41 c NEW SOLUTION FOUND: 5507 @ 163.563 c NEW SOLUTION FOUND: 5503 @ 163.711 c NEW SOLUTION FOUND: 5499 @ 163.865 c NEW SOLUTION FOUND: 5495 @ 164.016 c NEW SOLUTION FOUND: 5491 @ 164.17 c NEW SOLUTION FOUND: 5487 @ 164.319 c NEW SOLUTION FOUND: 5483 @ 164.474 c NEW SOLUTION FOUND: 5479 @ 164.623 c NEW SOLUTION FOUND: 5475 @ 164.776 c NEW SOLUTION FOUND: 5471 @ 164.925 c NEW SOLUTION FOUND: 5467 @ 165.078 c NEW SOLUTION FOUND: 5463 @ 165.235 c NEW SOLUTION FOUND: 5459 @ 165.386 c NEW SOLUTION FOUND: 5455 @ 165.543 c NEW SOLUTION FOUND: 5451 @ 165.693 c NEW SOLUTION FOUND: 5447 @ 165.843 c NEW SOLUTION FOUND: 5443 @ 166 c NEW SOLUTION FOUND: 5439 @ 166.149 c NEW SOLUTION FOUND: 5429 @ 166.304 c NEW SOLUTION FOUND: 5425 @ 166.456 c NEW SOLUTION FOUND: 5421 @ 166.61 c NEW SOLUTION FOUND: 5417 @ 166.763 c NEW SOLUTION FOUND: 5413 @ 166.918 c NEW SOLUTION FOUND: 5409 @ 167.072 c NEW SOLUTION FOUND: 5405 @ 167.225 c NEW SOLUTION FOUND: 5401 @ 167.377 c NEW SOLUTION FOUND: 5397 @ 167.528 c NEW SOLUTION FOUND: 5393 @ 167.682 c NEW SOLUTION FOUND: 5389 @ 167.833 c NEW SOLUTION FOUND: 5385 @ 167.986 c NEW SOLUTION FOUND: 5381 @ 168.146 c NEW SOLUTION FOUND: 5377 @ 168.3 c NEW SOLUTION FOUND: 5373 @ 168.459 c NEW SOLUTION FOUND: 5369 @ 168.612 c NEW SOLUTION FOUND: 5365 @ 168.763 c NEW SOLUTION FOUND: 5361 @ 168.918 c NEW SOLUTION FOUND: 5357 @ 169.069 c NEW SOLUTION FOUND: 5353 @ 169.223 c NEW SOLUTION FOUND: 5349 @ 169.376 c NEW SOLUTION FOUND: 5345 @ 169.53 c NEW SOLUTION FOUND: 5341 @ 169.685 c NEW SOLUTION FOUND: 5337 @ 169.843 c NEW SOLUTION FOUND: 5333 @ 169.994 c NEW SOLUTION FOUND: 5329 @ 170.145 c NEW SOLUTION FOUND: 5325 @ 170.301 c NEW SOLUTION FOUND: 5321 @ 170.454 c NEW SOLUTION FOUND: 5317 @ 170.607 c NEW SOLUTION FOUND: 5313 @ 170.76 c NEW SOLUTION FOUND: 5309 @ 170.917 c NEW SOLUTION FOUND: 5305 @ 171.07 c NEW SOLUTION FOUND: 5301 @ 171.221 c NEW SOLUTION FOUND: 5297 @ 171.373 c NEW SOLUTION FOUND: 5293 @ 171.526 c NEW SOLUTION FOUND: 5283 @ 171.681 c NEW SOLUTION FOUND: 5279 @ 171.834 c NEW SOLUTION FOUND: 5275 @ 171.992 c NEW SOLUTION FOUND: 5271 @ 172.152 c NEW SOLUTION FOUND: 5267 @ 172.308 c NEW SOLUTION FOUND: 5263 @ 172.462 c NEW SOLUTION FOUND: 5259 @ 172.618 c NEW SOLUTION FOUND: 5255 @ 172.772 c NEW SOLUTION FOUND: 5251 @ 172.928 c NEW SOLUTION FOUND: 5247 @ 173.087 c NEW SOLUTION FOUND: 5243 @ 173.245 c NEW SOLUTION FOUND: 5240 @ 173.399 c NEW SOLUTION FOUND: 5236 @ 173.56 c NEW SOLUTION FOUND: 5232 @ 173.713 c NEW SOLUTION FOUND: 5228 @ 173.87 c NEW SOLUTION FOUND: 5224 @ 174.027 c NEW SOLUTION FOUND: 5220 @ 174.192 c NEW SOLUTION FOUND: 5216 @ 174.355 c NEW SOLUTION FOUND: 5212 @ 174.513 c NEW SOLUTION FOUND: 5208 @ 174.682 c NEW SOLUTION FOUND: 5204 @ 175.139 c NEW SOLUTION FOUND: 5200 @ 175.297 c NEW SOLUTION FOUND: 5196 @ 175.462 c NEW SOLUTION FOUND: 5192 @ 175.619 c NEW SOLUTION FOUND: 5188 @ 175.779 c NEW SOLUTION FOUND: 5184 @ 175.941 c NEW SOLUTION FOUND: 5180 @ 176.101 c NEW SOLUTION FOUND: 5176 @ 176.263 c NEW SOLUTION FOUND: 5172 @ 176.421 c NEW SOLUTION FOUND: 5168 @ 176.581 c NEW SOLUTION FOUND: 5164 @ 176.739 c NEW SOLUTION FOUND: 5160 @ 176.899 c NEW SOLUTION FOUND: 5156 @ 177.057 c NEW SOLUTION FOUND: 5152 @ 177.217 c NEW SOLUTION FOUND: 5148 @ 177.379 c NEW SOLUTION FOUND: 5144 @ 177.541 c NEW SOLUTION FOUND: 5140 @ 177.704 c NEW SOLUTION FOUND: 5136 @ 177.866 c NEW SOLUTION FOUND: 5132 @ 178.025 c NEW SOLUTION FOUND: 5128 @ 178.189 c NEW SOLUTION FOUND: 5124 @ 178.353 c NEW SOLUTION FOUND: 5120 @ 178.516 c NEW SOLUTION FOUND: 5116 @ 178.674 c NEW SOLUTION FOUND: 5112 @ 178.833 c NEW SOLUTION FOUND: 5108 @ 178.999 c NEW SOLUTION FOUND: 5104 @ 179.156 c NEW SOLUTION FOUND: 5100 @ 179.322 c NEW SOLUTION FOUND: 5096 @ 179.483 c NEW SOLUTION FOUND: 5092 @ 179.644 c NEW SOLUTION FOUND: 5088 @ 179.809 c NEW SOLUTION FOUND: 5084 @ 179.974 c NEW SOLUTION FOUND: 5080 @ 180.137 c NEW SOLUTION FOUND: 5076 @ 180.302 c NEW SOLUTION FOUND: 5072 @ 180.464 c NEW SOLUTION FOUND: 5068 @ 180.625 c NEW SOLUTION FOUND: 5064 @ 180.787 c NEW SOLUTION FOUND: 5060 @ 180.949 c NEW SOLUTION FOUND: 5056 @ 181.109 c NEW SOLUTION FOUND: 5052 @ 181.27 c NEW SOLUTION FOUND: 5048 @ 181.432 c NEW SOLUTION FOUND: 5044 @ 181.593 c NEW SOLUTION FOUND: 5040 @ 181.754 c NEW SOLUTION FOUND: 5036 @ 181.919 c NEW SOLUTION FOUND: 5032 @ 182.079 c NEW SOLUTION FOUND: 5028 @ 182.242 c NEW SOLUTION FOUND: 5024 @ 182.403 c NEW SOLUTION FOUND: 5020 @ 182.564 c NEW SOLUTION FOUND: 5016 @ 182.727 c NEW SOLUTION FOUND: 5012 @ 182.886 c NEW SOLUTION FOUND: 5008 @ 183.047 c NEW SOLUTION FOUND: 5004 @ 183.21 c NEW SOLUTION FOUND: 5000 @ 183.373 c NEW SOLUTION FOUND: 4996 @ 183.53 c NEW SOLUTION FOUND: 4992 @ 183.694 c NEW SOLUTION FOUND: 4988 @ 183.853 c NEW SOLUTION FOUND: 4984 @ 184.016 c NEW SOLUTION FOUND: 4980 @ 184.176 c NEW SOLUTION FOUND: 4976 @ 184.336 c NEW SOLUTION FOUND: 4972 @ 184.496 c NEW SOLUTION FOUND: 4968 @ 184.656 c NEW SOLUTION FOUND: 4964 @ 184.817 c NEW SOLUTION FOUND: 4960 @ 184.98 c NEW SOLUTION FOUND: 4956 @ 185.14 c NEW SOLUTION FOUND: 4952 @ 185.302 c NEW SOLUTION FOUND: 4948 @ 185.466 c NEW SOLUTION FOUND: 4944 @ 185.625 c NEW SOLUTION FOUND: 4940 @ 185.784 c NEW SOLUTION FOUND: 4936 @ 185.943 c NEW SOLUTION FOUND: 4932 @ 186.101 c NEW SOLUTION FOUND: 4928 @ 186.262 c NEW SOLUTION FOUND: 4924 @ 186.421 c NEW SOLUTION FOUND: 4920 @ 186.579 c NEW SOLUTION FOUND: 4916 @ 186.737 c NEW SOLUTION FOUND: 4912 @ 186.896 c NEW SOLUTION FOUND: 4908 @ 187.055 c NEW SOLUTION FOUND: 4904 @ 187.217 c NEW SOLUTION FOUND: 4900 @ 187.373 c NEW SOLUTION FOUND: 4896 @ 187.539 c NEW SOLUTION FOUND: 4892 @ 187.698 c NEW SOLUTION FOUND: 4888 @ 187.855 c NEW SOLUTION FOUND: 4884 @ 188.014 c NEW SOLUTION FOUND: 4880 @ 188.172 c NEW SOLUTION FOUND: 4876 @ 188.33 c NEW SOLUTION FOUND: 4872 @ 188.496 c NEW SOLUTION FOUND: 4868 @ 188.659 c NEW SOLUTION FOUND: 4864 @ 188.817 c NEW SOLUTION FOUND: 4857 @ 189.117 c NEW SOLUTION FOUND: 4854 @ 189.286 c NEW SOLUTION FOUND: 4851 @ 189.453 c NEW SOLUTION FOUND: 4848 @ 189.619 c NEW SOLUTION FOUND: 4845 @ 189.787 c NEW SOLUTION FOUND: 4842 @ 189.96 c NEW SOLUTION FOUND: 4839 @ 190.131 c NEW SOLUTION FOUND: 4836 @ 190.296 c NEW SOLUTION FOUND: 4831 @ 190.467 c NEW SOLUTION FOUND: 4828 @ 190.632 c NEW SOLUTION FOUND: 4825 @ 190.803 c NEW SOLUTION FOUND: 4819 @ 190.976 c NEW SOLUTION FOUND: 4816 @ 191.142 c NEW SOLUTION FOUND: 4813 @ 191.316 c NEW SOLUTION FOUND: 4810 @ 191.485 c NEW SOLUTION FOUND: 4807 @ 191.659 c NEW SOLUTION FOUND: 4804 @ 191.832 c NEW SOLUTION FOUND: 4801 @ 192.007 c NEW SOLUTION FOUND: 4798 @ 192.181 c NEW SOLUTION FOUND: 4795 @ 192.353 c NEW SOLUTION FOUND: 4789 @ 192.536 c NEW SOLUTION FOUND: 4783 @ 192.718 c NEW SOLUTION FOUND: 4780 @ 192.891 c NEW SOLUTION FOUND: 4774 @ 193.072 c NEW SOLUTION FOUND: 4771 @ 193.248 c NEW SOLUTION FOUND: 4768 @ 193.428 c NEW SOLUTION FOUND: 4762 @ 193.613 c NEW SOLUTION FOUND: 4759 @ 193.792 c NEW SOLUTION FOUND: 4754 @ 193.982 c NEW SOLUTION FOUND: 4748 @ 194.165 c NEW SOLUTION FOUND: 4742 @ 194.353 c NEW SOLUTION FOUND: 4739 @ 194.544 c NEW SOLUTION FOUND: 4736 @ 194.729 c NEW SOLUTION FOUND: 4733 @ 194.913 c NEW SOLUTION FOUND: 4727 @ 195.097 c NEW SOLUTION FOUND: 4721 @ 195.281 c NEW SOLUTION FOUND: 4716 @ 195.467 c NEW SOLUTION FOUND: 4711 @ 195.657 c NEW SOLUTION FOUND: 4706 @ 195.846 c NEW SOLUTION FOUND: 4700 @ 196.036 c NEW SOLUTION FOUND: 4694 @ 196.231 c NEW SOLUTION FOUND: 4688 @ 196.422 c NEW SOLUTION FOUND: 4682 @ 196.612 c NEW SOLUTION FOUND: 4679 @ 196.804 c NEW SOLUTION FOUND: 4676 @ 196.996 c NEW SOLUTION FOUND: 4671 @ 197.193 c NEW SOLUTION FOUND: 4665 @ 197.388 c NEW SOLUTION FOUND: 4660 @ 197.588 c NEW SOLUTION FOUND: 4654 @ 197.789 c NEW SOLUTION FOUND: 4651 @ 197.996 c NEW SOLUTION FOUND: 4645 @ 198.202 c NEW SOLUTION FOUND: 4639 @ 198.409 c NEW SOLUTION FOUND: 4633 @ 198.623 c NEW SOLUTION FOUND: 4630 @ 198.833 c NEW SOLUTION FOUND: 4624 @ 199.047 c NEW SOLUTION FOUND: 4621 @ 199.232 c NEW SOLUTION FOUND: 4617 @ 199.452 c NEW SOLUTION FOUND: 4614 @ 199.67 c NEW SOLUTION FOUND: 4611 @ 199.891 c NEW SOLUTION FOUND: 4610 @ 200.122 c NEW SOLUTION FOUND: 4609 @ 200.346 c NEW SOLUTION FOUND: 4606 @ 200.577 c NEW SOLUTION FOUND: 4603 @ 200.796 c NEW SOLUTION FOUND: 4600 @ 201.019 c NEW SOLUTION FOUND: 4597 @ 201.242 c NEW SOLUTION FOUND: 4594 @ 201.477 c NEW SOLUTION FOUND: 4591 @ 201.701 c NEW SOLUTION FOUND: 4588 @ 201.935 c NEW SOLUTION FOUND: 4585 @ 202.161 c NEW SOLUTION FOUND: 4582 @ 202.395 c NEW SOLUTION FOUND: 4579 @ 202.62 c NEW SOLUTION FOUND: 4576 @ 202.858 c NEW SOLUTION FOUND: 4573 @ 203.084 c NEW SOLUTION FOUND: 4570 @ 203.315 c NEW SOLUTION FOUND: 4567 @ 203.547 c NEW SOLUTION FOUND: 4564 @ 203.789 c NEW SOLUTION FOUND: 4561 @ 204.022 c NEW SOLUTION FOUND: 4558 @ 204.264 c NEW SOLUTION FOUND: 4555 @ 204.496 c NEW SOLUTION FOUND: 4552 @ 204.731 c NEW SOLUTION FOUND: 4549 @ 204.962 c NEW SOLUTION FOUND: 4546 @ 205.194 c NEW SOLUTION FOUND: 4543 @ 205.43 c NEW SOLUTION FOUND: 4540 @ 205.665 c NEW SOLUTION FOUND: 4534 @ 205.903 c NEW SOLUTION FOUND: 4528 @ 206.136 c NEW SOLUTION FOUND: 4525 @ 206.368 c NEW SOLUTION FOUND: 4522 @ 206.606 c NEW SOLUTION FOUND: 4519 @ 206.843 c NEW SOLUTION FOUND: 4516 @ 207.082 c NEW SOLUTION FOUND: 4513 @ 207.323 c NEW SOLUTION FOUND: 4510 @ 207.561 c NEW SOLUTION FOUND: 4507 @ 207.801 c NEW SOLUTION FOUND: 4504 @ 208.045 c NEW SOLUTION FOUND: 4501 @ 208.291 c NEW SOLUTION FOUND: 4498 @ 208.534 c NEW SOLUTION FOUND: 4495 @ 208.776 c NEW SOLUTION FOUND: 4492 @ 209.019 c NEW SOLUTION FOUND: 4489 @ 209.265 c NEW SOLUTION FOUND: 4486 @ 209.507 c NEW SOLUTION FOUND: 4483 @ 209.748 c NEW SOLUTION FOUND: 4480 @ 209.994 c NEW SOLUTION FOUND: 4477 @ 210.251 c NEW SOLUTION FOUND: 4474 @ 210.499 c NEW SOLUTION FOUND: 4471 @ 210.754 c NEW SOLUTION FOUND: 4468 @ 211.003 c NEW SOLUTION FOUND: 4465 @ 211.258 c NEW SOLUTION FOUND: 4462 @ 211.506 c NEW SOLUTION FOUND: 4459 @ 211.76 c NEW SOLUTION FOUND: 4456 @ 212.015 c NEW SOLUTION FOUND: 4453 @ 212.267 c NEW SOLUTION FOUND: 4448 @ 212.514 c NEW SOLUTION FOUND: 4445 @ 212.763 c NEW SOLUTION FOUND: 4442 @ 213.014 c NEW SOLUTION FOUND: 4439 @ 213.273 c NEW SOLUTION FOUND: 4436 @ 213.54 c NEW SOLUTION FOUND: 4431 @ 213.804 c NEW SOLUTION FOUND: 4428 @ 214.052 c NEW SOLUTION FOUND: 4425 @ 214.318 c NEW SOLUTION FOUND: 4422 @ 214.573 c NEW SOLUTION FOUND: 4419 @ 214.827 c NEW SOLUTION FOUND: 4416 @ 215.084 c NEW SOLUTION FOUND: 4413 @ 215.339 c NEW SOLUTION FOUND: 4410 @ 215.596 c NEW SOLUTION FOUND: 4407 @ 215.849 c NEW SOLUTION FOUND: 4404 @ 216.11 c NEW SOLUTION FOUND: 4401 @ 216.369 c NEW SOLUTION FOUND: 4398 @ 216.628 c NEW SOLUTION FOUND: 4395 @ 216.884 c NEW SOLUTION FOUND: 4392 @ 217.145 c NEW SOLUTION FOUND: 4389 @ 217.406 c NEW SOLUTION FOUND: 4386 @ 217.664 c NEW SOLUTION FOUND: 4383 @ 217.925 c NEW SOLUTION FOUND: 4380 @ 218.186 c NEW SOLUTION FOUND: 4377 @ 218.449 c NEW SOLUTION FOUND: 4374 @ 218.709 c NEW SOLUTION FOUND: 4371 @ 218.973 c NEW SOLUTION FOUND: 4368 @ 219.232 c NEW SOLUTION FOUND: 4365 @ 219.501 c NEW SOLUTION FOUND: 4362 @ 219.761 c NEW SOLUTION FOUND: 4359 @ 220.025 c NEW SOLUTION FOUND: 4356 @ 220.289 c NEW SOLUTION FOUND: 4353 @ 220.556 c NEW SOLUTION FOUND: 4350 @ 220.817 c NEW SOLUTION FOUND: 4347 @ 221.09 c NEW SOLUTION FOUND: 4344 @ 221.356 c NEW SOLUTION FOUND: 4341 @ 221.631 c NEW SOLUTION FOUND: 4338 @ 221.899 c NEW SOLUTION FOUND: 4335 @ 222.178 c NEW SOLUTION FOUND: 4332 @ 222.448 c NEW SOLUTION FOUND: 4329 @ 222.726 c NEW SOLUTION FOUND: 4323 @ 223.009 c NEW SOLUTION FOUND: 4320 @ 223.284 c NEW SOLUTION FOUND: 4317 @ 223.562 c NEW SOLUTION FOUND: 4314 @ 223.844 c NEW SOLUTION FOUND: 4311 @ 224.126 c NEW SOLUTION FOUND: 4308 @ 224.398 c NEW SOLUTION FOUND: 4305 @ 224.672 c NEW SOLUTION FOUND: 4302 @ 224.946 c NEW SOLUTION FOUND: 4299 @ 225.216 c NEW SOLUTION FOUND: 4296 @ 225.49 c NEW SOLUTION FOUND: 4293 @ 225.762 c NEW SOLUTION FOUND: 4290 @ 226.035 c NEW SOLUTION FOUND: 4287 @ 226.319 c NEW SOLUTION FOUND: 4284 @ 226.594 c NEW SOLUTION FOUND: 4281 @ 226.882 c NEW SOLUTION FOUND: 4278 @ 227.17 c NEW SOLUTION FOUND: 4275 @ 227.452 c NEW SOLUTION FOUND: 4272 @ 227.741 c NEW SOLUTION FOUND: 4269 @ 228.023 c NEW SOLUTION FOUND: 4266 @ 228.311 c NEW SOLUTION FOUND: 4263 @ 228.589 c NEW SOLUTION FOUND: 4260 @ 228.866 c NEW SOLUTION FOUND: 4257 @ 229.145 c NEW SOLUTION FOUND: 4254 @ 229.422 c NEW SOLUTION FOUND: 4251 @ 229.701 c NEW SOLUTION FOUND: 4248 @ 229.98 c NEW SOLUTION FOUND: 4245 @ 230.27 c NEW SOLUTION FOUND: 4242 @ 230.551 c NEW SOLUTION FOUND: 4239 @ 230.839 c NEW SOLUTION FOUND: 4236 @ 231.13 c NEW SOLUTION FOUND: 4233 @ 231.412 c NEW SOLUTION FOUND: 4230 @ 231.697 c NEW SOLUTION FOUND: 4227 @ 231.977 c NEW SOLUTION FOUND: 4224 @ 232.259 c NEW SOLUTION FOUND: 4221 @ 232.542 c NEW SOLUTION FOUND: 4218 @ 232.827 c NEW SOLUTION FOUND: 4215 @ 233.113 c NEW SOLUTION FOUND: 4212 @ 233.397 c NEW SOLUTION FOUND: 4209 @ 233.698 c NEW SOLUTION FOUND: 4206 @ 233.984 c NEW SOLUTION FOUND: 4203 @ 234.271 c NEW SOLUTION FOUND: 4200 @ 234.562 c NEW SOLUTION FOUND: 4197 @ 234.853 c NEW SOLUTION FOUND: 4194 @ 235.134 c NEW SOLUTION FOUND: 4191 @ 235.428 c NEW SOLUTION FOUND: 4188 @ 235.714 c NEW SOLUTION FOUND: 4185 @ 236.012 c NEW SOLUTION FOUND: 4182 @ 236.304 c NEW SOLUTION FOUND: 4179 @ 236.604 c NEW SOLUTION FOUND: 4176 @ 236.908 c NEW SOLUTION FOUND: 4173 @ 237.208 c NEW SOLUTION FOUND: 4170 @ 237.511 c NEW SOLUTION FOUND: 4167 @ 237.814 c NEW SOLUTION FOUND: 4164 @ 238.108 c NEW SOLUTION FOUND: 4161 @ 238.408 c NEW SOLUTION FOUND: 4158 @ 238.71 c NEW SOLUTION FOUND: 4155 @ 239.009 c NEW SOLUTION FOUND: 4152 @ 239.306 c NEW SOLUTION FOUND: 4149 @ 239.604 c NEW SOLUTION FOUND: 4146 @ 239.902 c NEW SOLUTION FOUND: 4143 @ 240.217 c NEW SOLUTION FOUND: 4140 @ 240.519 c NEW SOLUTION FOUND: 4137 @ 240.832 c NEW SOLUTION FOUND: 4134 @ 241.135 c NEW SOLUTION FOUND: 4131 @ 241.451 c NEW SOLUTION FOUND: 4128 @ 241.752 c NEW SOLUTION FOUND: 4125 @ 242.057 c NEW SOLUTION FOUND: 4122 @ 242.361 c NEW SOLUTION FOUND: 4119 @ 242.665 c NEW SOLUTION FOUND: 4116 @ 242.97 c NEW SOLUTION FOUND: 4113 @ 243.282 c NEW SOLUTION FOUND: 4110 @ 243.584 c NEW SOLUTION FOUND: 4107 @ 243.897 c NEW SOLUTION FOUND: 4104 @ 244.22 c NEW SOLUTION FOUND: 4101 @ 244.53 c NEW SOLUTION FOUND: 4098 @ 244.853 c NEW SOLUTION FOUND: 4095 @ 245.166 c NEW SOLUTION FOUND: 4092 @ 245.489 c NEW SOLUTION FOUND: 4089 @ 245.793 c NEW SOLUTION FOUND: 4086 @ 246.108 c NEW SOLUTION FOUND: 4083 @ 246.414 c NEW SOLUTION FOUND: 4080 @ 246.728 c NEW SOLUTION FOUND: 4077 @ 247.041 c NEW SOLUTION FOUND: 4074 @ 247.357 c NEW SOLUTION FOUND: 4071 @ 247.671 c NEW SOLUTION FOUND: 4068 @ 247.986 c NEW SOLUTION FOUND: 4065 @ 248.306 c NEW SOLUTION FOUND: 4062 @ 248.621 c NEW SOLUTION FOUND: 4059 @ 248.939 c NEW SOLUTION FOUND: 4056 @ 249.267 c NEW SOLUTION FOUND: 4053 @ 249.591 c NEW SOLUTION FOUND: 4050 @ 249.923 c NEW SOLUTION FOUND: 4047 @ 250.238 c NEW SOLUTION FOUND: 4044 @ 250.57 c NEW SOLUTION FOUND: 4041 @ 250.901 c NEW SOLUTION FOUND: 4038 @ 251.231 c NEW SOLUTION FOUND: 4035 @ 251.553 c NEW SOLUTION FOUND: 4032 @ 251.87 c NEW SOLUTION FOUND: 4029 @ 252.196 c NEW SOLUTION FOUND: 4026 @ 252.517 c NEW SOLUTION FOUND: 4023 @ 252.839 c NEW SOLUTION FOUND: 4020 @ 253.159 c NEW SOLUTION FOUND: 4017 @ 253.478 c NEW SOLUTION FOUND: 4014 @ 253.804 c NEW SOLUTION FOUND: 4011 @ 254.125 c NEW SOLUTION FOUND: 4008 @ 254.461 c NEW SOLUTION FOUND: 4005 @ 254.783 c NEW SOLUTION FOUND: 4002 @ 255.105 c NEW SOLUTION FOUND: 3999 @ 255.427 c NEW SOLUTION FOUND: 3996 @ 255.754 c NEW SOLUTION FOUND: 3993 @ 256.078 c NEW SOLUTION FOUND: 3990 @ 256.409 c NEW SOLUTION FOUND: 3987 @ 256.74 c NEW SOLUTION FOUND: 3984 @ 257.076 c NEW SOLUTION FOUND: 3981 @ 257.398 c NEW SOLUTION FOUND: 3978 @ 257.726 c NEW SOLUTION FOUND: 3975 @ 258.049 c NEW SOLUTION FOUND: 3972 @ 258.378 c NEW SOLUTION FOUND: 3969 @ 258.721 c NEW SOLUTION FOUND: 3966 @ 259.066 c NEW SOLUTION FOUND: 3963 @ 259.406 c NEW SOLUTION FOUND: 3960 @ 259.735 c NEW SOLUTION FOUND: 3957 @ 260.065 c NEW SOLUTION FOUND: 3954 @ 260.395 c NEW SOLUTION FOUND: 3951 @ 260.744 c NEW SOLUTION FOUND: 3948 @ 261.074 c NEW SOLUTION FOUND: 3945 @ 261.41 c NEW SOLUTION FOUND: 3942 @ 261.757 c NEW SOLUTION FOUND: 3939 @ 262.107 c NEW SOLUTION FOUND: 3936 @ 262.457 c NEW SOLUTION FOUND: 3933 @ 262.798 c NEW SOLUTION FOUND: 3930 @ 263.148 c NEW SOLUTION FOUND: 3927 @ 263.481 c NEW SOLUTION FOUND: 3924 @ 263.83 c NEW SOLUTION FOUND: 3921 @ 264.17 c NEW SOLUTION FOUND: 3918 @ 264.507 c NEW SOLUTION FOUND: 3915 @ 264.856 c NEW SOLUTION FOUND: 3910 @ 265.199 c NEW SOLUTION FOUND: 3907 @ 265.546 c NEW SOLUTION FOUND: 3904 @ 265.889 c NEW SOLUTION FOUND: 3901 @ 266.238 c NEW SOLUTION FOUND: 3898 @ 266.582 c NEW SOLUTION FOUND: 3895 @ 266.933 c NEW SOLUTION FOUND: 3892 @ 267.277 c NEW SOLUTION FOUND: 3889 @ 267.617 c NEW SOLUTION FOUND: 3886 @ 267.957 c NEW SOLUTION FOUND: 3883 @ 268.305 c NEW SOLUTION FOUND: 3880 @ 268.646 c NEW SOLUTION FOUND: 3877 @ 268.997 c NEW SOLUTION FOUND: 3874 @ 269.342 c NEW SOLUTION FOUND: 3869 @ 269.683 c NEW SOLUTION FOUND: 3866 @ 270.035 c NEW SOLUTION FOUND: 3863 @ 270.385 c NEW SOLUTION FOUND: 3860 @ 270.723 c NEW SOLUTION FOUND: 3857 @ 271.077 c NEW SOLUTION FOUND: 3854 @ 271.425 c NEW SOLUTION FOUND: 3851 @ 271.759 c NEW SOLUTION FOUND: 3848 @ 272.104 c NEW SOLUTION FOUND: 3845 @ 272.44 c NEW SOLUTION FOUND: 3842 @ 272.785 c NEW SOLUTION FOUND: 3839 @ 273.133 c NEW SOLUTION FOUND: 3836 @ 273.481 c NEW SOLUTION FOUND: 3833 @ 273.83 c NEW SOLUTION FOUND: 3830 @ 274.18 c NEW SOLUTION FOUND: 3827 @ 274.537 c NEW SOLUTION FOUND: 3824 @ 274.888 c NEW SOLUTION FOUND: 3821 @ 275.233 c NEW SOLUTION FOUND: 3818 @ 275.576 c NEW SOLUTION FOUND: 3815 @ 275.924 c NEW SOLUTION FOUND: 3812 @ 276.272 c NEW SOLUTION FOUND: 3809 @ 276.612 c NEW SOLUTION FOUND: 3806 @ 276.958 c NEW SOLUTION FOUND: 3803 @ 277.31 c NEW SOLUTION FOUND: 3800 @ 277.662 c NEW SOLUTION FOUND: 3797 @ 278.007 c NEW SOLUTION FOUND: 3794 @ 278.363 c NEW SOLUTION FOUND: 3791 @ 278.705 c NEW SOLUTION FOUND: 3788 @ 279.054 c NEW SOLUTION FOUND: 3785 @ 279.404 c NEW SOLUTION FOUND: 3782 @ 279.77 c NEW SOLUTION FOUND: 3779 @ 280.121 c NEW SOLUTION FOUND: 3776 @ 280.489 c NEW SOLUTION FOUND: 3773 @ 280.851 c NEW SOLUTION FOUND: 3770 @ 281.202 c NEW SOLUTION FOUND: 3767 @ 281.553 c NEW SOLUTION FOUND: 3764 @ 281.919 c NEW SOLUTION FOUND: 3761 @ 282.276 c NEW SOLUTION FOUND: 3758 @ 282.624 c NEW SOLUTION FOUND: 3755 @ 282.984 c NEW SOLUTION FOUND: 3752 @ 283.344 c NEW SOLUTION FOUND: 3749 @ 283.708 c NEW SOLUTION FOUND: 3746 @ 284.06 c NEW SOLUTION FOUND: 3743 @ 284.42 c NEW SOLUTION FOUND: 3740 @ 284.792 c NEW SOLUTION FOUND: 3737 @ 285.157 c NEW SOLUTION FOUND: 3734 @ 285.517 c NEW SOLUTION FOUND: 3731 @ 285.882 c NEW SOLUTION FOUND: 3728 @ 286.238 c NEW SOLUTION FOUND: 3725 @ 286.598 c NEW SOLUTION FOUND: 3722 @ 286.958 c NEW SOLUTION FOUND: 3719 @ 287.327 c NEW SOLUTION FOUND: 3716 @ 287.704 c NEW SOLUTION FOUND: 3713 @ 288.07 c NEW SOLUTION FOUND: 3710 @ 288.435 c NEW SOLUTION FOUND: 3707 @ 288.801 c NEW SOLUTION FOUND: 3704 @ 289.167 c NEW SOLUTION FOUND: 3701 @ 289.524 c NEW SOLUTION FOUND: 3698 @ 289.895 c NEW SOLUTION FOUND: 3695 @ 290.27 c NEW SOLUTION FOUND: 3692 @ 290.639 c NEW SOLUTION FOUND: 3689 @ 291.006 c NEW SOLUTION FOUND: 3683 @ 291.372 c NEW SOLUTION FOUND: 3680 @ 291.743 c NEW SOLUTION FOUND: 3677 @ 292.123 c NEW SOLUTION FOUND: 3674 @ 292.498 c NEW SOLUTION FOUND: 3671 @ 292.872 c NEW SOLUTION FOUND: 3668 @ 293.251 c NEW SOLUTION FOUND: 3665 @ 293.637 c NEW SOLUTION FOUND: 3662 @ 294.016 c NEW SOLUTION FOUND: 3659 @ 294.392 c NEW SOLUTION FOUND: 3656 @ 294.77 c NEW SOLUTION FOUND: 3653 @ 295.142 c NEW SOLUTION FOUND: 3650 @ 295.517 c NEW SOLUTION FOUND: 3647 @ 295.896 c NEW SOLUTION FOUND: 3644 @ 296.28 c NEW SOLUTION FOUND: 3641 @ 296.654 c NEW SOLUTION FOUND: 3638 @ 297.034 c NEW SOLUTION FOUND: 3635 @ 297.408 c NEW SOLUTION FOUND: 3632 @ 297.785 c NEW SOLUTION FOUND: 3629 @ 298.166 c NEW SOLUTION FOUND: 3623 @ 298.543 c NEW SOLUTION FOUND: 3620 @ 298.921 c NEW SOLUTION FOUND: 3617 @ 299.304 c NEW SOLUTION FOUND: 3614 @ 299.685 c NEW SOLUTION FOUND: 3611 @ 300.066 c NEW SOLUTION FOUND: 3608 @ 300.463 c NEW SOLUTION FOUND: 3605 @ 300.843 c NEW SOLUTION FOUND: 3602 @ 301.223 c NEW SOLUTION FOUND: 3599 @ 301.602 c NEW SOLUTION FOUND: 3596 @ 301.988 c NEW SOLUTION FOUND: 3593 @ 302.37 c NEW SOLUTION FOUND: 3587 @ 302.756 c NEW SOLUTION FOUND: 3584 @ 303.162 c NEW SOLUTION FOUND: 3581 @ 303.552 c NEW SOLUTION FOUND: 3578 @ 303.933 c NEW SOLUTION FOUND: 3575 @ 304.324 c NEW SOLUTION FOUND: 3572 @ 304.719 c NEW SOLUTION FOUND: 3569 @ 305.104 c NEW SOLUTION FOUND: 3566 @ 305.493 c NEW SOLUTION FOUND: 3563 @ 305.891 c NEW SOLUTION FOUND: 3560 @ 306.288 c NEW SOLUTION FOUND: 3557 @ 306.681 c NEW SOLUTION FOUND: 3554 @ 307.068 c NEW SOLUTION FOUND: 3551 @ 307.463 c NEW SOLUTION FOUND: 3548 @ 307.859 c NEW SOLUTION FOUND: 3545 @ 308.252 c NEW SOLUTION FOUND: 3542 @ 308.644 c NEW SOLUTION FOUND: 3539 @ 309.055 c NEW SOLUTION FOUND: 3536 @ 309.459 c NEW SOLUTION FOUND: 3533 @ 309.85 c NEW SOLUTION FOUND: 3530 @ 310.243 c NEW SOLUTION FOUND: 3527 @ 310.629 c NEW SOLUTION FOUND: 3524 @ 311.03 c NEW SOLUTION FOUND: 3521 @ 311.424 c NEW SOLUTION FOUND: 3518 @ 311.824 c NEW SOLUTION FOUND: 3515 @ 312.231 c NEW SOLUTION FOUND: 3512 @ 312.633 c NEW SOLUTION FOUND: 3509 @ 313.039 c NEW SOLUTION FOUND: 3506 @ 313.442 c NEW SOLUTION FOUND: 3503 @ 313.847 c NEW SOLUTION FOUND: 3500 @ 314.265 c NEW SOLUTION FOUND: 3497 @ 314.678 c NEW SOLUTION FOUND: 3494 @ 315.086 c NEW SOLUTION FOUND: 3491 @ 315.484 c NEW SOLUTION FOUND: 3488 @ 315.896 c NEW SOLUTION FOUND: 3485 @ 316.314 c NEW SOLUTION FOUND: 3482 @ 316.719 c NEW SOLUTION FOUND: 3479 @ 317.132 c NEW SOLUTION FOUND: 3476 @ 317.543 c NEW SOLUTION FOUND: 3473 @ 317.944 c NEW SOLUTION FOUND: 3470 @ 318.348 c NEW SOLUTION FOUND: 3467 @ 318.754 c NEW SOLUTION FOUND: 3464 @ 319.167 c NEW SOLUTION FOUND: 3461 @ 319.576 c NEW SOLUTION FOUND: 3458 @ 319.984 c NEW SOLUTION FOUND: 3455 @ 320.409 c NEW SOLUTION FOUND: 3452 @ 320.825 c NEW SOLUTION FOUND: 3449 @ 321.243 c NEW SOLUTION FOUND: 3446 @ 321.655 c NEW SOLUTION FOUND: 3443 @ 322.078 c NEW SOLUTION FOUND: 3440 @ 322.497 c NEW SOLUTION FOUND: 3437 @ 322.91 c NEW SOLUTION FOUND: 3434 @ 323.331 c NEW SOLUTION FOUND: 3431 @ 323.752 c NEW SOLUTION FOUND: 3428 @ 324.182 c NEW SOLUTION FOUND: 3425 @ 324.603 c NEW SOLUTION FOUND: 3422 @ 325.031 c NEW SOLUTION FOUND: 3419 @ 325.439 c NEW SOLUTION FOUND: 3413 @ 325.855 c NEW SOLUTION FOUND: 3410 @ 326.267 c NEW SOLUTION FOUND: 3407 @ 326.693 c NEW SOLUTION FOUND: 3404 @ 327.114 c NEW SOLUTION FOUND: 3401 @ 327.538 c NEW SOLUTION FOUND: 3398 @ 327.964 c NEW SOLUTION FOUND: 3395 @ 328.393 c NEW SOLUTION FOUND: 3392 @ 328.813 c NEW SOLUTION FOUND: 3389 @ 329.229 c NEW SOLUTION FOUND: 3386 @ 329.658 c NEW SOLUTION FOUND: 3383 @ 330.076 c NEW SOLUTION FOUND: 3380 @ 330.504 c NEW SOLUTION FOUND: 3377 @ 330.926 c NEW SOLUTION FOUND: 3374 @ 331.346 c NEW SOLUTION FOUND: 3371 @ 331.773 c NEW SOLUTION FOUND: 3368 @ 332.201 c NEW SOLUTION FOUND: 3365 @ 332.62 c NEW SOLUTION FOUND: 3362 @ 333.045 c NEW SOLUTION FOUND: 3359 @ 333.472 c NEW SOLUTION FOUND: 3356 @ 333.906 c NEW SOLUTION FOUND: 3354 @ 334.341 c NEW SOLUTION FOUND: 3351 @ 334.778 c NEW SOLUTION FOUND: 3348 @ 335.215 c NEW SOLUTION FOUND: 3345 @ 335.661 c NEW SOLUTION FOUND: 3342 @ 336.085 c NEW SOLUTION FOUND: 3339 @ 336.525 c NEW SOLUTION FOUND: 3336 @ 336.955 c NEW SOLUTION FOUND: 3333 @ 337.385 c NEW SOLUTION FOUND: 3330 @ 337.821 c NEW SOLUTION FOUND: 3327 @ 338.268 c NEW SOLUTION FOUND: 3324 @ 338.705 c NEW SOLUTION FOUND: 3321 @ 339.141 c NEW SOLUTION FOUND: 3318 @ 339.575 c NEW SOLUTION FOUND: 3315 @ 340.003 c NEW SOLUTION FOUND: 3312 @ 340.448 c NEW SOLUTION FOUND: 3309 @ 341.342 c NEW SOLUTION FOUND: 3306 @ 341.777 c NEW SOLUTION FOUND: 3304 @ 343.963 c NEW SOLUTION FOUND: 3302 @ 344.389 c NEW SOLUTION FOUND: 3300 @ 344.864 c NEW SOLUTION FOUND: 3298 @ 345.331 c NEW SOLUTION FOUND: 3296 @ 345.806 c NEW SOLUTION FOUND: 3294 @ 346.277 c NEW SOLUTION FOUND: 3292 @ 346.737 c NEW SOLUTION FOUND: 3290 @ 347.202 c NEW SOLUTION FOUND: 3288 @ 347.668 c NEW SOLUTION FOUND: 3286 @ 348.123 c NEW SOLUTION FOUND: 3284 @ 348.59 c NEW SOLUTION FOUND: 3282 @ 349.062 c NEW SOLUTION FOUND: 3280 @ 349.535 c NEW SOLUTION FOUND: 3278 @ 350.008 c NEW SOLUTION FOUND: 3276 @ 350.476 c NEW SOLUTION FOUND: 3273 @ 350.959 c NEW SOLUTION FOUND: 3271 @ 351.439 c NEW SOLUTION FOUND: 3269 @ 351.911 c NEW SOLUTION FOUND: 3267 @ 352.387 c NEW SOLUTION FOUND: 3265 @ 352.864 c NEW SOLUTION FOUND: 3263 @ 353.348 c NEW SOLUTION FOUND: 3261 @ 353.818 c NEW SOLUTION FOUND: 3259 @ 354.289 c NEW SOLUTION FOUND: 3257 @ 354.763 c NEW SOLUTION FOUND: 3255 @ 355.241 c NEW SOLUTION FOUND: 3253 @ 355.735 c NEW SOLUTION FOUND: 3251 @ 356.212 c NEW SOLUTION FOUND: 3249 @ 356.701 c NEW SOLUTION FOUND: 3247 @ 357.177 c NEW SOLUTION FOUND: 3245 @ 357.662 c NEW SOLUTION FOUND: 3243 @ 358.155 c NEW SOLUTION FOUND: 3241 @ 358.655 c NEW SOLUTION FOUND: 3238 @ 359.134 c NEW SOLUTION FOUND: 3236 @ 359.611 c NEW SOLUTION FOUND: 3234 @ 360.106 c NEW SOLUTION FOUND: 3232 @ 360.586 c NEW SOLUTION FOUND: 3228 @ 361.08 c NEW SOLUTION FOUND: 3226 @ 361.558 c NEW SOLUTION FOUND: 3224 @ 362.047 c NEW SOLUTION FOUND: 3222 @ 362.538 c NEW SOLUTION FOUND: 3220 @ 363.026 c NEW SOLUTION FOUND: 3218 @ 363.515 c NEW SOLUTION FOUND: 3216 @ 364.004 c NEW SOLUTION FOUND: 3214 @ 364.498 c NEW SOLUTION FOUND: 3212 @ 364.986 c NEW SOLUTION FOUND: 3210 @ 365.478 c NEW SOLUTION FOUND: 3208 @ 365.97 c NEW SOLUTION FOUND: 3206 @ 366.464 c NEW SOLUTION FOUND: 3204 @ 366.956 c NEW SOLUTION FOUND: 3202 @ 367.454 c NEW SOLUTION FOUND: 3200 @ 367.95 c NEW SOLUTION FOUND: 3198 @ 368.437 c NEW SOLUTION FOUND: 3196 @ 368.927 c NEW SOLUTION FOUND: 3194 @ 369.416 c NEW SOLUTION FOUND: 3192 @ 369.905 c NEW SOLUTION FOUND: 3190 @ 370.399 c NEW SOLUTION FOUND: 3188 @ 370.902 c NEW SOLUTION FOUND: 3186 @ 371.394 c NEW SOLUTION FOUND: 3184 @ 371.892 c NEW SOLUTION FOUND: 3181 @ 372.386 c NEW SOLUTION FOUND: 3179 @ 372.884 c NEW SOLUTION FOUND: 3177 @ 373.38 c NEW SOLUTION FOUND: 3175 @ 373.883 c NEW SOLUTION FOUND: 3173 @ 374.389 c NEW SOLUTION FOUND: 3171 @ 374.892 c NEW SOLUTION FOUND: 3169 @ 375.39 c NEW SOLUTION FOUND: 3167 @ 375.902 c NEW SOLUTION FOUND: 3165 @ 376.396 c NEW SOLUTION FOUND: 3163 @ 376.91 c NEW SOLUTION FOUND: 3161 @ 377.416 c NEW SOLUTION FOUND: 3159 @ 377.929 c NEW SOLUTION FOUND: 3157 @ 378.429 c NEW SOLUTION FOUND: 3155 @ 378.94 c NEW SOLUTION FOUND: 3153 @ 379.443 c NEW SOLUTION FOUND: 3151 @ 380.449 c NEW SOLUTION FOUND: 3149 @ 380.948 c NEW SOLUTION FOUND: 3146 @ 381.458 c NEW SOLUTION FOUND: 3144 @ 381.96 c NEW SOLUTION FOUND: 3141 @ 382.473 c NEW SOLUTION FOUND: 3139 @ 382.987 c NEW SOLUTION FOUND: 3137 @ 383.501 c NEW SOLUTION FOUND: 3135 @ 384.003 c NEW SOLUTION FOUND: 3132 @ 384.524 c NEW SOLUTION FOUND: 3129 @ 385.04 c NEW SOLUTION FOUND: 3127 @ 385.553 c NEW SOLUTION FOUND: 3124 @ 386.067 c NEW SOLUTION FOUND: 3122 @ 386.586 c NEW SOLUTION FOUND: 3119 @ 387.098 c NEW SOLUTION FOUND: 3117 @ 387.619 c NEW SOLUTION FOUND: 3114 @ 388.129 c NEW SOLUTION FOUND: 3111 @ 388.643 c NEW SOLUTION FOUND: 3109 @ 389.154 c NEW SOLUTION FOUND: 3106 @ 389.682 c NEW SOLUTION FOUND: 3103 @ 390.211 c NEW SOLUTION FOUND: 3100 @ 390.741 c NEW SOLUTION FOUND: 3097 @ 391.268 c NEW SOLUTION FOUND: 3094 @ 391.798 c NEW SOLUTION FOUND: 3091 @ 392.329 c NEW SOLUTION FOUND: 3088 @ 392.871 c NEW SOLUTION FOUND: 3085 @ 393.405 c NEW SOLUTION FOUND: 3082 @ 393.947 c NEW SOLUTION FOUND: 3080 @ 394.482 c NEW SOLUTION FOUND: 3077 @ 395.019 c NEW SOLUTION FOUND: 3075 @ 395.556 c NEW SOLUTION FOUND: 3073 @ 396.105 c NEW SOLUTION FOUND: 3070 @ 396.656 c NEW SOLUTION FOUND: 3067 @ 397.187 c NEW SOLUTION FOUND: 3064 @ 397.714 c NEW SOLUTION FOUND: 3061 @ 398.25 c NEW SOLUTION FOUND: 3059 @ 398.786 c NEW SOLUTION FOUND: 3057 @ 399.339 c NEW SOLUTION FOUND: 3054 @ 399.883 c NEW SOLUTION FOUND: 3051 @ 400.418 c NEW SOLUTION FOUND: 3048 @ 400.969 c NEW SOLUTION FOUND: 3045 @ 401.515 c NEW SOLUTION FOUND: 3042 @ 402.059 c NEW SOLUTION FOUND: 3039 @ 402.605 c NEW SOLUTION FOUND: 3036 @ 403.136 c NEW SOLUTION FOUND: 3033 @ 403.672 c NEW SOLUTION FOUND: 3031 @ 404.215 c NEW SOLUTION FOUND: 3029 @ 404.757 c NEW SOLUTION FOUND: 3026 @ 405.305 c NEW SOLUTION FOUND: 3023 @ 405.86 c NEW SOLUTION FOUND: 3020 @ 406.413 c NEW SOLUTION FOUND: 3017 @ 406.965 c NEW SOLUTION FOUND: 3014 @ 407.521 c NEW SOLUTION FOUND: 3011 @ 408.086 c NEW SOLUTION FOUND: 3008 @ 408.653 c NEW SOLUTION FOUND: 3005 @ 409.219 c NEW SOLUTION FOUND: 3002 @ 409.788 c NEW SOLUTION FOUND: 3000 @ 410.355 c NEW SOLUTION FOUND: 2997 @ 410.914 c NEW SOLUTION FOUND: 2995 @ 411.489 c NEW SOLUTION FOUND: 2992 @ 412.059 c NEW SOLUTION FOUND: 2990 @ 412.626 c NEW SOLUTION FOUND: 2987 @ 413.19 c NEW SOLUTION FOUND: 2984 @ 413.752 c NEW SOLUTION FOUND: 2982 @ 414.335 c NEW SOLUTION FOUND: 2979 @ 414.916 c NEW SOLUTION FOUND: 2976 @ 415.494 c NEW SOLUTION FOUND: 2974 @ 416.081 c NEW SOLUTION FOUND: 2971 @ 416.666 c NEW SOLUTION FOUND: 2969 @ 417.247 c NEW SOLUTION FOUND: 2966 @ 417.823 c NEW SOLUTION FOUND: 2964 @ 418.415 c NEW SOLUTION FOUND: 2962 @ 418.997 c NEW SOLUTION FOUND: 2960 @ 419.552 c NEW SOLUTION FOUND: 2957 @ 420.132 c NEW SOLUTION FOUND: 2954 @ 420.727 c NEW SOLUTION FOUND: 2951 @ 421.313 c NEW SOLUTION FOUND: 2948 @ 421.891 c NEW SOLUTION FOUND: 2945 @ 422.485 c NEW SOLUTION FOUND: 2942 @ 423.075 c NEW SOLUTION FOUND: 2939 @ 423.668 c NEW SOLUTION FOUND: 2937 @ 424.237 c NEW SOLUTION FOUND: 2935 @ 424.825 c NEW SOLUTION FOUND: 2932 @ 425.423 c NEW SOLUTION FOUND: 2927 @ 425.996 c NEW SOLUTION FOUND: 2926 @ 426.584 c NEW SOLUTION FOUND: 2923 @ 427.164 c NEW SOLUTION FOUND: 2920 @ 427.771 c NEW SOLUTION FOUND: 2918 @ 428.359 c NEW SOLUTION FOUND: 2915 @ 428.955 c NEW SOLUTION FOUND: 2912 @ 429.545 c NEW SOLUTION FOUND: 2910 @ 430.132 c NEW SOLUTION FOUND: 2907 @ 430.726 c NEW SOLUTION FOUND: 2904 @ 431.314 c NEW SOLUTION FOUND: 2902 @ 431.907 c NEW SOLUTION FOUND: 2899 @ 432.508 c NEW SOLUTION FOUND: 2897 @ 433.092 c NEW SOLUTION FOUND: 2894 @ 433.688 c NEW SOLUTION FOUND: 2891 @ 434.299 c NEW SOLUTION FOUND: 2888 @ 434.909 c NEW SOLUTION FOUND: 2885 @ 435.498 c NEW SOLUTION FOUND: 2882 @ 436.097 c NEW SOLUTION FOUND: 2879 @ 436.714 c NEW SOLUTION FOUND: 2877 @ 437.319 c NEW SOLUTION FOUND: 2876 @ 437.922 c NEW SOLUTION FOUND: 2874 @ 523.804 c NEW SOLUTION FOUND: 2871 @ 599.425 c NEW SOLUTION FOUND: 2869 @ 883.072 c NEW SOLUTION FOUND: 2868 @ 979.563 c NEW SOLUTION FOUND: 2865 @ 1079.41 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.36 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.91 0.95 0.90 2/55 8601 Raw data (stat): 8601 (runsolver) R 8600 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 838608202 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99953 s] Raw data (loadavg): 0.93 0.95 0.90 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 2274 0 0 0 991 6 0 0 25 0 1 0 838608202 12492800 2183 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3050 2183 1111 63 0 2987 0 vsize: 12200 [startup+20.0003 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 2274 0 0 0 1991 6 0 0 25 0 1 0 838608202 12492800 2183 4294967295 134512640 134716908 3221224576 3221223224 134558490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3050 2183 1111 63 0 2987 0 vsize: 12200 [startup+30.0001 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 2274 0 0 0 2990 7 0 0 25 0 1 0 838608202 12492800 2183 4294967295 134512640 134716908 3221224576 3221223356 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3050 2183 1111 63 0 2987 0 vsize: 12200 [startup+40.0009 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 3629 0 0 0 3987 11 0 0 25 0 1 0 838608202 18345984 3361 4294967295 134512640 134716908 3221224576 3221220524 1074873554 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4479 3361 1111 63 0 4416 0 vsize: 17916 [startup+50.0017 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 3913 0 0 0 4986 12 0 0 25 0 1 0 838608202 18022400 3459 4294967295 134512640 134716908 3221224576 3221220580 1075964241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4400 3459 1111 63 0 4337 0 vsize: 17600 [startup+60.0014 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 3958 0 0 0 5986 12 0 0 25 0 1 0 838608202 18206720 3504 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4445 3504 1111 63 0 4382 0 vsize: 17780 [startup+70.0024 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 7116 0 0 0 6978 20 0 0 25 0 1 0 838608202 15097856 2959 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3686 2959 1111 63 0 3623 0 vsize: 14744 [startup+80.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 13112 0 0 0 7960 37 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+90.0038 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 19599 0 0 0 8944 53 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221223280 134534146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 25901 0 0 0 9926 71 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+110.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 31954 0 0 0 10911 86 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222320 1075646924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 37792 0 0 0 11897 101 0 0 25 0 1 0 838608202 17178624 2949 4294967295 134512640 134716908 3221224576 3221221232 1075966727 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4194 2949 1111 63 0 4131 0 vsize: 16776 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 43726 0 0 0 12881 117 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222992 1074116437 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 49499 0 0 0 13864 133 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 55256 0 0 0 14848 149 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222296 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 60840 0 0 0 15834 164 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 66520 0 0 0 16819 179 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 72036 0 0 0 17804 194 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221223272 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 77644 0 0 0 18787 211 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 82616 0 0 0 19775 224 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222576 1074052193 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 87271 0 0 0 20762 237 0 0 25 0 1 0 838608202 17178624 2952 4294967295 134512640 134716908 3221224576 3221221232 1075969185 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4194 2952 1111 63 0 4131 0 vsize: 16776 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 91299 0 0 0 21752 247 0 0 25 0 1 0 838608202 17178624 2950 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4194 2950 1111 63 0 4131 0 vsize: 16776 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 95065 0 0 0 22743 256 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221223248 134591885 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 100391 0 0 0 23729 271 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 107469 0 0 0 24711 289 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 113887 0 0 0 25693 306 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 118516 0 0 0 26681 319 0 0 25 0 1 0 838608202 18264064 2956 4294967295 134512640 134716908 3221224576 3221220804 1075115141 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4459 2956 1111 63 0 4396 0 vsize: 17836 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 119469 0 0 0 27677 322 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 120378 0 0 0 28674 326 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 121238 0 0 0 29670 330 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222536 1074138333 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 122201 0 0 0 30667 334 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 123192 0 0 0 31664 337 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 124125 0 0 0 32661 340 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222496 1075799533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 125091 0 0 0 33658 343 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221223172 1077374107 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+350.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 125964 0 0 0 34655 346 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221223328 134654966 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+360.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 126824 0 0 0 35652 349 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+370.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 127750 0 0 0 36651 351 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+380.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 128631 0 0 0 37647 354 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+390.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 129469 0 0 0 38643 359 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+400.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 130324 0 0 0 39640 362 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+410.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 131179 0 0 0 40637 365 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+420.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 132003 0 0 0 41634 368 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+430.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 132854 0 0 0 42632 370 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+440.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 133678 0 0 0 43630 373 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+450.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 134419 0 0 0 44628 375 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+460.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 135171 0 0 0 45626 377 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+470.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 135987 0 0 0 46623 380 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+480.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 136941 0 0 0 47620 383 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+490.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 137985 0 0 0 48617 386 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+500.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 139040 0 0 0 49615 389 0 0 25 0 1 0 838608202 18403328 2979 4294967295 134512640 134716908 3221224576 3221220668 1075663535 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4493 2979 1111 63 0 4430 0 vsize: 17972 [startup+510.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 140035 0 0 0 50611 393 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221223168 1074154012 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 141037 0 0 0 51607 397 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 141784 0 0 0 52605 399 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+540.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 142486 0 0 0 53603 401 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+550.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 143239 0 0 0 54600 404 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+560.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 143959 0 0 0 55598 406 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222716 1077404721 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+570.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 144700 0 0 0 56596 409 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+580.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 145463 0 0 0 57595 410 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+590.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 146234 0 0 0 58593 413 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+600.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 147061 0 0 0 59590 415 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222756 1077378730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+610.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 147840 0 0 0 60588 417 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+620.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 148671 0 0 0 61586 420 0 0 25 0 1 0 838608202 18264064 2967 4294967295 134512640 134716908 3221224576 3221221620 1074846155 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4459 2967 1111 63 0 4396 0 vsize: 17836 [startup+630.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 149662 0 0 0 62583 423 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222880 1074143905 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 150705 0 0 0 63579 427 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+650.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 151622 0 0 0 64576 431 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222960 1074153753 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+660.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 152632 0 0 0 65573 434 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+670.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 153739 0 0 0 66569 437 0 0 25 0 1 0 838608202 18546688 2988 4294967295 134512640 134716908 3221224576 3221221480 1077410163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4528 2988 1111 63 0 4465 0 vsize: 18112 [startup+680.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 155053 0 0 0 67565 442 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+690.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 156513 0 0 0 68560 447 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+700.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 158096 0 0 0 69556 451 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+710.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 159650 0 0 0 70552 456 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+720.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 160960 0 0 0 71546 461 0 0 25 0 1 0 838608202 18567168 2984 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4533 2985 1111 63 0 4470 0 vsize: 18132 [startup+730.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 162202 0 0 0 72542 466 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+740.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 164049 0 0 0 73538 471 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+750.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 166177 0 0 0 74530 478 0 0 25 0 1 0 838608202 15355904 2973 4294967295 134512640 134716908 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3749 2979 1111 63 0 3686 0 vsize: 14996 [startup+760.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 168850 0 0 0 75522 487 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+770.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 170752 0 0 0 76517 492 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+780.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 171491 0 0 0 77515 493 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+790.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 172286 0 0 0 78513 496 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+800.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 173319 0 0 0 79510 500 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+810.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 174450 0 0 0 80506 503 0 0 25 0 1 0 838608202 18403328 2976 4294967295 134512640 134716908 3221224576 3221221604 1075964227 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4493 2976 1111 63 0 4430 0 vsize: 17972 [startup+820.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 175487 0 0 0 81502 507 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+830.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 176636 0 0 0 82499 511 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+840.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 178040 0 0 0 83495 516 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138158 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+850.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 179466 0 0 0 84490 520 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+860.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 180975 0 0 0 85486 524 0 0 25 0 1 0 838608202 15347712 2952 4294967295 134512640 134716908 3221224576 3221222224 1075817957 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3747 2952 1111 63 0 3684 0 vsize: 14988 [startup+870.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 182666 0 0 0 86481 530 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+880.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 184355 0 0 0 87476 535 0 0 25 0 1 0 838608202 18264064 2961 4294967295 134512640 134716908 3221224576 3221221104 1075890974 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4459 2961 1111 63 0 4396 0 vsize: 17836 [startup+890.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 185491 0 0 0 88472 539 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+900.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 186865 0 0 0 89468 543 0 0 25 0 1 0 838608202 15347712 2947 4294967295 134512640 134716908 3221224576 3221222496 1075799725 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3747 2947 1111 63 0 3684 0 vsize: 14988 [startup+910.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 188394 0 0 0 90463 549 0 0 25 0 1 0 838608202 15056896 2955 4294967295 134512640 134716908 3221224576 3221223136 134549316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3676 2955 1111 63 0 3613 0 vsize: 14704 [startup+920.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 189726 0 0 0 91459 552 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222760 1077377401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+930.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 191576 0 0 0 92454 557 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+940.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 193819 0 0 0 93447 564 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221223228 134675442 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+950.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 196058 0 0 0 94440 572 0 0 25 0 1 0 838608202 15003648 2942 4294967295 134512640 134716908 3221224576 3221222928 1073986885 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3663 2942 1111 63 0 3600 0 vsize: 14652 [startup+960.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 198292 0 0 0 95434 578 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222888 1074138153 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+970.017 s] Raw data (loadavg): 0.99 0.97 0.91 3/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 200377 0 0 0 96428 585 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+980.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 202006 0 0 0 97422 590 0 0 25 0 1 0 838608202 18362368 2987 4294967295 134512640 134716908 3221224576 3221221152 1076048141 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4483 2987 1111 63 0 4420 0 vsize: 17932 [startup+990.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 203038 0 0 0 98419 593 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 204265 0 0 0 99416 597 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 205380 0 0 0 100413 600 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222976 1074153753 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 206471 0 0 0 101410 603 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 208074 0 0 0 102405 608 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 209752 0 0 0 103400 613 0 0 25 0 1 0 838608202 15446016 2976 4294967295 134512640 134716908 3221224576 3221222496 1075799679 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3771 2976 1111 63 0 3708 0 vsize: 15084 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 211510 0 0 0 104395 619 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 213468 0 0 0 105388 626 0 0 25 0 1 0 838608202 18419712 2998 4294967295 134512640 134716908 3221224576 3221221168 1074887946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4497 2998 1111 63 0 4434 0 vsize: 17988 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 215250 0 0 0 106384 631 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 216484 0 0 0 107380 634 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222976 1074153673 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 217220 0 0 0 108377 637 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 217934 0 0 0 109376 639 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 218645 0 0 0 110373 642 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 219370 0 0 0 111371 644 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222976 1074153753 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 220092 0 0 0 112369 647 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 220869 0 0 0 113366 649 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 221622 0 0 0 114364 652 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222976 1074153753 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 222364 0 0 0 115361 655 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222888 1074138158 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 223084 0 0 0 116359 657 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222400 1075823342 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 14748 [startup+1175.23 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 8601 Raw data (stat): 8601 (bsolo_lpr-v2) R 8600 8378 8377 0 -1 0 223084 0 0 0 116359 657 0 0 25 0 1 0 838608202 15101952 2966 4294967295 134512640 134716908 3221224576 3221222400 1075823342 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2966 1111 63 0 3624 0 vsize: 0 Child status: 10 Real time (s): 1175.23 CPU time (s): 1175.37 CPU user time (s): 1168.78 CPU system time (s): 6.594 CPU usage (%): 100.012 Max. virtual memory (Kb): 18132 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 2865 #### END VERIFIER DATA ####