0.00/0.00 c Parsing...
1.59/1.68 c ==============================================================================
1.59/1.68 c | | ORIGINAL | LEARNT | |
1.59/1.68 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.59/1.68 c ==============================================================================
1.59/1.68 c | 0 | 1588988 3752699 | 476696 0 0 nan | 0.000 % |
10.98/11.05 c | 0 | 1168572 3106678 | -- 0 -- -- | -- | -118492/40523
10.98/11.05 c ==============================================================================
10.98/11.05 c Result : #vars: 243534 #clauses: 1168572 #literals: 3106678
10.98/11.05 c CPU time: 10.6964 s
10.98/11.05 c ==============================================================================
12.19/12.26 c This is MiniSat 2.0 beta
12.19/12.26 c WARNING: for repeatability, setting FPU to use double precision
12.19/12.26 c ============================[ Problem Statistics ]=============================
12.19/12.26 c | |
12.19/12.26 c | Number of variables: 243534 |
12.19/12.26 c | Number of clauses: 1168572 |
12.25/13.01 c | Parsing time: 0.63 s |
12.25/13.04 c ============================[ Search Statistics ]==============================
12.25/13.04 c | Conflicts | ORIGINAL | LEARNT | Progress |
12.25/13.04 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
12.25/13.04 c ===============================================================================
12.25/13.04 c | 0 | 243534 1168572 3106678 | 389524 0 nan | 0.000 % |
13.27/13.30 c | 102 | 243534 1168572 3106678 | 389524 102 96 | 0.000 % |
13.38/13.49 c | 208 | 243534 1168572 3106678 | 389524 208 90 | 0.000 % |
13.57/13.66 c | 310 | 243534 1168572 3106678 | 389524 310 84 | 0.000 % |
13.77/13.82 c | 420 | 243534 1168572 3106678 | 389524 420 77 | 0.000 % |
13.97/14.06 c | 520 | 243534 1168572 3106678 | 389524 520 79 | 0.000 % |
14.37/14.46 c | 630 | 243531 1168572 3106678 | 389524 629 76 | 0.008 % |
14.97/15.06 c | 751 | 241304 1158249 3081385 | 389524 742 70 | 1.435 % |
15.67/15.78 c | 853 | 241007 1158249 3081385 | 389524 841 72 | 1.960 % |
15.87/15.99 c | 965 | 241007 1158249 3081385 | 389524 953 69 | 1.960 % |
16.17/16.23 c | 1086 | 241007 1158249 3081385 | 389524 1074 71 | 1.960 % |
16.38/16.50 c | 1219 | 238760 1142949 3043421 | 389524 1202 72 | 1.960 % |
16.87/16.91 c | 1320 | 238686 1142949 3043421 | 389524 1300 70 | 2.142 % |
17.07/17.14 c | 1431 | 238681 1142949 3043421 | 389524 1410 69 | 2.148 % |
17.27/17.39 c | 1552 | 238681 1142949 3043421 | 389524 1531 66 | 2.148 % |
17.48/17.50 c | 1685 | 238681 1142949 3043421 | 389524 1664 66 | 2.148 % |
17.97/18.01 c | 1834 | 238681 1142949 3043421 | 389524 1813 66 | 2.148 % |
18.37/18.46 c | 1937 | 238300 1140991 3039353 | 389524 1914 65 | 2.166 % |
18.57/18.62 c | 2048 | 238299 1140991 3039353 | 389524 2025 65 | 2.166 % |
18.77/18.89 c | 2170 | 238298 1140991 3039353 | 389524 2147 63 | 2.166 % |
19.07/19.15 c | 2303 | 238296 1140991 3039353 | 389524 2279 62 | 2.173 % |
19.37/19.47 c | 2449 | 238296 1140991 3039353 | 389524 2425 64 | 2.173 % |
19.87/19.94 c | 2609 | 237155 1134744 3023519 | 389524 2579 63 | 2.619 % |
20.17/20.29 c | 2709 | 237155 1134744 3023519 | 389524 2679 63 | 2.619 % |
20.57/20.67 c | 2819 | 237154 1134744 3023519 | 389524 2788 63 | 2.621 % |
20.77/20.88 c | 2941 | 237153 1134744 3023519 | 389524 2908 62 | 2.630 % |
20.97/21.06 c | 3074 | 237153 1134744 3023519 | 389524 3041 62 | 2.630 % |
21.47/21.59 c | 3221 | 236900 1133422 3020789 | 389524 3149 62 | 2.724 % |
21.97/22.07 c | 3382 | 236841 1133422 3020789 | 389524 3306 61 | 2.948 % |
22.27/22.35 c | 3558 | 236744 1133422 3020789 | 389524 3479 61 | 3.477 % |
22.47/22.54 c | 3658 | 236481 1133422 3020789 | 389524 3575 60 | 4.883 % |
22.87/22.94 c | 3768 | 236335 1133422 3020789 | 389524 3682 60 | 5.092 % |
23.37/23.46 c | 3889 | 231087 1102553 2945047 | 389524 3795 59 | 5.277 % |
23.87/23.91 c | 4022 | 231071 1102553 2945047 | 389524 3928 60 | 5.277 % |
24.37/24.44 c | 4169 | 230956 1102553 2945047 | 389524 4073 61 | 5.769 % |
24.57/24.66 c | 4329 | 230348 1102553 2945047 | 389524 4232 60 | 6.019 % |
25.07/25.16 c | 4505 | 228857 1091253 2918426 | 389524 4399 62 | 6.027 % |
25.47/25.56 c | 4698 | 228802 1091253 2918426 | 389524 4591 61 | 6.104 % |
25.57/25.65 c | 4800 | 228802 1091253 2918426 | 389524 4693 62 | 6.104 % |
25.77/25.87 c | 4911 | 228802 1091253 2918426 | 389524 4803 62 | 6.108 % |
26.07/26.12 c | 5032 | 228800 1091253 2918426 | 389524 4924 62 | 6.108 % |
26.37/26.45 c | 5165 | 228800 1091253 2918426 | 389524 5057 61 | 6.108 % |
26.97/27.06 c | 5311 | 228388 1089002 2913877 | 389524 5202 61 | 6.219 % |
27.27/27.31 c | 5474 | 228388 1089002 2913877 | 389524 5365 62 | 6.219 % |
27.87/27.93 c | 5650 | 228381 1089002 2913877 | 389524 5540 62 | 6.227 % |
28.37/28.45 c | 5843 | 228381 1089002 2913877 | 389524 5733 61 | 6.227 % |
28.97/29.09 c | 6055 | 228381 1089002 2913877 | 389524 5945 61 | 6.227 % |
29.27/29.39 c | 6156 | 228316 1088860 2913517 | 389524 6042 65 | 6.445 % |
29.57/29.68 c | 6268 | 228316 1088860 2913517 | 389524 6154 65 | 6.445 % |
29.87/29.95 c | 6389 | 228312 1088860 2913517 | 389524 6273 65 | 6.459 % |
30.46/30.59 c | 6523 | 228240 1088860 2913517 | 389524 6404 65 | 6.921 % |
30.67/30.79 c | 6669 | 228240 1088860 2913517 | 389524 6550 66 | 6.921 % |
31.16/31.20 c | 6829 | 226664 1080231 2892371 | 389524 6696 65 | 6.927 % |
31.56/31.65 c | 7005 | 226664 1080231 2892371 | 389524 6872 66 | 6.927 % |
32.16/32.26 c | 7198 | 226480 1080231 2892371 | 389524 7064 66 | 7.090 % |
32.87/32.92 c | 7410 | 226474 1080231 2892371 | 389524 7275 66 | 7.099 % |
33.26/33.35 c | 7643 | 226245 1077895 2887179 | 389524 7459 66 | 7.099 % |
33.66/33.78 c | 7743 | 226244 1077895 2887179 | 389524 7558 66 | 7.100 % |
33.86/33.98 c | 7855 | 226244 1077895 2887179 | 389524 7670 67 | 7.100 % |
34.16/34.28 c | 7976 | 226244 1077895 2887179 | 389524 7791 67 | 7.100 % |
34.56/34.64 c | 8109 | 226237 1077895 2887179 | 389524 7923 67 | 7.108 % |
35.07/35.14 c | 8257 | 226065 1077755 2886803 | 389524 8070 69 | 7.233 % |
35.76/35.84 c | 8417 | 225995 1077755 2886803 | 389524 8228 68 | 7.555 % |
36.06/36.12 c | 8593 | 225990 1077755 2886803 | 389524 8403 68 | 7.691 % |
36.36/36.47 c | 8786 | 225723 1077755 2886803 | 389524 8596 67 | 7.691 % |
37.06/37.11 c | 8998 | 225611 1077755 2886803 | 389524 8807 67 | 7.695 % |
37.56/37.61 c | 9231 | 224794 1070614 2870375 | 389524 9016 68 | 7.695 % |
38.86/38.91 c | 9487 | 224794 1070614 2870375 | 389524 9272 68 | 7.695 % |
39.16/39.24 c | 9589 | 224794 1070614 2870375 | 389524 9374 67 | 7.695 % |
39.66/39.78 c | 9699 | 224791 1070599 2870340 | 389524 9483 67 | 7.696 % |
40.16/40.29 c | 9820 | 224739 1070599 2870340 | 389524 9602 67 | 7.852 % |
40.56/40.60 c | 9954 | 224738 1070599 2870340 | 389524 9735 67 | 7.854 % |
40.86/40.91 c | 10100 | 224738 1070599 2870340 | 2147483647 9881 67 | 7.854 % |
41.16/41.25 c | 10261 | 224738 1070599 2870340 | 2147483647 10042 67 | 7.854 % |
41.86/41.95 c | 10438 | 224738 1070599 2870340 | 2147483647 10219 67 | 7.854 % |
42.46/42.51 c | 10631 | 224407 1068394 2865351 | 2147483647 10410 67 | 7.854 % |
43.16/43.23 c | 10843 | 224407 1068394 2865351 | 2147483647 10622 68 | 7.854 % |
43.56/43.61 c | 11076 | 224407 1068394 2865351 | 2147483647 10855 69 | 7.854 % |
44.86/44.97 c | 11333 | 224384 1068266 2865019 | 2147483647 11109 69 | 7.875 % |
45.67/45.79 c | 11615 | 224381 1068266 2865019 | 2147483647 11388 70 | 7.895 % |
46.37/46.44 c | 11716 | 224330 1068266 2865019 | 2147483647 11487 69 | 8.744 % |
46.97/47.02 c | 11829 | 224327 1068266 2865019 | 2147483647 11600 69 | 8.744 % |
47.27/47.35 c | 11952 | 222240 1057158 2837413 | 2147483647 11710 69 | 8.744 % |
47.57/47.64 c | 12086 | 222238 1057158 2837413 | 2147483647 11842 70 | 8.745 % |
48.17/48.28 c | 12232 | 222238 1057158 2837413 | 2147483647 11988 70 | 8.745 % |
48.67/48.72 c | 12393 | 222237 1057158 2837413 | 2147483647 12148 70 | 8.757 % |
49.47/49.55 c | 12569 | 222196 1056890 2836718 | 2147483647 12323 69 | 8.762 % |
50.17/50.23 c | 12762 | 222160 1056890 2836718 | 2147483647 12515 71 | 8.901 % |
50.77/50.89 c | 12974 | 222160 1056890 2836718 | 2147483647 12727 71 | 8.901 % |
51.47/51.57 c | 13207 | 222160 1056890 2836718 | 2147483647 12960 72 | 8.901 % |
52.16/52.21 c | 13463 | 221857 1055253 2832638 | 2147483647 13199 74 | 8.901 % |
52.77/52.85 c | 13746 | 221857 1055253 2832638 | 2147483647 13482 73 | 8.901 % |
53.16/53.25 c | 14058 | 221857 1055253 2832638 | 2147483647 13794 73 | 8.901 % |
53.36/53.43 c | 14158 | 221856 1055253 2832638 | 2147483647 13893 73 | 8.907 % |
53.56/53.69 c | 14268 | 221799 1054828 2831570 | 2147483647 13985 73 | 8.925 % |
53.87/53.92 c | 14389 | 221799 1054828 2831570 | 2147483647 14106 73 | 8.925 % |
54.26/54.34 c | 14522 | 221799 1054828 2831570 | 2147483647 14239 74 | 8.925 % |
54.66/54.75 c | 14668 | 221799 1054828 2831570 | 2147483647 14385 74 | 8.925 % |
55.06/55.12 c | 14828 | 221799 1054828 2831570 | 2147483647 14545 75 | 8.925 % |
55.46/55.53 c | 15007 | 221797 1054828 2831570 | 2147483647 14723 75 | 8.940 % |
55.76/55.87 c | 15202 | 221797 1054828 2831570 | 2147483647 14918 77 | 8.940 % |
56.56/56.62 c | 15414 | 221742 1054648 2831109 | 2147483647 15127 77 | 8.969 % |
57.46/57.58 c | 15648 | 221742 1054648 2831109 | 2147483647 15361 77 | 8.969 % |
58.96/59.03 c | 15904 | 221690 1054332 2830477 | 2147483647 15614 81 | 8.970 % |
59.86/59.92 c | 16185 | 221550 1054332 2830477 | 2147483647 15894 82 | 9.062 % |
60.96/61.06 c | 16494 | 221547 1054332 2830477 | 2147483647 16202 85 | 9.075 % |
62.46/62.58 c | 16833 | 221434 1052854 2826792 | 2147483647 16496 88 | 9.075 % |
63.46/63.53 c | 16933 | 221369 1052854 2826792 | 2147483647 16590 88 | 9.425 % |
63.76/63.82 c | 17043 | 220580 1048297 2815389 | 2147483647 16672 88 | 9.425 % |
63.86/63.98 c | 17164 | 220579 1048297 2815389 | 2147483647 16792 88 | 9.436 % |
64.26/64.35 c | 17297 | 220578 1048297 2815389 | 2147483647 16925 89 | 9.436 % |
64.46/64.54 c | 17443 | 220578 1048297 2815389 | 2147483647 17071 89 | 9.436 % |
64.96/65.05 c | 17606 | 220578 1048297 2815389 | 2147483647 17233 88 | 9.501 % |
65.45/65.53 c | 17784 | 220551 1048297 2815389 | 2147483647 17411 89 | 9.501 % |
66.35/66.42 c | 17977 | 220550 1048297 2815389 | 2147483647 17603 89 | 9.508 % |
67.25/67.33 c | 18190 | 220379 1047297 2813256 | 2147483647 17798 92 | 9.514 % |
68.06/68.18 c | 18428 | 220378 1047297 2813256 | 2147483647 18035 95 | 9.514 % |
69.16/69.21 c | 18689 | 220378 1047297 2813256 | 2147483647 18296 96 | 9.514 % |
70.36/70.43 c | 18971 | 220359 1047185 2812959 | 2147483647 18575 98 | 9.526 % |
71.05/71.12 c | 19288 | 220359 1047185 2812959 | 2147483647 18892 98 | 9.526 % |
72.25/72.39 c | 19627 | 220314 1046903 2812235 | 2147483647 19229 98 | 9.535 % |
74.45/74.55 c | 19999 | 220292 1046903 2812235 | 2147483647 19597 100 | 10.007 % |
74.65/74.72 c | 20100 | 220292 1046903 2812235 | 2147483647 19698 100 | 10.007 % |
75.16/75.28 c | 20210 | 220292 1046903 2812235 | 2147483647 19808 100 | 10.007 % |
75.66/75.75 c | 20331 | 219164 1040460 2795895 | 2147483647 19925 100 | 10.007 % |
75.96/76.04 c | 20464 | 219164 1040460 2795895 | 2147483647 20058 100 | 10.007 % |
76.46/76.51 c | 20611 | 219150 1040460 2795895 | 2147483647 20204 101 | 10.101 % |
76.96/77.03 c | 20772 | 219148 1040460 2795895 | 2147483647 20365 101 | 10.101 % |
77.36/77.44 c | 20949 | 219139 1040460 2795895 | 2147483647 20541 101 | 10.146 % |
78.46/78.57 c | 21142 | 219136 1040460 2795895 | 2147483647 20733 103 | 10.155 % |
79.16/79.30 c | 21356 | 218803 1038393 2790899 | 2147483647 20938 104 | 10.160 % |
80.36/80.44 c | 21590 | 218799 1038393 2790899 | 2147483647 21170 105 | 10.291 % |
81.56/81.67 c | 21847 | 218461 1037000 2788030 | 2147483647 21417 105 | 10.295 % |
82.46/82.51 c | 22136 | 218461 1037000 2788030 | 2147483647 21706 105 | 10.295 % |
83.35/83.47 c | 22446 | 218461 1037000 2788030 | 2147483647 22016 106 | 10.295 % |
84.56/84.63 c | 22785 | 218459 1037000 2788030 | 2147483647 22354 106 | 10.303 % |
85.85/85.99 c | 23159 | 218442 1036869 2787695 | 2147483647 22728 106 | 10.303 % |
89.45/89.52 c | 23569 | 218286 1036247 2786451 | 2147483647 23137 110 | 10.367 % |
90.05/90.10 c | 23672 | 218286 1036247 2786451 | 2147483647 23240 110 | 10.367 % |
90.45/90.59 c | 23783 | 218285 1036247 2786451 | 2147483647 23350 110 | 10.536 % |
90.96/91.05 c | 23906 | 218285 1036247 2786451 | 2147483647 23473 111 | 10.536 % |
91.26/91.39 c | 24039 | 218283 1036247 2786451 | 2147483647 23604 111 | 10.548 % |
92.15/92.22 c | 24185 | 217847 1034437 2782723 | 2147483647 23745 112 | 10.548 % |
93.15/93.26 c | 24345 | 217728 1034437 2782723 | 2147483647 23904 112 | 10.982 % |
94.56/94.64 c | 24523 | 217718 1034437 2782723 | 2147483647 24078 113 | 11.011 % |
95.35/95.47 c | 24718 | 216717 1028120 2766637 | 2147483647 24268 114 | 11.055 % |
96.25/96.33 c | 24930 | 216717 1028120 2766637 | 2147483647 24480 114 | 11.055 % |
97.65/97.78 c | 25166 | 216669 1028120 2766637 | 2147483647 24716 116 | 11.055 % |
99.45/99.59 c | 25422 | 216592 1027591 2765496 | 2147483647 24970 117 | 11.063 % |
101.15/101.29 c | 25703 | 216591 1027591 2765496 | 2147483647 25250 120 | 11.063 % |
102.45/102.54 c | 26012 | 216590 1027591 2765496 | 2147483647 25558 122 | 11.064 % |
103.45/103.58 c | 26351 | 216590 1027591 2765496 | 2147483647 25897 121 | 11.064 % |
105.65/105.70 c | 26723 | 216589 1027583 2765480 | 2147483647 26266 124 | 11.074 % |
106.84/106.93 c | 27132 | 216575 1027583 2765480 | 2147483647 26672 124 | 11.210 % |
109.04/109.12 c | 27581 | 215987 1024356 2757323 | 2147483647 27112 126 | 11.311 % |
109.64/109.73 c | 27684 | 215987 1024356 2757323 | 2147483647 27215 126 | 11.311 % |
110.14/110.20 c | 27795 | 215986 1024356 2757323 | 2147483647 27325 127 | 11.318 % |
110.84/110.92 c | 27916 | 215986 1024356 2757323 | 2147483647 27446 127 | 11.318 % |
111.14/111.29 c | 28049 | 215986 1024356 2757323 | 2147483647 27579 128 | 11.318 % |
111.54/111.61 c | 28200 | 215986 1024356 2757323 | 2147483647 27730 127 | 11.318 % |
112.65/112.73 c | 28360 | 215971 1024260 2757083 | 2147483647 27887 128 | 11.318 % |
112.95/113.03 c | 28536 | 215971 1024260 2757083 | 2147483647 28063 128 | 11.318 % |
113.95/114.08 c | 28739 | 215971 1024260 2757083 | 2147483647 28266 129 | 11.318 % |
114.44/114.59 c | 28951 | 215971 1024260 2757083 | 2147483647 28478 130 | 11.318 % |
115.64/115.70 c | 29185 | 215917 1024260 2757083 | 2147483647 28711 131 | 11.643 % |
116.44/116.52 c | 29444 | 215137 1019952 2746945 | 2147483647 28884 132 | 11.660 % |
117.75/117.86 c | 29726 | 215137 1019952 2746945 | 2147483647 29166 133 | 11.660 % |
119.15/119.23 c | 30035 | 215137 1019952 2746945 | 2147483647 29475 134 | 11.660 % |
120.95/121.06 c | 30374 | 215136 1019949 2746939 | 2147483647 29813 135 | 11.661 % |
123.54/123.68 c | 30747 | 215136 1019949 2746939 | 2147483647 30186 137 | 11.661 % |
125.94/126.01 c | 31163 | 215111 1019750 2746478 | 2147483647 30589 138 | 11.671 % |
129.45/129.54 c | 31615 | 215109 1019750 2746478 | 2147483647 31039 142 | 11.772 % |
131.85/131.99 c | 32110 | 214864 1018323 2742850 | 2147483647 31533 143 | 11.772 % |
132.84/132.97 c | 32211 | 214843 1018323 2742850 | 2147483647 31629 143 | 11.806 % |
133.14/133.27 c | 32321 | 214843 1018323 2742850 | 2147483647 31739 143 | 11.806 % |
134.24/134.40 c | 32442 | 214843 1018323 2742850 | 2147483647 31860 145 | 11.806 % |
134.64/134.77 c | 32578 | 214782 1017717 2741241 | 2147483647 31996 145 | 11.806 % |
134.94/135.03 c | 32731 | 214780 1017717 2741241 | 2147483647 32146 144 | 11.835 % |
136.54/136.62 c | 32898 | 214776 1017717 2741241 | 2147483647 32312 145 | 11.908 % |
137.14/137.30 c | 33077 | 214776 1017717 2741241 | 2147483647 32491 146 | 11.908 % |
138.54/138.69 c | 33270 | 214770 1017717 2741241 | 2147483647 32683 147 | 11.920 % |
139.24/139.37 c | 33486 | 214478 1016006 2736865 | 2147483647 32880 147 | 11.931 % |
140.34/140.45 c | 33720 | 214478 1016006 2736865 | 2147483647 33114 148 | 11.931 % |
140.84/140.98 c | 33976 | 214478 1016006 2736865 | 2147483647 33370 149 | 11.931 % |
142.54/142.66 c | 34258 | 214476 1016006 2736865 | 2147483647 33651 150 | 11.942 % |
143.43/143.59 c | 34567 | 214475 1016006 2736865 | 2147483647 33959 150 | 11.942 % |
145.14/145.23 c | 34906 | 214475 1016006 2736865 | 2147483647 34298 151 | 11.942 % |
146.63/146.74 c | 35278 | 214450 1015867 2736520 | 2147483647 34665 152 | 11.943 % |
148.13/148.26 c | 35687 | 214450 1015867 2736520 | 2147483647 35074 152 | 11.943 % |
151.14/151.26 c | 36138 | 214414 1015672 2736055 | 2147483647 35517 155 | 11.957 % |
153.64/153.75 c | 36634 | 214413 1015672 2736055 | 2147483647 36012 156 | 11.958 % |
156.83/156.93 c | 37178 | 214412 1015672 2736055 | 2147483647 36555 158 | 11.958 % |
157.73/157.82 c | 37278 | 214383 1015662 2736035 | 2147483647 36645 158 | 12.075 % |
158.83/158.97 c | 37388 | 214383 1015662 2736035 | 2147483647 36755 159 | 12.075 % |
159.53/159.67 c | 37509 | 214383 1015662 2736035 | 2147483647 36876 159 | 12.075 % |
160.03/160.11 c | 37642 | 214382 1015662 2736035 | 2147483647 37008 159 | 12.082 % |
161.13/161.23 c | 37788 | 214382 1015662 2736035 | 2147483647 37154 159 | 12.082 % |
161.54/161.61 c | 37949 | 214382 1015662 2736035 | 2147483647 37315 159 | 12.082 % |
162.93/163.08 c | 38125 | 214382 1015662 2736035 | 2147483647 37491 160 | 12.082 % |
163.63/163.79 c | 38318 | 214110 1014609 2733799 | 2147483647 37652 162 | 12.082 % |
164.83/164.99 c | 38530 | 214110 1014609 2733799 | 2147483647 37864 162 | 12.082 % |
166.43/166.52 c | 38763 | 214110 1014609 2733799 | 2147483647 38097 163 | 12.082 % |
167.23/167.33 c | 39019 | 214110 1014609 2733799 | 2147483647 38353 165 | 12.082 % |
167.93/168.00 c | 39301 | 214097 1014609 2733799 | 2147483647 38634 164 | 12.142 % |
168.83/168.94 c | 39613 | 214080 1014609 2733799 | 2147483647 38943 164 | 12.161 % |
169.93/170.07 c | 39952 | 213917 1013529 2730978 | 2147483647 39279 164 | 12.225 % |
171.33/171.42 c | 40325 | 213915 1013529 2730978 | 2147483647 39650 164 | 12.225 % |
172.83/172.96 c | 40738 | 213893 1013529 2730978 | 2147483647 40062 164 | 12.278 % |
176.33/176.42 c | 41189 | 213786 1013529 2730978 | 2147483647 40512 166 | 12.330 % |
178.83/178.96 c | 41683 | 213502 1011213 2725331 | 2147483647 40984 168 | 12.346 % |
180.53/180.65 c | 42229 | 213501 1011213 2725331 | 2147483647 41529 168 | 12.355 % |
183.92/184.04 c | 42825 | 213496 1011213 2725331 | 2147483647 42124 170 | 12.367 % |
185.02/185.18 c | 42926 | 213417 1010733 2724114 | 2147483647 42217 171 | 12.367 % |
185.73/185.87 c | 43036 | 213417 1010733 2724114 | 2147483647 42327 171 | 12.367 % |
186.12/186.29 c | 43157 | 213417 1010733 2724114 | 2147483647 42448 170 | 12.367 % |
186.62/186.71 c | 43290 | 213417 1010733 2724114 | 2147483647 42581 170 | 12.367 % |
187.32/187.48 c | 43436 | 213417 1010733 2724114 | 2147483647 42727 170 | 12.367 % |
188.42/188.52 c | 43596 | 213417 1010733 2724114 | 2147483647 42887 171 | 12.367 % |
189.33/189.49 c | 43772 | 213417 1010733 2724114 | 2147483647 43063 172 | 12.367 % |
190.33/190.44 c | 43967 | 213417 1010733 2724114 | 2147483647 43258 172 | 12.367 % |
191.83/191.94 c | 44179 | 213416 1010729 2724106 | 2147483647 43467 173 | 12.367 % |
193.52/193.63 c | 44412 | 213412 1010729 2724106 | 2147483647 43698 173 | 12.389 % |
195.72/195.87 c | 44670 | 213409 1010729 2724106 | 2147483647 43953 174 | 12.489 % |
197.82/197.99 c | 44954 | 213119 1009310 2720620 | 2147483647 44171 175 | 12.489 % |
200.72/200.83 c | 45264 | 213118 1009310 2720620 | 2147483647 44480 178 | 12.489 % |
202.12/202.30 c | 45604 | 213118 1009310 2720620 | 2147483647 44820 178 | 12.489 % |
204.91/205.09 c | 45977 | 213118 1009310 2720620 | 2147483647 45193 179 | 12.489 % |
208.42/208.59 c | 46386 | 213116 1009306 2720612 | 2147483647 45597 180 | 12.492 % |
210.12/210.21 c | 46835 | 213116 1009306 2720612 | 2147483647 46046 182 | 12.492 % |
212.01/212.15 c | 47328 | 213116 1009306 2720612 | 2147483647 46539 184 | 12.492 % |
215.32/215.48 c | 47870 | 213116 1009306 2720612 | 2147483647 47081 186 | 12.492 % |
218.41/218.57 c | 48466 | 213110 1009283 2720566 | 2147483647 47675 188 | 12.501 % |
223.91/224.08 c | 49121 | 212888 1008093 2717644 | 2147483647 48279 188 | 12.584 % |
224.71/224.86 c | 49222 | 212887 1008093 2717644 | 2147483647 48379 188 | 12.584 % |
225.41/225.59 c | 49333 | 212887 1008093 2717644 | 2147483647 48490 188 | 12.584 % |
225.91/226.09 c | 49455 | 212887 1008093 2717644 | 2147483647 48612 188 | 12.584 % |
226.91/227.02 c | 49588 | 212887 1008093 2717644 | 2147483647 48745 189 | 12.584 % |
227.71/227.83 c | 49734 | 212886 1008093 2717644 | 2147483647 48890 189 | 12.727 % |
228.31/228.44 c | 49895 | 212885 1008093 2717644 | 2147483647 49050 189 | 12.728 % |
229.40/229.56 c | 50072 | 212885 1008093 2717644 | 2147483647 49227 189 | 12.728 % |
230.00/230.19 c | 50265 | 212885 1008093 2717644 | 2147483647 49420 189 | 12.728 % |
232.30/232.49 c | 50479 | 212885 1008093 2717644 | 2147483647 49634 190 | 12.728 % |
233.60/233.78 c | 50712 | 212538 1005812 2712081 | 2147483647 49856 192 | 12.728 % |
235.41/235.56 c | 50968 | 212538 1005812 2712081 | 2147483647 50112 195 | 12.728 % |
236.90/237.08 c | 51251 | 212538 1005812 2712081 | 2147483647 50394 196 | 12.728 % |
239.30/239.43 c | 51561 | 212537 1005812 2712081 | 2147483647 50703 196 | 12.733 % |
242.30/242.47 c | 51901 | 212457 1005256 2710714 | 2147483647 50409 197 | 12.761 % |
245.60/245.71 c | 52274 | 212457 1005256 2710714 | 2147483647 50781 198 | 12.761 % |
247.00/247.17 c | 52684 | 212454 1005256 2710714 | 2147483647 51188 198 | 12.770 % |
251.10/251.26 c | 53139 | 212453 1005256 2710714 | 2147483647 51643 200 | 12.770 % |
255.58/255.85 c | 53633 | 212434 1005114 2710345 | 2147483647 52133 200 | 12.770 % |
260.36/260.70 c | 54175 | 212434 1005114 2710345 | 2147483647 52675 204 | 12.770 % |
265.45/265.74 c | 54771 | 212434 1005114 2710345 | 2147483647 53271 207 | 12.770 % |
270.26/270.59 c | 55426 | 212428 1005094 2710292 | 2147483647 53922 209 | 12.795 % |
276.86/277.13 c | 56148 | 212396 1005094 2710292 | 2147483647 54644 214 | 12.795 % |
277.75/278.09 c | 56248 | 212396 1005094 2710292 | 2147483647 54743 214 | 12.796 % |
278.85/279.15 c | 56358 | 212370 1004879 2709860 | 2147483647 54849 214 | 12.809 % |
279.95/280.22 c | 56482 | 212370 1004879 2709860 | 2147483647 54972 215 | 12.817 % |
280.85/281.11 c | 56618 | 212370 1004879 2709860 | 2147483647 55108 215 | 12.817 % |
281.25/281.51 c | 56764 | 212286 1004879 2709860 | 2147483647 55253 215 | 12.903 % |
281.45/281.75 c | 56924 | 212286 1004879 2709860 | 2147483647 55413 214 | 12.903 % |
282.35/282.67 c | 57102 | 212286 1004879 2709860 | 2147483647 55591 215 | 12.903 % |
283.45/283.72 c | 57295 | 212286 1004879 2709860 | 2147483647 55784 215 | 12.903 % |
284.85/285.11 c | 57507 | 212286 1004879 2709860 | 2147483647 55996 215 | 12.903 % |
285.95/286.29 c | 57744 | 212286 1004879 2709860 | 2147483647 56233 215 | 12.903 % |
287.25/287.54 c | 58000 | 212282 1004879 2709860 | 2147483647 56488 215 | 12.913 % |
289.65/289.99 c | 58282 | 212086 1003553 2706989 | 2147483647 56761 217 | 12.913 % |
292.05/292.36 c | 58595 | 212081 1003553 2706989 | 2147483647 57073 218 | 12.924 % |
294.46/294.72 c | 58937 | 212070 1003553 2706989 | 2147483647 57412 219 | 12.946 % |
296.85/297.17 c | 59310 | 212070 1003553 2706989 | 2147483647 57784 220 | 12.948 % |
300.05/300.38 c | 59719 | 212069 1003553 2706989 | 2147483647 58192 221 | 12.958 % |
303.84/304.14 c | 60168 | 211973 1002885 2705343 | 2147483647 58577 222 | 13.128 % |
306.84/307.15 c | 60661 | 211969 1002885 2705343 | 2147483647 59069 223 | 13.138 % |
309.25/309.53 c | 61203 | 211969 1002885 2705343 | 2147483647 59610 224 | 13.158 % |
312.74/313.06 c | 61800 | 211474 1000764 2700917 | 2147483647 60191 224 | 13.165 % |
316.45/316.72 c | 62455 | 211463 1000764 2700917 | 2147483647 60843 225 | 13.196 % |
323.54/323.87 c | 63175 | 211463 1000764 2700917 | 2147483647 61563 229 | 13.196 % |
329.94/330.24 c | 63972 | 211396 1000369 2699969 | 2147483647 62320 231 | 13.197 % |
330.44/330.78 c | 64076 | 211396 1000369 2699969 | 2147483647 62424 230 | 13.197 % |
331.14/331.47 c | 64186 | 211395 1000369 2699969 | 2147483647 62533 231 | 13.209 % |
332.04/332.37 c | 64307 | 211370 1000369 2699969 | 2147483647 62653 231 | 13.210 % |
333.34/333.69 c | 64440 | 211365 1000369 2699969 | 2147483647 62786 232 | 13.210 % |
334.74/335.03 c | 64586 | 211364 1000369 2699969 | 2147483647 62931 232 | 13.210 % |
336.34/336.67 c | 64749 | 211363 1000123 2699334 | 2147483647 63064 232 | 13.210 % |
337.14/337.47 c | 64926 | 211363 1000123 2699334 | 2147483647 63241 233 | 13.210 % |
339.04/339.32 c | 65122 | 211363 1000123 2699334 | 2147483647 63437 233 | 13.210 % |
340.54/340.82 c | 65335 | 211363 1000123 2699334 | 2147483647 63650 233 | 13.210 % |
342.54/342.86 c | 65568 | 211363 1000123 2699334 | 2147483647 63883 234 | 13.210 % |
344.04/344.31 c | 65824 | 211362 1000123 2699334 | 2147483647 64137 233 | 13.215 % |
345.63/345.96 c | 66106 | 211361 1000123 2699334 | 2147483647 64419 234 | 13.215 % |
348.43/348.77 c | 66415 | 211361 1000123 2699334 | 2147483647 64728 236 | 13.215 % |
352.14/352.43 c | 66755 | 211352 1000035 2699110 | 2147483647 65058 236 | 13.215 % |
355.64/355.96 c | 67127 | 211347 1000035 2699110 | 2147483647 65426 237 | 13.253 % |
359.73/360.03 c | 67536 | 211347 1000035 2699110 | 2147483647 65835 238 | 13.253 % |
364.03/364.31 c | 67985 | 211237 999355 2697460 | 2147483647 66255 240 | 13.264 % |
367.63/367.94 c | 68480 | 211237 999355 2697460 | 2147483647 66750 241 | 13.264 % |
370.92/371.21 c | 69025 | 211237 999355 2697460 | 2147483647 67293 242 | 13.356 % |
375.32/375.61 c | 69622 | 210983 998253 2695119 | 2147483647 67885 242 | 13.366 % |
379.03/379.31 c | 70279 | 210983 998253 2695119 | 2147483647 68542 243 | 13.366 % |
383.62/383.96 c | 71001 | 210982 998253 2695119 | 2147483647 69263 245 | 13.367 % |
388.73/389.02 c | 71797 | 210982 998253 2695119 | 2147483647 70059 245 | 13.367 % |
393.12/393.43 c | 72668 | 210981 998249 2695111 | 2147483647 70926 246 | 13.367 % |
393.43/393.78 c | 72770 | 210981 998249 2695111 | 2147483647 71028 245 | 13.367 % |
394.63/394.99 c | 72880 | 210981 998249 2695111 | 2147483647 71138 246 | 13.367 % |
395.32/395.66 c | 73001 | 210981 998249 2695111 | 2147483647 71259 246 | 13.367 % |
395.92/396.28 c | 73134 | 210981 998249 2695111 | 2147483647 71392 246 | 13.367 % |
396.82/397.17 c | 73281 | 210981 998249 2695111 | 2147483647 71539 245 | 13.367 % |
398.72/399.00 c | 73443 | 210981 998249 2695111 | 2147483647 71700 245 | 13.368 % |
400.02/400.32 c | 73620 | 210981 998249 2695111 | 2147483647 71877 246 | 13.368 % |
401.22/401.56 c | 73813 | 210981 998249 2695111 | 2147483647 72070 246 | 13.368 % |
402.92/403.25 c | 74025 | 210981 998249 2695111 | 2147483647 72282 247 | 13.368 % |
404.61/404.97 c | 74258 | 210969 998151 2694860 | 2147483647 72497 247 | 13.378 % |
406.92/407.20 c | 74514 | 210959 998151 2694860 | 2147483647 72752 248 | 13.385 % |
408.42/408.79 c | 74798 | 210959 998151 2694860 | 2147483647 73036 247 | 13.385 % |
409.31/409.65 c | 75107 | 210959 998151 2694860 | 2147483647 73345 248 | 13.385 % |
411.42/411.79 c | 75447 | 210959 998151 2694860 | 2147483647 73685 248 | 13.385 % |
414.02/414.34 c | 75819 | 210951 998151 2694860 | 2147483647 74056 248 | 13.399 % |
417.52/417.87 c | 76229 | 210923 998151 2694860 | 2147483647 74465 249 | 13.445 % |
421.52/421.85 c | 76678 | 210760 996797 2691495 | 2147483647 74816 250 | 13.499 % |
425.91/426.28 c | 77172 | 210760 996797 2691495 | 2147483647 75310 252 | 13.499 % |
431.21/431.51 c | 77714 | 210758 996797 2691495 | 2147483647 75850 252 | 13.508 % |
434.22/434.57 c | 78310 | 210663 996797 2691495 | 2147483647 76444 251 | 13.615 % |
440.11/440.45 c | 78967 | 210377 994299 2685275 | 2147483647 77037 253 | 13.615 % |
446.21/446.60 c | 79687 | 210377 994299 2685275 | 2147483647 77756 254 | 13.641 % |
452.91/453.29 c | 80479 | 210374 994299 2685275 | 2147483647 78547 255 | 13.647 % |
461.80/462.15 c | 81350 | 210297 993859 2684200 | 2147483647 79329 259 | 13.660 % |
469.80/470.12 c | 82308 | 210296 993859 2684200 | 2147483647 80286 260 | 13.661 % |
470.70/471.00 c | 82408 | 210266 993710 2683839 | 2147483647 80385 260 | 13.661 % |
471.60/471.97 c | 82518 | 210266 993710 2683839 | 2147483647 80495 260 | 13.661 % |
472.40/472.79 c | 82640 | 210266 993710 2683839 | 2147483647 80617 260 | 13.661 % |
473.49/473.86 c | 82780 | 210266 993710 2683839 | 2147483647 80757 260 | 13.661 % |
474.81/475.12 c | 82926 | 210266 993710 2683839 | 2147483647 80902 261 | 13.661 % |
476.40/476.74 c | 83088 | 210266 993710 2683839 | 2147483647 81064 261 | 13.661 % |
477.40/477.74 c | 83265 | 210264 993710 2683839 | 2147483647 81239 261 | 13.667 % |
479.50/479.80 c | 83459 | 210263 993710 2683839 | 2147483647 81431 261 | 13.693 % |
481.80/482.19 c | 83671 | 210263 993710 2683839 | 2147483647 81643 261 | 13.693 % |
484.30/484.64 c | 83905 | 210263 993710 2683839 | 2147483647 81877 261 | 13.693 % |
486.00/486.35 c | 84161 | 210263 993710 2683839 | 2147483647 82133 261 | 13.693 % |
489.20/489.52 c | 84442 | 210185 993242 2682684 | 2147483647 82383 262 | 13.694 % |
491.10/491.43 c | 84751 | 210183 993242 2682684 | 2147483647 82690 262 | 13.712 % |
492.40/492.76 c | 85093 | 210180 993242 2682684 | 2147483647 83029 262 | 13.726 % |
495.39/495.71 c | 85465 | 210179 993242 2682684 | 2147483647 83401 262 | 13.726 % |
499.10/499.47 c | 85877 | 210179 993242 2682684 | 2147483647 83813 263 | 13.726 % |
501.29/501.66 c | 86327 | 210160 993242 2682684 | 2147483647 84260 262 | 13.781 % |
504.79/505.10 c | 86821 | 209970 991956 2679589 | 2147483647 84530 263 | 13.789 % |
507.19/507.59 c | 87364 | 209919 991956 2679589 | 2147483647 85069 262 | 13.889 % |
513.09/513.41 c | 87961 | 209919 991956 2679589 | 2147483647 85666 263 | 13.889 % |
518.29/518.63 c | 88617 | 209913 991956 2679589 | 2147483647 86318 262 | 15.301 % |
522.99/523.30 c | 89337 | 209913 991956 2679589 | 2147483647 87038 264 | 15.301 % |
529.69/530.03 c | 90129 | 206270 969737 2625136 | 2147483647 84835 264 | 15.312 % |
535.09/535.46 c | 91000 | 206263 969737 2625136 | 2147483647 85701 265 | 15.354 % |
542.18/542.54 c | 91958 | 206262 969737 2625136 | 2147483647 86658 265 | 17.682 % |
547.18/547.50 c | 93012 | 200472 943649 2559227 | 2147483647 87655 266 | 17.688 % |
548.19/548.51 c | 93114 | 200472 943649 2559227 | 2147483647 87757 267 | 17.688 % |
549.38/549.77 c | 93225 | 200472 943649 2559227 | 2147483647 87868 267 | 17.688 % |
550.88/551.29 c | 93348 | 200472 943649 2559227 | 2147483647 87991 267 | 17.688 % |
551.98/552.40 c | 93481 | 200472 943649 2559227 | 2147483647 88124 268 | 17.688 % |
553.28/553.62 c | 93627 | 200472 943649 2559227 | 2147483647 88270 268 | 17.688 % |
554.78/555.16 c | 93787 | 200471 943649 2559227 | 2147483647 88429 268 | 17.688 % |
556.68/557.04 c | 93963 | 200470 943649 2559227 | 2147483647 88604 269 | 17.689 % |
558.18/558.59 c | 94157 | 200469 943649 2559227 | 2147483647 88797 269 | 17.689 % |
560.48/560.84 c | 94369 | 200469 943649 2559227 | 2147483647 89008 269 | 17.692 % |
562.98/563.40 c | 94602 | 200427 943397 2558608 | 2147483647 89213 269 | 17.701 % |
565.87/566.20 c | 94863 | 200427 943397 2558608 | 2147483647 89474 270 | 17.701 % |
568.57/568.99 c | 95145 | 200427 943397 2558608 | 2147483647 89756 270 | 17.701 % |
570.37/570.76 c | 95456 | 200427 943397 2558608 | 2147483647 90066 269 | 17.701 % |
571.78/572.18 c | 95796 | 200427 943397 2558608 | 2147483647 90406 269 | 17.701 % |
576.58/576.95 c | 96169 | 200427 943397 2558608 | 2147483647 90778 269 | 17.713 % |
581.07/581.44 c | 96578 | 200427 943397 2558608 | 2147483647 91187 269 | 17.713 % |
584.77/585.15 c | 97035 | 200396 943242 2558203 | 2147483647 91633 270 | 17.713 % |
588.97/589.33 c | 97528 | 200396 943242 2558203 | 2147483647 92126 271 | 17.713 % |
593.27/593.64 c | 98071 | 200387 943242 2558203 | 2147483647 92668 271 | 17.726 % |
597.17/597.57 c | 98668 | 200384 943242 2558203 | 2147483647 93262 271 | 19.369 % |
601.86/602.23 c | 99325 | 200384 943242 2558203 | 2147483647 93919 272 | 19.369 % |
608.87/609.25 c | 100045 | 196363 926971 2517728 | 2147483647 94585 273 | 19.396 % |
614.86/615.23 c | 100838 | 196358 926971 2517728 | 2147483647 95376 273 | 19.403 % |
622.96/623.35 c | 101710 | 196355 926971 2517728 | 2147483647 96243 274 | 19.415 % |
633.66/634.02 c | 102670 | 196249 926357 2516180 | 2147483647 97144 275 | 19.423 % |
642.86/643.21 c | 103723 | 196245 926357 2516180 | 2147483647 98193 277 | 19.447 % |
652.65/653.01 c | 104881 | 196172 925963 2515199 | 2147483647 99323 279 | 19.448 % |
653.95/654.35 c | 104981 | 196172 925963 2515199 | 2147483647 99423 279 | 19.448 % |
655.35/655.73 c | 105095 | 196172 925963 2515199 | 2147483647 99537 279 | 19.448 % |
656.36/656.73 c | 105219 | 196172 925963 2515199 | 2147483647 99661 279 | 19.448 % |
658.15/658.54 c | 105352 | 196172 925963 2515199 | 2147483647 99794 280 | 19.448 % |
659.66/660.05 c | 105498 | 196172 925963 2515199 | 2147483647 99940 280 | 19.448 % |
661.45/661.84 c | 105658 | 196172 925963 2515199 | 2147483647 100100 280 | 19.448 % |
664.05/664.43 c | 105835 | 196172 925963 2515199 | 2147483647 100277 281 | 19.448 % |
666.25/666.66 c | 106028 | 196172 925963 2515199 | 2147483647 100470 281 | 19.448 % |
668.04/668.41 c | 106240 | 196170 925959 2515191 | 2147483647 100678 281 | 19.454 % |
670.35/670.74 c | 106473 | 196169 925959 2515191 | 2147483647 100910 282 | 19.455 % |
672.45/672.85 c | 106731 | 196165 925959 2515191 | 2147483647 101165 282 | 19.541 % |
675.05/675.46 c | 107013 | 196165 925959 2515191 | 2147483647 101446 282 | 19.543 % |
678.35/678.74 c | 107326 | 196165 925959 2515191 | 2147483647 101759 282 | 19.543 % |
680.94/681.33 c | 107665 | 196165 925959 2515191 | 2147483647 102098 282 | 19.543 % |
685.14/685.52 c | 108037 | 196165 925959 2515191 | 2147483647 102470 282 | 19.543 % |
688.04/688.49 c | 108447 | 196164 925959 2515191 | 2147483647 102879 283 | 19.543 % |
690.85/691.27 c | 108896 | 196164 925959 2515191 | 2147483647 103328 283 | 19.543 % |
693.35/693.71 c | 109393 | 195938 924837 2512420 | 2147483647 103646 283 | 19.566 % |
696.44/696.81 c | 109937 | 195930 924837 2512420 | 2147483647 104188 284 | 19.584 % |
702.14/702.54 c | 110533 | 195928 924837 2512420 | 2147483647 104782 284 | 19.597 % |
707.53/707.99 c | 111188 | 195927 924837 2512420 | 2147483647 105435 284 | 21.648 % |
715.04/715.41 c | 111910 | 195926 924837 2512420 | 2147483647 106157 286 | 21.648 % |
723.43/723.83 c | 112703 | 190767 903759 2460246 | 2147483647 106754 286 | 21.699 % |
729.14/729.53 c | 113578 | 190765 903759 2460246 | 2147483647 107627 285 | 21.700 % |
739.03/739.44 c | 114539 | 190765 903759 2460246 | 2147483647 108588 287 | 21.700 % |
749.63/750.03 c | 115592 | 190765 903759 2460246 | 2147483647 109641 290 | 21.700 % |
760.33/760.71 c | 116750 | 190681 903155 2458647 | 2147483647 110772 294 | 21.709 % |
773.62/774.00 c | 118023 | 190676 903155 2458647 | 2147483647 112039 294 | 21.719 % |
774.52/774.92 c | 118126 | 190676 903155 2458647 | 2147483647 112142 294 | 21.719 % |
775.22/775.69 c | 118237 | 190676 903155 2458647 | 2147483647 112253 294 | 21.719 % |
776.62/777.08 c | 118358 | 190676 903155 2458647 | 2147483647 112374 294 | 21.719 % |
778.72/779.16 c | 118498 | 190635 902879 2457971 | 2147483647 112487 294 | 21.741 % |
780.62/781.04 c | 118645 | 190635 902879 2457971 | 2147483647 112634 294 | 21.741 % |
781.72/782.17 c | 118805 | 190635 902879 2457971 | 2147483647 112794 294 | 21.741 % |
782.91/783.32 c | 118986 | 190635 902879 2457971 | 2147483647 112975 294 | 21.741 % |
785.31/785.74 c | 119179 | 190635 902879 2457971 | 2147483647 113168 295 | 21.741 % |
787.71/788.18 c | 119394 | 190635 902879 2457971 | 2147483647 113383 295 | 21.741 % |
790.52/790.93 c | 119627 | 190635 902879 2457971 | 2147483647 113615 295 | 21.751 % |
791.72/792.19 c | 119883 | 190635 902879 2457971 | 2147483647 113871 295 | 21.751 % |
795.32/795.76 c | 120165 | 190634 902879 2457971 | 2147483647 114152 294 | 21.756 % |
799.32/799.71 c | 120474 | 190634 902879 2457971 | 2147483647 114461 295 | 21.756 % |
803.02/803.40 c | 120813 | 190634 902879 2457971 | 2147483647 114800 295 | 21.756 % |
807.11/807.59 c | 121187 | 190634 902879 2457971 | 2147483647 115174 295 | 21.756 % |
812.42/812.80 c | 121597 | 190548 902389 2456714 | 2147483647 115535 296 | 21.782 % |
815.81/816.25 c | 122046 | 190548 902389 2456714 | 2147483647 115984 296 | 21.782 % |
820.21/820.68 c | 122541 | 190543 902389 2456714 | 2147483647 116477 296 | 21.788 % |
824.11/824.53 c | 123084 | 190543 902389 2456714 | 2147483647 117019 296 | 21.788 % |
828.70/829.15 c | 123680 | 190539 902389 2456714 | 2147483647 117611 296 | 21.821 % |
836.20/836.64 c | 124335 | 189555 897291 2445193 | 2147483647 118009 296 | 22.165 % |
843.81/844.28 c | 125055 | 189540 897291 2445193 | 2147483647 118726 297 | 22.572 % |
851.00/851.44 c | 125850 | 189538 897291 2445193 | 2147483647 119519 297 | 22.586 % |
858.00/858.46 c | 126722 | 189528 897291 2445193 | 2147483647 120390 297 | 22.606 % |
869.29/869.72 c | 127680 | 188478 891496 2430772 | 2147483647 121262 297 | 22.615 % |
879.50/880.00 c | 128734 | 188473 891496 2430772 | 2147483647 122311 299 | 22.658 % |
889.29/889.75 c | 129898 | 188472 891496 2430772 | 2147483647 123472 299 | 22.670 % |
902.09/902.52 c | 131172 | 188472 891496 2430772 | 2147483647 124746 299 | 22.670 % |
920.08/920.56 c | 132573 | 188323 890702 2428786 | 2147483647 126110 299 | 22.755 % |
920.88/921.35 c | 132675 | 188323 890702 2428786 | 2147483647 126212 299 | 22.755 % |
922.18/922.67 c | 132785 | 188323 890702 2428786 | 2147483647 126322 299 | 22.755 % |
922.68/923.17 c | 132907 | 188323 890702 2428786 | 2147483647 126444 299 | 22.755 % |
923.48/923.92 c | 133040 | 188323 890702 2428786 | 2147483647 126577 299 | 22.755 % |
924.98/925.45 c | 133186 | 188323 890702 2428786 | 2147483647 126723 299 | 22.755 % |
927.08/927.54 c | 133347 | 188323 890702 2428786 | 2147483647 126884 299 | 22.755 % |
928.47/928.92 c | 133528 | 188323 890702 2428786 | 2147483647 127065 299 | 22.755 % |
930.48/930.97 c | 133722 | 188321 890702 2428786 | 2147483647 127257 299 | 22.756 % |
931.78/932.20 c | 133934 | 188320 890702 2428786 | 2147483647 127468 300 | 22.757 % |
933.88/934.31 c | 134169 | 188114 889650 2426504 | 2147483647 127658 300 | 22.757 % |
937.18/937.65 c | 134431 | 188111 889650 2426504 | 2147483647 127917 300 | 22.762 % |
939.48/939.95 c | 134712 | 188109 889650 2426504 | 2147483647 128197 300 | 22.823 % |
942.87/943.39 c | 135025 | 188109 889650 2426504 | 2147483647 128509 300 | 22.823 % |
946.07/946.54 c | 135365 | 188109 889650 2426504 | 2147483647 128849 300 | 22.823 % |
951.27/951.77 c | 135739 | 188109 889650 2426504 | 2147483647 129221 300 | 22.828 % |
955.27/955.78 c | 136148 | 188108 889650 2426504 | 2147483647 129629 299 | 22.829 % |
959.47/959.99 c | 136597 | 188108 889650 2426504 | 2147483647 130078 299 | 22.829 % |
964.27/964.76 c | 137090 | 188108 889650 2426504 | 2147483647 130571 300 | 22.829 % |
968.07/968.54 c | 137633 | 187938 888593 2423858 | 2147483647 131072 300 | 22.829 % |
972.87/973.36 c | 138229 | 187938 888593 2423858 | 2147483647 131668 301 | 22.829 % |
980.16/980.67 c | 138886 | 187938 888593 2423858 | 2147483647 132324 301 | 22.829 % |
989.77/990.22 c | 139608 | 187936 888593 2423858 | 2147483647 133044 301 | 22.830 % |
998.56/999.07 c | 140404 | 187936 888593 2423858 | 2147483647 133840 300 | 22.830 % |
1009.27/1009.79 c | 141275 | 187935 888582 2423836 | 2147483647 134702 301 | 22.830 % |
1021.36/1021.83 c | 142233 | 187935 888582 2423836 | 2147483647 135660 302 | 22.830 % |
1033.65/1034.15 c | 143287 | 187933 888582 2423836 | 2147483647 136711 302 | 22.860 % |
1048.25/1048.78 c | 144447 | 187861 888108 2422613 | 2147483647 137801 303 | 22.860 % |
1062.94/1063.40 c | 145720 | 187859 888108 2422613 | 2147483647 139072 303 | 22.869 % |
1074.64/1075.13 c | 147124 | 187839 887971 2422268 | 2147483647 140472 303 | 22.869 % |
1093.73/1094.25 c | 148664 | 187839 887971 2422268 | 2147483647 142011 304 | 22.873 % |
1095.33/1095.84 c | 148765 | 187837 887971 2422268 | 2147483647 142111 304 | 22.884 % |
1096.73/1097.29 c | 148876 | 187837 887971 2422268 | 2147483647 142222 304 | 22.884 % |
1097.83/1098.32 c | 148999 | 187837 887971 2422268 | 2147483647 142345 304 | 22.884 % |
1099.33/1099.86 c | 149134 | 187837 887971 2422268 | 2147483647 142480 304 | 22.884 % |
1101.53/1102.09 c | 149280 | 187837 887971 2422268 | 2147483647 142626 304 | 22.884 % |
1104.64/1105.10 c | 149440 | 187837 887971 2422268 | 2147483647 142786 304 | 22.884 % |
1107.24/1107.77 c | 149625 | 187837 887971 2422268 | 2147483647 142971 304 | 22.884 % |
1109.03/1109.51 c | 149820 | 187803 887769 2421752 | 2147483647 143159 304 | 22.884 % |
1111.63/1112.14 c | 150032 | 187803 887769 2421752 | 2147483647 143371 304 | 22.884 % |
1113.63/1114.15 c | 150269 | 187803 887769 2421752 | 2147483647 143608 304 | 22.884 % |
1115.83/1116.34 c | 150525 | 187803 887769 2421752 | 2147483647 143864 304 | 22.884 % |
1117.63/1118.10 c | 150811 | 187803 887769 2421752 | 2147483647 144150 304 | 22.884 % |
1120.63/1121.18 c | 151122 | 187803 887769 2421752 | 2147483647 144461 304 | 22.884 % |
1124.63/1125.16 c | 151462 | 187803 887769 2421752 | 2147483647 144801 305 | 22.884 % |
1127.83/1128.32 c | 151834 | 187803 887769 2421752 | 2147483647 145173 305 | 22.884 % |
1131.63/1132.14 c | 152246 | 187803 887769 2421752 | 2147483647 145585 305 | 22.884 % |
1135.33/1135.83 c | 152697 | 187803 887769 2421752 | 2147483647 146036 306 | 22.884 % |
1140.32/1140.80 c | 153190 | 187802 887769 2421752 | 2147483647 146528 306 | 22.890 % |
1147.42/1147.99 c | 153732 | 187802 887769 2421752 | 2147483647 147070 306 | 22.890 % |
1154.43/1154.95 c | 154328 | 187789 887677 2421505 | 2147483647 147664 305 | 22.909 % |
1162.82/1163.37 c | 154986 | 187785 887677 2421505 | 2147483647 148318 305 | 22.910 % |
1168.82/1169.38 c | 155706 | 187784 887677 2421505 | 2147483647 149037 305 | 22.911 % |
1178.22/1178.74 c | 156498 | 187782 887677 2421505 | 2147483647 149828 306 | 22.922 % |
1185.11/1185.62 c | 157369 | 187780 887677 2421505 | 2147483647 150698 308 | 22.925 % |
1194.91/1195.43 c | 158331 | 187701 887237 2420410 | 2147483647 151634 308 | 22.926 % |
1207.71/1208.27 c | 159385 | 187696 887237 2420410 | 2147483647 152684 308 | 22.938 % |
1219.30/1219.89 c | 160545 | 187695 887237 2420410 | 2147483647 153842 306 | 22.940 % |
1229.70/1230.27 c | 161818 | 187694 887237 2420410 | 2147483647 155115 307 | 22.940 % |
1244.70/1245.24 c | 163219 | 187667 887071 2419990 | 2147483647 156451 307 | 22.940 % |
1262.49/1263.09 c | 164760 | 187667 887071 2419990 | 2147483647 157992 308 | 22.940 % |
1280.78/1281.38 c | 166456 | 187664 887061 2419970 | 2147483647 159678 308 | 22.957 % |
1282.19/1282.72 c | 166557 | 187664 887061 2419970 | 2147483647 159779 308 | 22.957 % |
1283.69/1284.29 c | 166667 | 187663 887061 2419970 | 2147483647 159888 308 | 23.171 % |
1284.39/1284.98 c | 166790 | 187663 887061 2419970 | 2147483647 160011 308 | 23.171 % |
1285.99/1286.55 c | 166923 | 187663 887061 2419970 | 2147483647 160144 309 | 23.171 % |
1287.99/1288.53 c | 167069 | 187663 887061 2419970 | 2147483647 160289 309 | 23.189 % |
1289.48/1290.03 c | 167229 | 187663 887061 2419970 | 2147483647 160449 309 | 23.189 % |
1291.69/1292.24 c | 167406 | 187663 887061 2419970 | 2147483647 160626 309 | 23.189 % |
1294.28/1294.89 c | 167599 | 187663 887061 2419970 | 2147483647 160818 309 | 23.189 % |
1295.48/1296.04 c | 167811 | 187662 887061 2419970 | 2147483647 161029 309 | 23.206 % |
1296.98/1297.54 c | 168044 | 187662 887061 2419970 | 2147483647 161262 309 | 23.206 % |
1298.68/1299.25 c | 168300 | 187662 887061 2419970 | 2147483647 161518 309 | 23.206 % |
1302.68/1303.21 c | 168582 | 187662 887061 2419970 | 2147483647 161800 309 | 23.206 % |
1306.18/1306.72 c | 168900 | 187661 887061 2419970 | 2147483647 162117 309 | 23.228 % |
1309.37/1309.96 c | 169239 | 187661 887061 2419970 | 2147483647 162456 309 | 23.228 % |
1314.57/1315.10 c | 169611 | 187660 887061 2419970 | 2147483647 162827 309 | 23.229 % |
1319.57/1320.12 c | 170024 | 187660 887061 2419970 | 2147483647 163240 309 | 23.229 % |
1323.88/1324.46 c | 170473 | 186964 884119 2412725 | 2147483647 163583 309 | 23.229 % |
1327.58/1328.16 c | 170967 | 186964 884119 2412725 | 2147483647 164077 309 | 23.229 % |
1332.27/1332.89 c | 171509 | 186964 884119 2412725 | 2147483647 164619 309 | 23.229 % |
1335.88/1336.41 c | 172105 | 186964 884119 2412725 | 2147483647 165215 309 | 23.229 % |
1341.87/1342.47 c | 172760 | 186964 884119 2412725 | 2147483647 165870 309 | 23.229 % |
1350.76/1351.35 c | 173484 | 186964 884119 2412725 | 2147483647 166594 309 | 23.229 % |
1359.87/1360.42 c | 174278 | 186964 884119 2412725 | 2147483647 167387 309 | 23.234 % |
1366.47/1367.03 c | 175151 | 186964 884119 2412725 | 2147483647 168260 308 | 23.234 % |
1375.36/1375.98 c | 176109 | 186952 884047 2412545 | 2147483647 169208 309 | 23.234 % |
1385.25/1385.82 c | 177165 | 186952 884047 2412545 | 2147483647 170264 310 | 23.234 % |
1399.26/1399.82 c | 178331 | 186948 884047 2412545 | 2147483647 171426 310 | 23.241 % |
1410.66/1411.25 c | 179604 | 186946 884047 2412545 | 2147483647 172699 312 | 23.241 % |
1424.35/1424.94 c | 181004 | 186933 883932 2412255 | 2147483647 174087 312 | 23.252 % |
1440.45/1441.08 c | 182544 | 186933 883932 2412255 | 2147483647 175627 310 | 23.252 % |
1458.74/1459.35 c | 184240 | 186933 883932 2412255 | 2147483647 177323 308 | 23.252 % |
1478.84/1479.46 c | 186107 | 186879 883650 2411516 | 2147483647 179167 308 | 23.264 % |
1480.64/1481.28 c | 186208 | 186879 883650 2411516 | 2147483647 179268 308 | 23.264 % |
1481.64/1482.29 c | 186319 | 186879 883650 2411516 | 2147483647 179379 308 | 23.264 % |
1482.84/1483.41 c | 186443 | 186879 883650 2411516 | 2147483647 179503 308 | 23.264 % |
1484.34/1484.95 c | 186576 | 186879 883650 2411516 | 2147483647 179636 308 | 23.264 % |
1486.03/1486.65 c | 186722 | 186879 883650 2411516 | 2147483647 179782 308 | 23.264 % |
1488.13/1488.75 c | 186883 | 186879 883650 2411516 | 2147483647 179943 308 | 23.264 % |
1491.33/1491.95 c | 187059 | 186879 883650 2411516 | 2147483647 180118 308 | 23.272 % |
1492.63/1493.23 c | 187253 | 186879 883650 2411516 | 2147483647 180312 308 | 23.272 % |
1494.33/1494.98 c | 187466 | 186879 883650 2411516 | 2147483647 180525 308 | 23.272 % |
1498.03/1498.65 c | 187701 | 186879 883650 2411516 | 2147483647 180759 308 | 23.284 % |
1499.53/1500.18 c | 187957 | 186879 883650 2411516 | 2147483647 181015 308 | 23.284 % |
1501.83/1502.42 c | 188239 | 186879 883650 2411516 | 2147483647 181297 308 | 23.284 % |
1503.62/1504.27 c | 188548 | 186879 883650 2411516 | 2147483647 181605 308 | 23.284 % |
1505.62/1506.25 c | 188890 | 186879 883650 2411516 | 2147483647 181947 308 | 23.284 % |
1509.23/1509.83 c | 189267 | 186879 883650 2411516 | 2147483647 182324 308 | 23.284 % |
1513.13/1513.78 c | 189676 | 186878 883650 2411516 | 2147483647 182732 308 | 23.285 % |
1519.63/1520.28 c | 190126 | 186877 883650 2411516 | 2147483647 183181 308 | 23.524 % |
1527.22/1527.83 c | 190628 | 186877 883650 2411516 | 2147483647 183683 308 | 23.524 % |
1531.52/1532.11 c | 191170 | 186246 880463 2402538 | 2147483647 182709 309 | 23.524 % |
1538.42/1539.07 c | 191766 | 186246 880463 2402538 | 2147483647 183305 310 | 23.524 % |
1546.91/1547.57 c | 192423 | 186246 880463 2402538 | 2147483647 183962 309 | 23.524 % |
1554.42/1555.05 c | 193144 | 186246 880463 2402538 | 2147483647 184683 310 | 23.524 % |
1564.72/1565.32 c | 193942 | 186246 880463 2402538 | 2147483647 185481 310 | 23.524 % |
1574.61/1575.26 c | 194813 | 186242 880463 2402538 | 2147483647 186349 310 | 23.536 % |
1586.91/1587.56 c | 195771 | 186242 880463 2402538 | 2147483647 187306 310 | 23.536 % |
1597.71/1598.39 c | 196824 | 186216 880256 2402031 | 2147483647 188351 311 | 23.536 % |
1609.40/1610.08 c | 197982 | 186216 880256 2402031 | 2147483647 189509 311 | 23.536 % |
1624.90/1625.57 c | 199257 | 186214 880256 2402031 | 2147483647 190778 312 | 23.549 % |
1639.79/1640.43 c | 200662 | 186214 880256 2402031 | 2147483647 192183 314 | 23.549 % |
1661.59/1662.25 c | 202204 | 186214 880256 2402031 | 2147483647 193725 314 | 23.549 % |
1678.68/1679.36 c | 203900 | 186181 880099 2401598 | 2147483647 195401 314 | 23.555 % |
1703.67/1704.35 c | 205763 | 186177 880099 2401598 | 2147483647 197260 314 | 23.592 % |
1730.97/1731.68 c | 207813 | 186177 880099 2401598 | 2147483647 199310 314 | 23.592 % |
1732.77/1733.42 c | 207914 | 186080 879457 2400017 | 2147483647 199349 314 | 23.592 % |
1734.37/1735.07 c | 208027 | 186080 879457 2400017 | 2147483647 199462 314 | 23.592 % |
1735.27/1735.93 c | 208151 | 186080 879457 2400017 | 2147483647 199586 314 | 23.592 % |
1736.36/1737.09 c | 208284 | 186080 879457 2400017 | 2147483647 199719 314 | 23.592 % |
1738.06/1738.78 c | 208430 | 186080 879457 2400017 | 2147483647 199865 314 | 23.592 % |
1740.46/1741.16 c | 208591 | 186080 879457 2400017 | 2147483647 200026 314 | 23.592 % |
1742.36/1743.05 c | 208767 | 186080 879457 2400017 | 2147483647 200202 313 | 23.592 % |
1745.07/1745.79 c | 208960 | 186080 879457 2400017 | 2147483647 200395 313 | 23.592 % |
1746.56/1747.20 c | 209172 | 186080 879457 2400017 | 2147483647 200607 313 | 23.592 % |
1748.66/1749.35 c | 209405 | 186079 879457 2400017 | 2147483647 200839 313 | 23.592 % |
1750.96/1751.68 c | 209667 | 186079 879457 2400017 | 2147483647 201101 313 | 23.592 % |
1753.06/1753.73 c | 209948 | 186079 879457 2400017 | 2147483647 201382 313 | 23.592 % |
1755.26/1755.93 c | 210263 | 186079 879457 2400017 | 2147483647 201697 313 | 23.592 % |
1756.96/1757.69 c | 210602 | 186079 879457 2400017 | 2147483647 202036 312 | 23.592 % |
1761.46/1762.11 c | 210974 | 186079 879457 2400017 | 2147483647 202408 313 | 23.592 % |
1766.66/1767.38 c | 211383 | 186079 879457 2400017 | 2147483647 202816 312 | 23.758 % |
1771.56/1772.23 c | 211833 | 186077 879457 2400017 | 2147483647 203264 313 | 23.759 % |
1778.25/1778.96 c | 212328 | 186075 879457 2400017 | 2147483647 203757 312 | 23.760 % |
1782.75/1783.42 c | 212872 | 186075 879457 2400017 | 2147483647 204301 313 | 23.760 % |
1791.95/1792.67 c | 213472 | 186075 879457 2400017 | 2147483647 204901 313 | 23.760 % |
1799.05/1799.77 c | 214127 | 185670 877290 2394395 | 2147483647 205545 313 | 23.760 % |
1809.15/1809.81 c | 214849 | 185670 877290 2394395 | 2147483647 206266 313 | 23.776 % |
1816.14/1816.89 c | 215644 | 185670 877290 2394395 | 2147483647 207061 313 | 23.776 % |
1826.75/1827.47 c | 216515 | 185670 877290 2394395 | 2147483647 207932 314 | 23.776 % |
1836.94/1837.66 c | 217473 | 185670 877290 2394395 | 2147483647 208890 313 | 23.776 % |
1849.83/1850.55 c | 218530 | 185669 877290 2394395 | 2147483647 209946 313 | 23.777 % |
1859.94/1860.61 c | 219690 | 185669 877290 2394395 | 2147483647 211106 314 | 23.777 % |
1874.84/1875.51 c | 220963 | 185629 877032 2393765 | 2147483647 212366 315 | 23.777 % |
1889.82/1890.58 c | 222363 | 185628 877032 2393765 | 2147483647 213764 316 | 23.784 % |
1904.32/1905.05 c | 223903 | 185628 877032 2393765 | 2147483647 215303 315 | 23.789 % |
1929.31/1930.03 c | 225599 | 185598 876837 2393285 | 2147483647 216967 314 | 23.790 % |
1949.31/1950.02 c | 227463 | 185595 876837 2393285 | 2147483647 218828 314 | 23.791 % |
1970.61/1971.35 c | 229514 | 185595 876837 2393285 | 2147483647 220878 315 | 23.800 % |
1996.00/1996.73 c | 231767 | 185593 876837 2393285 | 2147483647 223129 316 | 23.807 % |
1997.70/1998.49 c | 231868 | 185593 876837 2393285 | 2147483647 223230 316 | 23.807 % |
1999.90/2000.66 c | 231978 | 185556 876682 2392946 | 2147483647 223323 316 | 23.807 % |
2001.50/2002.25 c | 232105 | 185556 876682 2392946 | 2147483647 223450 316 | 23.807 % |
2003.60/2004.38 c | 232240 | 185556 876682 2392946 | 2147483647 223585 316 | 23.807 % |
2006.10/2006.85 c | 232388 | 185556 876682 2392946 | 2147483647 223733 316 | 23.807 % |
2008.79/2009.57 c | 232550 | 185556 876682 2392946 | 2147483647 223894 316 | 23.890 % |
2010.79/2011.57 c | 232728 | 185556 876682 2392946 | 2147483647 224072 316 | 23.890 % |
2012.69/2013.46 c | 232926 | 185556 876682 2392946 | 2147483647 224270 316 | 23.890 % |
2015.29/2016.02 c | 233139 | 185556 876682 2392946 | 2147483647 224483 316 | 23.890 % |
2017.89/2018.63 c | 233375 | 185555 876682 2392946 | 2147483647 224718 316 | 23.890 % |
2020.89/2021.66 c | 233632 | 185554 876682 2392946 | 2147483647 224974 316 | 23.891 % |
2024.59/2025.34 c | 233919 | 185554 876682 2392946 | 2147483647 225261 316 | 23.891 % |
2029.39/2030.10 c | 234231 | 185554 876682 2392946 | 2147483647 225573 316 | 23.891 % |
2032.49/2033.21 c | 234571 | 185554 876682 2392946 | 2147483647 225913 316 | 23.891 % |
2036.39/2037.12 c | 234944 | 185553 876682 2392946 | 2147483647 226285 316 | 23.900 % |
2040.68/2041.40 c | 235353 | 185543 876682 2392946 | 2147483647 226694 316 | 23.900 % |
2046.79/2047.52 c | 235802 | 185543 876682 2392946 | 2147483647 227143 317 | 23.900 % |
2052.58/2053.37 c | 236295 | 185543 876682 2392946 | 2147483647 227636 316 | 23.900 % |
2059.78/2060.57 c | 236838 | 185543 876682 2392946 | 2147483647 228179 316 | 23.900 % |
2067.77/2068.54 c | 237435 | 185543 876682 2392946 | 2147483647 228776 315 | 23.900 % |
2074.98/2075.75 c | 238091 | 185330 875384 2389711 | 2147483647 229381 316 | 23.900 % |
2082.67/2083.47 c | 238811 | 185326 875384 2389711 | 2147483647 230098 316 | 25.245 % |
2093.27/2094.03 c | 239603 | 185325 875384 2389711 | 2147483647 230888 315 | 25.322 % |
2100.87/2101.67 c | 240482 | 185324 875384 2389711 | 2147483647 231766 315 | 25.323 % |
2111.17/2111.98 c | 241440 | 185324 875384 2389711 | 2147483647 232723 315 | 25.325 % |
2121.57/2122.38 c | 242493 | 185324 875384 2389711 | 2147483647 233776 316 | 25.325 % |
2135.66/2136.45 c | 243654 | 185324 875384 2389711 | 2147483647 234936 316 | 25.336 % |
2148.96/2149.78 c | 244930 | 185324 875384 2389711 | 2147483647 236212 317 | 25.336 % |
2165.25/2166.07 c | 246330 | 181831 860906 2354330 | 2147483647 237591 317 | 25.393 % |
2180.25/2181.03 c | 247870 | 181829 860906 2354330 | 2147483647 239129 317 | 25.400 % |
2202.25/2203.04 c | 249569 | 181826 860906 2354330 | 2147483647 240823 318 | 25.420 % |
2226.04/2226.84 c | 251432 | 181824 860906 2354330 | 2147483647 242685 318 | 25.431 % |
2253.82/2254.65 c | 253482 | 181587 859610 2351157 | 2147483647 244607 318 | 25.438 % |
2282.62/2283.41 c | 255735 | 181582 859610 2351157 | 2147483647 246855 319 | 25.447 % |
2317.12/2317.95 c | 258214 | 181549 859358 2350496 | 2147483647 249331 318 | 25.452 % |
2318.72/2319.51 c | 258315 | 181549 859358 2350496 | 2147483647 249432 318 | 25.452 % |
2320.72/2321.52 c | 258425 | 181549 859358 2350496 | 2147483647 249542 318 | 25.452 % |
2323.01/2323.84 c | 258546 | 181549 859358 2350496 | 2147483647 249663 318 | 25.452 % |
2324.52/2325.38 c | 258679 | 181549 859358 2350496 | 2147483647 249796 318 | 25.452 % |
2326.51/2327.32 c | 258825 | 181549 859358 2350496 | 2147483647 249941 318 | 25.454 % |
2329.31/2330.11 c | 258985 | 181549 859358 2350496 | 2147483647 250101 318 | 25.454 % |
2331.41/2332.26 c | 259162 | 181549 859358 2350496 | 2147483647 250278 318 | 25.454 % |
2333.41/2334.24 c | 259355 | 181549 859358 2350496 | 2147483647 250471 318 | 25.454 % |
2335.61/2336.45 c | 259573 | 181549 859358 2350496 | 2147483647 250689 318 | 25.454 % |
2337.90/2338.79 c | 259806 | 181549 859358 2350496 | 2147483647 250922 318 | 25.454 % |
2341.31/2342.19 c | 260062 | 181549 859358 2350496 | 2147483647 251178 318 | 25.454 % |
2344.21/2345.02 c | 260343 | 181549 859358 2350496 | 2147483647 251459 318 | 25.454 % |
2349.61/2350.43 c | 260657 | 181549 859358 2350496 | 2147483647 251772 318 | 25.461 % |
2353.00/2353.81 c | 260996 | 181548 859358 2350496 | 2147483647 252110 318 | 25.461 % |
2357.50/2358.40 c | 261368 | 181548 859358 2350496 | 2147483647 252482 318 | 25.461 % |
2363.00/2363.81 c | 261780 | 181548 859358 2350496 | 2147483647 252894 318 | 25.461 % |
2370.20/2371.05 c | 262229 | 181547 859358 2350496 | 2147483647 253342 318 | 25.461 % |
2376.80/2377.61 c | 262722 | 181547 859358 2350496 | 2147483647 253835 318 | 25.461 % |
2383.29/2384.12 c | 263265 | 181547 859358 2350496 | 2147483647 254378 318 | 25.461 % |
2391.49/2392.39 c | 263865 | 181546 859358 2350496 | 2147483647 254977 317 | 25.477 % |
2401.39/2402.21 c | 264520 | 181546 859358 2350496 | 2147483647 255632 317 | 25.477 % |
2409.99/2410.88 c | 265242 | 181488 859058 2349749 | 2147483647 256323 317 | 25.477 % |
2420.98/2421.82 c | 266034 | 181488 859058 2349749 | 2147483647 257115 316 | 25.477 % |
2431.68/2432.51 c | 266906 | 181488 859058 2349749 | 2147483647 257986 316 | 25.478 % |
2443.68/2444.57 c | 267864 | 181488 859058 2349749 | 2147483647 258942 316 | 25.481 % |
2458.68/2459.51 c | 268917 | 181488 859058 2349749 | 2147483647 259995 315 | 25.481 % |
2472.27/2473.15 c | 270076 | 181487 859058 2349749 | 2147483647 261153 314 | 25.493 % |
2490.17/2491.09 c | 271349 | 181307 857982 2347043 | 2147483647 262364 313 | 25.562 % |
2506.37/2507.23 c | 272751 | 181306 857982 2347043 | 2147483647 263764 312 | 25.734 % |
2530.35/2531.20 c | 274291 | 181306 857982 2347043 | 2147483647 265302 311 | 25.741 % |
2549.85/2550.73 c | 275985 | 181306 857982 2347043 | 2147483647 266996 313 | 25.741 % |
2570.75/2571.64 c | 277849 | 181304 857982 2347043 | 2147483647 268859 313 | 25.756 % |
2597.13/2598.01 c | 279898 | 180799 855321 2340413 | 2147483647 270763 312 | 25.814 % |
2630.42/2631.35 c | 282152 | 180794 855321 2340413 | 2147483647 273008 312 | 25.868 % |
2663.92/2664.85 c | 284630 | 180464 853570 2335972 | 2147483647 275371 313 | 25.898 % |
2695.42/2696.33 c | 287355 | 180464 853570 2335972 | 2147483647 278096 312 | 25.898 % |
2696.61/2697.59 c | 287455 | 180464 853570 2335972 | 2147483647 278196 312 | 25.898 % |
2698.52/2699.45 c | 287566 | 180462 853570 2335972 | 2147483647 278305 312 | 25.962 % |
2700.31/2701.25 c | 287689 | 180462 853570 2335972 | 2147483647 278428 312 | 25.961 % |
2702.71/2703.64 c | 287824 | 180462 853570 2335972 | 2147483647 278563 312 | 25.961 % |
2704.51/2705.46 c | 287970 | 180462 853570 2335972 | 2147483647 278709 312 | 25.961 % |
2706.81/2707.74 c | 288132 | 180460 853570 2335972 | 2147483647 278869 312 | 26.022 % |
2709.91/2710.84 c | 288308 | 180460 853570 2335972 | 2147483647 279044 312 | 26.033 % |
2711.90/2712.80 c | 288502 | 180460 853570 2335972 | 2147483647 279238 312 | 26.033 % |
2715.40/2716.33 c | 288714 | 180459 853570 2335972 | 2147483647 279447 312 | 27.381 % |
2717.11/2718.10 c | 288947 | 180458 853570 2335972 | 2147483647 279678 312 | 27.383 % |
2719.91/2720.80 c | 289203 | 180458 853570 2335972 | 2147483647 279934 312 | 27.383 % |
2724.01/2724.98 c | 289486 | 180458 853570 2335972 | 2147483647 280216 312 | 27.389 % |
2729.11/2730.08 c | 289795 | 180458 853570 2335972 | 2147483647 280525 312 | 27.389 % |
2733.71/2734.65 c | 290136 | 180458 853570 2335972 | 2147483647 280866 311 | 27.389 % |
2738.70/2739.66 c | 290508 | 180458 853570 2335972 | 2147483647 281238 311 | 27.389 % |
2743.90/2744.86 c | 290917 | 180458 853570 2335972 | 2147483647 281647 311 | 27.389 % |
2751.80/2752.70 c | 291367 | 176805 838346 2298327 | 2147483647 281368 311 | 27.400 % |
2756.80/2757.73 c | 291860 | 176803 838346 2298327 | 2147483647 281859 311 | 27.408 % |
2763.59/2764.53 c | 292404 | 176802 838346 2298327 | 2147483647 282403 312 | 27.408 % |
2770.69/2771.68 c | 293003 | 176801 838346 2298327 | 2147483647 283000 312 | 27.408 % |
2777.79/2778.78 c | 293658 | 176801 838346 2298327 | 2147483647 283654 312 | 27.409 % |
2787.98/2788.96 c | 294378 | 176801 838346 2298327 | 2147483647 284374 311 | 27.409 % |
2797.69/2798.62 c | 295175 | 176800 838346 2298327 | 2147483647 285170 311 | 27.411 % |
2806.88/2807.80 c | 296048 | 176800 838346 2298327 | 2147483647 286043 312 | 27.411 % |
2821.78/2822.73 c | 297007 | 176799 838346 2298327 | 2147483647 287001 313 | 27.443 % |
2834.57/2835.58 c | 298060 | 176790 838346 2298327 | 2147483647 288049 313 | 27.603 % |
2849.97/2850.90 c | 299221 | 176789 838346 2298327 | 2147483647 289208 313 | 27.604 % |
2864.07/2865.06 c | 300495 | 176310 835747 2291781 | 2147483647 290370 314 | 27.618 % |
2878.56/2879.59 c | 301895 | 176309 835747 2291781 | 2147483647 291769 314 | 27.718 % |
2896.46/2897.44 c | 303435 | 176308 835747 2291781 | 2147483647 293307 315 | 27.720 % |
2920.95/2921.93 c | 305129 | 176306 835747 2291781 | 2147483647 294996 314 | 27.732 % |
2948.64/2949.64 c | 306992 | 176299 835747 2291781 | 2147483647 296858 313 | 27.774 % |
2972.14/2973.15 c | 309042 | 175892 833865 2287421 | 2147483647 298654 314 | 27.791 % |
3004.83/3005.83 c | 311297 | 175892 833865 2287421 | 2147483647 300909 312 | 27.791 % |
3041.91/3042.97 c | 313776 | 175892 833865 2287421 | 2147483647 303388 311 | 27.791 % |
3073.21/3074.28 c | 316502 | 175853 833663 2286935 | 2147483647 306008 314 | 27.791 % |
3108.10/3109.15 c | 319501 | 175853 833663 2286935 | 2147483647 309007 315 | 27.791 % |
3109.10/3110.15 c | 319601 | 175853 833663 2286935 | 2147483647 309107 314 | 27.791 % |
3110.20/3111.28 c | 319711 | 175853 833663 2286935 | 2147483647 309217 315 | 27.791 % |
3112.60/3113.63 c | 319836 | 175853 833663 2286935 | 2147483647 309342 314 | 27.791 % |
3114.90/3115.98 c | 319969 | 175853 833663 2286935 | 2147483647 309475 314 | 27.791 % |
3117.40/3118.45 c | 320115 | 175853 833663 2286935 | 2147483647 309620 314 | 27.808 % |
3119.90/3120.97 c | 320275 | 175853 833663 2286935 | 2147483647 309780 314 | 27.808 % |
3122.20/3123.29 c | 320451 | 175853 833663 2286935 | 2147483647 309956 314 | 27.808 % |
3125.10/3126.15 c | 320644 | 175853 833663 2286935 | 2147483647 310149 314 | 27.808 % |
3128.50/3129.55 c | 320856 | 175853 833663 2286935 | 2147483647 310361 314 | 27.808 % |
3131.89/3132.92 c | 321089 | 175853 833663 2286935 | 2147483647 310594 314 | 27.808 % |
3135.29/3136.36 c | 321345 | 175853 833663 2286935 | 2147483647 310849 314 | 27.809 % |
3139.89/3141.00 c | 321629 | 175853 833663 2286935 | 2147483647 311133 313 | 27.809 % |
3144.59/3145.66 c | 321939 | 175853 833663 2286935 | 2147483647 311443 313 | 27.809 % |
3150.29/3151.38 c | 322280 | 175810 833490 2286563 | 2147483647 311763 313 | 27.809 % |
3156.49/3157.50 c | 322655 | 175810 833490 2286563 | 2147483647 312137 313 | 27.809 % |
3161.68/3162.78 c | 323064 | 175810 833490 2286563 | 2147483647 312546 312 | 27.809 % |
3165.18/3166.29 c | 323513 | 175810 833490 2286563 | 2147483647 312995 312 | 27.809 % |
3172.39/3173.41 c | 324006 | 175810 833490 2286563 | 2147483647 313488 313 | 27.809 % |
3180.68/3181.71 c | 324548 | 175810 833490 2286563 | 2147483647 314030 313 | 27.809 % |
3184.38/3185.48 c | 325146 | 175808 833490 2286563 | 2147483647 314627 313 | 27.818 % |
3194.07/3195.19 c | 325803 | 175807 833490 2286563 | 2147483647 315281 312 | 27.825 % |
3203.28/3204.31 c | 326525 | 175805 833490 2286563 | 2147483647 316001 312 | 27.874 % |
3214.07/3215.13 c | 327317 | 175805 833490 2286563 | 2147483647 316792 313 | 27.875 % |
3227.87/3228.92 c | 328192 | 175804 833490 2286563 | 2147483647 317666 312 | 27.875 % |
3239.36/3240.41 c | 329150 | 175804 833490 2286563 | 2147483647 318624 312 | 27.875 % |
3253.46/3254.55 c | 330203 | 175804 833490 2286563 | 2147483647 319677 312 | 27.875 % |
3267.06/3268.16 c | 331362 | 175649 832645 2284677 | 2147483647 320773 311 | 27.877 % |
3280.65/3281.76 c | 332635 | 175646 832645 2284677 | 2147483647 322044 311 | 27.881 % |
3296.95/3298.09 c | 334035 | 175645 832645 2284677 | 2147483647 323443 311 | 27.882 % |
3313.55/3314.60 c | 335575 | 175645 832645 2284677 | 2147483647 324983 311 | 27.882 % |
3336.74/3337.83 c | 337273 | 175645 832645 2284677 | 2147483647 326681 310 | 27.882 % |
3363.74/3364.88 c | 339137 | 175645 832645 2284677 | 2147483647 328545 309 | 27.882 % |
3393.13/3394.21 c | 341186 | 175632 832559 2284443 | 2147483647 330590 308 | 27.889 % |
3427.42/3428.50 c | 343439 | 175632 832559 2284443 | 2147483647 332840 308 | 27.891 % |
3463.20/3464.37 c | 345919 | 175632 832559 2284443 | 2147483647 335320 306 | 27.891 % |
3501.40/3502.50 c | 348644 | 175632 832559 2284443 | 2147483647 338045 304 | 27.891 % |
3543.58/3544.79 c | 351642 | 175610 832411 2284061 | 2147483647 341034 302 | 27.891 % |
3590.67/3591.90 c | 354943 | 175609 832411 2284061 | 2147483647 344334 301 | 27.906 % |
3592.17/3593.32 c | 355047 | 175609 832411 2284061 | 2147483647 344438 301 | 27.906 % |
3593.67/3594.89 c | 355157 | 175609 832411 2284061 | 2147483647 344548 301 | 27.906 % |
3595.77/3596.93 c | 355279 | 175609 832411 2284061 | 2147483647 344670 301 | 27.906 % |
3597.47/3598.67 c | 355421 | 175609 832411 2284061 | 2147483647 344812 301 | 27.906 % |
3599.67/3600.83 c | 355567 | 175609 832411 2284061 | 2147483647 344958 301 | 27.906 % |
3601.87/3603.00 c | 355727 | 175609 832411 2284061 | 2147483647 345118 301 | 27.906 % |
3605.07/3606.24 c | 355904 | 175574 832222 2283607 | 2147483647 345248 301 | 27.906 % |
3607.87/3609.06 c | 356098 | 175574 832222 2283607 | 2147483647 345442 300 | 27.906 % |
3610.86/3612.05 c | 356312 | 175573 832222 2283607 | 2147483647 345655 300 | 29.208 % |
3614.16/3615.32 c | 356547 | 175573 832222 2283607 | 2147483647 345890 300 | 29.208 % |
3617.77/3618.97 c | 356804 | 175573 832222 2283607 | 2147483647 346147 300 | 29.208 % |
3622.47/3623.61 c | 357085 | 175573 832222 2283607 | 2147483647 346428 300 | 29.208 % |
3627.77/3628.93 c | 357394 | 175573 832222 2283607 | 2147483647 346737 300 | 29.208 % |
3632.86/3634.06 c | 357734 | 175573 832222 2283607 | 2147483647 347077 300 | 29.208 % |
3638.16/3639.39 c | 358106 | 175573 832222 2283607 | 2147483647 347449 299 | 29.208 % |
3644.96/3646.17 c | 358515 | 175573 832222 2283607 | 2147483647 347858 299 | 29.208 % |
3651.35/3652.50 c | 358965 | 175573 832222 2283607 | 2147483647 348308 299 | 29.208 % |
3655.76/3656.98 c | 359459 | 175573 832222 2283607 | 2147483647 348802 299 | 29.208 % |
3664.76/3665.99 c | 360002 | 175573 832222 2283607 | 2147483647 349345 299 | 29.208 % |
3673.65/3674.88 c | 360601 | 175573 832222 2283607 | 2147483647 349944 299 | 29.208 % |
3683.25/3684.41 c | 361256 | 175573 832222 2283607 | 2147483647 350599 299 | 29.208 % |
3693.34/3694.59 c | 361976 | 175571 832222 2283607 | 2147483647 351317 299 | 29.209 % |
3705.75/3706.93 c | 362770 | 175571 832222 2283607 | 2147483647 352111 299 | 29.209 % |
3718.54/3719.79 c | 363642 | 175571 832222 2283607 | 2147483647 352983 299 | 29.209 % |
3734.74/3735.93 c | 364600 | 172399 819347 2251619 | 2147483647 353901 299 | 29.212 % |
3749.83/3751.02 c | 365653 | 172399 819347 2251619 | 2147483647 354954 300 | 29.212 % |
3765.53/3766.75 c | 366812 | 172399 819347 2251619 | 2147483647 356112 299 | 29.214 % |
3782.52/3783.76 c | 368086 | 172399 819347 2251619 | 2147483647 357385 299 | 29.223 % |
3800.51/3801.70 c | 369486 | 172399 819347 2251619 | 2147483647 358785 298 | 29.223 % |
3820.70/3821.90 c | 371026 | 172399 819347 2251619 | 2147483647 360325 298 | 29.223 % |
3846.79/3848.03 c | 372722 | 172397 819347 2251619 | 2147483647 362019 297 | 29.223 % |
3872.60/3873.80 c | 374585 | 172364 819154 2251121 | 2147483647 363850 297 | 29.225 % |
3892.69/3893.93 c | 376635 | 172363 819154 2251121 | 2147483647 365899 297 | 29.225 % |
3927.18/3928.49 c | 378888 | 172363 819154 2251121 | 2147483647 368152 296 | 29.225 % |
3963.17/3964.43 c | 381366 | 172359 819134 2251067 | 2147483647 370621 295 | 29.226 % |
4004.25/4005.55 c | 384091 | 172358 819134 2251067 | 2147483647 373345 293 | 29.230 % |
4045.65/4047.00 c | 387090 | 172358 819134 2251067 | 2147483647 376344 292 | 29.230 % |
4094.74/4096.09 c | 390388 | 172358 819134 2251067 | 2147483647 379642 290 | 29.230 % |
4145.42/4146.74 c | 394013 | 172349 819047 2250842 | 2147483647 383136 290 | 29.230 % |
4146.92/4148.22 c | 394114 | 172349 819047 2250842 | 2147483647 383237 290 | 29.230 % |
4148.32/4149.68 c | 394227 | 172349 819047 2250842 | 2147483647 383350 290 | 29.230 % |
4149.92/4151.26 c | 394352 | 172349 819047 2250842 | 2147483647 383475 290 | 29.230 % |
4152.22/4153.51 c | 394486 | 172349 819047 2250842 | 2147483647 383609 290 | 29.230 % |
4154.62/4155.92 c | 394633 | 172349 819047 2250842 | 2147483647 383756 290 | 29.230 % |
4157.72/4159.08 c | 394796 | 172349 819047 2250842 | 2147483647 383919 290 | 29.230 % |
4160.72/4162.09 c | 394974 | 172349 819047 2250842 | 2147483647 384097 289 | 29.230 % |
4163.01/4164.32 c | 395167 | 172349 819047 2250842 | 2147483647 384290 289 | 29.230 % |
4166.01/4167.31 c | 395379 | 172349 819047 2250842 | 2147483647 384502 289 | 29.230 % |
4169.61/4170.97 c | 395612 | 172349 819047 2250842 | 2147483647 384735 289 | 29.230 % |
4173.91/4175.29 c | 395868 | 172349 819047 2250842 | 2147483647 384991 289 | 29.230 % |
4178.31/4179.60 c | 396150 | 172349 819047 2250842 | 2147483647 385273 289 | 29.230 % |
4183.91/4185.26 c | 396461 | 172349 819047 2250842 | 2147483647 385584 289 | 29.230 % |
4189.71/4191.07 c | 396800 | 172349 819047 2250842 | 2147483647 385923 289 | 29.230 % |
4195.20/4196.54 c | 397172 | 172349 819047 2250842 | 2147483647 386295 288 | 29.230 % |
4202.40/4203.72 c | 397583 | 172349 819047 2250842 | 2147483647 386706 288 | 29.230 % |
4208.71/4210.01 c | 398032 | 172349 819047 2250842 | 2147483647 387155 288 | 29.230 % |
4216.30/4217.64 c | 398526 | 172349 819047 2250842 | 2147483647 387649 288 | 29.230 % |
4222.50/4223.88 c | 399069 | 172349 819047 2250842 | 2147483647 388192 288 | 29.230 % |
4231.29/4232.66 c | 399665 | 172349 819047 2250842 | 2147483647 388788 288 | 29.230 % |
4242.29/4243.65 c | 400320 | 172338 818956 2250593 | 2147483647 389441 287 | 29.235 % |
4253.59/4254.90 c | 401044 | 172338 818956 2250593 | 2147483647 390165 287 | 29.235 % |
4262.99/4264.31 c | 401836 | 172338 818956 2250593 | 2147483647 390957 287 | 29.235 % |
4275.59/4276.96 c | 402708 | 172338 818956 2250593 | 2147483647 391829 286 | 29.235 % |
4290.58/4291.99 c | 403666 | 172338 818956 2250593 | 2147483647 392787 286 | 29.235 % |
4307.17/4308.56 c | 404719 | 172338 818956 2250593 | 2147483647 393840 285 | 29.235 % |
4324.37/4325.78 c | 405879 | 172338 818956 2250593 | 2147483647 394999 284 | 29.742 % |
4345.87/4347.24 c | 407153 | 172338 818956 2250593 | 2147483647 396273 284 | 29.742 % |
4367.77/4369.17 c | 408555 | 171103 813473 2236885 | 2147483647 396582 283 | 29.742 % |
4387.96/4389.38 c | 410095 | 171103 813473 2236885 | 2147483647 398122 282 | 29.742 % |
4410.15/4411.52 c | 411789 | 171103 813473 2236885 | 2147483647 399816 282 | 29.742 % |
4442.14/4443.54 c | 413652 | 171103 813473 2236885 | 2147483647 401679 282 | 29.742 % |
4471.03/4472.41 c | 415701 | 171030 812955 2235574 | 2147483647 403703 281 | 29.772 % |
4509.02/4510.44 c | 417954 | 171030 812955 2235574 | 2147483647 405956 280 | 29.772 % |
4545.21/4546.63 c | 420434 | 171030 812955 2235574 | 2147483647 408435 280 | 29.772 % |
4587.71/4589.11 c | 423160 | 171030 812955 2235574 | 2147483647 411160 278 | 29.772 % |
4635.49/4636.94 c | 426157 | 171028 812945 2235550 | 2147483647 414156 277 | 29.784 % |
4688.77/4690.23 c | 429456 | 171028 812945 2235550 | 2147483647 417455 276 | 29.784 % |
4740.36/4741.89 c | 433082 | 170991 812704 2234932 | 2147483647 421057 275 | 29.793 % |
4809.24/4810.76 c | 437069 | 170991 812704 2234932 | 2147483647 425044 273 | 29.793 % |
4811.15/4812.68 c | 437171 | 170991 812704 2234932 | 2147483647 425146 273 | 29.793 % |
4813.35/4814.85 c | 437282 | 170991 812704 2234932 | 2147483647 425257 273 | 29.793 % |
4815.25/4816.70 c | 437404 | 170991 812704 2234932 | 2147483647 425379 273 | 29.793 % |
4817.04/4818.57 c | 437537 | 170991 812704 2234932 | 2147483647 425512 273 | 29.793 % |
4819.54/4821.04 c | 437683 | 170991 812704 2234932 | 2147483647 425658 273 | 29.793 % |
4822.44/4823.90 c | 437843 | 170991 812704 2234932 | 2147483647 425818 273 | 29.793 % |
4825.25/4826.78 c | 438020 | 170991 812704 2234932 | 2147483647 425995 273 | 29.793 % |
4828.44/4829.94 c | 438213 | 170991 812704 2234932 | 2147483647 426188 272 | 29.793 % |
4832.14/4833.62 c | 438425 | 170991 812704 2234932 | 2147483647 426400 272 | 29.793 % |
4835.94/4837.40 c | 438658 | 170991 812704 2234932 | 2147483647 426633 272 | 29.793 % |
4839.94/4841.40 c | 438915 | 170991 812704 2234932 | 2147483647 426890 272 | 29.793 % |
4844.33/4845.84 c | 439196 | 170991 812704 2234932 | 2147483647 427171 272 | 29.793 % |
4849.33/4850.80 c | 439507 | 170991 812704 2234932 | 2147483647 427482 272 | 29.793 % |
4854.83/4856.36 c | 439846 | 170991 812704 2234932 | 2147483647 427821 272 | 29.793 % |
4861.43/4862.90 c | 440220 | 170991 812704 2234932 | 2147483647 428195 272 | 29.793 % |
4868.82/4870.32 c | 440630 | 170979 812602 2234658 | 2147483647 428604 271 | 29.793 % |
4875.22/4876.75 c | 441082 | 170979 812602 2234658 | 2147483647 429056 271 | 29.793 % |
4883.22/4884.74 c | 441575 | 170979 812602 2234658 | 2147483647 429549 271 | 29.793 % |
4890.72/4892.26 c | 442118 | 170979 812602 2234658 | 2147483647 430091 271 | 29.796 % |
4901.13/4902.63 c | 442717 | 170979 812602 2234658 | 2147483647 430690 271 | 29.796 % |
4911.52/4913.04 c | 443373 | 170979 812602 2234658 | 2147483647 431346 270 | 29.796 % |
4922.91/4924.49 c | 444093 | 170979 812602 2234658 | 2147483647 432066 270 | 29.796 % |
4935.51/4937.07 c | 444887 | 170979 812602 2234658 | 2147483647 432860 270 | 29.796 % |
4949.30/4950.81 c | 445761 | 170979 812602 2234658 | 2147483647 433733 269 | 29.814 % |
4966.40/4967.98 c | 446722 | 170979 812602 2234658 | 2147483647 434694 269 | 29.814 % |
4984.59/4986.18 c | 447777 | 170979 812602 2234658 | 2147483647 435749 269 | 29.814 % |
5005.09/5006.65 c | 448937 | 170927 812335 2234009 | 2147483647 436571 268 | 29.816 % |
5022.88/5024.43 c | 450211 | 170927 812335 2234009 | 2147483647 437845 268 | 29.816 % |
5044.28/5045.87 c | 451615 | 170927 812335 2234009 | 2147483647 439248 267 | 29.816 % |
5067.18/5068.72 c | 453156 | 170925 812335 2234009 | 2147483647 440787 267 | 29.817 % |
5097.57/5099.18 c | 454851 | 170925 812335 2234009 | 2147483647 442482 266 | 29.817 % |
5130.56/5132.14 c | 456714 | 170925 812335 2234009 | 2147483647 444345 265 | 29.817 % |
5168.04/5169.67 c | 458763 | 170920 812305 2233947 | 2147483647 446388 265 | 29.817 % |
5202.34/5203.91 c | 461016 | 170920 812305 2233947 | 2147483647 448638 264 | 29.821 % |
5242.23/5243.89 c | 463495 | 170920 812305 2233947 | 2147483647 451117 263 | 29.821 % |
5281.52/5283.13 c | 466220 | 170920 812305 2233947 | 2147483647 453842 263 | 29.821 % |
5325.81/5327.41 c | 469219 | 170909 812217 2233706 | 2147483647 456723 263 | 29.831 % |
5377.19/5378.90 c | 472520 | 170909 812217 2233706 | 2147483647 460024 262 | 29.831 % |
5427.48/5429.16 c | 476146 | 170909 812217 2233706 | 2147483647 463649 262 | 29.831 % |
5479.17/5480.89 c | 480134 | 170875 812090 2233378 | 2147483647 467629 264 | 29.835 % |
5550.64/5552.39 c | 484521 | 170871 812090 2233378 | 2147483647 472012 263 | 29.842 % |
5552.54/5554.25 c | 484622 | 170871 812090 2233378 | 2147483647 472113 263 | 29.842 % |
5554.64/5556.40 c | 484732 | 170871 812090 2233378 | 2147483647 472223 263 | 29.842 % |
5556.55/5558.25 c | 484853 | 170871 812090 2233378 | 2147483647 472344 263 | 29.842 % |
5559.04/5560.78 c | 484986 | 170871 812090 2233378 | 2147483647 472477 263 | 29.842 % |
5561.74/5563.47 c | 485133 | 170871 812090 2233378 | 2147483647 472624 263 | 29.842 % |
5564.54/5566.27 c | 485294 | 170871 812090 2233378 | 2147483647 472785 263 | 29.842 % |
5567.94/5569.66 c | 485470 | 170859 811997 2233192 | 2147483647 472930 263 | 29.842 % |
5571.14/5572.81 c | 485664 | 170859 811997 2233192 | 2147483647 473124 263 | 29.842 % |
5574.84/5576.57 c | 485876 | 170859 811997 2233192 | 2147483647 473336 263 | 29.842 % |
5578.34/5580.02 c | 486111 | 170859 811997 2233192 | 2147483647 473571 263 | 29.842 % |
5582.44/5584.16 c | 486367 | 170859 811997 2233192 | 2147483647 473827 263 | 29.842 % |
5586.84/5588.58 c | 486648 | 170859 811997 2233192 | 2147483647 474108 263 | 29.842 % |
5591.94/5593.66 c | 486959 | 170859 811997 2233192 | 2147483647 474419 262 | 29.842 % |
5597.43/5599.10 c | 487298 | 170859 811997 2233192 | 2147483647 474758 262 | 29.842 % |
5604.33/5606.00 c | 487671 | 170859 811997 2233192 | 2147483647 475131 262 | 29.842 % |
5610.83/5612.57 c | 488081 | 170859 811997 2233192 | 2147483647 475541 262 | 29.842 % |
5618.72/5620.48 c | 488531 | 170859 811997 2233192 | 2147483647 475991 262 | 29.842 % |
5626.62/5628.31 c | 489024 | 170859 811997 2233192 | 2147483647 476484 262 | 29.842 % |
5634.52/5636.22 c | 489566 | 170859 811997 2233192 | 2147483647 477026 262 | 29.842 % |
5643.12/5644.87 c | 490168 | 170859 811997 2233192 | 2147483647 477628 261 | 29.842 % |
5654.92/5656.67 c | 490828 | 170859 811997 2233192 | 2147483647 478288 262 | 29.842 % |
5664.91/5666.61 c | 491549 | 170859 811997 2233192 | 2147483647 479009 261 | 29.842 % |
5674.81/5676.58 c | 492341 | 170859 811997 2233192 | 2147483647 479801 262 | 29.842 % |
5689.10/5690.89 c | 493213 | 170859 811997 2233192 | 2147483647 480673 262 | 29.842 % |
5704.50/5706.29 c | 494172 | 170859 811997 2233192 | 2147483647 481632 261 | 29.842 % |
5723.29/5725.09 c | 495227 | 170834 811865 2232850 | 2147483647 482684 261 | 29.852 % |
5742.99/5744.72 c | 496385 | 170834 811865 2232850 | 2147483647 483842 261 | 29.852 % |
5764.28/5766.03 c | 497658 | 170834 811865 2232850 | 2147483647 485115 261 | 29.852 % |
5786.28/5788.07 c | 499068 | 170834 811865 2232850 | 2147483647 486525 261 | 29.852 % |
5806.77/5808.50 c | 500610 | 170834 811865 2232850 | 2147483647 488067 261 | 29.852 % |
5833.37/5835.12 c | 502308 | 170834 811865 2232850 | 2147483647 489765 261 | 29.852 % |
5866.56/5868.32 c | 504171 | 170834 811865 2232850 | 2147483647 491626 260 | 29.859 % |
5891.96/5893.78 c | 506220 | 170816 811760 2232575 | 2147483647 493624 260 | 29.859 % |
5926.64/5928.46 c | 508474 | 170816 811760 2232575 | 2147483647 495877 259 | 29.861 % |
5963.44/5965.29 c | 510953 | 170816 811760 2232575 | 2147483647 498355 258 | 29.862 % |
6006.91/6008.71 c | 513678 | 170815 811760 2232575 | 2147483647 501079 258 | 31.192 % |
6056.91/6058.74 c | 516676 | 167571 798442 2199550 | 2147483647 503724 257 | 31.192 % |
6113.59/6115.42 c | 519974 | 167571 798442 2199550 | 2147483647 507022 256 | 31.192 % |
6173.17/6175.03 c | 523607 | 167571 798442 2199550 | 2147483647 510655 255 | 31.192 % |
6245.55/6247.41 c | 527594 | 167570 798436 2199537 | 2147483647 514640 255 | 31.196 % |
6319.13/6321.08 c | 531980 | 167570 798436 2199537 | 2147483647 519024 254 | 31.322 % |
6401.12/6403.02 c | 536803 | 167169 796442 2194817 | 2147483647 523733 253 | 31.357 % |
6402.41/6404.36 c | 536903 | 167169 796442 2194817 | 2147483647 523833 253 | 31.357 % |
6404.81/6406.78 c | 537013 | 167169 796442 2194817 | 2147483647 523943 253 | 31.357 % |
6407.51/6409.46 c | 537134 | 167169 796442 2194817 | 2147483647 524064 253 | 31.357 % |
6410.02/6411.95 c | 537268 | 167169 796442 2194817 | 2147483647 524198 253 | 31.357 % |
6413.21/6415.10 c | 537414 | 167169 796442 2194817 | 2147483647 524344 253 | 31.357 % |
6416.21/6418.14 c | 537576 | 167169 796442 2194817 | 2147483647 524506 253 | 31.357 % |
6419.61/6421.59 c | 537752 | 167169 796442 2194817 | 2147483647 524682 253 | 31.357 % |
6423.11/6425.08 c | 537946 | 167169 796442 2194817 | 2147483647 524875 253 | 31.358 % |
6426.70/6428.69 c | 538158 | 167169 796442 2194817 | 2147483647 525087 252 | 31.358 % |
6431.50/6433.48 c | 538391 | 167169 796442 2194817 | 2147483647 525320 252 | 31.358 % |
6436.10/6438.08 c | 538647 | 167169 796442 2194817 | 2147483647 525576 252 | 31.358 % |
6440.40/6442.37 c | 538930 | 167169 796442 2194817 | 2147483647 525859 252 | 31.358 % |
6444.80/6446.79 c | 539239 | 167169 796442 2194817 | 2147483647 526168 252 | 31.358 % |
6451.30/6453.28 c | 539579 | 167169 796442 2194817 | 2147483647 526507 252 | 31.358 % |
6457.59/6459.59 c | 539952 | 167169 796442 2194817 | 2147483647 526880 252 | 31.358 % |
6464.49/6466.44 c | 540362 | 167169 796442 2194817 | 2147483647 527290 252 | 31.358 % |
6471.90/6473.86 c | 540814 | 167169 796442 2194817 | 2147483647 527742 252 | 31.358 % |
6479.39/6481.30 c | 541311 | 167169 796442 2194817 | 2147483647 528239 252 | 31.358 % |
6488.09/6490.06 c | 541854 | 167169 796442 2194817 | 2147483647 528782 251 | 31.358 % |
6497.19/6499.13 c | 542451 | 167169 796442 2194817 | 2147483647 529379 251 | 31.358 % |
6509.28/6511.25 c | 543108 | 167169 796442 2194817 | 2147483647 530036 251 | 31.358 % |
6523.38/6525.39 c | 543829 | 167166 796431 2194795 | 2147483647 530744 251 | 31.358 % |
6537.37/6539.35 c | 544623 | 167166 796431 2194795 | 2147483647 531538 250 | 31.358 % |
6551.57/6553.54 c | 545496 | 167166 796431 2194795 | 2147483647 532411 250 | 31.358 % |
6566.56/6568.51 c | 546455 | 167166 796431 2194795 | 2147483647 533370 250 | 31.358 % |
6583.36/6585.39 c | 547508 | 167166 796431 2194795 | 2147483647 534423 250 | 31.358 % |
6601.65/6603.61 c | 548667 | 167166 796431 2194795 | 2147483647 535581 249 | 31.373 % |
6624.36/6626.39 c | 549940 | 167166 796431 2194795 | 2147483647 536853 249 | 31.373 % |
6645.94/6647.95 c | 551341 | 167166 796431 2194795 | 2147483647 538254 248 | 31.373 % |
6672.04/6674.10 c | 552882 | 167092 796014 2193756 | 2147483647 539759 248 | 31.389 % |
6697.34/6699.39 c | 554578 | 167092 796014 2193756 | 2147483647 541455 248 | 31.389 % |
6726.73/6728.78 c | 556441 | 167091 796014 2193756 | 2147483647 543316 248 | 31.389 % |
6760.42/6762.49 c | 558490 | 167091 796014 2193756 | 2147483647 545363 248 | 31.399 % |
6799.20/6801.23 c | 560743 | 167091 796014 2193756 | 2147483647 547615 248 | 31.400 % |
6840.50/6842.57 c | 563221 | 167090 796014 2193756 | 2147483647 550092 248 | 31.402 % |
6893.98/6896.02 c | 565948 | 167060 795885 2193441 | 2147483647 552799 247 | 31.402 % |
6942.56/6944.62 c | 568947 | 167059 795885 2193441 | 2147483647 555797 246 | 31.402 % |
7000.35/7002.41 c | 572245 | 167059 795885 2193441 | 2147483647 559094 245 | 31.403 % |
7062.04/7064.16 c | 575872 | 167058 795877 2193425 | 2147483647 562718 244 | 31.435 % |
7125.42/7127.51 c | 579859 | 167058 795877 2193425 | 2147483647 566705 245 | 31.435 % |
7201.40/7203.52 c | 584245 | 167058 795877 2193425 | 2147483647 571090 243 | 31.437 % |
7290.47/7292.62 c | 589069 | 166972 795461 2192424 | 2147483647 575677 242 | 34.897 % |
7381.45/7383.66 c | 594375 | 166971 795461 2192424 | 2147483647 580982 241 | 34.897 % |
7393.34/7395.53 c | 594475 | 158547 761337 2107853 | 2147483647 462015 254 | 34.897 % |
7395.24/7397.50 c | 594585 | 158547 761337 2107853 | 2147483647 462125 254 | 34.897 % |
7397.84/7400.05 c | 594706 | 158547 761337 2107853 | 2147483647 462246 254 | 34.897 % |
7400.04/7402.23 c | 594839 | 158547 761337 2107853 | 2147483647 462379 254 | 34.897 % |
7401.64/7403.88 c | 594985 | 158547 761337 2107853 | 2147483647 462525 254 | 34.897 % |
7403.64/7405.86 c | 595145 | 158547 761337 2107853 | 2147483647 462685 254 | 34.897 % |
7406.04/7408.23 c | 595321 | 158547 761337 2107853 | 2147483647 462861 254 | 34.897 % |
7408.93/7411.17 c | 595514 | 158547 761337 2107853 | 2147483647 463054 254 | 34.897 % |
7412.84/7415.02 c | 595727 | 158547 761337 2107853 | 2147483647 463267 254 | 34.897 % |
7416.03/7418.21 c | 595960 | 158547 761337 2107853 | 2147483647 463500 253 | 34.897 % |
7420.33/7422.50 c | 596216 | 158547 761337 2107853 | 2147483647 463756 253 | 34.897 % |
7424.73/7426.95 c | 596498 | 158547 761337 2107853 | 2147483647 464038 253 | 34.897 % |
7430.03/7432.20 c | 596808 | 158547 761337 2107853 | 2147483647 464348 253 | 34.897 % |
7435.53/7437.73 c | 597147 | 158547 761337 2107853 | 2147483647 464686 253 | 34.906 % |
7442.23/7444.43 c | 597522 | 158547 761337 2107853 | 2147483647 465061 253 | 34.906 % |
7449.23/7451.46 c | 597932 | 158547 761337 2107853 | 2147483647 465471 253 | 34.906 % |
7456.72/7458.92 c | 598381 | 158547 761337 2107853 | 2147483647 465920 253 | 34.906 % |
7464.32/7466.59 c | 598874 | 158544 761337 2107853 | 2147483647 466412 253 | 37.355 % |
7474.11/7476.39 c | 599426 | 158544 761337 2107853 | 2147483647 466963 252 | 37.356 % |
7485.21/7487.42 c | 600025 | 158543 761337 2107853 | 2147483647 467561 252 | 39.299 % |
7495.91/7498.13 c | 600681 | 158542 761337 2107853 | 2147483647 468216 252 | 39.878 % |
7505.60/7507.83 c | 601401 | 158540 761337 2107853 | 2147483647 468934 252 | 39.879 % |
7523.40/7525.66 c ===============================================================================
7523.40/7525.66 c restarts : 970
7523.40/7525.66 c conflicts : 601797 (80 /sec)
7523.40/7525.66 c decisions : 2705157 (1.10 % random) (360 /sec)
7523.40/7525.66 c propagations : 7892460751 (1051046 /sec)
7523.40/7525.66 c conflict literals : 142649427 (47.84 % deleted)
7523.40/7525.66 c Memory used : 631.52 MB
7523.40/7525.66 c CPU time : 7509.15 s
7523.40/7525.66 c
7523.40/7525.66 s UNSATISFIABLE
7523.51/7525.76 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837454-1242871067/watcher-1837454-1242871067 -o /tmp/evaluation-result-1837454-1242871067/solver-1837454-1242871067 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837454-1242871067.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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 0.96 3/64 10975
/proc/meminfo: memFree=1641632/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=0
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315134947 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 1339 237 197 169 0 50 0
[startup+0.0785509 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 10975
/proc/meminfo: memFree=1641632/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=0
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315134947 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102552 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 10975
/proc/meminfo: memFree=1641632/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=0
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315134947 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30157 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 10975
/proc/meminfo: memFree=1641632/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=0
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315134947 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702606 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 10975
/proc/meminfo: memFree=1641632/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=0
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315134947 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50168 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 10980
/proc/meminfo: memFree=1549968/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=0
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315134947 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 1339 237 197 169 0 50 0
[pid=10979] ppid=10975 vsize=167192 CPUtime=1.49
/proc/10979/stat : 10979 (SatELite_releas) R 10975 10975 10830 0 -1 4194304 37902 0 0 0 129 20 0 0 25 0 1 0 315134947 171204608 37720 1992294400 134512640 135223648 4294956128 18446744073709551615 134547562 0 0 4096 3 0 0 0 17 1 0 0
/proc/10979/statm: 41798 37720 50 173 0 41623 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 172548
[startup+3.10182 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 10980
/proc/meminfo: memFree=1482256/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=0
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315134947 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 1339 237 197 169 0 50 0
[pid=10979] ppid=10975 vsize=197304 CPUtime=3.09
/proc/10979/stat : 10979 (SatELite_releas) R 10975 10975 10830 0 -1 4194304 48509 0 0 0 283 26 0 0 25 0 1 0 315134947 202039296 44220 1992294400 134512640 135223648 4294956128 18446744073709551615 134587310 0 0 4096 3 0 0 0 17 1 0 0
/proc/10979/statm: 49326 44220 76 173 0 49151 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 202660
[startup+6.3011 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 10980
/proc/meminfo: memFree=1445200/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=0
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315134947 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 1339 237 197 169 0 50 0
[pid=10979] ppid=10975 vsize=213336 CPUtime=6.28
/proc/10979/stat : 10979 (SatELite_releas) R 10975 10975 10830 0 -1 4194304 52158 0 0 0 599 29 0 0 25 0 1 0 315134947 218456064 47526 1992294400 134512640 135223648 4294956128 18446744073709551615 134586811 0 0 4096 3 0 0 0 17 1 0 0
/proc/10979/statm: 53334 47526 76 173 0 53159 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 218692
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 10980
/proc/meminfo: memFree=1419984/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 5356
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 10981
/proc/meminfo: memFree=1541264/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=72856 CPUtime=13.22
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 16607 0 0 0 1310 12 0 0 25 0 1 0 315136173 74604544 16543 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 18214 16543 77 171 0 18041 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 78212
[startup+51.101 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 10981
/proc/meminfo: memFree=1538768/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=75660 CPUtime=38.82
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 17234 0 0 0 3869 13 0 0 25 0 1 0 315136173 77475840 17170 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 18915 17170 77 171 0 18742 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 81016
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 10981
/proc/meminfo: memFree=1529616/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=84688 CPUtime=90
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 19493 0 0 0 8985 15 0 0 25 0 1 0 315136173 86720512 19429 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 21172 19429 77 171 0 20999 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 90044
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 10981
/proc/meminfo: memFree=1517840/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=96496 CPUtime=149.98
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 22456 0 0 0 14979 19 0 0 25 0 1 0 315136173 98811904 22392 1992294400 134512640 135215339 4294956240 18446744073709551615 134528930 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 24124 22392 77 171 0 23951 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 101852
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 10987
/proc/meminfo: memFree=1504912/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=109256 CPUtime=209.96
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 25624 0 0 0 20973 23 0 0 25 0 1 0 315136173 111878144 25560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 27314 25560 77 171 0 27141 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 114612
[startup+282.301 s]
/proc/loadavg: 1.21 1.06 0.98 2/66 11463
/proc/meminfo: memFree=1451856/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=120896 CPUtime=269.8
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 28555 0 0 0 26950 30 0 0 25 0 1 0 315136173 123797504 28491 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 30224 28491 77 171 0 30051 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 126252
[startup+342.303 s]
/proc/loadavg: 1.08 1.05 0.98 2/66 11463
/proc/meminfo: memFree=1439504/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=133328 CPUtime=329.79
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 31612 0 0 0 32945 34 0 0 25 0 1 0 315136173 136527872 31548 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 33332 31548 77 171 0 33159 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 138684
[startup+402.303 s]
/proc/loadavg: 1.03 1.04 0.98 2/66 11463
/proc/meminfo: memFree=1427728/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=145100 CPUtime=389.77
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 34574 0 0 0 38940 37 0 0 25 0 1 0 315136173 148582400 34510 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 36275 34510 77 171 0 36102 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 150456
[startup+462.302 s]
/proc/loadavg: 1.01 1.03 0.98 2/66 11463
/proc/meminfo: memFree=1416016/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
################
# More data... #
################
[startup+7122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11473
/proc/meminfo: memFree=929424/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=640612 CPUtime=7107.96
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 158011 0 0 0 710593 203 0 0 25 0 1 0 315136173 655986688 157947 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 160153 157947 77 171 0 159980 0
Current children cumulated CPU time (s) 7120.21
Current children cumulated vsize (KiB) 645968
[startup+7182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11473
/proc/meminfo: memFree=927952/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=642136 CPUtime=7167.95
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 158368 0 0 0 716591 204 0 0 25 0 1 0 315136173 657547264 158304 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 160534 158304 77 171 0 160361 0
Current children cumulated CPU time (s) 7180.2
Current children cumulated vsize (KiB) 647492
[startup+7242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11473
/proc/meminfo: memFree=926864/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=643192 CPUtime=7227.94
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 158622 0 0 0 722589 205 0 0 25 0 1 0 315136173 658628608 158558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 160798 158558 77 171 0 160625 0
Current children cumulated CPU time (s) 7240.19
Current children cumulated vsize (KiB) 648548
[startup+7302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11473
/proc/meminfo: memFree=925456/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=644528 CPUtime=7287.92
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 158967 0 0 0 728586 206 0 0 25 0 1 0 315136173 659996672 158903 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 161132 158903 77 171 0 160959 0
Current children cumulated CPU time (s) 7300.17
Current children cumulated vsize (KiB) 649884
[startup+7362.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11473
/proc/meminfo: memFree=923984/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=645980 CPUtime=7347.91
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 159339 0 0 0 734584 207 0 0 25 0 1 0 315136173 661483520 159275 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 161495 159275 77 171 0 161322 0
Current children cumulated CPU time (s) 7360.16
Current children cumulated vsize (KiB) 651336
[startup+7422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11479
/proc/meminfo: memFree=923088/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=646508 CPUtime=7407.88
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 159494 0 0 0 740581 207 0 0 25 0 1 0 315136173 662024192 159430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 161627 159430 77 171 0 161454 0
Current children cumulated CPU time (s) 7420.13
Current children cumulated vsize (KiB) 651864
[startup+7482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11479
/proc/meminfo: memFree=923088/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=646672 CPUtime=7467.86
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 159528 0 0 0 746579 207 0 0 25 0 1 0 315136173 662192128 159464 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 161668 159464 77 171 0 161495 0
Current children cumulated CPU time (s) 7480.11
Current children cumulated vsize (KiB) 652028
Solver just ended. Dumping a history of the last processes samples
[startup+7500.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11479
/proc/meminfo: memFree=923024/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=646672 CPUtime=7486.26
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 159530 0 0 0 748419 207 0 0 25 0 1 0 315136173 662192128 159466 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 161668 159466 77 171 0 161495 0
Current children cumulated CPU time (s) 7498.51
Current children cumulated vsize (KiB) 652028
[startup+7513.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11479
/proc/meminfo: memFree=923024/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=646672 CPUtime=7499.05
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 159530 0 0 0 749698 207 0 0 25 0 1 0 315136173 662192128 159466 1992294400 134512640 135215339 4294956240 18446744073709551615 134526120 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 161668 159466 77 171 0 161495 0
Current children cumulated CPU time (s) 7511.3
Current children cumulated vsize (KiB) 652028
[startup+7519.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11479
/proc/meminfo: memFree=923024/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=646672 CPUtime=7505.45
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 159530 0 0 0 750338 207 0 0 25 0 1 0 315136173 662192128 159466 1992294400 134512640 135215339 4294956240 18446744073709551615 134526303 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 161668 159466 77 171 0 161495 0
Current children cumulated CPU time (s) 7517.7
Current children cumulated vsize (KiB) 652028
[startup+7523.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11479
/proc/meminfo: memFree=923024/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=646672 CPUtime=7508.65
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 159530 0 0 0 750658 207 0 0 25 0 1 0 315136173 662192128 159466 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 161668 159466 77 171 0 161495 0
Current children cumulated CPU time (s) 7520.9
Current children cumulated vsize (KiB) 652028
[startup+7524.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11479
/proc/meminfo: memFree=923024/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=646672 CPUtime=7510.25
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 159530 0 0 0 750818 207 0 0 25 0 1 0 315136173 662192128 159466 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 161668 159466 77 171 0 161495 0
Current children cumulated CPU time (s) 7522.5
Current children cumulated vsize (KiB) 652028
[startup+7525.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11479
/proc/meminfo: memFree=923024/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=646672 CPUtime=7511.05
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194304 159530 0 0 0 750898 207 0 0 25 0 1 0 315136173 662192128 159466 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 161668 159466 77 171 0 161495 0
Current children cumulated CPU time (s) 7523.3
Current children cumulated vsize (KiB) 652028
[startup+7525.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11479
/proc/meminfo: memFree=923024/2055920 swapFree=4180264/4192956
[pid=10975] ppid=10973 vsize=5356 CPUtime=12.25
/proc/10975/stat : 10975 (SatELiteGTI) S 10973 10975 10830 0 -1 4194304 336 63000 0 0 0 0 1177 48 16 0 1 0 315134947 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1339 239 197 169 0 50 0
[pid=10981] ppid=10975 vsize=0 CPUtime=7511.26
/proc/10981/stat : 10981 (minisat_static) R 10975 10975 10830 0 -1 4194308 159537 0 0 0 750915 211 0 0 25 0 1 0 315136173 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/10981/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7523.51
Current children cumulated vsize (KiB) 5356
Child status: 20
Real time (s): 7525.79
CPU time (s): 7523.61
CPU user time (s): 7520.92
CPU system time (s): 2.68959
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 652028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7520.92
system time used= 2.68959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223028
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= 46
involuntary context switches= 10908
runsolver used 8.74867 second user time and 18.6652 second system time
The end
Begin job on node50 at 2009-05-21 03:57:49
IDJOB=1837454
IDBENCH=70996
IDSOLVER=674
FILE ID=node50/1837454-1242871067
PBS_JOBID= 9328553
Free space on /tmp= 65800 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-20-10p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837454-1242871067/watcher-1837454-1242871067 -o /tmp/evaluation-result-1837454-1242871067/solver-1837454-1242871067 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837454-1242871067.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 28e85fc2a4586943a0ffdffa15206b58
RANDOM SEED=565964930
node50.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.216
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.216
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: 1642176 kB
Buffers: 36524 kB
Cached: 336468 kB
SwapCached: 6856 kB
Active: 185880 kB
Inactive: 195368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1642176 kB
SwapTotal: 4192956 kB
SwapFree: 4180264 kB
Dirty: 31364 kB
Writeback: 0 kB
Mapped: 13460 kB
Slab: 18488 kB
Committed_AS: 1014656 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65800 MiB
End job on node50 at 2009-05-21 06:03:15