0.00/0.00 c Parsing...
0.00/0.87 c ==============================================================================
0.00/0.87 c | | ORIGINAL | LEARNT | |
0.00/0.87 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.87 c ==============================================================================
0.00/0.87 c | 0 | 866789 5122090 | 260036 0 0 nan | 0.000 % |
61.47/61.60 c | 0 | 459052 2685761 | -- 0 -- -- | -- | -57529/-40169
61.47/61.60 c ==============================================================================
61.47/61.60 c Result : #vars: 1088 #clauses: 459052 #literals: 2685761
61.47/61.60 c CPU time: 61.4117 s
61.47/61.60 c ==============================================================================
62.27/62.39 c This is MiniSat 2.0 beta
62.27/62.39 c WARNING: for repeatability, setting FPU to use double precision
62.27/62.39 c ============================[ Problem Statistics ]=============================
62.27/62.39 c | |
62.27/62.39 c | Number of variables: 1088 |
62.27/62.39 c | Number of clauses: 459052 |
62.66/62.71 c | Parsing time: 0.30 s |
62.66/62.73 c ============================[ Search Statistics ]==============================
62.66/62.73 c | Conflicts | ORIGINAL | LEARNT | Progress |
62.66/62.73 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
62.66/62.73 c ===============================================================================
62.66/62.73 c | 0 | 1088 459052 2685761 | 153017 0 nan | 0.000 % |
62.66/62.76 c | 104 | 1088 459052 2685761 | 153017 104 18 | 0.000 % |
62.66/62.77 c | 204 | 1088 459052 2685761 | 153017 204 14 | 0.000 % |
62.66/62.78 c | 307 | 1088 459052 2685761 | 153017 307 19 | 0.000 % |
62.76/62.80 c | 417 | 1088 459052 2685761 | 153017 417 21 | 0.002 % |
62.76/62.82 c | 518 | 1087 459052 2685761 | 153017 517 20 | 0.092 % |
62.76/62.86 c | 628 | 1083 459052 2685761 | 153017 623 19 | 0.460 % |
62.76/62.89 c | 749 | 1083 459052 2685761 | 153017 744 20 | 0.460 % |
62.85/62.90 c | 849 | 1083 459052 2685761 | 153017 844 20 | 0.460 % |
62.85/62.92 c | 959 | 1082 459052 2685761 | 153017 953 20 | 0.552 % |
62.85/62.94 c | 1080 | 1082 459052 2685761 | 153017 1074 20 | 0.552 % |
62.85/62.97 c | 1215 | 1081 459052 2685761 | 153017 1208 20 | 0.643 % |
62.85/62.99 c | 1316 | 1081 459052 2685761 | 153017 1309 20 | 0.643 % |
62.96/63.01 c | 1429 | 1081 459052 2685761 | 153017 1422 20 | 0.644 % |
62.96/63.04 c | 1551 | 1081 459052 2685761 | 153017 1544 20 | 0.644 % |
62.96/63.06 c | 1684 | 1080 459052 2685761 | 153017 1676 20 | 0.735 % |
62.96/63.09 c | 1831 | 1080 459052 2685761 | 153017 1823 21 | 0.735 % |
63.06/63.11 c | 1933 | 1080 459052 2685761 | 153017 1925 21 | 0.735 % |
63.06/63.12 c | 2043 | 1080 459052 2685761 | 153017 2035 21 | 0.735 % |
63.06/63.15 c | 2165 | 1080 459052 2685761 | 153017 2157 21 | 0.735 % |
63.16/63.23 c | 2298 | 1080 459052 2685761 | 153017 2290 22 | 0.735 % |
63.16/63.26 c | 2444 | 1080 459052 2685761 | 153017 2436 21 | 0.737 % |
63.16/63.29 c | 2604 | 1080 459052 2685761 | 153017 2596 21 | 0.735 % |
63.26/63.31 c | 2704 | 1080 459052 2685761 | 153017 2696 21 | 0.735 % |
63.26/63.35 c | 2814 | 1080 459052 2685761 | 153017 2806 21 | 0.735 % |
63.26/63.39 c | 2937 | 1080 459052 2685761 | 153017 2929 21 | 0.737 % |
63.36/63.42 c | 3070 | 1080 459052 2685761 | 153017 3062 21 | 0.735 % |
63.36/63.45 c | 3216 | 1080 459052 2685761 | 153017 3208 21 | 0.735 % |
63.36/63.48 c | 3376 | 1080 459052 2685761 | 153017 3368 21 | 0.735 % |
63.46/63.58 c | 3552 | 1080 459052 2685761 | 153017 3544 21 | 0.735 % |
63.56/63.61 c | 3652 | 1077 459052 2685761 | 153017 3641 20 | 1.011 % |
63.56/63.63 c | 3762 | 1077 459052 2685761 | 153017 3751 20 | 1.011 % |
63.56/63.68 c | 3883 | 1077 459052 2685761 | 153017 3872 20 | 1.012 % |
63.67/63.72 c | 4021 | 1077 459052 2685761 | 153017 4010 20 | 1.011 % |
63.67/63.74 c | 4168 | 1077 459052 2685761 | 153017 4157 20 | 1.011 % |
63.67/63.79 c | 4328 | 1077 459052 2685761 | 153017 4317 21 | 1.011 % |
63.77/63.83 c | 4506 | 1077 459052 2685761 | 153017 4495 21 | 1.011 % |
63.77/63.88 c | 4702 | 1074 459052 2685761 | 153017 4688 21 | 1.287 % |
63.86/63.92 c | 4802 | 1074 459052 2685761 | 153017 4788 21 | 1.287 % |
63.86/63.95 c | 4916 | 1074 459052 2685761 | 153017 4902 21 | 1.287 % |
63.96/64.00 c | 5039 | 1074 459052 2685761 | 153017 5025 21 | 1.287 % |
63.96/64.06 c | 5173 | 1074 459052 2685761 | 153017 5159 21 | 1.287 % |
64.06/64.12 c | 5321 | 1074 459052 2685761 | 153017 5307 21 | 1.287 % |
64.06/64.15 c | 5481 | 1074 459052 2685761 | 153017 5467 21 | 1.287 % |
64.16/64.20 c | 5658 | 1073 459052 2685761 | 153017 5643 21 | 1.379 % |
64.16/64.23 c | 5851 | 1073 459052 2685761 | 153017 5836 21 | 1.379 % |
64.16/64.29 c | 6064 | 1072 459052 2685761 | 153017 6048 21 | 1.473 % |
64.26/64.31 c | 6164 | 1072 459052 2685761 | 153017 6148 21 | 1.471 % |
64.26/64.33 c | 6275 | 1072 459052 2685761 | 153017 6259 21 | 1.471 % |
64.26/64.35 c | 6396 | 1072 459052 2685761 | 153017 6380 21 | 1.471 % |
64.26/64.38 c | 6534 | 1072 459052 2685761 | 153017 6518 21 | 1.471 % |
64.36/64.44 c | 6680 | 1072 459052 2685761 | 153017 6664 21 | 1.471 % |
64.36/64.48 c | 6843 | 1072 459052 2685761 | 153017 6827 21 | 1.471 % |
64.46/64.54 c | 7019 | 1072 459052 2685761 | 153017 7003 21 | 1.471 % |
64.56/64.60 c | 7212 | 1072 459052 2685761 | 153017 7196 21 | 1.471 % |
64.56/64.65 c | 7424 | 1072 459052 2685761 | 153017 7408 21 | 1.471 % |
64.66/64.73 c | 7659 | 1072 459052 2685761 | 153017 7643 21 | 1.471 % |
64.66/64.74 c | 7759 | 1072 459052 2685761 | 153017 7743 22 | 1.472 % |
64.66/64.76 c | 7871 | 1072 459052 2685761 | 153017 7855 22 | 1.471 % |
64.66/64.78 c | 7993 | 1072 459052 2685761 | 153017 7977 22 | 1.471 % |
64.77/64.80 c | 8126 | 1072 459052 2685761 | 153017 8110 21 | 1.472 % |
64.77/64.86 c | 8272 | 1072 459052 2685761 | 153017 8256 21 | 1.471 % |
64.77/64.89 c | 8432 | 1072 459052 2685761 | 153017 8416 22 | 1.471 % |
64.87/64.91 c | 8608 | 1072 459052 2685761 | 153017 8592 22 | 1.471 % |
64.87/64.99 c | 8801 | 1072 459052 2685761 | 153017 8785 22 | 1.471 % |
64.96/65.01 c | 9014 | 1072 459052 2685761 | 153017 8998 22 | 1.471 % |
65.06/65.11 c | 9247 | 1072 459052 2685761 | 153017 9231 22 | 1.471 % |
65.06/65.18 c | 9503 | 1072 459052 2685761 | 153017 9487 22 | 1.471 % |
65.16/65.20 c | 9604 | 1072 459052 2685761 | 153017 9588 22 | 1.471 % |
65.16/65.23 c | 9716 | 1072 459052 2685761 | 153017 9700 22 | 1.471 % |
65.16/65.28 c | 9839 | 1072 459052 2685761 | 153017 9823 22 | 1.471 % |
65.26/65.31 c | 9972 | 1072 459052 2685761 | 153017 9956 22 | 1.472 % |
65.26/65.36 c | 10119 | 1071 459052 2685761 | 2147483647 10102 22 | 1.563 % |
65.36/65.49 c | 10279 | 1071 459052 2685761 | 2147483647 10262 22 | 1.563 % |
65.46/65.56 c | 10456 | 1071 459052 2685761 | 2147483647 10439 22 | 1.563 % |
65.56/65.64 c | 10649 | 1071 459052 2685761 | 2147483647 10632 22 | 1.563 % |
65.56/65.68 c | 10862 | 1070 459052 2685761 | 2147483647 10844 22 | 1.654 % |
65.66/65.77 c | 11095 | 1069 459052 2685761 | 2147483647 11076 22 | 1.746 % |
65.76/65.82 c | 11351 | 1069 459052 2685761 | 2147483647 11332 22 | 1.746 % |
65.76/65.87 c | 11632 | 1069 459052 2685761 | 2147483647 11613 22 | 1.747 % |
65.86/65.90 c | 11734 | 1069 459052 2685761 | 2147483647 11715 22 | 1.746 % |
65.86/65.94 c | 11844 | 1069 459052 2685761 | 2147483647 11825 22 | 1.747 % |
65.86/65.97 c | 11965 | 1069 459052 2685761 | 2147483647 11946 22 | 1.746 % |
65.96/66.01 c | 12098 | 1068 459052 2685761 | 2147483647 12078 22 | 1.838 % |
65.96/66.04 c | 12244 | 1068 459052 2685761 | 2147483647 12224 22 | 1.838 % |
65.96/66.08 c | 12407 | 1068 459052 2685761 | 2147483647 12387 22 | 1.838 % |
66.06/66.11 c | 12585 | 1068 459052 2685761 | 2147483647 12565 22 | 1.838 % |
66.06/66.16 c | 12779 | 1068 459052 2685761 | 2147483647 12759 22 | 1.838 % |
66.16/66.23 c | 12992 | 1068 459052 2685761 | 2147483647 12972 22 | 1.838 % |
66.26/66.31 c | 13225 | 1068 459052 2685761 | 2147483647 13205 22 | 1.839 % |
66.26/66.34 c | 13481 | 1068 459052 2685761 | 2147483647 13461 22 | 1.838 % |
66.46/66.50 c | 13762 | 1068 459052 2685761 | 2147483647 13742 23 | 1.838 % |
66.46/66.54 c | 14073 | 1068 459052 2685761 | 2147483647 14053 23 | 1.840 % |
66.46/66.56 c | 14173 | 1068 459052 2685761 | 2147483647 14153 23 | 1.838 % |
66.46/66.59 c | 14284 | 1068 459052 2685761 | 2147483647 14264 23 | 1.838 % |
66.56/66.61 c | 14405 | 1068 459052 2685761 | 2147483647 14385 23 | 1.838 % |
66.56/66.65 c | 14538 | 1068 459052 2685761 | 2147483647 14518 23 | 1.838 % |
66.56/66.68 c | 14684 | 1068 459052 2685761 | 2147483647 14664 23 | 1.838 % |
66.66/66.74 c | 14845 | 1067 459052 2685761 | 2147483647 14824 23 | 1.930 % |
66.66/66.77 c | 15021 | 1067 459052 2685761 | 2147483647 15000 23 | 1.930 % |
66.76/66.86 c | 15218 | 1067 459052 2685761 | 2147483647 15197 23 | 1.930 % |
66.86/66.96 c | 15430 | 1067 459052 2685761 | 2147483647 15409 23 | 1.930 % |
66.96/67.02 c | 15663 | 1067 459052 2685761 | 2147483647 15642 23 | 1.932 % |
66.96/67.09 c | 15919 | 1067 459052 2685761 | 2147483647 15898 23 | 1.930 % |
67.06/67.15 c | 16200 | 1067 459052 2685761 | 2147483647 16179 23 | 1.930 % |
67.16/67.21 c | 16509 | 1067 459052 2685761 | 2147483647 16488 23 | 1.930 % |
67.26/67.30 c | 16850 | 1067 459052 2685761 | 2147483647 16829 23 | 1.930 % |
67.26/67.35 c | 16952 | 1067 459052 2685761 | 2147483647 16931 23 | 1.930 % |
67.36/67.45 c | 17062 | 1067 459052 2685761 | 2147483647 17041 23 | 1.930 % |
67.46/67.52 c | 17183 | 1067 459052 2685761 | 2147483647 17162 23 | 1.930 % |
67.46/67.55 c | 17317 | 1067 459052 2685761 | 2147483647 17296 23 | 1.930 % |
67.56/67.62 c | 17463 | 1067 459052 2685761 | 2147483647 17442 23 | 1.931 % |
67.56/67.68 c | 17624 | 1067 459052 2685761 | 2147483647 17603 23 | 1.930 % |
67.66/67.70 c | 17801 | 1067 459052 2685761 | 2147483647 17780 23 | 1.930 % |
67.66/67.76 c | 17994 | 1067 459052 2685761 | 2147483647 17973 23 | 1.930 % |
67.76/67.85 c | 18207 | 1067 459052 2685761 | 2147483647 18186 23 | 1.930 % |
67.76/67.89 c | 18442 | 1067 459052 2685761 | 2147483647 18421 23 | 1.930 % |
67.86/67.99 c | 18698 | 1067 459052 2685761 | 2147483647 18677 23 | 1.930 % |
67.96/68.03 c | 18980 | 1067 459052 2685761 | 2147483647 18959 23 | 1.931 % |
68.06/68.14 c | 19289 | 1067 459052 2685761 | 2147483647 19268 24 | 1.930 % |
68.16/68.25 c | 19628 | 1067 459052 2685761 | 2147483647 19607 24 | 1.932 % |
68.26/68.38 c | 20001 | 1067 459052 2685761 | 2147483647 19980 24 | 1.930 % |
68.36/68.41 c | 20102 | 1067 459052 2685761 | 2147483647 20081 24 | 1.930 % |
68.36/68.44 c | 20212 | 1067 459052 2685761 | 2147483647 20191 24 | 1.930 % |
68.36/68.48 c | 20335 | 1067 459052 2685761 | 2147483647 20314 24 | 1.930 % |
68.46/68.50 c | 20468 | 1067 459052 2685761 | 2147483647 20447 24 | 1.930 % |
68.46/68.55 c | 20615 | 1067 459052 2685761 | 2147483647 20594 24 | 1.931 % |
68.56/68.61 c | 20777 | 1067 459052 2685761 | 2147483647 20756 24 | 1.930 % |
68.56/68.66 c | 20955 | 1067 459052 2685761 | 2147483647 20934 24 | 1.931 % |
68.66/68.70 c | 21148 | 1067 459052 2685761 | 2147483647 21127 24 | 1.931 % |
68.66/68.79 c | 21369 | 1067 459052 2685761 | 2147483647 21348 24 | 1.930 % |
68.75/68.87 c | 21602 | 1067 459052 2685761 | 2147483647 21581 24 | 1.930 % |
68.86/68.92 c | 21858 | 1067 459052 2685761 | 2147483647 21837 24 | 1.932 % |
68.96/69.00 c | 22141 | 1067 459052 2685761 | 2147483647 22120 24 | 1.930 % |
68.96/69.07 c | 22450 | 1067 459052 2685761 | 2147483647 22429 24 | 1.930 % |
69.05/69.17 c | 22789 | 1067 459052 2685761 | 2147483647 22768 24 | 1.931 % |
69.16/69.23 c | 23162 | 1067 459052 2685761 | 2147483647 23141 24 | 1.933 % |
69.35/69.41 c | 23571 | 1067 459052 2685761 | 2147483647 23550 24 | 1.930 % |
69.35/69.44 c | 23672 | 1067 459052 2685761 | 2147483647 23651 24 | 1.930 % |
69.46/69.53 c | 23782 | 1067 459052 2685761 | 2147483647 23761 24 | 1.931 % |
69.46/69.57 c | 23906 | 1067 459052 2685761 | 2147483647 23885 24 | 1.931 % |
69.56/69.61 c | 24041 | 1067 459052 2685761 | 2147483647 24020 24 | 1.931 % |
69.56/69.66 c | 24191 | 1067 459052 2685761 | 2147483647 24170 24 | 1.930 % |
69.66/69.72 c | 24352 | 1067 459052 2685761 | 2147483647 24331 24 | 1.930 % |
69.66/69.79 c | 24529 | 1067 459052 2685761 | 2147483647 24508 24 | 1.930 % |
69.76/69.85 c | 24723 | 1066 459052 2685761 | 2147483647 24701 24 | 2.022 % |
69.86/69.92 c | 24938 | 1066 459052 2685761 | 2147483647 24916 24 | 2.022 % |
69.86/69.99 c | 25174 | 1066 459052 2685761 | 2147483647 25152 24 | 2.022 % |
69.96/70.06 c | 25432 | 1066 459052 2685761 | 2147483647 25410 24 | 2.022 % |
70.06/70.19 c | 25713 | 1066 459052 2685761 | 2147483647 25691 24 | 2.023 % |
70.27/70.30 c | 26022 | 1066 459052 2685761 | 2147483647 26000 24 | 2.022 % |
70.37/70.41 c | 26361 | 1066 459052 2685761 | 2147483647 26339 24 | 2.022 % |
70.56/70.60 c | 26733 | 1066 459052 2685761 | 2147483647 26711 24 | 2.022 % |
70.56/70.70 c | 27142 | 1066 459052 2685761 | 2147483647 27120 24 | 2.022 % |
70.76/70.83 c | 27592 | 1066 459052 2685761 | 2147483647 27570 25 | 2.023 % |
70.76/70.87 c | 27693 | 1064 459052 2685761 | 2147483647 27669 25 | 2.206 % |
70.86/70.92 c | 27803 | 1064 459052 2685761 | 2147483647 27779 25 | 2.206 % |
70.86/70.98 c | 27926 | 1064 459052 2685761 | 2147483647 27902 25 | 2.207 % |
70.96/71.02 c | 28059 | 1064 459052 2685761 | 2147483647 28035 25 | 2.206 % |
70.96/71.07 c | 28207 | 1064 459052 2685761 | 2147483647 28183 25 | 2.206 % |
71.06/71.12 c | 28367 | 1064 459052 2685761 | 2147483647 28343 25 | 2.206 % |
71.06/71.17 c | 28543 | 1064 459052 2685761 | 2147483647 28519 25 | 2.206 % |
71.16/71.28 c | 28736 | 1064 459052 2685761 | 2147483647 28712 25 | 2.206 % |
71.26/71.34 c | 28949 | 1064 459052 2685761 | 2147483647 28925 25 | 2.206 % |
71.37/71.43 c | 29183 | 1064 459052 2685761 | 2147483647 29159 25 | 2.206 % |
71.37/71.49 c | 29439 | 1064 459052 2685761 | 2147483647 29415 25 | 2.206 % |
71.46/71.58 c | 29722 | 1064 459052 2685761 | 2147483647 29698 25 | 2.206 % |
71.66/71.75 c | 30032 | 1064 459052 2685761 | 2147483647 30008 25 | 2.207 % |
71.86/71.90 c | 30379 | 1063 459052 2685761 | 2147483647 30354 25 | 2.298 % |
71.96/72.01 c | 30751 | 1063 459052 2685761 | 2147483647 30726 25 | 2.298 % |
72.06/72.14 c | 31161 | 1063 459052 2685761 | 2147483647 31136 25 | 2.299 % |
72.26/72.36 c | 31611 | 1063 459052 2685761 | 2147483647 31586 25 | 2.299 % |
72.36/72.49 c | 32104 | 1063 459052 2685761 | 2147483647 32079 25 | 2.298 % |
72.46/72.51 c | 32205 | 1063 459052 2685761 | 2147483647 32180 25 | 2.299 % |
72.46/72.56 c | 32316 | 1063 459052 2685761 | 2147483647 32291 25 | 2.298 % |
72.46/72.58 c | 32438 | 1063 459052 2685761 | 2147483647 32413 25 | 2.299 % |
72.46/72.60 c | 32571 | 1063 459052 2685761 | 2147483647 32546 25 | 2.298 % |
72.56/72.68 c | 32719 | 1063 459052 2685761 | 2147483647 32694 25 | 2.298 % |
72.66/72.75 c | 32879 | 1063 459052 2685761 | 2147483647 32854 25 | 2.298 % |
72.66/72.79 c | 33055 | 1063 459052 2685761 | 2147483647 33030 25 | 2.298 % |
72.76/72.84 c | 33248 | 1063 459052 2685761 | 2147483647 33223 25 | 2.298 % |
72.86/72.90 c | 33461 | 1063 459052 2685761 | 2147483647 33436 25 | 2.299 % |
72.86/72.98 c | 33695 | 1063 459052 2685761 | 2147483647 33670 25 | 2.298 % |
72.96/73.07 c | 33952 | 1063 459052 2685761 | 2147483647 33927 25 | 2.298 % |
73.06/73.13 c | 34236 | 1063 459052 2685761 | 2147483647 34211 25 | 2.299 % |
73.16/73.20 c | 34546 | 1063 459052 2685761 | 2147483647 34521 25 | 2.299 % |
73.26/73.36 c | 34890 | 1063 459052 2685761 | 2147483647 34865 25 | 2.298 % |
73.46/73.52 c | 35262 | 1063 459052 2685761 | 2147483647 35237 25 | 2.298 % |
73.56/73.64 c | 35673 | 1063 459052 2685761 | 2147483647 35648 25 | 2.299 % |
73.66/73.76 c | 36122 | 1062 459052 2685761 | 2147483647 36096 25 | 2.390 % |
73.86/73.92 c | 36615 | 1062 459052 2685761 | 2147483647 36589 25 | 2.390 % |
74.06/74.11 c | 37157 | 1062 459052 2685761 | 2147483647 37131 25 | 2.390 % |
74.06/74.18 c | 37257 | 1062 459052 2685761 | 2147483647 37231 25 | 2.391 % |
74.16/74.28 c | 37367 | 1062 459052 2685761 | 2147483647 37341 25 | 2.391 % |
74.26/74.33 c | 37488 | 1062 459052 2685761 | 2147483647 37462 25 | 2.390 % |
74.36/74.41 c | 37622 | 1062 459052 2685761 | 2147483647 37596 25 | 2.390 % |
74.36/74.43 c | 37769 | 1062 459052 2685761 | 2147483647 37743 25 | 2.390 % |
74.36/74.48 c | 37929 | 1062 459052 2685761 | 2147483647 37903 25 | 2.390 % |
74.46/74.54 c | 38106 | 1062 459052 2685761 | 2147483647 38080 25 | 2.390 % |
74.56/74.60 c | 38301 | 1062 459052 2685761 | 2147483647 38275 25 | 2.390 % |
74.56/74.65 c | 38513 | 1062 459052 2685761 | 2147483647 38487 25 | 2.393 % |
74.66/74.73 c | 38747 | 1062 459052 2685761 | 2147483647 38721 25 | 2.390 % |
74.66/74.77 c | 39004 | 1062 459052 2685761 | 2147483647 38978 25 | 2.390 % |
74.76/74.88 c | 39288 | 1062 459052 2685761 | 2147483647 39262 25 | 2.390 % |
74.85/74.96 c | 39597 | 1062 459052 2685761 | 2147483647 39571 25 | 2.390 % |
74.95/75.08 c | 39936 | 1062 459052 2685761 | 2147483647 39910 25 | 2.390 % |
75.15/75.23 c | 40309 | 1062 459052 2685761 | 2147483647 40283 25 | 2.390 % |
75.25/75.39 c | 40718 | 1062 459052 2685761 | 2147483647 40692 25 | 2.390 % |
75.65/75.70 c | 41167 | 1062 459052 2685761 | 2147483647 41141 25 | 2.390 % |
75.86/75.90 c | 41664 | 1062 459052 2685761 | 2147483647 41638 25 | 2.390 % |
75.95/76.02 c | 42209 | 1062 459052 2685761 | 2147483647 42183 25 | 2.390 % |
76.05/76.17 c | 42805 | 1062 459052 2685761 | 2147483647 42779 25 | 2.391 % |
76.05/76.19 c | 42908 | 1062 459052 2685761 | 2147483647 42882 25 | 2.390 % |
76.15/76.25 c | 43019 | 1062 459052 2685761 | 2147483647 42993 25 | 2.390 % |
76.15/76.29 c | 43140 | 1062 459052 2685761 | 2147483647 43114 25 | 2.390 % |
76.25/76.34 c | 43273 | 1062 459052 2685761 | 2147483647 43247 25 | 2.390 % |
76.25/76.39 c | 43420 | 1062 459052 2685761 | 2147483647 43394 25 | 2.390 % |
76.35/76.44 c | 43583 | 1062 459052 2685761 | 2147483647 43557 25 | 2.391 % |
76.35/76.48 c | 43759 | 1062 459052 2685761 | 2147483647 43733 25 | 2.390 % |
76.45/76.53 c | 43952 | 1062 459052 2685761 | 2147483647 43926 25 | 2.390 % |
76.45/76.58 c | 44164 | 1062 459052 2685761 | 2147483647 44138 25 | 2.390 % |
76.65/76.71 c | 44398 | 1062 459052 2685761 | 2147483647 44372 25 | 2.390 % |
76.75/76.82 c | 44654 | 1061 459052 2685761 | 2147483647 44627 25 | 2.482 % |
76.75/76.90 c | 44935 | 1061 459052 2685761 | 2147483647 44908 25 | 2.482 % |
76.86/76.99 c | 45244 | 1061 459052 2685761 | 2147483647 45217 25 | 2.483 % |
76.96/77.06 c | 45583 | 1061 459052 2685761 | 2147483647 45556 25 | 2.482 % |
77.15/77.21 c | 45955 | 1061 459052 2685761 | 2147483647 45928 26 | 2.482 % |
77.15/77.27 c | 46365 | 1061 459052 2685761 | 2147483647 46338 25 | 2.482 % |
77.25/77.36 c | 46814 | 1061 459052 2685761 | 2147483647 46787 26 | 2.482 % |
77.45/77.53 c | 47309 | 1061 459052 2685761 | 2147483647 47282 26 | 2.483 % |
77.65/77.73 c | 47853 | 1061 459052 2685761 | 2147483647 47826 26 | 2.482 % |
77.75/77.82 c | 48449 | 1061 459052 2685761 | 2147483647 48422 26 | 2.483 % |
77.96/78.00 c | 49104 | 1061 459052 2685761 | 2147483647 49077 26 | 2.482 % |
77.96/78.03 c | 49204 | 1061 459052 2685761 | 2147483647 49177 26 | 2.483 % |
77.96/78.07 c | 49317 | 1061 459052 2685761 | 2147483647 49290 26 | 2.482 % |
78.06/78.13 c | 49438 | 1061 459052 2685761 | 2147483647 49411 26 | 2.483 % |
78.06/78.18 c | 49574 | 1061 459052 2685761 | 2147483647 49547 26 | 2.483 % |
78.15/78.22 c | 49722 | 1061 459052 2685761 | 2147483647 49695 26 | 2.482 % |
78.15/78.26 c | 49883 | 1061 459052 2685761 | 2147483647 49856 26 | 2.482 % |
78.25/78.30 c | 50060 | 1061 459052 2685761 | 2147483647 50033 26 | 2.482 % |
78.25/78.36 c | 50255 | 1061 459052 2685761 | 2147483647 50228 26 | 2.482 % |
78.35/78.43 c | 50467 | 1061 459052 2685761 | 2147483647 50440 26 | 2.482 % |
78.45/78.52 c | 50700 | 1061 459052 2685761 | 2147483647 50673 26 | 2.482 % |
78.45/78.58 c | 50958 | 1061 459052 2685761 | 2147483647 50931 26 | 2.482 % |
78.65/78.72 c | 51240 | 1061 459052 2685761 | 2147483647 51213 26 | 2.482 % |
78.75/78.81 c | 51550 | 1061 459052 2685761 | 2147483647 51523 26 | 2.483 % |
78.85/78.96 c | 51890 | 1061 459052 2685761 | 2147483647 51863 26 | 2.482 % |
78.95/79.09 c | 52262 | 1061 459052 2685761 | 2147483647 52235 26 | 2.482 % |
79.06/79.20 c | 52673 | 1061 459052 2685761 | 2147483647 52646 26 | 2.483 % |
79.25/79.35 c | 53122 | 1061 459052 2685761 | 2147483647 53095 26 | 2.482 % |
79.45/79.55 c | 53615 | 1061 459052 2685761 | 2147483647 53588 26 | 2.482 % |
79.55/79.69 c | 54160 | 1061 459052 2685761 | 2147483647 54133 26 | 2.482 % |
79.85/79.92 c | 54759 | 1061 459052 2685761 | 2147483647 54732 26 | 2.482 % |
80.05/80.14 c | 55414 | 1061 459052 2685761 | 2147483647 55387 26 | 2.482 % |
80.35/80.40 c | 56134 | 1061 459052 2685761 | 2147483647 56107 26 | 2.482 % |
80.35/80.44 c | 56234 | 1061 459052 2685761 | 2147483647 56207 26 | 2.483 % |
80.35/80.49 c | 56348 | 1061 459052 2685761 | 2147483647 56321 26 | 2.482 % |
80.45/80.51 c | 56469 | 1061 459052 2685761 | 2147483647 56442 26 | 2.482 % |
80.45/80.55 c | 56603 | 1061 459052 2685761 | 2147483647 56576 26 | 2.482 % |
80.55/80.60 c | 56753 | 1061 459052 2685761 | 2147483647 56726 26 | 2.482 % |
80.55/80.65 c | 56913 | 1061 459052 2685761 | 2147483647 56886 26 | 2.482 % |
80.65/80.73 c | 57089 | 1061 459052 2685761 | 2147483647 57062 26 | 2.483 % |
80.75/80.81 c | 57282 | 1061 459052 2685761 | 2147483647 57255 26 | 2.482 % |
80.75/80.88 c | 57496 | 1061 459052 2685761 | 2147483647 57469 26 | 2.482 % |
80.85/80.98 c | 57732 | 1061 459052 2685761 | 2147483647 57705 26 | 2.482 % |
80.96/81.05 c | 57990 | 1061 459052 2685761 | 2147483647 57963 26 | 2.482 % |
81.06/81.18 c | 58276 | 1061 459052 2685761 | 2147483647 58249 26 | 2.482 % |
81.16/81.30 c | 58588 | 1061 459052 2685761 | 2147483647 58561 26 | 2.482 % |
81.26/81.38 c | 58927 | 1061 459052 2685761 | 2147483647 58900 26 | 2.482 % |
81.36/81.49 c | 59299 | 1061 459052 2685761 | 2147483647 59272 27 | 2.482 % |
81.56/81.60 c | 59708 | 1061 459052 2685761 | 2147483647 59681 27 | 2.482 % |
81.76/81.88 c | 60157 | 1061 459052 2685761 | 2147483647 60130 26 | 2.482 % |
82.16/82.21 c | 60650 | 1061 459052 2685761 | 2147483647 60623 27 | 2.482 % |
82.26/82.36 c | 61192 | 1061 459052 2685761 | 2147483647 61165 26 | 2.482 % |
82.56/82.61 c | 61790 | 1061 459052 2685761 | 2147483647 61763 27 | 2.482 % |
82.86/82.94 c | 62445 | 1061 459052 2685761 | 2147483647 62418 27 | 2.482 % |
83.16/83.23 c | 63165 | 1061 459052 2685761 | 2147483647 63138 27 | 2.482 % |
83.56/83.62 c | 63957 | 1061 459052 2685761 | 2147483647 63930 27 | 2.482 % |
83.56/83.68 c | 64057 | 1061 459052 2685761 | 2147483647 64030 27 | 2.482 % |
83.66/83.73 c | 64167 | 1061 459052 2685761 | 2147483647 64140 27 | 2.482 % |
83.66/83.79 c | 64288 | 1061 459052 2685761 | 2147483647 64261 27 | 2.482 % |
83.76/83.82 c | 64422 | 1061 459052 2685761 | 2147483647 64395 27 | 2.482 % |
83.86/83.91 c | 64568 | 1061 459052 2685761 | 2147483647 64541 27 | 2.482 % |
83.96/84.02 c | 64728 | 1061 459052 2685761 | 2147483647 64701 27 | 2.482 % |
83.96/84.08 c | 64904 | 1061 459052 2685761 | 2147483647 64877 27 | 2.485 % |
84.16/84.25 c | 65098 | 1061 459052 2685761 | 2147483647 65071 27 | 2.482 % |
84.26/84.39 c | 65311 | 1061 459052 2685761 | 2147483647 65284 27 | 2.482 % |
84.36/84.47 c | 65546 | 1061 459052 2685761 | 2147483647 65519 27 | 2.482 % |
84.45/84.55 c | 65802 | 1061 459052 2685761 | 2147483647 65775 27 | 2.482 % |
84.66/84.71 c | 66083 | 1061 459052 2685761 | 2147483647 66056 27 | 2.483 % |
84.75/84.82 c | 66392 | 1061 459052 2685761 | 2147483647 66365 27 | 2.482 % |
84.85/84.96 c | 66731 | 1061 459052 2685761 | 2147483647 66704 27 | 2.482 % |
85.05/85.11 c | 67107 | 1061 459052 2685761 | 2147483647 67080 27 | 2.482 % |
85.15/85.25 c | 67517 | 1061 459052 2685761 | 2147483647 67490 27 | 2.482 % |
85.45/85.53 c | 67966 | 1061 459052 2685761 | 2147483647 67939 27 | 2.482 % |
85.66/85.74 c | 68459 | 1061 459052 2685761 | 2147483647 68432 27 | 2.483 % |
85.95/86.06 c | 69003 | 1061 459052 2685761 | 2147483647 68976 27 | 2.482 % |
86.25/86.35 c | 69599 | 1060 459052 2685761 | 2147483647 69571 27 | 2.574 % |
86.45/86.56 c | 70254 | 1060 459052 2685761 | 2147483647 70226 27 | 2.574 % |
86.86/86.97 c | 70974 | 1060 459052 2685761 | 2147483647 70946 27 | 2.575 % |
87.25/87.32 c | 71766 | 1060 459052 2685761 | 2147483647 71738 27 | 2.575 % |
87.55/87.69 c | 72637 | 1060 459052 2685761 | 2147483647 72609 27 | 2.575 % |
87.65/87.74 c | 72737 | 1060 459052 2685761 | 2147483647 72709 27 | 2.574 % |
87.75/87.80 c | 72847 | 1060 459052 2685761 | 2147483647 72819 27 | 2.574 % |
87.75/87.87 c | 72968 | 1060 459052 2685761 | 2147483647 72940 27 | 2.574 % |
87.86/87.95 c | 73103 | 1060 459052 2685761 | 2147483647 73075 27 | 2.575 % |
87.96/88.03 c | 73250 | 1060 459052 2685761 | 2147483647 73222 27 | 2.575 % |
87.96/88.09 c | 73410 | 1060 459052 2685761 | 2147483647 73382 27 | 2.574 % |
88.05/88.17 c | 73587 | 1060 459052 2685761 | 2147483647 73559 27 | 2.574 % |
88.15/88.28 c | 73781 | 1060 459052 2685761 | 2147483647 73753 27 | 2.574 % |
88.25/88.34 c | 73993 | 1060 459052 2685761 | 2147483647 73965 27 | 2.574 % |
88.35/88.49 c | 74226 | 1060 459052 2685761 | 2147483647 74198 27 | 2.574 % |
88.45/88.56 c | 74486 | 1060 459052 2685761 | 2147483647 74458 27 | 2.574 % |
88.65/88.70 c | 74767 | 1060 459052 2685761 | 2147483647 74739 27 | 2.574 % |
88.75/88.82 c | 75077 | 1060 459052 2685761 | 2147483647 75049 27 | 2.574 % |
88.85/88.96 c | 75416 | 1060 459052 2685761 | 2147483647 75388 27 | 2.574 % |
89.05/89.14 c | 75790 | 1060 459052 2685761 | 2147483647 75762 27 | 2.575 % |
89.25/89.35 c | 76200 | 1060 459052 2685761 | 2147483647 76172 27 | 2.574 % |
89.35/89.49 c | 76649 | 1060 459052 2685761 | 2147483647 76621 27 | 2.574 % |
89.55/89.66 c | 77143 | 1060 459052 2685761 | 2147483647 77115 27 | 2.574 % |
89.85/89.92 c | 77685 | 1060 459052 2685761 | 2147483647 77657 27 | 2.574 % |
89.95/90.10 c | 78282 | 1060 459052 2685761 | 2147483647 78254 27 | 2.574 % |
90.15/90.29 c | 78937 | 1060 459052 2685761 | 2147483647 78909 27 | 2.574 % |
90.45/90.58 c | 79657 | 1060 459052 2685761 | 2147483647 79629 28 | 2.574 % |
90.75/90.86 c | 80450 | 1060 459052 2685761 | 2147483647 80422 28 | 2.575 % |
91.15/91.21 c | 81322 | 1060 459052 2685761 | 2147483647 81294 28 | 2.574 % |
91.64/91.79 c | 82283 | 1060 459052 2685761 | 2147483647 82255 28 | 2.574 % |
91.74/91.88 c | 82385 | 1060 459052 2685761 | 2147483647 82357 28 | 2.574 % |
91.84/91.99 c | 82499 | 1060 459052 2685761 | 2147483647 82471 28 | 2.574 % |
91.94/92.05 c | 82621 | 1060 459052 2685761 | 2147483647 82593 28 | 2.574 % |
92.04/92.11 c | 82754 | 1060 459052 2685761 | 2147483647 82726 28 | 2.574 % |
92.04/92.19 c | 82901 | 1060 459052 2685761 | 2147483647 82873 28 | 2.574 % |
92.14/92.26 c | 83061 | 1060 459052 2685761 | 2147483647 83033 28 | 2.575 % |
92.25/92.36 c | 83237 | 1060 459052 2685761 | 2147483647 83209 28 | 2.574 % |
92.35/92.46 c | 83431 | 1060 459052 2685761 | 2147483647 83403 28 | 2.574 % |
92.44/92.53 c | 83645 | 1060 459052 2685761 | 2147483647 83617 28 | 2.574 % |
92.54/92.68 c | 83878 | 1060 459052 2685761 | 2147483647 83850 28 | 2.574 % |
92.64/92.78 c | 84134 | 1060 459052 2685761 | 2147483647 84106 28 | 2.576 % |
92.84/92.98 c | 84415 | 1060 459052 2685761 | 2147483647 84387 28 | 2.574 % |
92.94/93.08 c | 84724 | 1060 459052 2685761 | 2147483647 84696 28 | 2.574 % |
93.14/93.28 c | 85064 | 1060 459052 2685761 | 2147483647 85036 28 | 2.575 % |
93.35/93.43 c | 85436 | 1060 459052 2685761 | 2147483647 85408 28 | 2.574 % |
94.04/94.13 c | 85846 | 1060 427048 2501665 | 2147483647 85798 28 | 2.574 % |
94.34/94.40 c | 86295 | 1060 427048 2501665 | 2147483647 86247 28 | 2.575 % |
94.64/94.79 c | 86788 | 1060 427048 2501665 | 2147483647 86740 28 | 2.574 % |
94.74/94.90 c | 87330 | 1060 427048 2501665 | 2147483647 87282 28 | 2.577 % |
95.14/95.25 c | 87926 | 1060 427048 2501665 | 2147483647 87878 28 | 2.574 % |
95.34/95.46 c | 88583 | 1060 427048 2501665 | 2147483647 88535 28 | 2.574 % |
95.65/95.70 c | 89303 | 1060 427048 2501665 | 2147483647 89255 28 | 2.574 % |
95.94/96.02 c | 90095 | 1060 427048 2501665 | 2147483647 90047 28 | 2.574 % |
96.34/96.40 c | 90967 | 1059 427048 2501665 | 2147483647 90918 28 | 2.666 % |
96.84/96.95 c | 91927 | 1059 427048 2501665 | 2147483647 91878 28 | 2.666 % |
97.64/97.74 c | 92985 | 1059 427048 2501665 | 2147483647 92936 28 | 2.666 % |
97.74/97.84 c | 93085 | 1059 427048 2501665 | 2147483647 93036 28 | 2.666 % |
97.74/97.89 c | 93197 | 1059 427048 2501665 | 2147483647 93148 28 | 2.666 % |
97.84/97.95 c | 93318 | 1059 427048 2501665 | 2147483647 93269 28 | 2.666 % |
97.94/98.02 c | 93453 | 1059 427048 2501665 | 2147483647 93404 28 | 2.666 % |
98.04/98.12 c | 93600 | 1059 427048 2501665 | 2147483647 93551 28 | 2.666 % |
98.14/98.21 c | 93760 | 1059 427048 2501665 | 2147483647 93711 28 | 2.667 % |
98.24/98.33 c | 93937 | 1059 427048 2501665 | 2147483647 93888 28 | 2.666 % |
98.34/98.46 c | 94131 | 1059 427048 2501665 | 2147483647 94082 28 | 2.668 % |
98.55/98.62 c | 94344 | 1059 427048 2501665 | 2147483647 94295 28 | 2.666 % |
98.65/98.76 c | 94577 | 1059 427048 2501665 | 2147483647 94528 28 | 2.666 % |
98.75/98.85 c | 94833 | 1059 427048 2501665 | 2147483647 94784 28 | 2.666 % |
98.95/99.05 c | 95118 | 1059 427048 2501665 | 2147483647 95069 28 | 2.666 % |
99.05/99.16 c | 95427 | 1059 427048 2501665 | 2147483647 95378 28 | 2.668 % |
99.25/99.34 c | 95767 | 1059 427048 2501665 | 2147483647 95718 28 | 2.666 % |
99.45/99.57 c | 96141 | 1059 427048 2501665 | 2147483647 96092 28 | 2.666 % |
99.65/99.70 c | 96551 | 1059 427048 2501665 | 2147483647 96502 28 | 2.666 % |
99.85/99.99 c | 97003 | 1059 427048 2501665 | 2147483647 96954 28 | 2.666 % |
100.15/100.26 c | 97496 | 1059 427048 2501665 | 2147483647 97447 28 | 2.668 % |
100.65/100.76 c | 98039 | 1058 427048 2501665 | 2147483647 97989 28 | 2.758 % |
101.05/101.16 c | 98636 | 1058 427048 2501665 | 2147483647 98586 28 | 2.757 % |
101.55/101.66 c | 99291 | 1058 427048 2501665 | 2147483647 99241 28 | 2.757 % |
101.85/101.96 c | 100012 | 1058 427048 2501665 | 2147483647 99962 28 | 2.758 % |
102.25/102.39 c | 100805 | 1058 427048 2501665 | 2147483647 100755 28 | 2.758 % |
102.64/102.71 c | 101676 | 1058 427048 2501665 | 2147483647 101626 28 | 2.758 % |
103.04/103.18 c | 102634 | 1058 427048 2501665 | 2147483647 102584 29 | 2.757 % |
103.65/103.70 c | 103692 | 1058 427048 2501665 | 2147483647 103642 29 | 2.757 % |
104.14/104.21 c | 104850 | 1058 427048 2501665 | 2147483647 104800 29 | 2.757 % |
104.14/104.27 c | 104950 | 1058 427048 2501665 | 2147483647 104900 29 | 2.757 % |
104.24/104.31 c | 105061 | 1058 427048 2501665 | 2147483647 105011 29 | 2.757 % |
104.24/104.38 c | 105184 | 1058 427048 2501665 | 2147483647 105134 29 | 2.758 % |
104.35/104.44 c | 105318 | 1058 427048 2501665 | 2147483647 105268 29 | 2.758 % |
104.35/104.49 c | 105465 | 1058 427048 2501665 | 2147483647 105415 29 | 2.757 % |
104.45/104.57 c | 105626 | 1058 427048 2501665 | 2147483647 105576 29 | 2.758 % |
104.54/104.64 c | 105804 | 1058 427048 2501665 | 2147483647 105754 29 | 2.757 % |
104.64/104.73 c | 105997 | 1058 427048 2501665 | 2147483647 105947 29 | 2.758 % |
104.64/104.80 c | 106209 | 1058 427048 2501665 | 2147483647 106159 29 | 2.757 % |
104.74/104.87 c | 106443 | 1058 427048 2501665 | 2147483647 106393 29 | 2.758 % |
104.84/104.96 c | 106699 | 1058 427048 2501665 | 2147483647 106649 29 | 2.758 % |
104.94/105.07 c | 106980 | 1058 427048 2501665 | 2147483647 106930 29 | 2.758 % |
105.14/105.30 c | 107291 | 1058 427048 2501665 | 2147483647 107241 29 | 2.757 % |
105.54/105.62 c | 107630 | 1058 427048 2501665 | 2147483647 107580 29 | 2.760 % |
105.94/106.06 c | 108002 | 1058 427048 2501665 | 2147483647 107952 29 | 2.763 % |
106.24/106.34 c | 108411 | 1058 427048 2501665 | 2147483647 108361 29 | 2.758 % |
106.44/106.57 c | 108862 | 1058 427048 2501665 | 2147483647 108812 29 | 2.758 % |
106.74/106.90 c | 109355 | 1058 427048 2501665 | 2147483647 109305 29 | 2.759 % |
107.34/107.44 c | 109897 | 1058 427048 2501665 | 2147483647 109847 29 | 2.758 % |
108.04/108.20 c | 110494 | 1058 427048 2501665 | 2147483647 110444 29 | 2.758 % |
108.94/109.05 c | 111152 | 1058 427048 2501665 | 2147483647 111102 29 | 2.759 % |
109.54/109.68 c | 111872 | 1058 427048 2501665 | 2147483647 111822 29 | 2.758 % |
109.94/110.04 c | 112664 | 1058 427048 2501665 | 2147483647 112614 29 | 2.757 % |
110.43/110.52 c | 113536 | 1058 427048 2501665 | 2147483647 113486 29 | 2.763 % |
111.04/111.16 c | 114494 | 1058 427048 2501665 | 2147483647 114444 29 | 2.758 % |
111.93/112.09 c | 115547 | 1058 427048 2501665 | 2147483647 115497 29 | 2.757 % |
112.73/112.87 c | 116706 | 1058 427048 2501665 | 2147483647 116656 29 | 2.757 % |
113.63/113.71 c | 117979 | 1058 427048 2501665 | 2147483647 117929 29 | 2.759 % |
113.63/113.76 c | 118079 | 1058 427048 2501665 | 2147483647 118029 29 | 2.759 % |
113.73/113.83 c | 118189 | 1058 427048 2501665 | 2147483647 118139 29 | 2.757 % |
113.83/113.93 c | 118310 | 1058 427048 2501665 | 2147483647 118260 29 | 2.757 % |
113.93/114.02 c | 118445 | 1058 427048 2501665 | 2147483647 118395 29 | 2.757 % |
113.93/114.09 c | 118591 | 1058 427048 2501665 | 2147483647 118541 29 | 2.758 % |
114.13/114.24 c | 118751 | 1058 427048 2501665 | 2147483647 118701 29 | 2.758 % |
114.24/114.36 c | 118927 | 1058 427048 2501665 | 2147483647 118877 29 | 2.757 % |
114.34/114.46 c | 119122 | 1058 427048 2501665 | 2147483647 119072 29 | 2.759 % |
114.43/114.59 c | 119335 | 1058 427048 2501665 | 2147483647 119285 29 | 2.758 % |
114.73/114.81 c | 119568 | 1058 427048 2501665 | 2147483647 119518 29 | 2.758 % |
114.83/114.94 c | 119825 | 1058 427048 2501665 | 2147483647 119775 29 | 2.757 % |
114.93/115.01 c | 120107 | 1058 427048 2501665 | 2147483647 120057 29 | 2.758 % |
114.93/115.09 c | 120416 | 1058 427048 2501665 | 2147483647 120366 29 | 2.758 % |
115.13/115.28 c | 120756 | 1058 427048 2501665 | 2147483647 120706 29 | 2.759 % |
115.23/115.39 c | 121132 | 1058 427048 2501665 | 2147483647 121082 29 | 2.757 % |
115.53/115.60 c | 121544 | 1058 427048 2501665 | 2147483647 121494 29 | 2.757 % |
115.63/115.79 c | 121996 | 1058 427048 2501665 | 2147483647 121946 29 | 2.758 % |
115.94/116.08 c | 122493 | 1058 427048 2501665 | 2147483647 122443 29 | 2.757 % |
116.24/116.34 c | 123039 | 1058 427048 2501665 | 2147483647 122989 29 | 2.757 % |
116.64/116.75 c | 123635 | 1058 427048 2501665 | 2147483647 123585 29 | 2.758 % |
117.14/117.24 c | 124291 | 1058 427048 2501665 | 2147483647 124241 29 | 2.757 % |
117.54/117.65 c | 125012 | 1058 427048 2501665 | 2147483647 124962 29 | 2.757 % |
117.84/117.93 c | 125804 | 1058 427048 2501665 | 2147483647 125754 29 | 2.758 % |
118.34/118.44 c | 126676 | 1058 427048 2501665 | 2147483647 126626 29 | 2.758 % |
119.14/119.26 c | 127638 | 1058 427048 2501665 | 2147483647 127588 29 | 2.759 % |
119.94/120.04 c | 128691 | 1058 427048 2501665 | 2147483647 128641 29 | 2.757 % |
120.54/120.68 c | 129850 | 1058 427048 2501665 | 2147483647 129800 29 | 2.757 % |
121.63/121.74 c | 131123 | 1058 427048 2501665 | 2147483647 131073 29 | 2.757 % |
122.33/122.48 c | 132523 | 1058 427048 2501665 | 2147483647 132473 29 | 2.759 % |
122.43/122.52 c | 132623 | 1058 427048 2501665 | 2147483647 132573 29 | 2.758 % |
122.43/122.56 c | 132735 | 1058 427048 2501665 | 2147483647 132685 29 | 2.758 % |
122.53/122.62 c | 132858 | 1058 427048 2501665 | 2147483647 132808 29 | 2.758 % |
122.63/122.73 c | 132991 | 1058 427048 2501665 | 2147483647 132941 29 | 2.758 % |
122.73/122.80 c | 133140 | 1058 427048 2501665 | 2147483647 133090 29 | 2.758 % |
122.83/122.91 c | 133301 | 1058 427048 2501665 | 2147483647 133251 29 | 2.758 % |
122.93/123.04 c | 133477 | 1058 427048 2501665 | 2147483647 133427 29 | 2.759 % |
123.04/123.13 c | 133672 | 1058 427048 2501665 | 2147483647 133622 29 | 2.757 % |
123.23/123.30 c | 133886 | 1058 427048 2501665 | 2147483647 133836 29 | 2.757 % |
123.43/123.53 c | 134121 | 1058 427048 2501665 | 2147483647 134071 29 | 2.758 % |
123.63/123.73 c | 134379 | 1058 427048 2501665 | 2147483647 134329 29 | 2.758 % |
123.93/124.06 c | 134660 | 1058 427048 2501665 | 2147483647 134610 29 | 2.758 % |
124.33/124.49 c | 134970 | 1058 427048 2501665 | 2147483647 134920 29 | 2.758 % |
124.73/124.82 c | 135309 | 1058 427048 2501665 | 2147483647 135259 29 | 2.759 % |
125.03/125.16 c | 135681 | 1058 427048 2501665 | 2147483647 135631 29 | 2.758 % |
125.53/125.67 c | 136090 | 1058 427048 2501665 | 2147483647 136040 29 | 2.758 % |
125.83/125.98 c | 136544 | 1058 427048 2501665 | 2147483647 136494 29 | 2.757 % |
126.13/126.29 c | 137038 | 1058 427048 2501665 | 2147483647 136988 29 | 2.757 % |
126.53/126.61 c | 137582 | 1058 427048 2501665 | 2147483647 137532 29 | 2.757 % |
126.83/126.95 c | 138178 | 1058 427048 2501665 | 2147483647 138128 29 | 2.757 % |
127.23/127.39 c | 138834 | 1058 427048 2501665 | 2147483647 138784 30 | 2.757 % |
127.63/127.76 c | 139555 | 1058 427048 2501665 | 2147483647 139505 30 | 2.758 % |
128.03/128.15 c | 140347 | 1058 427048 2501665 | 2147483647 140297 30 | 2.757 % |
128.53/128.67 c | 141219 | 1058 427048 2501665 | 2147483647 141169 30 | 2.757 % |
129.13/129.29 c | 142177 | 1058 427048 2501665 | 2147483647 142127 30 | 2.757 % |
129.83/129.98 c | 143231 | 1058 427048 2501665 | 2147483647 143181 30 | 2.757 % |
130.93/131.04 c | 144389 | 1058 427048 2501665 | 2147483647 144339 30 | 2.759 % |
131.53/131.62 c | 145662 | 1058 427048 2501665 | 2147483647 145612 30 | 2.758 % |
132.23/132.36 c | 147062 | 1058 427048 2501665 | 2147483647 147012 30 | 2.757 % |
133.03/133.16 c | 148602 | 1058 427048 2501665 | 2147483647 148552 30 | 2.759 % |
133.13/133.22 c | 148702 | 1057 427048 2501665 | 2147483647 148651 30 | 2.849 % |
133.13/133.28 c | 148815 | 1057 427048 2501665 | 2147483647 148764 30 | 2.851 % |
133.22/133.35 c | 148940 | 1057 427048 2501665 | 2147483647 148889 30 | 2.849 % |
133.32/133.41 c | 149073 | 1057 427048 2501665 | 2147483647 149022 30 | 2.849 % |
133.32/133.45 c | 149220 | 1057 427048 2501665 | 2147483647 149169 30 | 2.852 % |
133.42/133.52 c | 149380 | 1057 427048 2501665 | 2147483647 149329 30 | 2.849 % |
133.52/133.64 c | 149556 | 1057 427048 2501665 | 2147483647 149505 30 | 2.849 % |
133.62/133.75 c | 149750 | 1057 427048 2501665 | 2147483647 149699 30 | 2.850 % |
133.82/133.93 c | 149962 | 1057 427048 2501665 | 2147483647 149911 30 | 2.850 % |
133.92/134.03 c | 150196 | 1057 427048 2501665 | 2147483647 150145 30 | 2.849 % |
134.13/134.24 c | 150452 | 1057 427048 2501665 | 2147483647 150401 30 | 2.849 % |
134.22/134.37 c | 150733 | 1057 427048 2501665 | 2147483647 150682 30 | 2.851 % |
134.42/134.56 c | 151050 | 1057 427048 2501665 | 2147483647 150999 30 | 2.849 % |
134.52/134.66 c | 151389 | 1057 427048 2501665 | 2147483647 151338 30 | 2.849 % |
134.62/134.77 c | 151762 | 1057 427048 2501665 | 2147483647 151711 30 | 2.850 % |
134.92/135.01 c | 152172 | 1057 427048 2501665 | 2147483647 152121 30 | 2.849 % |
135.02/135.17 c | 152621 | 1057 427048 2501665 | 2147483647 152570 30 | 2.849 % |
135.32/135.47 c | 153117 | 1057 427048 2501665 | 2147483647 153066 30 | 2.849 % |
135.62/135.75 c | 153660 | 1057 427048 2501665 | 2147483647 153609 30 | 2.849 % |
136.03/136.19 c | 154256 | 1057 427048 2501665 | 2147483647 154205 30 | 2.849 % |
136.53/136.67 c | 154911 | 1057 427048 2501665 | 2147483647 154860 30 | 2.852 % |
137.33/137.45 c | 155631 | 1057 427048 2501665 | 2147483647 155580 30 | 2.849 % |
138.13/138.25 c | 156424 | 1057 427048 2501665 | 2147483647 156373 30 | 2.849 % |
139.23/139.33 c | 157300 | 1057 427048 2501665 | 2147483647 157249 30 | 2.849 % |
139.92/140.02 c | 158260 | 1057 427048 2501665 | 2147483647 158209 30 | 2.850 % |
140.73/140.86 c | 159314 | 1057 427048 2501665 | 2147483647 159263 30 | 2.850 % |
141.32/141.46 c | 160475 | 1057 427048 2501665 | 2147483647 160424 30 | 2.849 % |
142.22/142.39 c | 161750 | 1057 427048 2501665 | 2147483647 161699 30 | 2.849 % |
143.72/143.85 c | 163151 | 1057 427048 2501665 | 2147483647 163100 30 | 2.849 % |
145.42/145.59 c | 164691 | 1057 427048 2501665 | 2147483647 164640 30 | 2.851 % |
148.22/148.35 c | 166386 | 1057 427048 2501665 | 2147483647 166335 30 | 2.850 % |
148.32/148.46 c | 166486 | 1057 427048 2501665 | 2147483647 166435 30 | 2.851 % |
148.52/148.66 c | 166596 | 1057 427048 2501665 | 2147483647 166545 30 | 2.850 % |
148.62/148.77 c | 166717 | 1057 427048 2501665 | 2147483647 166666 30 | 2.849 % |
148.72/148.84 c | 166850 | 1057 427048 2501665 | 2147483647 166799 30 | 2.849 % |
148.82/148.96 c | 166997 | 1057 427048 2501665 | 2147483647 166946 30 | 2.849 % |
149.02/149.10 c | 167158 | 1057 427048 2501665 | 2147483647 167107 30 | 2.850 % |
149.12/149.26 c | 167336 | 1057 427048 2501665 | 2147483647 167285 30 | 2.849 % |
149.22/149.35 c | 167531 | 1057 427048 2501665 | 2147483647 167480 30 | 2.851 % |
149.42/149.51 c | 167743 | 1057 427048 2501665 | 2147483647 167692 30 | 2.850 % |
149.52/149.70 c | 167976 | 1057 427048 2501665 | 2147483647 167925 30 | 2.849 % |
149.72/149.80 c | 168234 | 1057 427048 2501665 | 2147483647 168183 30 | 2.851 % |
149.82/149.95 c | 168520 | 1057 427048 2501665 | 2147483647 168469 30 | 2.849 % |
150.02/150.19 c | 168829 | 1057 427048 2501665 | 2147483647 168778 30 | 2.849 % |
150.22/150.38 c | 169169 | 1057 427048 2501665 | 2147483647 169118 30 | 2.850 % |
150.52/150.65 c | 169542 | 1057 427048 2501665 | 2147483647 169491 30 | 2.849 % |
150.72/150.84 c | 169951 | 1057 427048 2501665 | 2147483647 169900 30 | 2.849 % |
151.12/151.29 c | 170401 | 1057 427048 2501665 | 2147483647 170350 30 | 2.849 % |
151.52/151.70 c | 170895 | 1057 427048 2501665 | 2147483647 170844 30 | 2.850 % |
151.92/152.04 c | 171439 | 1057 427048 2501665 | 2147483647 171388 30 | 2.849 % |
152.41/152.59 c | 172035 | 1057 427048 2501665 | 2147483647 171984 30 | 2.850 % |
153.01/153.14 c | 172694 | 1057 427048 2501665 | 2147483647 172643 30 | 2.849 % |
153.31/153.47 c | 173416 | 1057 427048 2501665 | 2147483647 173365 30 | 2.849 % |
154.01/154.10 c | 174209 | 1057 427048 2501665 | 2147483647 174158 30 | 2.849 % |
154.71/154.86 c | 175082 | 1057 427048 2501665 | 2147483647 175031 30 | 2.849 % |
155.21/155.35 c | 176040 | 1057 427048 2501665 | 2147483647 175989 30 | 2.849 % |
155.92/156.02 c | 177096 | 1057 427048 2501665 | 2147483647 177045 30 | 2.850 % |
156.82/156.96 c | 178254 | 1057 427048 2501665 | 2147483647 178203 31 | 2.849 % |
157.92/158.00 c | 179527 | 1057 427048 2501665 | 2147483647 179476 31 | 2.851 % |
159.12/159.27 c | 180930 | 1057 427048 2501665 | 2147483647 180879 31 | 2.849 % |
160.22/160.33 c | 182470 | 1057 427048 2501665 | 2147483647 182419 31 | 2.849 % |
162.81/162.93 c | 184164 | 1057 427048 2501665 | 2147483647 184113 31 | 2.849 % |
165.21/165.33 c | 186027 | 1057 427048 2501665 | 2147483647 185976 31 | 2.851 % |
165.31/165.46 c | 186127 | 1057 427048 2501665 | 2147483647 186076 31 | 2.849 % |
165.51/165.64 c | 186238 | 1057 427048 2501665 | 2147483647 186187 31 | 2.850 % |
165.61/165.79 c | 186360 | 1057 427048 2501665 | 2147483647 186309 31 | 2.849 % |
165.81/165.92 c | 186494 | 1057 427048 2501665 | 2147483647 186443 31 | 2.849 % |
165.92/166.07 c | 186640 | 1057 427048 2501665 | 2147483647 186589 31 | 2.849 % |
166.11/166.22 c | 186800 | 1057 427048 2501665 | 2147483647 186749 31 | 2.849 % |
166.21/166.33 c | 186983 | 1057 427048 2501665 | 2147483647 186932 31 | 2.849 % |
166.31/166.45 c | 187178 | 1057 427048 2501665 | 2147483647 187127 31 | 2.850 % |
166.51/166.61 c | 187392 | 1057 427048 2501665 | 2147483647 187341 31 | 2.851 % |
166.61/166.78 c | 187627 | 1057 427048 2501665 | 2147483647 187576 31 | 2.851 % |
166.91/167.04 c | 187883 | 1057 427048 2501665 | 2147483647 187832 31 | 2.849 % |
167.31/167.44 c | 188166 | 1057 427048 2501665 | 2147483647 188115 31 | 2.849 % |
167.61/167.75 c | 188476 | 1057 427048 2501665 | 2147483647 188425 31 | 2.849 % |
168.01/168.13 c | 188815 | 1057 427048 2501665 | 2147483647 188764 31 | 2.849 % |
168.31/168.41 c | 189187 | 1057 427048 2501665 | 2147483647 189136 31 | 2.849 % |
169.11/169.29 c | 189597 | 1057 427048 2501665 | 2147483647 189546 31 | 2.851 % |
169.41/169.55 c | 190046 | 1057 427048 2501665 | 2147483647 189995 31 | 2.849 % |
169.91/170.04 c | 190539 | 1057 427048 2501665 | 2147483647 190488 31 | 2.849 % |
170.51/170.66 c | 191082 | 1057 427048 2501665 | 2147483647 191031 31 | 2.849 % |
170.91/171.08 c | 191679 | 1057 427048 2501665 | 2147483647 191628 31 | 2.850 % |
171.31/171.48 c | 192334 | 1057 427048 2501665 | 2147483647 192283 31 | 2.849 % |
172.01/172.15 c | 193054 | 1057 427048 2501665 | 2147483647 193003 31 | 2.850 % |
172.51/172.69 c | 193849 | 1057 427048 2501665 | 2147483647 193798 31 | 2.850 % |
173.01/173.17 c | 194721 | 1057 427048 2501665 | 2147483647 194670 31 | 2.849 % |
174.21/174.33 c | 195681 | 1057 427048 2501665 | 2147483647 195630 31 | 2.849 % |
175.61/175.73 c | 196735 | 1057 427048 2501665 | 2147483647 196684 31 | 2.851 % |
177.41/177.56 c | 197894 | 1057 427048 2501665 | 2147483647 197843 31 | 2.851 % |
179.11/179.27 c | 199167 | 1057 427048 2501665 | 2147483647 199116 31 | 2.849 % |
181.01/181.16 c | 200567 | 1057 427048 2501665 | 2147483647 200516 31 | 2.851 % |
182.51/182.63 c | 202108 | 1057 420102 2461881 | 2147483647 202040 31 | 2.849 % |
184.11/184.21 c | 203804 | 1057 420102 2461881 | 2147483647 203736 31 | 2.850 % |
185.51/185.67 c | 205667 | 1057 420102 2461881 | 2147483647 205599 31 | 2.850 % |
187.31/187.47 c | 207717 | 1057 420102 2461881 | 2147483647 207649 31 | 2.850 % |
187.41/187.53 c | 207817 | 1057 420102 2461881 | 2147483647 207749 31 | 2.850 % |
187.41/187.60 c | 207927 | 1057 420102 2461881 | 2147483647 207859 31 | 2.849 % |
187.51/187.67 c | 208048 | 1057 420102 2461881 | 2147483647 207980 31 | 2.850 % |
187.71/187.80 c | 208181 | 1057 420102 2461881 | 2147483647 208113 31 | 2.849 % |
187.81/187.98 c | 208328 | 1057 420102 2461881 | 2147483647 208260 31 | 2.849 % |
188.01/188.17 c | 208489 | 1057 420102 2461881 | 2147483647 208421 31 | 2.854 % |
188.21/188.34 c | 208667 | 1057 420102 2461881 | 2147483647 208599 31 | 2.849 % |
188.41/188.56 c | 208861 | 1057 420102 2461881 | 2147483647 208793 31 | 2.850 % |
188.61/188.77 c | 209074 | 1057 420102 2461881 | 2147483647 209006 31 | 2.850 % |
188.91/189.03 c | 209307 | 1057 420102 2461881 | 2147483647 209239 31 | 2.849 % |
189.11/189.22 c | 209564 | 1057 420102 2461881 | 2147483647 209496 31 | 2.849 % |
189.31/189.43 c | 209845 | 1057 420102 2461881 | 2147483647 209777 31 | 2.849 % |
189.50/189.63 c | 210155 | 1057 420102 2461881 | 2147483647 210087 31 | 2.851 % |
189.80/189.93 c | 210495 | 1057 420102 2461881 | 2147483647 210427 31 | 2.849 % |
190.21/190.34 c | 210867 | 1057 420102 2461881 | 2147483647 210799 31 | 2.849 % |
190.60/190.70 c | 211276 | 1057 420102 2461881 | 2147483647 211208 31 | 2.851 % |
191.00/191.14 c | 211726 | 1057 420102 2461881 | 2147483647 211658 31 | 2.849 % |
191.40/191.50 c | 212219 | 1057 420102 2461881 | 2147483647 212151 31 | 2.852 % |
192.10/192.21 c | 212762 | 1057 420102 2461881 | 2147483647 212694 31 | 2.849 % |
192.70/192.87 c | 213359 | 1057 420102 2461881 | 2147483647 213291 31 | 2.854 % |
193.20/193.33 c | 214014 | 1057 420102 2461881 | 2147483647 213946 31 | 2.849 % |
194.10/194.22 c | 214734 | 1057 420102 2461881 | 2147483647 214666 31 | 2.849 % |
195.10/195.20 c | 215526 | 1057 420102 2461881 | 2147483647 215458 31 | 2.849 % |
195.80/195.91 c | 216397 | 1057 420102 2461881 | 2147483647 216329 31 | 2.849 % |
197.00/197.16 c | 217357 | 1057 420102 2461881 | 2147483647 217289 31 | 2.849 % |
198.50/198.61 c | 218410 | 1057 420102 2461881 | 2147483647 218342 31 | 2.851 % |
199.90/200.05 c | 219568 | 1057 420102 2461881 | 2147483647 219500 31 | 2.852 % |
201.20/201.31 c | 220841 | 1057 420102 2461881 | 2147483647 220773 31 | 2.849 % |
202.39/202.59 c | 222241 | 1057 420102 2461881 | 2147483647 222173 31 | 2.850 % |
204.50/204.61 c | 223781 | 1057 420102 2461881 | 2147483647 223713 31 | 2.850 % |
206.70/206.89 c | 225475 | 1057 420102 2461881 | 2147483647 225407 31 | 2.849 % |
207.59/207.79 c | 227339 | 1057 420102 2461881 | 2147483647 227271 31 | 2.850 % |
209.19/209.32 c | 229389 | 1057 420102 2461881 | 2147483647 229321 32 | 2.851 % |
211.10/211.29 c | 231643 | 1057 420102 2461881 | 2147483647 231575 32 | 2.849 % |
211.29/211.43 c | 231744 | 1057 420102 2461881 | 2147483647 231676 32 | 2.850 % |
211.29/211.50 c | 231854 | 1057 420102 2461881 | 2147483647 231786 32 | 2.850 % |
211.39/211.59 c | 231976 | 1057 420102 2461881 | 2147483647 231908 32 | 2.850 % |
211.59/211.75 c | 232109 | 1057 420102 2461881 | 2147483647 232041 32 | 2.851 % |
211.79/211.90 c | 232256 | 1057 420102 2461881 | 2147483647 232188 32 | 2.849 % |
211.90/212.01 c | 232418 | 1057 420102 2461881 | 2147483647 232350 32 | 2.849 % |
212.00/212.15 c | 232594 | 1057 420102 2461881 | 2147483647 232526 32 | 2.849 % |
212.30/212.49 c | 232788 | 1057 420102 2461881 | 2147483647 232720 32 | 2.849 % |
212.60/212.70 c | 233002 | 1057 420102 2461881 | 2147483647 232934 32 | 2.850 % |
213.00/213.12 c | 233236 | 1057 420102 2461881 | 2147483647 233168 32 | 2.849 % |
213.30/213.44 c | 233493 | 1057 420102 2461881 | 2147483647 233425 32 | 2.849 % |
213.60/213.71 c | 233777 | 1057 420102 2461881 | 2147483647 233709 32 | 2.849 % |
213.79/213.95 c | 234087 | 1057 420102 2461881 | 2147483647 234019 32 | 2.850 % |
214.19/214.32 c | 234431 | 1057 420102 2461881 | 2147483647 234363 32 | 2.849 % |
214.49/214.69 c | 234804 | 1057 420102 2461881 | 2147483647 234736 32 | 2.849 % |
214.99/215.12 c | 235214 | 1057 420102 2461881 | 2147483647 235146 32 | 2.851 % |
215.40/215.59 c | 235663 | 1057 420102 2461881 | 2147483647 235595 32 | 2.849 % |
216.09/216.21 c | 236156 | 1057 420102 2461881 | 2147483647 236088 32 | 2.849 % |
216.69/216.87 c | 236698 | 1057 420102 2461881 | 2147483647 236630 32 | 2.851 % |
217.39/217.59 c | 237294 | 1057 420102 2461881 | 2147483647 237226 32 | 2.849 % |
218.09/218.20 c | 237954 | 1057 420102 2461881 | 2147483647 237886 32 | 2.849 % |
218.70/218.81 c | 238675 | 1057 420102 2461881 | 2147483647 238607 32 | 2.849 % |
219.49/219.62 c | 239467 | 1057 420102 2461881 | 2147483647 239399 32 | 2.849 % |
220.09/220.26 c | 240339 | 1057 420102 2461881 | 2147483647 240271 32 | 2.851 % |
220.79/220.97 c | 241297 | 1057 420102 2461881 | 2147483647 241229 32 | 2.849 % |
221.79/221.97 c | 242351 | 1057 420102 2461881 | 2147483647 242283 32 | 2.850 % |
223.10/223.24 c | 243509 | 1057 420102 2461881 | 2147483647 243441 32 | 2.851 % |
224.89/225.02 c | 244782 | 1057 420102 2461881 | 2147483647 244714 32 | 2.849 % |
226.99/227.16 c | 246185 | 1057 420102 2461881 | 2147483647 246117 32 | 2.849 % |
230.19/230.30 c | 247725 | 1057 420102 2461881 | 2147483647 247657 32 | 2.849 % |
233.59/233.78 c | 249420 | 1057 420102 2461881 | 2147483647 249352 32 | 2.851 % |
236.59/236.70 c | 251283 | 1057 420102 2461881 | 2147483647 251215 32 | 2.850 % |
239.70/239.89 c | 253332 | 1057 420102 2461881 | 2147483647 253264 32 | 2.849 % |
243.79/243.96 c | 255585 | 1057 420102 2461881 | 2147483647 255517 32 | 2.851 % |
246.59/246.74 c | 258064 | 1057 420102 2461881 | 2147483647 257996 32 | 2.849 % |
246.79/246.91 c | 258165 | 1057 420102 2461881 | 2147483647 258097 32 | 2.849 % |
246.79/246.99 c | 258275 | 1057 420102 2461881 | 2147483647 258207 32 | 2.849 % |
246.99/247.20 c | 258397 | 1057 420102 2461881 | 2147483647 258329 32 | 2.849 % |
247.19/247.39 c | 258530 | 1057 420102 2461881 | 2147483647 258462 32 | 2.849 % |
247.49/247.61 c | 258676 | 1057 420102 2461881 | 2147483647 258608 32 | 2.850 % |
247.69/247.85 c | 258836 | 1057 420102 2461881 | 2147483647 258768 32 | 2.849 % |
247.99/248.12 c | 259012 | 1057 420102 2461881 | 2147483647 258944 32 | 2.849 % |
248.19/248.37 c | 259205 | 1057 420102 2461881 | 2147483647 259137 32 | 2.850 % |
248.39/248.53 c | 259419 | 1057 420102 2461881 | 2147483647 259351 32 | 2.849 % |
248.58/248.74 c | 259654 | 1057 420102 2461881 | 2147483647 259586 32 | 2.849 % |
248.78/248.91 c | 259915 | 1057 420102 2461881 | 2147483647 259847 32 | 2.852 % |
248.98/249.12 c | 260198 | 1057 420102 2461881 | 2147483647 260130 32 | 2.849 % |
249.18/249.31 c | 260507 | 1057 420102 2461881 | 2147483647 260439 32 | 2.851 % |
249.78/249.90 c | 260846 | 1057 420102 2461881 | 2147483647 260778 32 | 2.849 % |
250.18/250.39 c | 261218 | 1057 420102 2461881 | 2147483647 261150 32 | 2.850 % |
250.88/251.03 c | 261628 | 1057 420102 2461881 | 2147483647 261560 32 | 2.850 % |
251.18/251.30 c | 262078 | 1057 420102 2461881 | 2147483647 262010 32 | 2.850 % |
251.58/251.79 c | 262574 | 1057 420102 2461881 | 2147483647 262506 32 | 2.849 % |
252.38/252.50 c | 263119 | 1057 420102 2461881 | 2147483647 263051 32 | 2.850 % |
253.18/253.34 c | 263715 | 1057 420102 2461881 | 2147483647 263647 32 | 2.849 % |
253.68/253.87 c | 264373 | 1057 420102 2461881 | 2147483647 264305 32 | 2.849 % |
254.18/254.33 c | 265093 | 1057 420102 2461881 | 2147483647 265025 32 | 2.849 % |
255.19/255.31 c | 265886 | 1057 420102 2461881 | 2147483647 265818 32 | 2.849 % |
255.79/255.97 c | 266760 | 1057 420102 2461881 | 2147483647 266692 32 | 2.850 % |
257.39/257.53 c | 267718 | 1057 420102 2461881 | 2147483647 267650 32 | 2.849 % |
259.49/259.61 c | 268773 | 1057 420102 2461881 | 2147483647 268705 32 | 2.849 % |
262.08/262.22 c | 269931 | 1057 420102 2461881 | 2147483647 269863 32 | 2.849 % |
264.18/264.36 c | 271204 | 1057 420102 2461881 | 2147483647 271136 32 | 2.850 % |
266.78/266.92 c | 272605 | 1057 420102 2461881 | 2147483647 272537 32 | 2.851 % |
269.18/269.37 c | 274146 | 1057 420102 2461881 | 2147483647 274078 32 | 2.851 % |
270.38/270.59 c | 275841 | 1057 420102 2461881 | 2147483647 275773 32 | 2.852 % |
272.18/272.36 c | 277704 | 1057 420102 2461881 | 2147483647 277636 32 | 2.849 % |
274.08/274.24 c | 279753 | 1057 420102 2461881 | 2147483647 279685 32 | 2.850 % |
275.77/275.93 c | 282007 | 1057 420102 2461881 | 2147483647 281939 32 | 2.849 % |
277.87/278.02 c | 284485 | 1057 420102 2461881 | 2147483647 284417 32 | 2.849 % |
280.28/280.47 c | 287210 | 1057 420102 2461881 | 2147483647 287142 32 | 2.849 % |
280.48/280.62 c | 287310 | 1057 420102 2461881 | 2147483647 287242 32 | 2.850 % |
280.58/280.73 c | 287420 | 1057 420102 2461881 | 2147483647 287352 32 | 2.849 % |
280.68/280.86 c | 287544 | 1057 420102 2461881 | 2147483647 287476 32 | 2.851 % |
280.88/281.10 c | 287678 | 1057 420102 2461881 | 2147483647 287610 32 | 2.849 % |
281.18/281.36 c | 287824 | 1057 420102 2461881 | 2147483647 287756 32 | 2.849 % |
281.48/281.64 c | 287985 | 1057 420102 2461881 | 2147483647 287917 32 | 2.850 % |
281.68/281.81 c | 288162 | 1057 420102 2461881 | 2147483647 288094 32 | 2.849 % |
281.88/282.08 c | 288357 | 1057 420102 2461881 | 2147483647 288289 32 | 2.849 % |
282.08/282.27 c | 288569 | 1057 420102 2461881 | 2147483647 288501 32 | 2.851 % |
282.38/282.59 c | 288802 | 1057 420102 2461881 | 2147483647 288734 33 | 2.849 % |
282.78/282.98 c | 289058 | 1057 420102 2461881 | 2147483647 288990 33 | 2.849 % |
283.38/283.59 c | 289340 | 1057 420102 2461881 | 2147483647 289272 33 | 2.849 % |
283.78/283.96 c | 289649 | 1057 420102 2461881 | 2147483647 289581 33 | 2.849 % |
284.27/284.42 c | 289988 | 1057 420102 2461881 | 2147483647 289920 33 | 2.849 % |
284.97/285.13 c | 290361 | 1057 420102 2461881 | 2147483647 290293 33 | 2.849 % |
285.88/286.07 c | 290770 | 1057 420102 2461881 | 2147483647 290702 33 | 2.849 % |
286.98/287.17 c | 291220 | 1057 420102 2461881 | 2147483647 291152 33 | 2.854 % |
287.67/287.88 c | 291713 | 1057 420102 2461881 | 2147483647 291645 33 | 2.850 % |
288.57/288.78 c | 292255 | 1057 420102 2461881 | 2147483647 292187 33 | 2.851 % |
289.77/289.95 c | 292853 | 1057 420102 2461881 | 2147483647 292785 33 | 2.849 % |
291.17/291.36 c | 293509 | 1057 420102 2461881 | 2147483647 293441 33 | 2.851 % |
291.97/292.18 c | 294230 | 1057 420102 2461881 | 2147483647 294162 33 | 2.849 % |
292.97/293.11 c | 295022 | 1057 420102 2461881 | 2147483647 294954 33 | 2.849 % |
294.17/294.34 c | 295894 | 1057 420102 2461881 | 2147483647 295826 33 | 2.849 % |
295.26/295.41 c | 296852 | 1057 420102 2461881 | 2147483647 296784 33 | 2.849 % |
298.06/298.22 c | 297906 | 1057 420102 2461881 | 2147483647 297838 33 | 2.851 % |
300.47/300.66 c | 299065 | 1057 420102 2461881 | 2147483647 298997 33 | 2.849 % |
301.97/302.10 c | 300338 | 1057 420102 2461881 | 2147483647 300270 33 | 2.849 % |
303.57/303.72 c | 301738 | 1057 420102 2461881 | 2147483647 301670 33 | 2.849 % |
305.37/305.52 c | 303278 | 1057 420102 2461881 | 2147483647 303210 33 | 2.849 % |
307.77/307.92 c | 304974 | 1057 420102 2461881 | 2147483647 304906 33 | 2.849 % |
310.56/310.71 c | 306838 | 1057 420102 2461881 | 2147483647 306770 33 | 2.849 % |
314.27/314.49 c | 308888 | 1057 420102 2461881 | 2147483647 308820 33 | 2.849 % |
317.86/318.00 c | 311141 | 1057 420102 2461881 | 2147483647 311073 33 | 2.851 % |
322.96/323.13 c | 313622 | 1057 420102 2461881 | 2147483647 313554 33 | 2.850 % |
327.96/328.14 c | 316347 | 1057 420102 2461881 | 2147483647 316279 33 | 2.850 % |
332.26/332.40 c | 319344 | 1057 420102 2461881 | 2147483647 319276 33 | 2.851 % |
332.36/332.59 c | 319446 | 1057 420102 2461881 | 2147483647 319378 33 | 2.852 % |
332.56/332.74 c | 319556 | 1057 420102 2461881 | 2147483647 319488 33 | 2.851 % |
332.76/332.94 c | 319677 | 1057 420102 2461881 | 2147483647 319609 33 | 2.849 % |
332.96/333.10 c | 319815 | 1057 420102 2461881 | 2147483647 319747 33 | 2.849 % |
333.16/333.31 c | 319963 | 1057 420102 2461881 | 2147483647 319895 33 | 2.849 % |
333.35/333.52 c | 320126 | 1057 420102 2461881 | 2147483647 320058 33 | 2.851 % |
333.45/333.64 c | 320304 | 1057 420102 2461881 | 2147483647 320236 33 | 2.849 % |
333.55/333.76 c | 320498 | 1057 420102 2461881 | 2147483647 320430 33 | 2.849 % |
333.75/333.98 c | 320711 | 1057 420102 2461881 | 2147483647 320643 33 | 2.849 % |
333.95/334.18 c | 320944 | 1057 420102 2461881 | 2147483647 320876 33 | 2.849 % |
334.26/334.48 c | 321203 | 1057 420102 2461881 | 2147483647 321135 33 | 2.849 % |
334.55/334.80 c | 321484 | 1057 420102 2461881 | 2147483647 321416 33 | 2.851 % |
335.25/335.46 c | 321793 | 1057 420102 2461881 | 2147483647 321725 33 | 2.849 % |
335.95/336.15 c | 322132 | 1057 420102 2461881 | 2147483647 322064 33 | 2.849 % |
336.45/336.65 c | 322505 | 1057 420102 2461881 | 2147483647 322437 33 | 2.850 % |
336.95/337.10 c | 322914 | 1057 420102 2461881 | 2147483647 322846 33 | 2.850 % |
337.45/337.67 c | 323364 | 1057 420102 2461881 | 2147483647 323296 33 | 2.850 % |
338.15/338.32 c | 323859 | 1057 420102 2461881 | 2147483647 323791 33 | 2.849 % |
338.55/338.77 c | 324401 | 1057 420102 2461881 | 2147483647 324333 33 | 2.849 % |
339.05/339.28 c | 324998 | 1057 420102 2461881 | 2147483647 324930 33 | 2.849 % |
340.25/340.43 c | 325656 | 1057 420102 2461881 | 2147483647 325588 33 | 2.849 % |
340.94/341.15 c | 326378 | 1057 420102 2461881 | 2147483647 326310 33 | 2.849 % |
342.14/342.31 c | 327172 | 1057 420102 2461881 | 2147483647 327104 33 | 2.849 % |
344.05/344.25 c | 328043 | 1057 420102 2461881 | 2147483647 327975 33 | 2.849 % |
345.35/345.50 c | 329002 | 1057 420102 2461881 | 2147483647 328934 33 | 2.849 % |
346.75/346.98 c | 330056 | 1057 420102 2461881 | 2147483647 329988 33 | 2.849 % |
348.45/348.62 c | 331216 | 1057 420102 2461881 | 2147483647 331148 33 | 2.849 % |
350.55/350.76 c | 332489 | 1057 420102 2461881 | 2147483647 332421 33 | 2.850 % |
351.75/351.91 c | 333889 | 1057 420102 2461881 | 2147483647 333821 33 | 2.850 % |
353.64/353.82 c | 335429 | 1057 420102 2461881 | 2147483647 335361 33 | 2.849 % |
355.34/355.55 c | 337125 | 1057 420102 2461881 | 2147483647 337057 33 | 2.850 % |
358.54/358.70 c | 338988 | 1057 420102 2461881 | 2147483647 338920 33 | 2.849 % |
362.14/362.30 c | 341039 | 1057 420102 2461881 | 2147483647 340971 33 | 2.850 % |
366.15/366.35 c | 343292 | 1057 420102 2461881 | 2147483647 343224 33 | 2.849 % |
370.35/370.54 c | 345770 | 1057 420102 2461881 | 2147483647 345702 33 | 2.850 % |
373.84/374.06 c | 348495 | 1057 420102 2461881 | 2147483647 348427 34 | 2.850 % |
378.04/378.27 c | 351493 | 1057 420102 2461881 | 2147483647 351425 34 | 2.849 % |
383.14/383.39 c | 354791 | 1057 420102 2461881 | 2147483647 354723 34 | 2.849 % |
383.44/383.62 c | 354893 | 1057 420102 2461881 | 2147483647 354825 34 | 2.850 % |
383.64/383.88 c | 355003 | 1057 420102 2461881 | 2147483647 354935 34 | 2.849 % |
383.83/384.09 c | 355125 | 1057 420102 2461881 | 2147483647 355057 34 | 2.849 % |
384.03/384.29 c | 355258 | 1057 420102 2461881 | 2147483647 355190 34 | 2.849 % |
384.23/384.42 c | 355406 | 1057 420102 2461881 | 2147483647 355338 34 | 2.849 % |
384.43/384.62 c | 355569 | 1057 420102 2461881 | 2147483647 355501 34 | 2.851 % |
384.74/384.91 c | 355746 | 1057 420102 2461881 | 2147483647 355678 34 | 2.849 % |
384.93/385.12 c | 355939 | 1057 420102 2461881 | 2147483647 355871 34 | 2.849 % |
385.13/385.33 c | 356151 | 1057 420102 2461881 | 2147483647 356083 34 | 2.849 % |
385.43/385.65 c | 356384 | 1057 420102 2461881 | 2147483647 356316 34 | 2.854 % |
385.63/385.87 c | 356641 | 1057 420102 2461881 | 2147483647 356573 34 | 2.851 % |
385.84/386.07 c | 356924 | 1057 420102 2461881 | 2147483647 356856 34 | 2.849 % |
386.13/386.40 c | 357233 | 1057 420102 2461881 | 2147483647 357165 34 | 2.849 % |
387.03/387.21 c | 357572 | 1057 420102 2461881 | 2147483647 357504 34 | 2.849 % |
387.83/388.05 c | 357946 | 1057 420102 2461881 | 2147483647 357878 34 | 2.849 % |
388.43/388.68 c | 358356 | 1057 420102 2461881 | 2147483647 358288 34 | 2.849 % |
389.33/389.50 c | 358809 | 1057 420102 2461881 | 2147483647 358741 34 | 2.850 % |
390.23/390.42 c | 359302 | 1057 420102 2461881 | 2147483647 359234 34 | 2.849 % |
391.13/391.32 c | 359849 | 1057 420102 2461881 | 2147483647 359781 34 | 2.849 % |
391.83/392.05 c | 360448 | 1057 420102 2461881 | 2147483647 360380 34 | 2.849 % |
392.74/392.97 c | 361103 | 1057 420102 2461881 | 2147483647 361035 34 | 2.851 % |
393.64/393.83 c | 361824 | 1057 420102 2461881 | 2147483647 361756 34 | 2.849 % |
395.14/395.33 c | 362618 | 1057 420102 2461881 | 2147483647 362550 34 | 2.849 % |
396.44/396.65 c | 363489 | 1057 420102 2461881 | 2147483647 363421 34 | 2.849 % |
398.33/398.54 c | 364448 | 1057 420102 2461881 | 2147483647 364380 34 | 2.849 % |
400.24/400.41 c | 365501 | 1057 420102 2461881 | 2147483647 365433 34 | 2.851 % |
402.13/402.37 c | 366659 | 1057 420102 2461881 | 2147483647 366591 34 | 2.849 % |
403.54/403.75 c | 367932 | 1057 420102 2461881 | 2147483647 367864 34 | 2.849 % |
405.33/405.54 c | 369333 | 1057 420102 2461881 | 2147483647 369265 34 | 2.851 % |
407.03/407.26 c | 370874 | 1057 420102 2461881 | 2147483647 370806 34 | 2.849 % |
408.83/409.07 c | 372572 | 1057 420102 2461881 | 2147483647 372504 34 | 2.849 % |
412.13/412.35 c | 374436 | 1057 420102 2461881 | 2147483647 374368 34 | 2.849 % |
414.13/414.35 c | 376486 | 1057 420102 2461881 | 2147483647 376418 34 | 2.849 % |
417.93/418.13 c | 378740 | 1057 420102 2461881 | 2147483647 378672 34 | 2.849 % |
421.73/421.92 c | 381218 | 1057 420102 2461881 | 2147483647 381150 34 | 2.849 % |
427.73/427.93 c | 383943 | 1057 420102 2461881 | 2147483647 383875 34 | 2.850 % |
431.52/431.73 c | 386940 | 1057 420102 2461881 | 2147483647 386872 34 | 2.850 % |
438.02/438.29 c | 390238 | 1057 420102 2461881 | 2147483647 390170 34 | 2.849 % |
446.82/447.06 c | 393864 | 1057 420102 2461881 | 2147483647 393796 35 | 2.849 % |
447.02/447.27 c | 393964 | 1057 420102 2461881 | 2147483647 393896 35 | 2.851 % |
447.22/447.44 c | 394074 | 1057 420102 2461881 | 2147483647 394006 35 | 2.849 % |
447.42/447.64 c | 394195 | 1057 420102 2461881 | 2147483647 394127 35 | 2.850 % |
447.82/448.00 c | 394329 | 1057 420102 2461881 | 2147483647 394261 35 | 2.849 % |
448.02/448.22 c | 394475 | 1057 420102 2461881 | 2147483647 394407 35 | 2.851 % |
448.32/448.56 c | 394635 | 1057 420102 2461881 | 2147483647 394567 35 | 2.851 % |
448.62/448.81 c | 394812 | 1057 420102 2461881 | 2147483647 394744 35 | 2.849 % |
448.82/449.03 c | 395008 | 1057 420102 2461881 | 2147483647 394940 35 | 2.849 % |
449.32/449.57 c | 395221 | 1057 420102 2461881 | 2147483647 395153 35 | 2.849 % |
449.82/450.00 c | 395454 | 1057 420102 2461881 | 2147483647 395386 35 | 2.849 % |
450.12/450.38 c | 395715 | 1057 420102 2461881 | 2147483647 395647 35 | 2.849 % |
450.72/450.95 c | 395996 | 1057 420102 2461881 | 2147483647 395928 35 | 2.849 % |
451.42/451.69 c | 396307 | 1057 420102 2461881 | 2147483647 396239 35 | 2.849 % |
452.22/452.47 c | 396646 | 1057 420102 2461881 | 2147483647 396578 35 | 2.849 % |
453.12/453.39 c | 397018 | 1057 420102 2461881 | 2147483647 396950 35 | 2.854 % |
453.92/454.10 c | 397427 | 1057 420102 2461881 | 2147483647 397359 35 | 2.849 % |
455.22/455.43 c | 397876 | 1057 420102 2461881 | 2147483647 397808 35 | 2.850 % |
456.32/456.59 c | 398369 | 1057 420102 2461881 | 2147483647 398301 35 | 2.850 % |
457.91/458.13 c | 398912 | 1057 420102 2461881 | 2147483647 398844 35 | 2.849 % |
460.31/460.56 c | 399509 | 1057 420102 2461881 | 2147483647 399441 35 | 2.851 % |
461.41/461.69 c | 400164 | 1057 420102 2461881 | 2147483647 400096 35 | 2.850 % |
462.31/462.51 c | 400888 | 1057 420102 2461881 | 2147483647 400820 35 | 2.849 % |
463.71/463.99 c | 401684 | 1057 420102 2461881 | 2147483647 401616 35 | 2.849 % |
464.81/465.07 c | 402556 | 1057 420102 2461881 | 2147483647 402488 35 | 2.849 % |
466.51/466.73 c | 403514 | 1057 420102 2461881 | 2147483647 403446 35 | 2.850 % |
468.11/468.38 c | 404569 | 1057 420102 2461881 | 2147483647 404501 35 | 2.849 % |
471.11/471.36 c | 405728 | 1057 420102 2461881 | 2147483647 405660 35 | 2.849 % |
474.30/474.50 c | 407003 | 1057 420102 2461881 | 2147483647 406935 35 | 2.849 % |
476.50/476.78 c | 408404 | 1057 420102 2461881 | 2147483647 408336 35 | 2.849 % |
479.31/479.50 c | 409947 | 1057 420102 2461881 | 2147483647 409879 35 | 2.849 % |
484.41/484.66 c | 411642 | 1057 420102 2461881 | 2147483647 411574 35 | 2.849 % |
490.11/490.32 c | 413505 | 1057 420102 2461881 | 2147483647 413437 35 | 2.850 % |
494.00/494.24 c | 415554 | 1057 420102 2461881 | 2147483647 415486 35 | 2.849 % |
498.00/498.29 c | 417808 | 1057 420102 2461881 | 2147483647 417740 35 | 2.849 % |
503.10/503.35 c | 420288 | 1057 420102 2461881 | 2147483647 420220 35 | 2.849 % |
509.60/509.87 c | 423015 | 1057 420102 2461881 | 2147483647 422947 35 | 2.849 % |
516.30/516.54 c | 426012 | 1057 420102 2461881 | 2147483647 425944 35 | 2.850 % |
523.59/523.87 c | 429308 | 1057 420102 2461881 | 2147483647 429240 35 | 2.849 % |
532.09/532.38 c | 432933 | 1057 420102 2461881 | 2147483647 432865 35 | 2.850 % |
543.59/543.81 c | 436921 | 1057 420102 2461881 | 2147483647 436853 35 | 2.850 % |
543.89/544.17 c | 437022 | 1057 420102 2461881 | 2147483647 436954 35 | 2.850 % |
544.19/544.42 c | 437132 | 1057 420102 2461881 | 2147483647 437064 35 | 2.850 % |
544.49/544.70 c | 437253 | 1057 420102 2461881 | 2147483647 437185 35 | 2.850 % |
544.69/544.97 c | 437386 | 1057 420102 2461881 | 2147483647 437318 35 | 2.849 % |
545.19/545.47 c | 437533 | 1057 420102 2461881 | 2147483647 437465 35 | 2.849 % |
545.58/545.87 c | 437693 | 1057 420102 2461881 | 2147483647 437625 35 | 2.849 % |
545.98/546.30 c | 437869 | 1057 420102 2461881 | 2147483647 437801 35 | 2.849 % |
546.39/546.68 c | 438062 | 1057 420102 2461881 | 2147483647 437994 35 | 2.851 % |
546.88/547.19 c | 438274 | 1057 420102 2461881 | 2147483647 438206 35 | 2.849 % |
547.59/547.83 c | 438507 | 1057 420102 2461881 | 2147483647 438439 35 | 2.849 % |
548.09/548.36 c | 438763 | 1057 420102 2461881 | 2147483647 438695 35 | 2.849 % |
548.70/548.96 c | 439045 | 1057 420102 2461881 | 2147483647 438977 35 | 2.850 % |
549.39/549.65 c | 439355 | 1057 420102 2461881 | 2147483647 439287 35 | 2.849 % |
550.09/550.31 c | 439696 | 1057 420102 2461881 | 2147483647 439628 35 | 2.850 % |
550.99/551.26 c | 440068 | 1057 420102 2461881 | 2147483647 440000 35 | 2.849 % |
552.09/552.31 c | 440479 | 1057 420102 2461881 | 2147483647 440411 35 | 2.849 % |
553.19/553.41 c | 440928 | 1057 420102 2461881 | 2147483647 440860 35 | 2.849 % |
554.19/554.49 c | 441421 | 1057 420102 2461881 | 2147483647 441353 35 | 2.850 % |
555.98/556.21 c | 441963 | 1057 420102 2461881 | 2147483647 441895 35 | 2.850 % |
557.19/557.48 c | 442559 | 1057 420102 2461881 | 2147483647 442491 35 | 2.851 % |
558.28/558.51 c | 443214 | 1057 420102 2461881 | 2147483647 443146 35 | 2.849 % |
559.18/559.43 c | 443934 | 1057 420102 2461881 | 2147483647 443866 35 | 2.849 % |
560.98/561.27 c | 444726 | 1057 420102 2461881 | 2147483647 444658 35 | 2.850 % |
562.58/562.88 c | 445598 | 1057 420102 2461881 | 2147483647 445530 35 | 2.849 % |
563.98/564.29 c | 446557 | 1057 420102 2461881 | 2147483647 446489 35 | 2.849 % |
566.57/566.90 c | 447613 | 1057 420102 2461881 | 2147483647 447545 35 | 2.849 % |
568.87/569.18 c | 448772 | 1057 420102 2461881 | 2147483647 448704 35 | 2.849 % |
570.87/571.18 c | 450046 | 1057 420102 2461881 | 2147483647 449978 35 | 2.849 % |
574.17/574.45 c | 451446 | 1057 420102 2461881 | 2147483647 451378 35 | 2.849 % |
577.27/577.55 c | 452988 | 1057 420102 2461881 | 2147483647 452920 35 | 2.849 % |
580.57/580.87 c | 454682 | 1057 420102 2461881 | 2147483647 454614 35 | 2.851 % |
584.67/584.93 c | 456548 | 1057 420102 2461881 | 2147483647 456480 35 | 2.851 % |
588.97/589.21 c | 458597 | 1057 420102 2461881 | 2147483647 458529 36 | 2.850 % |
594.27/594.59 c | 460850 | 1057 420102 2461881 | 2147483647 460782 36 | 2.849 % |
600.66/600.97 c | 463330 | 1057 420102 2461881 | 2147483647 463262 36 | 2.849 % |
607.26/607.51 c | 466055 | 1057 420102 2461881 | 2147483647 465987 36 | 2.849 % |
613.46/613.72 c | 469052 | 1057 420102 2461881 | 2147483647 468984 36 | 2.850 % |
618.35/618.60 c | 472349 | 1057 420102 2461881 | 2147483647 472281 36 | 2.850 % |
626.96/627.25 c | 475974 | 1057 420102 2461881 | 2147483647 475906 36 | 2.849 % |
636.45/636.79 c | 479961 | 1057 420102 2461881 | 2147483647 479893 36 | 2.849 % |
649.75/650.05 c | 484346 | 1057 420102 2461881 | 2147483647 484278 36 | 2.849 % |
650.05/650.37 c | 484446 | 1057 420102 2461881 | 2147483647 484378 36 | 2.849 % |
650.45/650.71 c | 484556 | 1057 420102 2461881 | 2147483647 484488 36 | 2.849 % |
650.75/651.04 c | 484677 | 1057 420102 2461881 | 2147483647 484609 36 | 2.849 % |
651.05/651.40 c | 484812 | 1057 420102 2461881 | 2147483647 484744 36 | 2.850 % |
651.45/651.70 c | 484959 | 1057 420102 2461881 | 2147483647 484891 36 | 2.849 % |
651.74/652.02 c | 485119 | 1057 420102 2461881 | 2147483647 485051 36 | 2.850 % |
652.05/652.39 c | 485296 | 1057 420102 2461881 | 2147483647 485228 36 | 2.850 % |
652.54/652.80 c | 485489 | 1057 420102 2461881 | 2147483647 485421 36 | 2.849 % |
652.84/653.17 c | 485701 | 1057 420102 2461881 | 2147483647 485633 36 | 2.851 % |
653.24/653.59 c | 485934 | 1057 420102 2461881 | 2147483647 485866 36 | 2.850 % |
653.75/654.01 c | 486192 | 1057 420102 2461881 | 2147483647 486124 36 | 2.850 % |
654.16/654.40 c | 486476 | 1057 420102 2461881 | 2147483647 486408 36 | 2.849 % |
654.35/654.66 c | 486785 | 1057 420102 2461881 | 2147483647 486717 36 | 2.849 % |
654.75/655.02 c | 487125 | 1057 420102 2461881 | 2147483647 487057 36 | 2.850 % |
655.35/655.67 c | 487498 | 1057 420102 2461881 | 2147483647 487430 36 | 2.849 % |
655.95/656.23 c | 487907 | 1057 420102 2461881 | 2147483647 487839 36 | 2.849 % |
656.65/656.97 c | 488357 | 1057 420102 2461881 | 2147483647 488289 36 | 2.849 % |
657.65/657.98 c | 488850 | 1057 420102 2461881 | 2147483647 488782 36 | 2.849 % |
658.75/659.05 c | 489393 | 1057 420102 2461881 | 2147483647 489325 36 | 2.849 % |
659.65/659.97 c | 489992 | 1057 420102 2461881 | 2147483647 489924 36 | 2.851 % |
661.25/661.58 c | 490648 | 1057 420102 2461881 | 2147483647 490580 36 | 2.849 % |
663.15/663.47 c | 491370 | 1057 420102 2461881 | 2147483647 491302 36 | 2.849 % |
664.95/665.22 c | 492162 | 1057 420102 2461881 | 2147483647 492094 36 | 2.849 % |
666.94/667.20 c | 493033 | 1057 420102 2461881 | 2147483647 492965 36 | 2.852 % |
669.14/669.40 c | 493993 | 1057 420102 2461881 | 2147483647 493925 36 | 2.849 % |
671.85/672.14 c | 495046 | 1057 420102 2461881 | 2147483647 494978 36 | 2.849 % |
673.64/673.97 c | 496205 | 1057 420102 2461881 | 2147483647 496137 36 | 2.849 % |
676.74/677.08 c | 497478 | 1057 420102 2461881 | 2147483647 497410 36 | 2.849 % |
681.24/681.59 c | 498879 | 1057 420102 2461881 | 2147483647 498811 36 | 2.851 % |
685.24/685.57 c | 500419 | 1057 420102 2461881 | 2147483647 500351 36 | 2.849 % |
691.64/691.95 c | 502113 | 1057 420102 2461881 | 2147483647 502045 36 | 2.851 % |
699.34/699.64 c | 503979 | 1057 420102 2461881 | 2147483647 503911 36 | 2.850 % |
709.33/709.61 c | 506031 | 1057 420102 2461881 | 2147483647 505963 36 | 2.851 % |
713.53/713.88 c | 508285 | 1057 420102 2461881 | 2147483647 508217 36 | 2.849 % |
720.83/721.13 c | 510767 | 1057 420102 2461881 | 2147483647 510699 36 | 2.849 % |
726.12/726.49 c | 513494 | 1057 420102 2461881 | 2147483647 513426 36 | 2.849 % |
733.83/734.17 c | 516491 | 1057 420102 2461881 | 2147483647 516423 37 | 2.849 % |
743.82/744.12 c | 519787 | 1057 420102 2461881 | 2147483647 519719 37 | 2.850 % |
751.52/751.85 c | 523412 | 1057 420102 2461881 | 2147483647 523344 37 | 2.850 % |
766.22/766.51 c | 527401 | 1057 420102 2461881 | 2147483647 527333 37 | 2.849 % |
779.22/779.58 c | 531787 | 1057 420102 2461881 | 2147483647 531719 37 | 2.851 % |
791.82/792.15 c | 536610 | 1057 420102 2461881 | 2147483647 536542 37 | 2.850 % |
792.12/792.49 c | 536710 | 1057 420102 2461881 | 2147483647 536642 37 | 2.850 % |
792.62/792.98 c | 536821 | 1057 420102 2461881 | 2147483647 536753 37 | 2.851 % |
793.11/793.40 c | 536944 | 1057 420102 2461881 | 2147483647 536876 37 | 2.850 % |
793.51/793.85 c | 537077 | 1057 420102 2461881 | 2147483647 537009 37 | 2.851 % |
793.92/794.25 c | 537224 | 1057 420102 2461881 | 2147483647 537156 37 | 2.849 % |
794.21/794.59 c | 537385 | 1057 420102 2461881 | 2147483647 537317 37 | 2.849 % |
794.51/794.90 c | 537563 | 1057 420102 2461881 | 2147483647 537495 37 | 2.851 % |
795.11/795.41 c | 537757 | 1057 420102 2461881 | 2147483647 537689 37 | 2.849 % |
795.81/796.11 c | 537969 | 1057 420102 2461881 | 2147483647 537901 37 | 2.849 % |
796.61/796.93 c | 538202 | 1057 420102 2461881 | 2147483647 538134 37 | 2.849 % |
797.12/797.42 c | 538458 | 1057 420102 2461881 | 2147483647 538390 37 | 2.849 % |
797.81/798.16 c | 538741 | 1057 420102 2461881 | 2147483647 538673 37 | 2.849 % |
798.41/798.71 c | 539051 | 1057 420102 2461881 | 2147483647 538983 37 | 2.851 % |
799.01/799.39 c | 539390 | 1057 420102 2461881 | 2147483647 539322 37 | 2.849 % |
799.71/800.09 c | 539762 | 1057 420102 2461881 | 2147483647 539694 37 | 2.849 % |
800.81/801.19 c | 540173 | 1057 420102 2461881 | 2147483647 540105 37 | 2.851 % |
801.81/802.11 c | 540622 | 1057 420102 2461881 | 2147483647 540554 37 | 2.849 % |
802.91/803.23 c | 541116 | 1057 420102 2461881 | 2147483647 541048 37 | 2.850 % |
803.91/804.29 c | 541658 | 1057 420102 2461881 | 2147483647 541590 37 | 2.849 % |
805.41/805.73 c | 542254 | 1057 420102 2461881 | 2147483647 542186 37 | 2.849 % |
807.01/807.34 c | 542910 | 1057 420102 2461881 | 2147483647 542842 37 | 2.850 % |
809.21/809.57 c | 543630 | 1057 420102 2461881 | 2147483647 543562 37 | 2.850 % |
811.90/812.23 c | 544422 | 1057 420102 2461881 | 2147483647 544354 37 | 2.851 % |
815.20/815.50 c | 545293 | 1057 420102 2461881 | 2147483647 545225 37 | 2.850 % |
818.70/819.07 c | 546253 | 1057 420102 2461881 | 2147483647 546185 37 | 2.851 % |
821.30/821.60 c | 547306 | 1057 420102 2461881 | 2147483647 547238 37 | 2.851 % |
823.70/824.01 c | 548464 | 1057 420102 2461881 | 2147483647 548396 37 | 2.849 % |
827.40/827.74 c | 549737 | 1057 420102 2461881 | 2147483647 549669 37 | 2.851 % |
833.00/833.35 c | 551138 | 1057 420102 2461881 | 2147483647 551070 37 | 2.850 % |
840.20/840.52 c | 552679 | 1057 420102 2461881 | 2147483647 552611 37 | 2.851 % |
846.70/847.04 c | 554374 | 1057 420102 2461881 | 2147483647 554306 37 | 2.851 % |
853.00/853.37 c | 556237 | 1057 420102 2461881 | 2147483647 556169 37 | 2.850 % |
861.29/861.66 c | 558287 | 1057 420102 2461881 | 2147483647 558219 37 | 2.850 % |
872.39/872.80 c | 560541 | 1057 420102 2461881 | 2147483647 560473 37 | 2.851 % |
879.49/879.82 c | 563019 | 1057 420102 2461881 | 2147483647 562951 37 | 2.849 % |
886.98/887.34 c | 565744 | 1057 420102 2461881 | 2147483647 565676 37 | 2.849 % |
897.99/898.31 c | 568741 | 1057 420102 2461881 | 2147483647 568673 37 | 2.850 % |
908.19/908.51 c | 572039 | 1057 420102 2461881 | 2147483647 571971 37 | 2.849 % |
915.48/915.82 c | 575666 | 1057 420102 2461881 | 2147483647 575598 37 | 2.849 % |
930.78/931.15 c | 579653 | 1057 420102 2461881 | 2147483647 579585 37 | 2.849 % |
951.97/952.37 c | 584040 | 1057 420102 2461881 | 2147483647 583972 37 | 2.849 % |
964.28/964.64 c | 588864 | 1057 420102 2461881 | 2147483647 588796 38 | 2.849 % |
977.47/977.83 c | 594169 | 1057 420102 2461881 | 2147483647 594101 38 | 2.849 % |
977.77/978.16 c | 594270 | 1057 420102 2461881 | 2147483647 594202 38 | 2.849 % |
978.16/978.51 c | 594380 | 1057 420102 2461881 | 2147483647 594312 38 | 2.849 % |
978.46/978.88 c | 594505 | 1057 420102 2461881 | 2147483647 594437 38 | 2.849 % |
978.86/979.27 c | 594640 | 1057 420102 2461881 | 2147483647 594572 38 | 2.849 % |
979.36/979.71 c | 594788 | 1057 420102 2461881 | 2147483647 594720 38 | 2.849 % |
979.86/980.29 c | 594948 | 1057 420102 2461881 | 2147483647 594880 38 | 2.849 % |
980.36/980.78 c | 595125 | 1057 420102 2461881 | 2147483647 595057 38 | 2.850 % |
980.87/981.27 c | 595320 | 1057 420102 2461881 | 2147483647 595252 38 | 2.849 % |
981.46/981.90 c | 595532 | 1057 420102 2461881 | 2147483647 595464 38 | 2.850 % |
982.26/982.61 c | 595765 | 1057 420102 2461881 | 2147483647 595697 38 | 2.849 % |
983.56/983.92 c | 596023 | 1057 420102 2461881 | 2147483647 595955 38 | 2.849 % |
984.46/984.86 c | 596306 | 1057 420102 2461881 | 2147483647 596238 38 | 2.849 % |
985.36/985.72 c | 596625 | 1057 420102 2461881 | 2147483647 596557 38 | 2.850 % |
986.36/986.73 c | 596964 | 1057 420102 2461881 | 2147483647 596896 38 | 2.849 % |
987.36/987.76 c | 597336 | 1057 420102 2461881 | 2147483647 597268 38 | 2.849 % |
988.46/988.84 c | 597745 | 1057 420102 2461881 | 2147483647 597677 38 | 2.852 % |
989.96/990.31 c | 598194 | 1057 420102 2461881 | 2147483647 598126 38 | 2.850 % |
990.96/991.39 c | 598687 | 1057 420102 2461881 | 2147483647 598619 38 | 2.851 % |
992.56/992.93 c | 599230 | 1057 420102 2461881 | 2147483647 599162 38 | 2.851 % |
993.65/994.09 c | 599826 | 1057 420102 2461881 | 2147483647 599758 38 | 2.850 % |
994.85/995.26 c | 600481 | 1057 420102 2461881 | 2147483647 600413 38 | 2.849 % |
997.05/997.42 c | 601201 | 1057 420102 2461881 | 2147483647 601133 38 | 2.850 % |
1000.06/1000.42 c | 601994 | 1057 420102 2461881 | 2147483647 601926 38 | 2.849 % |
1003.16/1003.53 c | 602865 | 1057 420102 2461881 | 2147483647 602797 38 | 2.851 % |
1005.16/1005.58 c | 603823 | 1057 420102 2461881 | 2147483647 603755 38 | 2.849 % |
1009.06/1009.46 c | 604876 | 1057 420102 2461881 | 2147483647 604808 38 | 2.850 % |
1013.05/1013.42 c | 606035 | 1057 420102 2461881 | 2147483647 605967 38 | 2.851 % |
1016.06/1016.44 c | 607309 | 1057 420102 2461881 | 2147483647 607241 38 | 2.849 % |
1020.25/1020.64 c | 608710 | 1057 420102 2461881 | 2147483647 608642 38 | 2.850 % |
1022.65/1023.03 c | 610250 | 1057 420102 2461881 | 2147483647 610182 38 | 2.850 % |
1029.85/1030.22 c | 611947 | 1057 420102 2461881 | 2147483647 611879 38 | 2.849 % |
1034.55/1034.93 c | 613811 | 1057 420102 2461881 | 2147483647 613743 38 | 2.849 % |
1038.25/1038.64 c | 615861 | 1057 420102 2461881 | 2147483647 615793 38 | 2.849 % |
1041.85/1042.28 c | 618114 | 1057 420102 2461881 | 2147483647 618046 38 | 2.849 % |
1046.75/1047.17 c | 620593 | 1057 420102 2461881 | 2147483647 620525 38 | 2.849 % |
1055.04/1055.44 c | 623320 | 1057 420102 2461881 | 2147483647 623252 38 | 2.849 % |
1061.54/1061.98 c | 626320 | 1057 420102 2461881 | 2147483647 626252 38 | 2.849 % |
1071.44/1071.81 c | 629616 | 1057 420102 2461881 | 2147483647 629548 38 | 2.849 % |
1079.64/1080.09 c | 633243 | 1057 420102 2461881 | 2147483647 633175 38 | 2.850 % |
1086.63/1087.08 c | 637230 | 1057 420102 2461881 | 2147483647 637162 38 | 2.849 % |
1097.63/1098.04 c | 641615 | 1057 420102 2461881 | 2147483647 641547 38 | 2.849 % |
1108.62/1109.05 c | 646439 | 1057 420102 2461881 | 2147483647 646371 38 | 2.851 % |
1118.23/1118.69 c | 651744 | 1057 420102 2461881 | 2147483647 651676 38 | 2.850 % |
1130.82/1131.22 c | 657579 | 1057 420102 2461881 | 2147483647 657511 38 | 2.849 % |
1131.22/1131.66 c | 657679 | 1057 420102 2461881 | 2147483647 657611 38 | 2.849 % |
1131.42/1131.90 c | 657789 | 1057 420102 2461881 | 2147483647 657721 38 | 2.849 % |
1131.82/1132.20 c | 657911 | 1057 420102 2461881 | 2147483647 657843 38 | 2.849 % |
1132.12/1132.54 c | 658044 | 1057 420102 2461881 | 2147483647 657976 38 | 2.849 % |
1132.42/1132.86 c | 658190 | 1057 420102 2461881 | 2147483647 658122 38 | 2.849 % |
1132.92/1133.36 c | 658350 | 1057 420102 2461881 | 2147483647 658282 38 | 2.849 % |
1133.42/1133.83 c | 658531 | 1057 420102 2461881 | 2147483647 658463 38 | 2.850 % |
1134.02/1134.42 c | 658724 | 1057 420102 2461881 | 2147483647 658656 38 | 2.849 % |
1134.52/1134.98 c | 658937 | 1057 420102 2461881 | 2147483647 658869 38 | 2.849 % |
1135.12/1135.56 c | 659171 | 1057 420102 2461881 | 2147483647 659103 38 | 2.849 % |
1136.02/1136.46 c | 659428 | 1057 420102 2461881 | 2147483647 659360 38 | 2.849 % |
1136.72/1137.18 c | 659709 | 1057 420102 2461881 | 2147483647 659641 38 | 2.850 % |
1137.52/1137.92 c | 660018 | 1057 420102 2461881 | 2147483647 659950 38 | 2.851 % |
1138.32/1138.78 c | 660359 | 1057 420102 2461881 | 2147483647 660291 38 | 2.849 % |
1139.32/1139.77 c | 660731 | 1057 420102 2461881 | 2147483647 660663 38 | 2.849 % |
1140.42/1140.86 c | 661140 | 1057 420102 2461881 | 2147483647 661072 38 | 2.849 % |
1141.61/1142.05 c | 661589 | 1057 420102 2461881 | 2147483647 661521 38 | 2.849 % |
1143.21/1143.64 c | 662085 | 1057 420102 2461881 | 2147483647 662017 38 | 2.849 % |
1144.91/1145.34 c | 662627 | 1057 420102 2461881 | 2147483647 662559 38 | 2.849 % |
1146.61/1147.05 c | 663223 | 1057 420102 2461881 | 2147483647 663155 38 | 2.849 % |
1148.81/1149.26 c | 663878 | 1057 420102 2461881 | 2147483647 663810 38 | 2.849 % |
1150.91/1151.34 c | 664598 | 1057 420102 2461881 | 2147483647 664530 38 | 2.849 % |
1152.41/1152.85 c | 665391 | 1057 420102 2461881 | 2147483647 665323 38 | 2.849 % |
1155.31/1155.78 c | 666262 | 1057 420102 2461881 | 2147483647 666194 38 | 2.849 % |
1157.82/1158.26 c | 667220 | 1057 420102 2461881 | 2147483647 667152 38 | 2.849 % |
1161.01/1161.44 c | 668273 | 1057 420102 2461881 | 2147483647 668205 38 | 2.850 % |
1164.41/1164.86 c | 669433 | 1057 420102 2461881 | 2147483647 669365 38 | 2.850 % |
1168.21/1168.65 c | 670706 | 1057 420102 2461881 | 2147483647 670638 38 | 2.851 % |
1174.50/1174.91 c | 672106 | 1057 420102 2461881 | 2147483647 672038 38 | 2.849 % |
1180.10/1180.51 c | 673646 | 1057 420102 2461881 | 2147483647 673578 38 | 2.850 % |
1188.71/1189.12 c | 675341 | 1057 420102 2461881 | 2147483647 675273 38 | 2.849 % |
1199.80/1200.22 c | 677205 | 1057 420102 2461881 | 2147483647 677137 38 | 2.850 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834045-1242827496/watcher-1834045-1242827496 -o /tmp/evaluation-result-1834045-1242827496/solver-1834045-1242827496 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834045-1242827496.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14350
/proc/meminfo: memFree=1813056/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=0
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310782915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14350/statm: 1339 237 197 169 0 50 0
[startup+0.031648 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14350
/proc/meminfo: memFree=1813056/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=0
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310782915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14350/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101654 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14350
/proc/meminfo: memFree=1813056/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=0
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310782915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14350/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301672 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14350
/proc/meminfo: memFree=1813056/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=0
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310782915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14350/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701705 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14350
/proc/meminfo: memFree=1813056/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=0
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310782915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14350/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50278 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14355
/proc/meminfo: memFree=1738608/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=0
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310782915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14350/statm: 1339 237 197 169 0 50 0
[pid=14354] ppid=14350 vsize=78408 CPUtime=1.48
/proc/14354/stat : 14354 (SatELite_releas) R 14350 14350 13936 0 -1 4194304 18852 0 0 0 138 10 0 0 25 0 1 0 310782915 80289792 18812 1992294400 134512640 135223648 4294956128 18446744073709551615 134548206 0 0 4096 3 0 0 0 17 1 0 0
/proc/14354/statm: 19602 18812 70 173 0 19427 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83764
[startup+3.10191 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14355
/proc/meminfo: memFree=1736688/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=0
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310782915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14350/statm: 1339 237 197 169 0 50 0
[pid=14354] ppid=14350 vsize=78568 CPUtime=3.08
/proc/14354/stat : 14354 (SatELite_releas) R 14350 14350 13936 0 -1 4194304 18862 0 0 0 298 10 0 0 25 0 1 0 310782915 80453632 18822 1992294400 134512640 135223648 4294956128 18446744073709551615 134549027 0 0 4096 3 0 0 0 17 1 0 0
/proc/14354/statm: 19642 18822 70 173 0 19467 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83924
[startup+6.30119 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14355
/proc/meminfo: memFree=1737264/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=0
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310782915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14350/statm: 1339 237 197 169 0 50 0
[pid=14354] ppid=14350 vsize=79080 CPUtime=6.28
/proc/14354/stat : 14354 (SatELite_releas) R 14350 14350 13936 0 -1 4194304 18974 0 0 0 618 10 0 0 25 0 1 0 310782915 80977920 18934 1992294400 134512640 135223648 4294956128 18446744073709551615 134549027 0 0 4096 3 0 0 0 17 1 0 0
/proc/14354/statm: 19770 18934 70 173 0 19595 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84436
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14355
/proc/meminfo: memFree=1736944/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=0
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310782915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14350/statm: 1339 237 197 169 0 50 0
[pid=14354] ppid=14350 vsize=79336 CPUtime=12.68
/proc/14354/stat : 14354 (SatELite_releas) R 14350 14350 13936 0 -1 4194304 19078 0 0 0 1258 10 0 0 25 0 1 0 310782915 81240064 19038 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0
/proc/14354/statm: 19834 19038 70 173 0 19659 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84692
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14355
/proc/meminfo: memFree=1736176/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=0
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310782915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14350/statm: 1339 237 197 169 0 50 0
[pid=14354] ppid=14350 vsize=80448 CPUtime=25.48
/proc/14354/stat : 14354 (SatELite_releas) R 14350 14350 13936 0 -1 4194304 19377 0 0 0 2537 11 0 0 25 0 1 0 310782915 82378752 19231 1992294400 134512640 135223648 4294956128 18446744073709551615 134548217 0 0 4096 3 0 0 0 17 1 0 0
/proc/14354/statm: 20112 19231 70 173 0 19937 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85804
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14355
/proc/meminfo: memFree=1729904/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=0
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310782915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14350/statm: 1339 237 197 169 0 50 0
[pid=14354] ppid=14350 vsize=89284 CPUtime=51.07
/proc/14354/stat : 14354 (SatELite_releas) R 14350 14350 13936 0 -1 4194304 23211 0 0 0 5092 15 0 0 25 0 1 0 310782915 91426816 20751 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 1 0 0
/proc/14354/statm: 22321 20751 76 173 0 22146 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 94640
[startup+102.305 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 14356
/proc/meminfo: memFree=1757168/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=42060 CPUtime=39.89
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 10327 0 0 0 3983 6 0 0 25 0 1 0 310789154 43069440 10313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 10515 10313 77 171 0 10342 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 47416
[startup+162.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 14356
/proc/meminfo: memFree=1743344/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=55924 CPUtime=99.85
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 13787 0 0 0 9976 9 0 0 25 0 1 0 310789154 57266176 13773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 13981 13773 77 171 0 13808 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 61280
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14356
/proc/meminfo: memFree=1733168/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=66292 CPUtime=159.83
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 16306 0 0 0 15972 11 0 0 25 0 1 0 310789154 67883008 16292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 16573 16292 77 171 0 16400 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 71648
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14356
/proc/meminfo: memFree=1724976/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=74344 CPUtime=219.82
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 18353 0 0 0 21968 14 0 0 25 0 1 0 310789154 76128256 18339 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 18586 18339 77 171 0 18413 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 79700
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14356
/proc/meminfo: memFree=1717744/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=81952 CPUtime=279.78
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 20138 0 0 0 27962 16 0 0 25 0 1 0 310789154 83918848 20124 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 20488 20124 77 171 0 20315 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 87308
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14356
/proc/meminfo: memFree=1709552/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=90248 CPUtime=339.77
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 22190 0 0 0 33958 19 0 0 25 0 1 0 310789154 92413952 22176 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 22562 22176 77 171 0 22389 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 95604
[startup+462.302 s]
################
# More data... #
################
/proc/14356/statm: 25611 25269 77 171 0 25438 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 107800
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14362
/proc/meminfo: memFree=1691568/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=107804 CPUtime=519.7
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 26631 0 0 0 51946 24 0 0 25 0 1 0 310789154 110391296 26617 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 26951 26617 77 171 0 26778 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 113160
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14362
/proc/meminfo: memFree=1685744/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=114536 CPUtime=579.69
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 28067 0 0 0 57943 26 0 0 25 0 1 0 310789154 117284864 28053 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 28634 28053 77 171 0 28461 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 119892
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14362
/proc/meminfo: memFree=1680880/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=119312 CPUtime=639.68
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 29290 0 0 0 63940 28 0 0 25 0 1 0 310789154 122175488 29276 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 29828 29276 77 171 0 29655 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 124668
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14362
/proc/meminfo: memFree=1676336/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=123832 CPUtime=699.67
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 30404 0 0 0 69937 30 0 0 25 0 1 0 310789154 126803968 30390 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 30958 30390 77 171 0 30785 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 129188
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14362
/proc/meminfo: memFree=1671984/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=128156 CPUtime=759.64
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 31490 0 0 0 75933 31 0 0 25 0 1 0 310789154 131231744 31476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 32039 31476 77 171 0 31866 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 133512
[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14362
/proc/meminfo: memFree=1668720/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=131296 CPUtime=819.63
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 32293 0 0 0 81931 32 0 0 25 0 1 0 310789154 134447104 32279 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 32824 32279 77 171 0 32651 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 136652
[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14362
/proc/meminfo: memFree=1664560/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=135352 CPUtime=879.61
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 33339 0 0 0 87928 33 0 0 25 0 1 0 310789154 138600448 33325 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 33838 33325 77 171 0 33665 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 140708
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14362
/proc/meminfo: memFree=1659952/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=139892 CPUtime=939.6
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 34466 0 0 0 93925 35 0 0 25 0 1 0 310789154 143249408 34452 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 34973 34452 77 171 0 34800 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 145248
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14362
/proc/meminfo: memFree=1655280/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=144612 CPUtime=999.57
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 35644 0 0 0 99921 36 0 0 25 0 1 0 310789154 148082688 35630 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 36153 35630 77 171 0 35980 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 149968
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14362
/proc/meminfo: memFree=1649776/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=150052 CPUtime=1059.56
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 36993 0 0 0 105918 38 0 0 25 0 1 0 310789154 153653248 36979 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 37513 36979 77 171 0 37340 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 155408
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14362
/proc/meminfo: memFree=1645104/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=154836 CPUtime=1119.54
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 38170 0 0 0 111915 39 0 0 25 0 1 0 310789154 158552064 38156 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 38709 38156 77 171 0 38536 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 160192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14362
/proc/meminfo: memFree=1644400/2055920 swapFree=4179344/4192956
[pid=14350] ppid=14348 vsize=5356 CPUtime=62.36
/proc/14350/stat : 14350 (SatELiteGTI) S 14348 14350 13936 0 -1 4194304 336 26990 0 0 0 0 6213 23 16 0 1 0 310782915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14350/statm: 1339 239 197 169 0 50 0
[pid=14356] ppid=14350 vsize=155532 CPUtime=1137.65
/proc/14356/stat : 14356 (minisat_static) R 14350 14350 13936 0 -1 4194304 38344 0 0 0 113725 40 0 0 25 0 1 0 310789154 159264768 38330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14356/statm: 38883 38330 77 171 0 38710 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 160888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14350 and gives
# childrusage.ru_utime.tv_sec=62
# childrusage.ru_utime.tv_usec=135553
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=238963
# CPU time returned by wait4() is 62.3745
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.01
CPU user time (s): 1199.38
CPU system time (s): 0.63
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 160888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.1356
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 122
runsolver used 1.36979 second user time and 3.10453 second system time
The end
Begin job on node31 at 2009-05-20 15:51:37
IDJOB=1834045
IDBENCH=71146
IDSOLVER=671
FILE ID=node31/1834045-1242827496
PBS_JOBID= 9322500
Free space on /tmp= 66196 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod3block_4vars_12gates_b2.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834045-1242827496/watcher-1834045-1242827496 -o /tmp/evaluation-result-1834045-1242827496/solver-1834045-1242827496 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834045-1242827496.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0518a02320d5198cbf8d4b8ec920a5ba
RANDOM SEED=831900068
node31.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1813608 kB
Buffers: 52708 kB
Cached: 138948 kB
SwapCached: 7176 kB
Active: 86060 kB
Inactive: 115308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1813608 kB
SwapTotal: 4192956 kB
SwapFree: 4179344 kB
Dirty: 28112 kB
Writeback: 0 kB
Mapped: 14312 kB
Slab: 26784 kB
Committed_AS: 1023660 kB
PageTables: 1468 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66180 MiB
End job on node31 at 2009-05-20 16:11:40