0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 31531 81634 | 9459 0 0 nan | 0.000 % |
0.00/0.15 c | 0 | 13274 37444 | -- 0 -- -- | -- | -17941/-43185
0.00/0.15 c ==============================================================================
0.00/0.15 c Result : #vars: 3005 #clauses: 13274 #literals: 37444
0.00/0.15 c CPU time: 0.141978 s
0.00/0.15 c ==============================================================================
0.00/0.17 c This is MiniSat 2.0 beta
0.00/0.17 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.17 c ============================[ Problem Statistics ]=============================
0.00/0.17 c | |
0.00/0.17 c | Number of variables: 3005 |
0.00/0.17 c | Number of clauses: 13274 |
0.00/0.18 c | Parsing time: 0.01 s |
0.00/0.18 c ============================[ Search Statistics ]==============================
0.00/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.18 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.18 c ===============================================================================
0.00/0.18 c | 0 | 3005 13274 37444 | 4424 0 nan | 0.000 % |
0.00/0.20 c | 100 | 3005 13274 37444 | 4424 100 26 | 0.020 % |
0.16/0.22 c | 201 | 3005 13274 37444 | 4424 201 60 | 0.000 % |
0.16/0.24 c | 302 | 3005 13274 37444 | 4424 302 60 | 0.000 % |
0.16/0.25 c | 412 | 3005 13274 37444 | 4424 412 51 | 0.000 % |
0.16/0.29 c | 513 | 3005 13274 37444 | 4424 513 64 | 0.001 % |
0.16/0.31 c | 624 | 3005 13274 37444 | 4424 624 60 | 0.000 % |
0.16/0.34 c | 746 | 3005 13274 37444 | 4424 746 60 | 0.000 % |
0.16/0.36 c | 849 | 3005 13274 37444 | 4424 849 58 | 0.001 % |
0.16/0.38 c | 959 | 3005 13274 37444 | 4424 959 56 | 0.001 % |
0.16/0.40 c | 1081 | 3005 13274 37444 | 4424 1081 57 | 0.001 % |
0.16/0.43 c | 1216 | 3005 13274 37444 | 4424 1216 57 | 0.004 % |
0.16/0.45 c | 1316 | 3005 13274 37444 | 4424 1316 58 | 0.000 % |
0.16/0.47 c | 1426 | 3005 13274 37444 | 4424 1426 58 | 0.001 % |
0.16/0.50 c | 1547 | 3005 13274 37444 | 4424 1547 58 | 0.000 % |
0.16/0.54 c | 1680 | 3005 13274 37444 | 4424 1680 62 | 0.001 % |
0.16/0.58 c | 1828 | 3002 13259 37405 | 4424 1826 61 | 0.100 % |
0.16/0.61 c | 1928 | 3002 13259 37405 | 4424 1926 61 | 0.101 % |
0.16/0.63 c | 2040 | 3002 13259 37405 | 4424 2038 59 | 0.101 % |
0.16/0.66 c | 2161 | 3002 13259 37405 | 4424 2159 60 | 0.101 % |
0.16/0.69 c | 2295 | 3002 13259 37405 | 4424 2293 60 | 0.101 % |
0.16/0.73 c | 2441 | 3002 13259 37405 | 4424 2439 60 | 0.101 % |
0.16/0.77 c | 2602 | 3002 13259 37405 | 4424 2600 61 | 0.101 % |
0.16/0.80 c | 2703 | 3002 13259 37405 | 4424 2701 60 | 0.100 % |
0.16/0.82 c | 2813 | 3002 13259 37405 | 4424 2811 60 | 0.101 % |
0.16/0.84 c | 2934 | 3002 13259 37405 | 4424 2932 59 | 0.101 % |
0.16/0.88 c | 3067 | 3002 13259 37405 | 4424 3065 59 | 0.101 % |
0.16/0.93 c | 3213 | 3001 13254 37393 | 4424 3209 59 | 0.134 % |
0.16/0.96 c | 3373 | 3001 13254 37393 | 4424 3369 58 | 0.134 % |
0.16/1.01 c | 3549 | 3001 13254 37393 | 4424 3545 58 | 0.134 % |
0.16/1.03 c | 3649 | 3001 13254 37393 | 4424 3645 57 | 0.134 % |
0.16/1.06 c | 3759 | 3001 13254 37393 | 4424 3755 57 | 0.134 % |
0.16/1.08 c | 3881 | 3001 13254 37393 | 4424 3877 56 | 0.133 % |
1.08/1.12 c | 4014 | 3001 13254 37393 | 4424 4010 57 | 0.134 % |
1.08/1.15 c | 4161 | 3001 13254 37393 | 4424 4157 56 | 0.137 % |
1.08/1.18 c | 4322 | 3001 13254 37393 | 4424 4318 55 | 0.133 % |
1.18/1.24 c | 4498 | 3001 13254 37393 | 4424 4494 56 | 0.134 % |
1.18/1.29 c | 4693 | 3001 13254 37393 | 4424 4240 53 | 0.133 % |
1.28/1.32 c | 4796 | 3001 13254 37393 | 4424 4343 53 | 0.134 % |
1.28/1.35 c | 4908 | 3001 13254 37393 | 4424 4455 52 | 0.134 % |
1.28/1.38 c | 5030 | 3001 13254 37393 | 4424 4132 50 | 0.134 % |
1.38/1.42 c | 5164 | 3001 13254 37393 | 4424 4266 51 | 0.134 % |
1.38/1.46 c | 5312 | 3001 13254 37393 | 4424 4414 52 | 0.133 % |
1.48/1.50 c | 5474 | 3001 13254 37393 | 4424 4576 52 | 0.134 % |
1.48/1.55 c | 5651 | 3001 13254 37393 | 4424 4296 50 | 0.134 % |
1.58/1.60 c | 5846 | 3001 13254 37393 | 4424 4491 51 | 0.134 % |
1.58/1.66 c | 6061 | 3001 13254 37393 | 4424 4257 49 | 0.134 % |
1.58/1.68 c | 6162 | 3001 13254 37393 | 4424 4358 49 | 0.134 % |
1.68/1.71 c | 6275 | 3001 13254 37393 | 4424 4471 50 | 0.134 % |
1.68/1.75 c | 6396 | 3001 13254 37393 | 4424 4145 47 | 0.134 % |
1.68/1.80 c | 6529 | 3001 13254 37393 | 4424 4278 47 | 0.134 % |
1.78/1.83 c | 6676 | 3001 13254 37393 | 4424 4425 48 | 0.134 % |
1.78/1.88 c | 6836 | 3001 13254 37393 | 4424 4585 47 | 0.134 % |
1.88/1.93 c | 7012 | 3001 13254 37393 | 4424 4303 46 | 0.134 % |
1.98/2.00 c | 7206 | 3001 13254 37393 | 4424 4497 46 | 0.134 % |
1.98/2.06 c | 7418 | 3001 13254 37393 | 4424 4260 46 | 0.133 % |
2.08/2.14 c | 7652 | 3001 13254 37393 | 4424 4494 47 | 0.134 % |
2.08/2.17 c | 7752 | 3001 13254 37393 | 4424 4145 47 | 0.134 % |
2.08/2.20 c | 7863 | 3001 13254 37393 | 4424 4256 47 | 0.134 % |
2.18/2.22 c | 7985 | 3001 13254 37393 | 4424 4378 46 | 0.134 % |
2.18/2.26 c | 8118 | 3001 13254 37393 | 4424 4511 46 | 0.134 % |
2.18/2.30 c | 8265 | 3001 13254 37393 | 4424 4207 44 | 0.134 % |
2.28/2.35 c | 8425 | 3001 13254 37393 | 4424 4367 44 | 0.134 % |
2.28/2.40 c | 8602 | 3001 13254 37393 | 4424 4544 44 | 0.134 % |
2.38/2.45 c | 8795 | 3001 13254 37393 | 4424 4283 41 | 0.134 % |
2.48/2.52 c | 9007 | 3001 13254 37393 | 4424 4495 41 | 0.134 % |
2.48/2.59 c | 9242 | 3001 13254 37393 | 4424 4281 41 | 0.134 % |
2.58/2.66 c | 9498 | 3001 13254 37393 | 4424 4537 41 | 0.134 % |
2.58/2.69 c | 9599 | 3001 13254 37393 | 4424 4185 39 | 0.134 % |
2.68/2.71 c | 9709 | 3001 13254 37393 | 4424 4295 39 | 0.134 % |
2.68/2.75 c | 9830 | 3001 13254 37393 | 4424 4416 39 | 0.134 % |
2.68/2.79 c | 9963 | 3001 13254 37393 | 4424 4549 39 | 0.134 % |
2.77/2.84 c | 10110 | 3001 13254 37393 | 2147483647 4242 38 | 0.134 % |
2.77/2.89 c | 10273 | 3001 13254 37393 | 2147483647 4405 37 | 0.134 % |
2.87/2.95 c | 10449 | 3001 13254 37393 | 2147483647 4581 37 | 0.134 % |
2.97/3.01 c | 10643 | 3001 13254 37393 | 2147483647 4775 37 | 0.134 % |
2.97/3.07 c | 10855 | 3001 13254 37393 | 2147483647 4987 37 | 0.134 % |
3.07/3.14 c | 11089 | 3001 13254 37393 | 2147483647 5221 37 | 0.134 % |
3.17/3.23 c | 11345 | 3001 13254 37393 | 2147483647 5477 39 | 0.134 % |
3.27/3.33 c | 11626 | 3001 13254 37393 | 2147483647 5758 40 | 0.134 % |
3.27/3.37 c | 11726 | 3001 13254 37393 | 2147483647 5858 40 | 0.134 % |
3.37/3.40 c | 11836 | 3001 13254 37393 | 2147483647 5968 40 | 0.134 % |
3.37/3.44 c | 11957 | 3001 13254 37393 | 2147483647 6089 40 | 0.134 % |
3.37/3.49 c | 12090 | 3001 13254 37393 | 2147483647 6222 40 | 0.133 % |
3.47/3.53 c | 12238 | 3001 13254 37393 | 2147483647 6370 41 | 0.133 % |
3.47/3.58 c | 12398 | 3001 13254 37393 | 2147483647 6530 41 | 0.134 % |
3.57/3.63 c | 12577 | 3001 13254 37393 | 2147483647 6709 41 | 0.134 % |
3.67/3.71 c | 12771 | 3001 13254 37393 | 2147483647 6903 42 | 0.134 % |
3.67/3.78 c | 12983 | 3001 13254 37393 | 2147483647 7115 42 | 0.134 % |
3.77/3.85 c | 13216 | 3001 13254 37393 | 2147483647 7348 42 | 0.133 % |
3.87/3.94 c | 13472 | 3001 13254 37393 | 2147483647 7604 41 | 0.134 % |
3.97/4.02 c | 13753 | 3001 13254 37393 | 2147483647 7885 41 | 0.134 % |
4.07/4.11 c | 14063 | 3001 13254 37393 | 2147483647 8195 41 | 0.134 % |
4.07/4.14 c | 14164 | 3001 13254 37393 | 2147483647 8296 41 | 0.134 % |
4.07/4.18 c | 14274 | 3001 13254 37393 | 2147483647 8406 41 | 0.134 % |
4.17/4.22 c | 14396 | 3001 13254 37393 | 2147483647 8528 41 | 0.134 % |
4.17/4.27 c | 14530 | 3001 13254 37393 | 2147483647 8662 42 | 0.133 % |
4.27/4.32 c | 14676 | 3001 13254 37393 | 2147483647 8808 42 | 0.134 % |
4.27/4.39 c | 14837 | 3001 13254 37393 | 2147483647 8969 42 | 0.133 % |
4.37/4.46 c | 15013 | 3001 13254 37393 | 2147483647 9145 42 | 0.134 % |
4.47/4.53 c | 15206 | 3001 13254 37393 | 2147483647 9338 43 | 0.134 % |
4.57/4.62 c | 15418 | 3001 13254 37393 | 2147483647 9550 43 | 0.134 % |
4.67/4.71 c | 15651 | 3001 13254 37393 | 2147483647 9783 43 | 0.134 % |
4.77/4.81 c | 15908 | 3001 13254 37393 | 2147483647 10040 42 | 0.133 % |
4.87/4.92 c | 16189 | 3001 13254 37393 | 2147483647 10321 43 | 0.133 % |
4.97/5.03 c | 16499 | 3001 13254 37393 | 2147483647 10631 42 | 0.134 % |
5.07/5.12 c | 16838 | 3001 13254 37393 | 2147483647 10970 43 | 0.134 % |
5.07/5.15 c | 16938 | 3001 13254 37393 | 2147483647 11070 43 | 0.133 % |
5.07/5.19 c | 17048 | 3001 13254 37393 | 2147483647 11180 43 | 0.134 % |
5.17/5.24 c | 17172 | 3001 13254 37393 | 2147483647 11304 43 | 0.134 % |
5.17/5.28 c | 17306 | 3001 13254 37393 | 2147483647 11438 43 | 0.134 % |
5.27/5.34 c | 17453 | 3001 13254 37393 | 2147483647 11585 43 | 0.134 % |
5.37/5.40 c | 17614 | 3001 13254 37393 | 2147483647 11746 43 | 0.133 % |
5.37/5.48 c | 17790 | 3001 13254 37393 | 2147483647 11922 43 | 0.133 % |
5.47/5.55 c | 17983 | 3001 13254 37393 | 2147483647 12115 43 | 0.133 % |
5.57/5.64 c | 18197 | 3001 13254 37393 | 2147483647 12329 43 | 0.134 % |
5.67/5.72 c | 18431 | 3001 13254 37393 | 2147483647 12563 43 | 0.134 % |
5.77/5.84 c | 18687 | 3001 13254 37393 | 2147483647 12819 42 | 0.134 % |
5.87/5.95 c | 18968 | 3001 13254 37393 | 2147483647 13100 42 | 0.134 % |
5.97/6.07 c | 19277 | 3001 13254 37393 | 2147483647 13409 42 | 0.134 % |
6.17/6.20 c | 19616 | 3001 13254 37393 | 2147483647 13748 42 | 0.134 % |
6.27/6.34 c | 19990 | 3001 13254 37393 | 2147483647 14122 42 | 0.134 % |
6.27/6.38 c | 20090 | 3001 13254 37393 | 2147483647 14222 41 | 0.134 % |
6.37/6.43 c | 20200 | 3001 13254 37393 | 2147483647 14332 42 | 0.133 % |
6.37/6.50 c | 20321 | 3001 13254 37393 | 2147483647 14453 42 | 0.134 % |
6.47/6.55 c | 20454 | 3001 13254 37393 | 2147483647 14586 42 | 0.134 % |
6.58/6.61 c | 20601 | 3001 13254 37393 | 2147483647 14733 42 | 0.134 % |
6.58/6.69 c | 20763 | 3001 13254 37393 | 2147483647 14895 43 | 0.134 % |
6.68/6.76 c | 20939 | 3001 13254 37393 | 2147483647 15071 43 | 0.133 % |
6.77/6.87 c | 21132 | 3001 13254 37393 | 2147483647 15264 43 | 0.133 % |
6.87/7.00 c | 21346 | 3001 13254 37393 | 2147483647 15478 43 | 0.134 % |
7.07/7.11 c | 21579 | 3001 13254 37393 | 2147483647 15711 43 | 0.133 % |
7.17/7.21 c | 21836 | 3001 13254 37393 | 2147483647 15968 43 | 0.134 % |
7.27/7.32 c | 22121 | 3001 13254 37393 | 2147483647 16253 44 | 0.134 % |
7.37/7.48 c | 22431 | 3001 13254 37393 | 2147483647 16563 44 | 0.134 % |
7.57/7.65 c | 22770 | 3001 13254 37393 | 2147483647 16902 44 | 0.133 % |
7.77/7.83 c | 23143 | 3001 13254 37393 | 2147483647 17275 44 | 0.134 % |
7.97/8.01 c | 23552 | 3001 13254 37393 | 2147483647 17684 43 | 0.134 % |
7.97/8.05 c | 23653 | 3001 13254 37393 | 2147483647 17785 43 | 0.133 % |
8.07/8.11 c | 23763 | 3001 13254 37393 | 2147483647 17895 43 | 0.133 % |
8.07/8.19 c | 23884 | 3001 13254 37393 | 2147483647 18016 43 | 0.134 % |
8.17/8.25 c | 24018 | 3001 13254 37393 | 2147483647 18150 43 | 0.134 % |
8.27/8.34 c | 24164 | 3001 13254 37393 | 2147483647 18296 43 | 0.134 % |
8.37/8.43 c | 24325 | 3001 13254 37393 | 2147483647 18457 43 | 0.133 % |
8.47/8.54 c | 24502 | 3001 13254 37393 | 2147483647 18634 44 | 0.134 % |
8.57/8.64 c | 24695 | 3001 13254 37393 | 2147483647 18827 44 | 0.134 % |
8.67/8.76 c | 24907 | 3001 13254 37393 | 2147483647 19039 44 | 0.133 % |
8.87/8.92 c | 25140 | 3001 13254 37393 | 2147483647 19272 44 | 0.133 % |
8.97/9.06 c | 25396 | 3001 13254 37393 | 2147483647 19528 44 | 0.133 % |
9.17/9.21 c | 25678 | 3001 13254 37393 | 2147483647 19810 44 | 0.134 % |
9.27/9.37 c | 25987 | 3001 13254 37393 | 2147483647 20119 44 | 0.134 % |
9.47/9.56 c | 26327 | 3001 13254 37393 | 2147483647 20459 43 | 0.134 % |
9.67/9.75 c | 26699 | 3001 13254 37393 | 2147483647 20831 43 | 0.134 % |
9.87/9.98 c | 27108 | 3001 13254 37393 | 2147483647 21240 43 | 0.134 % |
10.16/10.25 c | 27557 | 3001 13254 37393 | 2147483647 21689 43 | 0.134 % |
10.26/10.31 c | 27657 | 3001 13254 37393 | 2147483647 21789 43 | 0.133 % |
10.36/10.40 c | 27768 | 3001 13254 37393 | 2147483647 21900 43 | 0.134 % |
10.36/10.48 c | 27891 | 3001 13254 37393 | 2147483647 22023 43 | 0.134 % |
10.46/10.56 c | 28024 | 3001 13254 37393 | 2147483647 22156 43 | 0.134 % |
10.56/10.67 c | 28171 | 3001 13254 37393 | 2147483647 22303 43 | 0.134 % |
10.66/10.77 c | 28332 | 3001 13254 37393 | 2147483647 22464 43 | 0.134 % |
10.76/10.88 c | 28508 | 3001 13254 37393 | 2147483647 22640 43 | 0.133 % |
10.97/11.02 c | 28702 | 3001 13254 37393 | 2147483647 22834 43 | 0.134 % |
11.07/11.16 c | 28914 | 3001 13254 37393 | 2147483647 23046 43 | 0.134 % |
11.27/11.31 c | 29148 | 3001 13254 37393 | 2147483647 23280 44 | 0.133 % |
11.37/11.47 c | 29405 | 3001 13254 37393 | 2147483647 23537 44 | 0.134 % |
11.57/11.64 c | 29687 | 3001 13254 37393 | 2147483647 23819 44 | 0.133 % |
11.67/11.78 c | 29997 | 3001 13254 37393 | 2147483647 24129 44 | 0.133 % |
11.87/11.94 c | 30337 | 3001 13254 37393 | 2147483647 24469 44 | 0.133 % |
12.07/12.12 c | 30709 | 3001 13254 37393 | 2147483647 24841 44 | 0.134 % |
12.37/12.42 c | 31118 | 3001 13254 37393 | 2147483647 25250 44 | 0.133 % |
12.67/12.71 c | 31567 | 3001 13254 37393 | 2147483647 25699 44 | 0.133 % |
12.97/13.07 c | 32060 | 3001 13254 37393 | 2147483647 26192 44 | 0.134 % |
13.07/13.15 c | 32161 | 3001 13254 37393 | 2147483647 26293 44 | 0.133 % |
13.17/13.22 c | 32271 | 3001 13254 37393 | 2147483647 26403 44 | 0.134 % |
13.17/13.30 c | 32392 | 3001 13254 37393 | 2147483647 26524 44 | 0.140 % |
13.27/13.35 c | 32526 | 3001 13254 37393 | 2147483647 26658 44 | 0.134 % |
13.36/13.42 c | 32672 | 3001 13254 37393 | 2147483647 26804 44 | 0.134 % |
13.46/13.55 c | 32832 | 3001 13254 37393 | 2147483647 26964 44 | 0.133 % |
13.56/13.65 c | 33008 | 3001 13254 37393 | 2147483647 27140 45 | 0.134 % |
13.76/13.80 c | 33202 | 3001 13254 37393 | 2147483647 27334 45 | 0.134 % |
13.86/13.94 c | 33414 | 3001 13254 37393 | 2147483647 27546 45 | 0.134 % |
14.06/14.11 c | 33648 | 3001 13254 37393 | 2147483647 27780 45 | 0.133 % |
14.16/14.26 c | 33905 | 3001 13254 37393 | 2147483647 28037 45 | 0.134 % |
14.36/14.44 c | 34186 | 3001 13254 37393 | 2147483647 28318 45 | 0.134 % |
14.56/14.67 c | 34495 | 3001 13254 37393 | 2147483647 28627 45 | 0.133 % |
14.76/14.86 c | 34834 | 3001 13254 37393 | 2147483647 28966 45 | 0.134 % |
15.06/15.11 c | 35206 | 3001 13254 37393 | 2147483647 29338 45 | 0.133 % |
15.36/15.44 c | 35617 | 3001 13254 37393 | 2147483647 29749 45 | 0.133 % |
15.66/15.74 c | 36066 | 3001 13254 37393 | 2147483647 30198 45 | 0.134 % |
16.06/16.11 c | 36560 | 3001 13254 37393 | 2147483647 30692 46 | 0.133 % |
16.56/16.63 c | 37103 | 3001 13254 37393 | 2147483647 31235 46 | 0.134 % |
16.66/16.71 c | 37205 | 3001 13254 37393 | 2147483647 31337 46 | 0.134 % |
16.66/16.79 c | 37316 | 3001 13254 37393 | 2147483647 31448 47 | 0.133 % |
16.86/16.90 c | 37438 | 3001 13254 37393 | 2147483647 31570 47 | 0.134 % |
16.96/17.02 c | 37571 | 3001 13254 37393 | 2147483647 31703 47 | 0.134 % |
17.06/17.15 c | 37717 | 3001 13254 37393 | 2147483647 31849 47 | 0.134 % |
17.15/17.26 c | 37877 | 3001 13254 37393 | 2147483647 32009 47 | 0.134 % |
17.25/17.40 c | 38053 | 3001 13254 37393 | 2147483647 32185 47 | 0.134 % |
17.45/17.55 c | 38248 | 3001 13254 37393 | 2147483647 32380 47 | 0.134 % |
17.66/17.72 c | 38460 | 3001 13254 37393 | 2147483647 32592 47 | 0.133 % |
17.76/17.88 c | 38693 | 3001 13254 37393 | 2147483647 32825 47 | 0.134 % |
17.96/18.07 c | 38950 | 3001 13254 37393 | 2147483647 33082 47 | 0.133 % |
18.16/18.20 c | 39231 | 3001 13254 37393 | 2147483647 33363 47 | 0.134 % |
18.36/18.48 c | 39540 | 3001 13254 37393 | 2147483647 33672 47 | 0.133 % |
18.66/18.75 c | 39882 | 3001 13254 37393 | 2147483647 34014 47 | 0.134 % |
19.06/19.15 c | 40254 | 3001 13254 37393 | 2147483647 34386 48 | 0.133 % |
19.36/19.40 c | 40664 | 3001 13254 37393 | 2147483647 34796 48 | 0.134 % |
19.66/19.72 c | 41113 | 3001 13254 37393 | 2147483647 35245 48 | 0.134 % |
19.96/20.04 c | 41606 | 3001 13254 37393 | 2147483647 35738 48 | 0.134 % |
20.36/20.45 c | 42148 | 3001 13254 37393 | 2147483647 36280 48 | 0.134 % |
20.86/20.91 c | 42744 | 3001 13254 37393 | 2147483647 36876 47 | 0.134 % |
20.96/21.02 c | 42844 | 3001 13254 37393 | 2147483647 36976 47 | 0.134 % |
20.96/21.09 c | 42954 | 3001 13254 37393 | 2147483647 37086 47 | 0.134 % |
21.06/21.16 c | 43075 | 3001 13254 37393 | 2147483647 37207 47 | 0.134 % |
21.15/21.27 c | 43210 | 3001 13254 37393 | 2147483647 37342 47 | 0.134 % |
21.35/21.47 c | 43357 | 3001 13254 37393 | 2147483647 37489 47 | 0.133 % |
21.55/21.62 c | 43518 | 3001 13254 37393 | 2147483647 37650 48 | 0.134 % |
21.75/21.80 c | 43696 | 3001 13254 37393 | 2147483647 37828 48 | 0.133 % |
21.96/22.02 c | 43889 | 3001 13254 37393 | 2147483647 38021 48 | 0.135 % |
22.15/22.24 c | 44102 | 3001 13254 37393 | 2147483647 38234 48 | 0.134 % |
22.35/22.42 c | 44335 | 3001 13254 37393 | 2147483647 38467 48 | 0.134 % |
22.55/22.64 c | 44591 | 3001 13254 37393 | 2147483647 38723 48 | 0.134 % |
22.85/22.91 c | 44873 | 3001 13254 37393 | 2147483647 39005 48 | 0.134 % |
23.05/23.20 c | 45182 | 3001 13254 37393 | 2147483647 39314 48 | 0.134 % |
23.45/23.52 c | 45522 | 3001 13254 37393 | 2147483647 39654 49 | 0.134 % |
23.85/23.95 c | 45897 | 3001 13254 37393 | 2147483647 40029 49 | 0.135 % |
24.26/24.34 c | 46307 | 3001 13254 37393 | 2147483647 40439 49 | 0.134 % |
24.66/24.74 c | 46758 | 3001 13254 37393 | 2147483647 40890 49 | 0.134 % |
25.16/25.23 c | 47251 | 3001 13254 37393 | 2147483647 41383 49 | 0.134 % |
25.56/25.69 c | 47793 | 3001 13254 37393 | 2147483647 41925 49 | 0.134 % |
26.16/26.26 c | 48389 | 3001 13254 37393 | 2147483647 42521 48 | 0.134 % |
26.86/26.90 c | 49044 | 3001 13254 37393 | 2147483647 43176 48 | 0.133 % |
26.95/27.02 c | 49145 | 3001 13254 37393 | 2147483647 43277 48 | 0.134 % |
27.05/27.11 c | 49256 | 3001 13254 37393 | 2147483647 43388 48 | 0.134 % |
27.15/27.21 c | 49377 | 3001 13254 37393 | 2147483647 43509 48 | 0.134 % |
27.25/27.36 c | 49511 | 3001 13254 37393 | 2147483647 43643 48 | 0.135 % |
27.46/27.52 c | 49658 | 3001 13254 37393 | 2147483647 43790 48 | 0.133 % |
27.65/27.72 c | 49819 | 3001 13254 37393 | 2147483647 43951 48 | 0.133 % |
27.85/27.92 c | 49995 | 3001 13254 37393 | 2147483647 44127 48 | 0.134 % |
28.05/28.13 c | 50190 | 3001 13254 37393 | 2147483647 44322 48 | 0.134 % |
28.25/28.34 c | 50403 | 3001 13254 37393 | 2147483647 44535 48 | 0.134 % |
28.45/28.57 c | 50636 | 3001 13254 37393 | 2147483647 44768 48 | 0.134 % |
28.75/28.86 c | 50894 | 3001 13254 37393 | 2147483647 45026 48 | 0.134 % |
29.05/29.11 c | 51175 | 3001 13254 37393 | 2147483647 45307 48 | 0.134 % |
29.25/29.38 c | 51484 | 3001 13254 37393 | 2147483647 45616 48 | 0.134 % |
29.65/29.71 c | 51825 | 3001 13254 37393 | 2147483647 45957 48 | 0.133 % |
29.95/30.08 c | 52197 | 3001 13254 37393 | 2147483647 46329 48 | 0.134 % |
30.35/30.49 c | 52607 | 3001 13254 37393 | 2147483647 46739 48 | 0.134 % |
30.85/30.92 c | 53056 | 3001 13254 37393 | 2147483647 47188 48 | 0.134 % |
31.45/31.52 c | 53550 | 3001 13254 37393 | 2147483647 47682 48 | 0.134 % |
31.95/32.09 c | 54094 | 3001 13254 37393 | 2147483647 48226 49 | 0.134 % |
32.65/32.70 c | 54691 | 3001 13254 37393 | 2147483647 48823 49 | 0.134 % |
33.15/33.26 c | 55347 | 3001 13254 37393 | 2147483647 49479 49 | 0.134 % |
34.05/34.14 c | 56067 | 3001 13254 37393 | 2147483647 50199 49 | 0.134 % |
34.15/34.26 c | 56168 | 3001 13254 37393 | 2147483647 50300 49 | 0.134 % |
34.24/34.37 c | 56278 | 3001 13254 37393 | 2147483647 50410 49 | 0.134 % |
34.34/34.48 c | 56400 | 3001 13254 37393 | 2147483647 50532 49 | 0.134 % |
34.54/34.70 c | 56533 | 3001 13254 37393 | 2147483647 50665 49 | 0.134 % |
34.74/34.83 c | 56679 | 3001 13254 37393 | 2147483647 50811 49 | 0.134 % |
34.94/35.00 c | 56840 | 3001 13254 37393 | 2147483647 50972 50 | 0.133 % |
35.04/35.20 c | 57016 | 3001 13254 37393 | 2147483647 51148 50 | 0.134 % |
35.34/35.43 c | 57209 | 3001 13254 37393 | 2147483647 51341 50 | 0.134 % |
35.54/35.62 c | 57422 | 3001 13254 37393 | 2147483647 51554 50 | 0.134 % |
35.84/35.95 c | 57657 | 3001 13254 37393 | 2147483647 51789 50 | 0.134 % |
36.25/36.33 c | 57913 | 3001 13254 37393 | 2147483647 52045 50 | 0.134 % |
36.54/36.65 c | 58195 | 3001 13254 37393 | 2147483647 52327 50 | 0.133 % |
36.94/37.09 c | 58505 | 3001 13254 37393 | 2147483647 52637 50 | 0.134 % |
37.35/37.45 c | 58845 | 3001 13254 37393 | 2147483647 52977 50 | 0.134 % |
37.75/37.84 c | 59217 | 3001 13254 37393 | 2147483647 53349 50 | 0.134 % |
38.25/38.32 c | 59626 | 3001 13254 37393 | 2147483647 53758 50 | 0.134 % |
38.75/38.89 c | 60076 | 3001 13254 37393 | 2147483647 54208 50 | 0.134 % |
39.25/39.39 c | 60569 | 3001 13254 37393 | 2147483647 54701 50 | 0.134 % |
39.95/40.09 c | 61113 | 3001 13254 37393 | 2147483647 55245 51 | 0.134 % |
40.85/40.95 c | 61709 | 3001 13254 37393 | 2147483647 55841 50 | 0.134 % |
41.75/41.81 c | 62365 | 3001 13254 37393 | 2147483647 56497 50 | 0.135 % |
42.55/42.67 c | 63088 | 3001 13254 37393 | 2147483647 57220 50 | 0.134 % |
43.55/43.67 c | 63880 | 3001 13254 37393 | 2147483647 58012 51 | 0.133 % |
43.75/43.82 c | 63980 | 3001 13254 37393 | 2147483647 58112 51 | 0.134 % |
43.85/43.95 c | 64092 | 3001 13254 37393 | 2147483647 58224 51 | 0.134 % |
43.95/44.06 c | 64214 | 3001 13254 37393 | 2147483647 58346 51 | 0.134 % |
44.15/44.24 c | 64347 | 3001 13254 37393 | 2147483647 58479 51 | 0.134 % |
44.34/44.43 c | 64496 | 3001 13254 37393 | 2147483647 58628 51 | 0.134 % |
44.54/44.63 c | 64656 | 3001 13254 37393 | 2147483647 58788 51 | 0.133 % |
44.74/44.86 c | 64833 | 3001 13254 37393 | 2147483647 58965 51 | 0.133 % |
44.94/45.02 c | 65026 | 3001 13254 37393 | 2147483647 59158 51 | 0.134 % |
45.24/45.30 c | 65238 | 3001 13254 37393 | 2147483647 59370 51 | 0.147 % |
45.64/45.71 c | 65471 | 3001 13254 37393 | 2147483647 59603 51 | 0.137 % |
45.94/46.01 c | 65727 | 3001 13254 37393 | 2147483647 59859 51 | 0.133 % |
46.14/46.28 c | 66008 | 3001 13254 37393 | 2147483647 60140 51 | 0.134 % |
46.64/46.73 c | 66317 | 3001 13254 37393 | 2147483647 60449 51 | 0.134 % |
46.94/47.05 c | 66657 | 3001 13254 37393 | 2147483647 60789 51 | 0.134 % |
47.44/47.54 c | 67031 | 3001 13254 37393 | 2147483647 61163 51 | 0.134 % |
47.94/48.09 c | 67440 | 3001 13254 37393 | 2147483647 61572 51 | 0.134 % |
48.64/48.76 c | 67889 | 3001 13254 37393 | 2147483647 62021 51 | 0.134 % |
49.14/49.29 c | 68384 | 3001 13254 37393 | 2147483647 62516 51 | 0.133 % |
49.84/49.95 c | 68926 | 3001 13254 37393 | 2147483647 63058 51 | 0.133 % |
50.43/50.60 c | 69522 | 3001 13254 37393 | 2147483647 63654 51 | 0.133 % |
51.24/51.39 c | 70177 | 3001 13254 37393 | 64132 64309 52 | 0.133 % |
52.24/52.34 c | 70898 | 3001 13254 37393 | 64132 55510 51 | 0.134 % |
53.04/53.16 c | 71691 | 3001 13254 37393 | 64132 56303 52 | 0.134 % |
54.04/54.19 c | 72562 | 3001 13254 37393 | 64132 57174 52 | 0.134 % |
54.24/54.36 c | 72662 | 3001 13254 37393 | 64132 57274 52 | 0.134 % |
54.34/54.49 c | 72773 | 3001 13254 37393 | 64132 57385 52 | 0.133 % |
54.54/54.65 c | 72897 | 3001 13254 37393 | 64132 57509 52 | 0.134 % |
54.74/54.81 c | 73031 | 3001 13254 37393 | 64132 57643 52 | 0.134 % |
54.84/55.00 c | 73178 | 3001 13254 37393 | 64132 57790 52 | 0.134 % |
55.14/55.22 c | 73341 | 3001 13254 37393 | 64132 57953 52 | 0.134 % |
55.34/55.42 c | 73518 | 3001 13254 37393 | 64132 58130 52 | 0.134 % |
55.64/55.70 c | 73711 | 3001 13254 37393 | 64132 58323 52 | 0.134 % |
55.84/55.97 c | 73923 | 3001 13254 37393 | 64132 58535 52 | 0.134 % |
56.04/56.19 c | 74156 | 3001 13254 37393 | 64132 58768 52 | 0.133 % |
56.34/56.49 c | 74412 | 3001 13254 37393 | 64132 59024 52 | 0.133 % |
56.84/56.97 c | 74693 | 3001 13254 37393 | 64132 59305 52 | 0.133 % |
57.34/57.42 c | 75003 | 3001 13254 37393 | 64132 59615 52 | 0.134 % |
57.74/57.89 c | 75342 | 3001 13254 37393 | 64132 59954 53 | 0.133 % |
58.24/58.36 c | 75715 | 3001 13254 37393 | 64132 60327 52 | 0.134 % |
58.74/58.88 c | 76124 | 3001 13254 37393 | 64132 60736 53 | 0.133 % |
59.44/59.57 c | 76574 | 3001 13254 37393 | 64132 61186 53 | 0.133 % |
60.13/60.22 c | 77068 | 3001 13254 37393 | 64132 61680 53 | 0.134 % |
60.93/61.00 c | 77610 | 3001 13254 37393 | 64132 62222 53 | 0.134 % |
61.73/61.83 c | 78208 | 3001 13254 37393 | 64132 62820 53 | 0.133 % |
62.74/62.81 c | 78863 | 3001 13254 37393 | 64132 63475 53 | 0.134 % |
63.63/63.75 c | 79585 | 3001 13254 37393 | 64132 64197 53 | 0.134 % |
65.03/65.10 c | 80377 | 3001 13254 37393 | 53275 53652 53 | 0.134 % |
66.13/66.20 c | 81248 | 3001 13254 37393 | 53275 45656 51 | 0.134 % |
67.03/67.12 c | 82207 | 3001 13254 37393 | 53275 46615 51 | 0.134 % |
67.13/67.22 c | 82308 | 3001 13254 37393 | 53275 46716 51 | 0.134 % |
67.23/67.30 c | 82418 | 3001 13254 37393 | 53275 46826 51 | 0.133 % |
67.33/67.45 c | 82540 | 3001 13254 37393 | 53275 46948 51 | 0.133 % |
67.43/67.58 c | 82674 | 3001 13254 37393 | 53275 47082 51 | 0.134 % |
67.63/67.74 c | 82821 | 3001 13254 37393 | 53275 47229 51 | 0.134 % |
67.83/67.96 c | 82982 | 3001 13254 37393 | 53275 47390 51 | 0.134 % |
68.03/68.15 c | 83158 | 3001 13254 37393 | 53275 47566 51 | 0.134 % |
68.23/68.39 c | 83354 | 3001 13254 37393 | 53275 47762 51 | 0.134 % |
68.53/68.69 c | 83567 | 3001 13254 37393 | 53275 47975 51 | 0.134 % |
68.83/68.97 c | 83802 | 3001 13254 37393 | 53275 48210 51 | 0.134 % |
69.23/69.36 c | 84060 | 3001 13254 37393 | 53275 48468 52 | 0.134 % |
69.73/69.82 c | 84342 | 3001 13254 37393 | 53275 48750 51 | 0.135 % |
70.13/70.22 c | 84651 | 3001 13254 37393 | 53275 49059 52 | 0.134 % |
70.53/70.66 c | 84991 | 3001 13254 37393 | 53275 49399 51 | 0.134 % |
71.03/71.11 c | 85365 | 3001 13254 37393 | 53275 49773 51 | 0.133 % |
71.43/71.55 c | 85775 | 3001 13254 37393 | 53275 50183 52 | 0.134 % |
72.13/72.29 c | 86225 | 3001 13254 37393 | 53275 50633 51 | 0.141 % |
73.03/73.16 c | 86718 | 3001 13254 37393 | 53275 51126 51 | 0.134 % |
73.73/73.81 c | 87261 | 3001 13254 37393 | 53275 51669 51 | 0.134 % |
74.63/74.74 c | 87857 | 3001 13254 37393 | 53275 52265 51 | 0.134 % |
75.32/75.45 c | 88513 | 3001 13254 37393 | 53275 52921 52 | 0.134 % |
76.52/76.63 c | 89235 | 3001 13254 37393 | 53275 53643 52 | 0.134 % |
77.42/77.52 c | 90029 | 3001 13254 37393 | 45802 45831 51 | 0.134 % |
78.52/78.66 c | 90901 | 3001 13254 37393 | 45802 39438 49 | 0.134 % |
79.32/79.47 c | 91859 | 3001 13254 37393 | 45802 40396 50 | 0.134 % |
80.33/80.48 c | 92913 | 3001 13254 37393 | 45802 41450 50 | 0.134 % |
80.42/80.55 c | 93013 | 3001 13254 37393 | 45802 41550 50 | 0.134 % |
80.52/80.69 c | 93123 | 3001 13254 37393 | 45802 41660 50 | 0.134 % |
80.72/80.83 c | 93244 | 3001 13254 37393 | 45802 41781 51 | 0.133 % |
80.82/80.95 c | 93377 | 3001 13254 37393 | 45802 41914 51 | 0.135 % |
81.02/81.12 c | 93523 | 3001 13254 37393 | 45802 42060 51 | 0.134 % |
81.12/81.26 c | 93683 | 3001 13254 37393 | 45802 42220 51 | 0.134 % |
81.33/81.47 c | 93862 | 3001 13254 37393 | 45802 42399 51 | 0.134 % |
81.52/81.68 c | 94055 | 3001 13254 37393 | 45802 42592 51 | 0.134 % |
81.82/81.97 c | 94267 | 3001 13254 37393 | 45802 42804 51 | 0.133 % |
82.12/82.22 c | 94502 | 3001 13254 37393 | 45802 43039 51 | 0.134 % |
82.42/82.52 c | 94759 | 3001 13254 37393 | 45802 43296 51 | 0.134 % |
82.72/82.87 c | 95040 | 3001 13254 37393 | 45802 43577 51 | 0.134 % |
83.02/83.15 c | 95352 | 3001 13254 37393 | 45802 43889 51 | 0.134 % |
83.32/83.43 c | 95691 | 3001 13254 37393 | 45802 44228 51 | 0.134 % |
83.72/83.80 c | 96063 | 3001 13254 37393 | 45802 44600 51 | 0.133 % |
84.12/84.25 c | 96473 | 3001 13254 37393 | 45802 45010 52 | 0.134 % |
84.52/84.65 c | 96922 | 3001 13254 37393 | 45802 45459 52 | 0.134 % |
85.02/85.19 c | 97416 | 3001 13254 37393 | 45802 45953 52 | 0.134 % |
85.62/85.75 c | 97959 | 3001 13254 37393 | 45802 41901 51 | 0.133 % |
86.22/86.36 c | 98556 | 3001 13254 37393 | 45802 42498 51 | 0.134 % |
87.12/87.27 c | 99214 | 3001 13254 37393 | 45802 43156 51 | 0.134 % |
87.82/87.98 c | 99934 | 3001 13254 37393 | 45802 43876 51 | 0.134 % |
88.72/88.82 c | 100728 | 3001 13254 37393 | 43943 39949 49 | 0.134 % |
89.42/89.54 c | 101601 | 3001 13254 37393 | 43943 40822 49 | 0.133 % |
90.22/90.37 c | 102559 | 3001 13254 37393 | 43943 41780 50 | 0.134 % |
91.42/91.55 c | 103613 | 3001 13254 37393 | 43943 42834 50 | 0.134 % |
93.12/93.29 c | 104771 | 3001 13254 37393 | 43943 43992 50 | 0.134 % |
93.32/93.43 c | 104871 | 3001 13254 37393 | 43943 39441 48 | 0.134 % |
93.42/93.54 c | 104982 | 3001 13254 37393 | 43943 39552 48 | 0.134 % |
93.52/93.67 c | 105104 | 3001 13254 37393 | 43943 39674 48 | 0.134 % |
93.72/93.81 c | 105239 | 3001 13254 37393 | 43943 39809 48 | 0.134 % |
93.92/94.00 c | 105385 | 3001 13254 37393 | 43943 39955 48 | 0.134 % |
94.12/94.23 c | 105546 | 3001 13254 37393 | 43943 40116 48 | 0.140 % |
94.32/94.43 c | 105722 | 3001 13254 37393 | 43943 40292 48 | 0.134 % |
94.52/94.65 c | 105917 | 3001 13254 37393 | 43943 40487 48 | 0.134 % |
94.72/94.90 c | 106129 | 3001 13254 37393 | 43943 40699 48 | 0.134 % |
95.12/95.22 c | 106362 | 3001 13254 37393 | 43943 40932 48 | 0.135 % |
95.42/95.57 c | 106618 | 3001 13254 37393 | 43943 41188 48 | 0.134 % |
95.82/95.91 c | 106900 | 3001 13254 37393 | 43943 41470 48 | 0.134 % |
96.11/96.27 c | 107211 | 3001 13254 37393 | 43943 41781 48 | 0.134 % |
96.52/96.68 c | 107553 | 3001 13254 37393 | 43943 42123 48 | 0.134 % |
97.01/97.14 c | 107925 | 3001 13254 37393 | 43943 42495 48 | 0.134 % |
97.51/97.64 c | 108335 | 3001 13254 37393 | 43943 42905 48 | 0.134 % |
97.92/98.02 c | 108784 | 3001 13254 37393 | 43943 43354 48 | 0.134 % |
98.31/98.46 c | 109277 | 3001 13254 37393 | 43943 43847 48 | 0.139 % |
98.92/99.06 c | 109819 | 3001 13254 37393 | 43943 44389 48 | 0.134 % |
99.51/99.69 c | 110415 | 3001 13254 37393 | 39682 40097 46 | 0.134 % |
100.21/100.33 c | 111070 | 3001 13254 37393 | 39682 36407 45 | 0.134 % |
100.91/101.00 c | 111791 | 3001 13254 37393 | 39682 37128 46 | 0.133 % |
101.61/101.79 c | 112584 | 3001 13254 37393 | 39682 37921 45 | 0.135 % |
102.61/102.73 c | 113456 | 3001 13254 37393 | 39682 38793 46 | 0.134 % |
103.61/103.70 c | 114416 | 3001 13254 37393 | 39682 39753 45 | 0.134 % |
104.61/104.75 c | 115469 | 3001 13254 37393 | 39682 36745 44 | 0.134 % |
105.61/105.76 c | 116628 | 3001 13254 37393 | 39682 37904 43 | 0.134 % |
106.91/107.02 c | 117902 | 3001 13254 37393 | 39682 39178 43 | 0.134 % |
107.01/107.10 c | 118005 | 3001 13254 37393 | 39682 39281 43 | 0.134 % |
107.11/107.20 c | 118116 | 3001 13254 37393 | 39682 39392 43 | 0.133 % |
107.21/107.35 c | 118238 | 3001 13254 37393 | 39682 39514 44 | 0.134 % |
107.41/107.52 c | 118371 | 3001 13254 37393 | 39682 39647 44 | 0.135 % |
107.51/107.67 c | 118517 | 3001 13254 37393 | 39682 39793 43 | 0.134 % |
107.71/107.88 c | 118677 | 3001 13254 37393 | 39682 35974 41 | 0.134 % |
107.91/108.01 c | 118853 | 3001 13254 37393 | 39682 36150 41 | 0.134 % |
108.11/108.20 c | 119046 | 3001 13254 37393 | 39682 36343 41 | 0.134 % |
108.21/108.38 c | 119259 | 3001 13254 37393 | 39682 36556 41 | 0.134 % |
108.41/108.59 c | 119492 | 3001 13254 37393 | 39682 36789 41 | 0.134 % |
108.71/108.86 c | 119748 | 3001 13254 37393 | 39682 37045 42 | 0.134 % |
108.91/109.09 c | 120029 | 3001 13254 37393 | 2147483647 37326 42 | 0.134 % |
109.21/109.37 c | 120338 | 3001 13254 37393 | 2147483647 37635 42 | 0.134 % |
109.51/109.60 c | 120679 | 3001 13254 37393 | 2147483647 37976 42 | 0.133 % |
109.81/109.96 c | 121052 | 3001 13254 37393 | 2147483647 38349 42 | 0.134 % |
110.21/110.30 c | 121462 | 3001 13254 37393 | 2147483647 38759 42 | 0.134 % |
110.51/110.66 c | 121912 | 3001 13254 37393 | 2147483647 39209 43 | 0.134 % |
111.01/111.17 c | 122406 | 3001 13254 37393 | 2147483647 39703 43 | 0.134 % |
111.61/111.70 c | 122951 | 3001 13254 37393 | 2147483647 40248 44 | 0.134 % |
112.11/112.25 c | 123548 | 3001 13254 37393 | 2147483647 40845 44 | 0.134 % |
112.80/112.94 c | 124204 | 3001 13254 37393 | 2147483647 41501 45 | 0.134 % |
113.31/113.45 c | 124926 | 3001 13254 37393 | 2147483647 42223 45 | 0.133 % |
114.11/114.22 c | 125719 | 3001 13254 37393 | 2147483647 43016 45 | 0.134 % |
114.90/115.07 c | 126591 | 3001 13254 37393 | 2147483647 43888 45 | 0.134 % |
115.80/115.93 c | 127550 | 3001 13254 37393 | 2147483647 44847 47 | 0.133 % |
116.90/117.02 c | 128603 | 3001 13254 37393 | 2147483647 45900 47 | 0.134 % |
118.20/118.36 c | 129762 | 3001 13254 37393 | 2147483647 47059 47 | 0.134 % |
119.50/119.62 c | 131035 | 3001 13254 37393 | 2147483647 48332 47 | 0.135 % |
121.10/121.27 c | 132437 | 3001 13254 37393 | 2147483647 49734 49 | 0.134 % |
121.30/121.43 c | 132538 | 3001 13254 37393 | 2147483647 49835 49 | 0.134 % |
121.40/121.58 c | 132648 | 3001 13254 37393 | 2147483647 49945 49 | 0.134 % |
121.60/121.74 c | 132770 | 3001 13254 37393 | 2147483647 50067 49 | 0.140 % |
121.70/121.87 c | 132904 | 3001 13254 37393 | 2147483647 50201 49 | 0.134 % |
121.90/122.06 c | 133052 | 3001 13254 37393 | 2147483647 50349 49 | 0.134 % |
122.11/122.28 c | 133212 | 3001 13254 37393 | 2147483647 50509 49 | 0.134 % |
122.40/122.54 c | 133388 | 3001 13254 37393 | 2147483647 50685 49 | 0.134 % |
122.70/122.80 c | 133581 | 3001 13254 37393 | 2147483647 50878 50 | 0.134 % |
122.90/123.09 c | 133794 | 3001 13254 37393 | 2147483647 51091 49 | 0.134 % |
123.40/123.50 c | 134029 | 3001 13254 37393 | 2147483647 51326 49 | 0.134 % |
123.70/123.90 c | 134285 | 3001 13254 37393 | 2147483647 51582 49 | 0.134 % |
124.10/124.24 c | 134567 | 3001 13254 37393 | 2147483647 51864 50 | 0.134 % |
124.60/124.73 c | 134877 | 3001 13254 37393 | 2147483647 52174 50 | 0.133 % |
125.10/125.27 c | 135217 | 3001 13254 37393 | 2147483647 52514 50 | 0.134 % |
125.70/125.84 c | 135589 | 3001 13254 37393 | 2147483647 52886 50 | 0.133 % |
126.30/126.48 c | 135999 | 3001 13254 37393 | 2147483647 53296 50 | 0.134 % |
126.90/127.04 c | 136450 | 3001 13254 37393 | 2147483647 53747 50 | 0.134 % |
127.50/127.67 c | 136943 | 3001 13254 37393 | 2147483647 54240 50 | 0.134 % |
128.20/128.37 c | 137485 | 3001 13254 37393 | 2147483647 54782 50 | 0.134 % |
129.00/129.10 c | 138082 | 3001 13254 37393 | 2147483647 55379 50 | 0.134 % |
129.80/129.90 c | 138737 | 3001 13254 37393 | 2147483647 56034 51 | 0.134 % |
130.70/130.85 c | 139457 | 3001 13254 37393 | 2147483647 56754 50 | 0.134 % |
131.50/131.65 c | 140249 | 3001 13254 37393 | 57298 57546 51 | 0.134 % |
133.30/133.47 c | 141122 | 3001 13254 37393 | 57298 50556 49 | 0.133 % |
134.00/134.16 c | 142084 | 3001 13254 37393 | 57298 51518 49 | 0.133 % |
135.40/135.58 c | 143137 | 3001 13254 37393 | 57298 52571 49 | 0.134 % |
136.80/136.99 c | 144295 | 3001 13254 37393 | 57298 53729 49 | 0.134 % |
138.40/138.53 c | 145570 | 3001 13254 37393 | 57298 55004 50 | 0.134 % |
139.80/139.92 c | 146970 | 3001 13254 37393 | 57298 56404 49 | 0.135 % |
141.80/141.91 c | 148511 | 3001 13254 37393 | 57298 57945 50 | 0.134 % |
141.99/142.19 c | 148612 | 3001 13254 37393 | 57298 49692 50 | 0.134 % |
142.19/142.35 c | 148724 | 3001 13254 37393 | 57298 49804 50 | 0.134 % |
142.39/142.55 c | 148846 | 3001 13254 37393 | 57298 49926 50 | 0.134 % |
142.59/142.73 c | 148980 | 3001 13254 37393 | 57298 50060 50 | 0.134 % |
142.79/142.92 c | 149127 | 3001 13254 37393 | 57298 50207 50 | 0.134 % |
143.00/143.14 c | 149287 | 3001 13254 37393 | 57298 50367 50 | 0.134 % |
143.19/143.35 c | 149464 | 3001 13254 37393 | 57298 50544 50 | 0.134 % |
143.49/143.60 c | 149658 | 3001 13254 37393 | 57298 50738 50 | 0.134 % |
143.69/143.87 c | 149870 | 3001 13254 37393 | 57298 50950 50 | 0.134 % |
144.00/144.14 c | 150105 | 3001 13254 37393 | 51080 51185 50 | 0.134 % |
144.29/144.47 c | 150363 | 3001 13254 37393 | 51080 44155 50 | 0.134 % |
144.59/144.77 c | 150645 | 3001 13254 37393 | 51080 44437 50 | 0.134 % |
144.99/145.13 c | 150954 | 3001 13254 37393 | 51080 44746 50 | 0.134 % |
145.39/145.57 c | 151293 | 3001 13254 37393 | 51080 45085 50 | 0.134 % |
145.79/145.98 c | 151665 | 3001 13254 37393 | 51080 45457 49 | 0.134 % |
146.30/146.46 c | 152076 | 3001 13254 37393 | 51080 45868 49 | 0.134 % |
146.79/146.99 c | 152525 | 3001 13254 37393 | 51080 46317 50 | 0.134 % |
147.49/147.62 c | 153019 | 3001 13254 37393 | 51080 46811 50 | 0.134 % |
148.09/148.20 c | 153562 | 3001 13254 37393 | 51080 47354 50 | 0.134 % |
148.89/149.06 c | 154160 | 3001 13254 37393 | 51080 47952 50 | 0.134 % |
149.79/149.96 c | 154816 | 3001 13254 37393 | 51080 48608 50 | 0.133 % |
150.60/150.78 c | 155536 | 3001 13254 37393 | 51080 49328 50 | 0.134 % |
151.69/151.87 c | 156329 | 3001 13254 37393 | 51080 50121 50 | 0.137 % |
152.79/152.99 c | 157200 | 3001 13254 37393 | 51080 50992 50 | 0.134 % |
153.89/154.07 c | 158159 | 3001 13254 37393 | 51080 51951 50 | 0.134 % |
155.19/155.33 c | 159213 | 3001 13254 37393 | 51080 46697 46 | 0.134 % |
156.29/156.42 c | 160372 | 3001 13254 37393 | 47485 47856 46 | 0.134 % |
157.79/157.95 c | 161645 | 3001 13254 37393 | 47485 43248 43 | 0.134 % |
159.19/159.33 c | 163046 | 3001 13254 37393 | 47485 44649 42 | 0.134 % |
160.99/161.15 c | 164587 | 3001 13254 37393 | 47485 46190 43 | 0.134 % |
163.99/164.18 c | 166281 | 3001 13254 37393 | 47485 43114 41 | 0.134 % |
164.19/164.31 c | 166382 | 3001 13254 37393 | 47485 43215 41 | 0.133 % |
164.29/164.43 c | 166493 | 3001 13254 37393 | 47485 43326 41 | 0.134 % |
164.38/164.54 c | 166614 | 3001 13254 37393 | 47485 43447 42 | 0.134 % |
164.48/164.69 c | 166747 | 3001 13254 37393 | 47485 43580 42 | 0.134 % |
164.68/164.86 c | 166893 | 3001 13254 37393 | 47485 43726 42 | 0.134 % |
164.89/165.08 c | 167054 | 3001 13254 37393 | 47485 43887 42 | 0.134 % |
165.08/165.27 c | 167231 | 3001 13254 37393 | 47485 44064 42 | 0.134 % |
165.28/165.46 c | 167425 | 3001 13254 37393 | 47485 44258 42 | 0.134 % |
165.48/165.68 c | 167637 | 3001 13254 37393 | 47485 44470 42 | 0.134 % |
165.68/165.90 c | 167870 | 3001 13254 37393 | 47485 44703 42 | 0.134 % |
165.99/166.17 c | 168126 | 3001 13254 37393 | 47485 44959 42 | 0.134 % |
166.38/166.51 c | 168409 | 3001 13254 37393 | 47485 45242 42 | 0.134 % |
166.68/166.86 c | 168720 | 3001 13254 37393 | 47485 45553 42 | 0.133 % |
167.09/167.26 c | 169059 | 3001 13254 37393 | 47485 45892 42 | 0.133 % |
167.48/167.67 c | 169431 | 3001 13254 37393 | 47485 46264 42 | 0.133 % |
167.98/168.10 c | 169840 | 3001 13254 37393 | 47485 46673 42 | 0.134 % |
168.58/168.72 c | 170289 | 3001 13254 37393 | 2147483647 47122 42 | 0.134 % |
169.18/169.31 c | 170784 | 3001 13254 37393 | 2147483647 47617 42 | 0.134 % |
169.78/169.94 c | 171326 | 3001 13254 37393 | 2147483647 48159 42 | 0.134 % |
170.48/170.62 c | 171923 | 3001 13254 37393 | 2147483647 48756 42 | 0.134 % |
171.08/171.20 c | 172578 | 3001 13254 37393 | 2147483647 49411 42 | 0.134 % |
171.88/172.08 c | 173298 | 3001 13254 37393 | 2147483647 50131 42 | 0.134 % |
172.78/172.93 c | 174090 | 3001 13254 37393 | 2147483647 50923 43 | 0.134 % |
173.68/173.82 c | 174961 | 3001 13254 37393 | 2147483647 51794 43 | 0.135 % |
175.28/175.44 c | 175919 | 3001 13254 37393 | 2147483647 52752 43 | 0.136 % |
176.58/176.77 c | 176974 | 3001 13254 37393 | 2147483647 53807 44 | 0.136 % |
177.78/177.96 c | 178134 | 3001 13254 37393 | 2147483647 54967 44 | 0.134 % |
179.48/179.63 c | 179407 | 3001 13254 37393 | 2147483647 56240 44 | 0.133 % |
181.18/181.31 c | 180808 | 3001 13254 37393 | 56834 57641 44 | 0.134 % |
182.98/183.19 c | 182348 | 3001 13254 37393 | 56834 51832 43 | 0.134 % |
184.97/185.12 c | 184043 | 3001 13254 37393 | 56834 53527 43 | 0.136 % |
187.17/187.31 c | 185907 | 3001 13254 37393 | 56834 55391 44 | 0.134 % |
187.27/187.43 c | 186007 | 3001 13254 37393 | 56834 55491 44 | 0.134 % |
187.47/187.65 c | 186118 | 3001 13254 37393 | 56834 55602 44 | 0.134 % |
187.67/187.81 c | 186242 | 3001 13254 37393 | 56834 55726 44 | 0.134 % |
187.77/187.98 c | 186375 | 3001 13254 37393 | 56834 55859 44 | 0.133 % |
188.08/188.26 c | 186521 | 3001 13254 37393 | 56834 56005 44 | 0.134 % |
188.27/188.48 c | 186681 | 3001 13254 37393 | 56834 56165 45 | 0.134 % |
188.57/188.70 c | 186857 | 3001 13254 37393 | 56834 56341 45 | 0.140 % |
188.77/188.99 c | 187050 | 3001 13254 37393 | 56834 56534 45 | 0.134 % |
189.08/189.25 c | 187262 | 3001 13254 37393 | 56834 56746 45 | 0.134 % |
189.37/189.53 c | 187495 | 3001 13254 37393 | 56834 56979 45 | 0.134 % |
189.77/189.92 c | 187753 | 3001 13254 37393 | 56834 49382 43 | 0.134 % |
190.07/190.20 c | 188035 | 3001 13254 37393 | 56834 49664 44 | 0.134 % |
190.37/190.59 c | 188344 | 3001 13254 37393 | 56834 49973 43 | 0.136 % |
190.77/190.95 c | 188683 | 3001 13254 37393 | 56834 50312 43 | 0.135 % |
191.17/191.31 c | 189056 | 3001 13254 37393 | 56834 50685 43 | 0.137 % |
191.77/191.98 c | 189467 | 3001 13254 37393 | 56834 51096 43 | 0.133 % |
192.37/192.53 c | 189916 | 3001 13254 37393 | 56834 51545 44 | 0.133 % |
192.87/193.09 c | 190409 | 3001 13254 37393 | 51629 52038 44 | 0.133 % |
193.67/193.80 c | 190951 | 3001 13254 37393 | 51629 45068 44 | 0.134 % |
194.17/194.34 c | 191547 | 3001 13254 37393 | 51629 45664 44 | 0.134 % |
195.07/195.21 c | 192202 | 3000 13247 37372 | 51629 46240 44 | 0.171 % |
195.77/195.92 c | 192922 | 3000 13247 37372 | 51629 46960 45 | 0.167 % |
196.47/196.63 c | 193714 | 3000 13247 37372 | 51629 47752 45 | 0.167 % |
197.47/197.65 c | 194585 | 3000 13247 37372 | 51629 48623 45 | 0.167 % |
198.87/199.03 c | 195543 | 3000 13247 37372 | 51629 49581 45 | 0.167 % |
200.17/200.36 c | 196597 | 3000 13247 37372 | 51629 50635 46 | 0.167 % |
201.76/201.92 c | 197756 | 3000 13247 37372 | 51629 51794 47 | 0.167 % |
203.26/203.45 c | 199030 | 3000 13247 37372 | 51629 46272 46 | 0.167 % |
204.86/205.02 c | 200431 | 3000 13247 37372 | 47244 47673 47 | 0.167 % |
206.46/206.67 c | 201971 | 3000 13247 37372 | 47244 43185 46 | 0.167 % |
208.36/208.50 c | 203665 | 3000 13247 37372 | 47244 44879 46 | 0.167 % |
210.26/210.46 c | 205528 | 3000 13247 37372 | 47244 46742 46 | 0.171 % |
212.76/212.93 c | 207578 | 3000 13247 37372 | 47244 43925 46 | 0.167 % |
212.86/213.07 c | 207678 | 3000 13247 37372 | 47244 44025 46 | 0.167 % |
213.06/213.21 c | 207788 | 3000 13247 37372 | 47244 44135 46 | 0.167 % |
213.16/213.37 c | 207909 | 3000 13247 37372 | 47244 44256 46 | 0.167 % |
213.36/213.51 c | 208044 | 3000 13247 37372 | 47244 44391 46 | 0.167 % |
213.46/213.69 c | 208190 | 3000 13247 37372 | 47244 44537 46 | 0.167 % |
213.66/213.83 c | 208351 | 3000 13247 37372 | 47244 44698 46 | 0.167 % |
213.76/214.00 c | 208528 | 3000 13247 37372 | 47244 44875 46 | 0.175 % |
213.96/214.20 c | 208723 | 3000 13247 37372 | 47244 45070 46 | 0.167 % |
214.26/214.44 c | 208935 | 3000 13247 37372 | 47244 45282 46 | 0.167 % |
214.56/214.72 c | 209169 | 3000 13247 37372 | 47244 45516 46 | 0.167 % |
214.76/214.99 c | 209426 | 3000 13247 37372 | 47244 45773 46 | 0.167 % |
215.06/215.29 c | 209709 | 3000 13247 37372 | 47244 46056 46 | 0.167 % |
215.46/215.68 c | 210019 | 3000 13247 37372 | 2147483647 46366 46 | 0.167 % |
216.06/216.23 c | 210358 | 3000 13247 37372 | 2147483647 46705 46 | 0.167 % |
216.46/216.70 c | 210730 | 3000 13247 37372 | 2147483647 47077 46 | 0.167 % |
216.96/217.14 c | 211139 | 3000 13247 37372 | 2147483647 47486 47 | 0.167 % |
217.46/217.66 c | 211590 | 3000 13247 37372 | 2147483647 47937 46 | 0.167 % |
218.06/218.28 c | 212083 | 3000 13247 37372 | 2147483647 48430 47 | 0.167 % |
218.95/219.16 c | 212626 | 3000 13247 37372 | 2147483647 48973 46 | 0.167 % |
219.55/219.77 c | 213222 | 3000 13247 37372 | 2147483647 49569 46 | 0.167 % |
220.45/220.66 c | 213877 | 3000 13247 37372 | 2147483647 50224 46 | 0.167 % |
221.35/221.53 c | 214597 | 3000 13247 37372 | 2147483647 50944 47 | 0.167 % |
222.35/222.55 c | 215389 | 3000 13247 37372 | 2147483647 51736 47 | 0.167 % |
223.45/223.62 c | 216261 | 3000 13247 37372 | 2147483647 52608 48 | 0.167 % |
224.65/224.83 c | 217220 | 3000 13247 37372 | 2147483647 53567 48 | 0.167 % |
226.05/226.27 c | 218273 | 3000 13247 37372 | 2147483647 54620 49 | 0.167 % |
227.76/227.96 c | 219432 | 3000 13247 37372 | 2147483647 55779 49 | 0.167 % |
229.46/229.61 c | 220706 | 3000 13247 37372 | 56347 57053 49 | 0.167 % |
231.16/231.34 c | 222106 | 3000 13247 37372 | 56347 50112 47 | 0.167 % |
233.06/233.20 c | 223646 | 3000 13247 37372 | 56347 51652 47 | 0.167 % |
235.26/235.50 c | 225340 | 3000 13247 37372 | 56347 53346 47 | 0.167 % |
237.26/237.47 c | 227205 | 3000 13247 37372 | 56347 55211 47 | 0.167 % |
239.66/239.89 c | 229255 | 3000 13247 37372 | 56347 57261 46 | 0.167 % |
242.36/242.59 c | 231508 | 3000 13247 37372 | 49378 43989 44 | 0.167 % |
242.56/242.71 c | 231608 | 3000 13247 37372 | 49378 44089 44 | 0.167 % |
242.66/242.85 c | 231720 | 3000 13247 37372 | 49378 44201 44 | 0.167 % |
242.75/242.98 c | 231842 | 3000 13247 37372 | 49378 44323 44 | 0.167 % |
242.96/243.12 c | 231975 | 3000 13247 37372 | 49378 44456 44 | 0.167 % |
243.06/243.28 c | 232121 | 3000 13247 37372 | 49378 44602 44 | 0.167 % |
243.25/243.44 c | 232281 | 3000 13247 37372 | 49378 44762 44 | 0.167 % |
243.45/243.68 c | 232458 | 3000 13247 37372 | 49378 44939 44 | 0.167 % |
243.75/243.90 c | 232651 | 3000 13247 37372 | 49378 45132 44 | 0.167 % |
243.95/244.17 c | 232865 | 3000 13247 37372 | 49378 45346 44 | 0.167 % |
244.25/244.49 c | 233098 | 3000 13247 37372 | 49378 45579 44 | 0.167 % |
244.55/244.78 c | 233354 | 3000 13247 37372 | 49378 45835 44 | 0.167 % |
244.95/245.16 c | 233636 | 3000 13247 37372 | 49378 46117 44 | 0.167 % |
245.26/245.48 c | 233945 | 3000 13247 37372 | 49378 46426 44 | 0.167 % |
245.75/245.90 c | 234285 | 3000 13247 37372 | 49378 46766 45 | 0.167 % |
246.26/246.42 c | 234657 | 3000 13247 37372 | 49378 47138 45 | 0.167 % |
246.75/246.94 c | 235067 | 3000 13247 37372 | 49378 47548 45 | 0.167 % |
247.36/247.53 c | 235517 | 3000 13247 37372 | 49378 47998 45 | 0.167 % |
248.05/248.22 c | 236010 | 3000 13247 37372 | 49378 48491 45 | 0.167 % |
248.75/248.93 c | 236553 | 3000 13247 37372 | 49378 49034 46 | 0.167 % |
249.45/249.67 c | 237150 | 3000 13247 37372 | 49378 49631 46 | 0.167 % |
250.25/250.48 c | 237806 | 3000 13247 37372 | 49378 43660 43 | 0.167 % |
251.05/251.21 c | 238527 | 3000 13247 37372 | 49378 44381 43 | 0.169 % |
251.95/252.18 c | 239319 | 3000 13247 37372 | 49378 45173 44 | 0.167 % |
252.95/253.16 c | 240191 | 3000 13247 37372 | 45854 46045 44 | 0.167 % |
254.65/254.80 c | 241149 | 3000 13247 37372 | 45854 41089 42 | 0.168 % |
255.75/255.98 c | 242204 | 3000 13247 37372 | 45854 42144 44 | 0.167 % |
256.95/257.12 c | 243362 | 3000 13247 37372 | 45854 43302 44 | 0.167 % |
258.25/258.46 c | 244636 | 3000 13247 37372 | 45854 44576 44 | 0.167 % |
259.75/259.97 c | 246038 | 3000 13247 37372 | 45854 45978 44 | 0.167 % |
261.35/261.52 c | 247578 | 3000 13247 37372 | 45854 42498 42 | 0.169 % |
263.25/263.49 c | 249276 | 3000 13247 37372 | 45854 44196 44 | 0.167 % |
265.25/265.44 c | 251139 | 3000 13247 37372 | 2147483647 46059 44 | 0.167 % |
267.75/267.93 c | 253189 | 3000 13247 37372 | 2147483647 48109 45 | 0.167 % |
270.64/270.84 c | 255442 | 3000 13247 37372 | 2147483647 50362 45 | 0.167 % |
273.85/274.05 c | 257920 | 3000 13247 37372 | 2147483647 52840 45 | 0.167 % |
274.04/274.21 c | 258020 | 3000 13247 37372 | 2147483647 52940 45 | 0.167 % |
274.24/274.44 c | 258131 | 3000 13247 37372 | 2147483647 53051 45 | 0.166 % |
274.44/274.60 c | 258252 | 3000 13247 37372 | 2147483647 53172 45 | 0.167 % |
274.64/274.83 c | 258386 | 3000 13247 37372 | 2147483647 53306 45 | 0.167 % |
274.84/275.09 c | 258532 | 3000 13247 37372 | 2147483647 53452 45 | 0.167 % |
275.14/275.33 c | 258693 | 3000 13247 37372 | 2147483647 53613 45 | 0.166 % |
275.34/275.54 c | 258870 | 3000 13247 37372 | 2147483647 53790 45 | 0.167 % |
275.54/275.74 c | 259064 | 3000 13247 37372 | 2147483647 53984 45 | 0.167 % |
275.84/276.05 c | 259276 | 3000 13247 37372 | 2147483647 54196 46 | 0.167 % |
276.14/276.36 c | 259510 | 3000 13247 37372 | 2147483647 54430 46 | 0.167 % |
276.64/276.89 c | 259768 | 3000 13247 37372 | 2147483647 54688 46 | 0.171 % |
277.04/277.30 c | 260049 | 3000 13247 37372 | 54920 54969 46 | 0.167 % |
277.74/277.93 c | 260358 | 3000 13247 37372 | 54920 48513 47 | 0.167 % |
278.34/278.57 c | 260697 | 3000 13247 37372 | 54920 48852 47 | 0.167 % |
278.84/279.04 c | 261069 | 3000 13247 37372 | 54920 49224 47 | 0.167 % |
279.34/279.53 c | 261478 | 3000 13247 37372 | 54920 49633 47 | 0.167 % |
279.94/280.12 c | 261928 | 3000 13247 37372 | 54920 50083 47 | 0.167 % |
280.64/280.86 c | 262424 | 3000 13247 37372 | 54920 50579 47 | 0.167 % |
281.34/281.58 c | 262967 | 3000 13247 37372 | 54920 51122 47 | 0.167 % |
282.14/282.33 c | 263564 | 3000 13247 37372 | 54920 51719 47 | 0.167 % |
283.04/283.23 c | 264219 | 3000 13247 37372 | 54920 52374 48 | 0.167 % |
284.24/284.44 c | 264940 | 3000 13247 37372 | 54920 53095 48 | 0.166 % |
285.44/285.66 c | 265733 | 3000 13247 37372 | 54920 53888 48 | 0.167 % |
286.63/286.86 c | 266604 | 3000 13247 37372 | 54920 54759 48 | 0.167 % |
288.04/288.23 c | 267562 | 3000 13247 37372 | 54920 55717 48 | 0.167 % |
289.53/289.78 c | 268615 | 3000 13247 37372 | 54920 48275 46 | 0.167 % |
291.23/291.40 c | 269774 | 3000 13247 37372 | 54920 49434 46 | 0.166 % |
293.03/293.27 c | 271048 | 3000 13247 37372 | 49660 50708 46 | 0.170 % |
294.93/295.20 c | 272448 | 3000 13247 37372 | 49660 44035 45 | 0.167 % |
296.83/297.08 c | 273988 | 3000 13247 37372 | 49660 45575 45 | 0.167 % |
299.23/299.41 c | 275682 | 3000 13247 37372 | 49660 47269 45 | 0.167 % |
301.63/301.85 c | 277546 | 3000 13247 37372 | 49660 49133 46 | 0.167 % |
304.53/304.77 c | 279595 | 3000 13247 37372 | 49660 51182 46 | 0.167 % |
307.23/307.47 c | 281848 | 3000 13247 37372 | 44953 40996 44 | 0.167 % |
309.82/310.06 c | 284326 | 3000 13247 37372 | 44953 43474 46 | 0.167 % |
313.12/313.30 c | 287051 | 3000 13247 37372 | 44953 46199 46 | 0.166 % |
313.22/313.48 c | 287152 | 3000 13247 37372 | 44953 41681 45 | 0.166 % |
313.33/313.59 c | 287264 | 3000 13247 37372 | 44953 41793 45 | 0.167 % |
313.52/313.73 c | 287386 | 3000 13247 37372 | 44953 41915 45 | 0.167 % |
313.72/313.95 c | 287520 | 3000 13247 37372 | 44953 42049 45 | 0.169 % |
313.92/314.13 c | 287666 | 3000 13247 37372 | 44953 42195 45 | 0.167 % |
314.02/314.29 c | 287827 | 3000 13247 37372 | 44953 42356 45 | 0.174 % |
314.32/314.51 c | 288003 | 3000 13247 37372 | 44953 42532 45 | 0.167 % |
314.62/314.81 c | 288197 | 3000 13247 37372 | 44953 42726 45 | 0.167 % |
314.82/315.05 c | 288409 | 3000 13247 37372 | 44953 42938 45 | 0.167 % |
315.22/315.46 c | 288642 | 3000 13247 37372 | 44953 43171 45 | 0.166 % |
315.52/315.77 c | 288899 | 3000 13247 37372 | 44953 43428 45 | 0.167 % |
315.82/316.09 c | 289182 | 3000 13247 37372 | 44953 43711 45 | 0.167 % |
316.22/316.46 c | 289491 | 3000 13247 37372 | 44953 44020 45 | 0.167 % |
316.72/316.92 c | 289831 | 3000 13247 37372 | 44953 44360 45 | 0.166 % |
317.12/317.35 c | 290203 | 3000 13247 37372 | 2147483647 44732 46 | 0.167 % |
317.62/317.85 c | 290612 | 3000 13247 37372 | 2147483647 45141 46 | 0.167 % |
318.22/318.49 c | 291061 | 3000 13247 37372 | 2147483647 45590 45 | 0.167 % |
318.82/319.02 c | 291554 | 3000 13247 37372 | 2147483647 46083 45 | 0.167 % |
319.42/319.64 c | 292096 | 3000 13247 37372 | 2147483647 46625 46 | 0.167 % |
320.02/320.28 c | 292694 | 3000 13247 37372 | 2147483647 47223 46 | 0.167 % |
321.02/321.24 c | 293349 | 3000 13247 37372 | 2147483647 47878 46 | 0.167 % |
321.92/322.19 c | 294069 | 3000 13247 37372 | 2147483647 48598 46 | 0.167 % |
323.02/323.22 c | 294862 | 3000 13247 37372 | 2147483647 49391 46 | 0.167 % |
324.32/324.58 c | 295733 | 3000 13247 37372 | 2147483647 50262 46 | 0.167 % |
325.82/326.03 c | 296692 | 3000 13247 37372 | 2147483647 51221 45 | 0.167 % |
327.02/327.23 c | 297745 | 3000 13247 37372 | 2147483647 52274 45 | 0.167 % |
328.22/328.48 c | 298903 | 3000 13247 37372 | 2147483647 53432 45 | 0.169 % |
330.01/330.25 c | 300176 | 3000 13247 37372 | 54530 54705 45 | 0.167 % |
332.02/332.21 c | 301577 | 3000 13247 37372 | 54530 47074 43 | 0.167 % |
334.01/334.25 c | 303118 | 3000 13247 37372 | 54530 48615 43 | 0.167 % |
336.31/336.55 c | 304813 | 3000 13247 37372 | 54530 50310 44 | 0.167 % |
338.72/338.94 c | 306676 | 3000 13247 37372 | 54530 52173 45 | 0.167 % |
342.02/342.24 c | 308725 | 3000 13247 37372 | 54530 54222 45 | 0.167 % |
345.11/345.40 c | 310978 | 3000 13247 37372 | 55498 56475 45 | 0.167 % |
348.11/348.32 c | 313457 | 3000 13247 37372 | 55498 49207 41 | 0.167 % |
351.31/351.58 c | 316183 | 3000 13247 37372 | 55498 51933 41 | 0.167 % |
355.11/355.31 c | 319180 | 3000 13247 37372 | 55498 54930 40 | 0.167 % |
355.21/355.44 c | 319280 | 3000 13247 37372 | 55498 55030 40 | 0.167 % |
355.31/355.59 c | 319390 | 3000 13247 37372 | 55498 55140 40 | 0.167 % |
355.51/355.77 c | 319512 | 3000 13247 37372 | 55498 55262 40 | 0.167 % |
355.81/356.01 c | 319645 | 3000 13247 37372 | 55498 55395 40 | 0.167 % |
356.01/356.24 c | 319791 | 3000 13247 37372 | 55498 55541 40 | 0.167 % |
356.31/356.52 c | 319952 | 3000 13247 37372 | 55498 46262 37 | 0.167 % |
356.51/356.73 c | 320129 | 3000 13247 37372 | 46310 46439 37 | 0.167 % |
356.81/357.01 c | 320327 | 3000 13247 37372 | 46310 38752 37 | 0.167 % |
357.01/357.21 c | 320540 | 3000 13247 37372 | 46310 38965 37 | 0.167 % |
357.31/357.51 c | 320774 | 3000 13247 37372 | 46310 39199 37 | 0.169 % |
357.51/357.78 c | 321031 | 3000 13247 37372 | 46310 39456 38 | 0.167 % |
357.91/358.19 c | 321314 | 3000 13247 37372 | 46310 39739 38 | 0.169 % |
358.31/358.51 c | 321624 | 3000 13247 37372 | 46310 40049 38 | 0.167 % |
358.91/359.10 c | 321963 | 3000 13247 37372 | 46310 40388 38 | 0.167 % |
359.31/359.57 c | 322335 | 3000 13247 37372 | 46310 40760 39 | 0.167 % |
359.71/359.99 c | 322745 | 3000 13247 37372 | 46310 41170 39 | 0.167 % |
360.21/360.42 c | 323196 | 3000 13247 37372 | 46310 41621 39 | 0.167 % |
360.71/360.95 c | 323689 | 3000 13247 37372 | 46310 42114 39 | 0.167 % |
361.41/361.61 c | 324231 | 3000 13247 37372 | 46310 42656 39 | 0.167 % |
362.11/362.30 c | 324827 | 3000 13247 37372 | 46310 43252 39 | 0.167 % |
362.91/363.18 c | 325483 | 3000 13247 37372 | 46310 43908 39 | 0.167 % |
363.70/363.96 c | 326203 | 3000 13247 37372 | 46310 44628 40 | 0.167 % |
364.50/364.79 c | 326996 | 3000 13247 37372 | 46310 45421 40 | 0.167 % |
365.40/365.62 c | 327868 | 3000 13247 37372 | 46310 46293 40 | 0.167 % |
366.40/366.69 c | 328827 | 3000 13247 37372 | 46310 47252 41 | 0.167 % |
367.70/367.99 c | 329882 | 3000 13247 37372 | 46310 43152 39 | 0.166 % |
369.10/369.33 c | 331040 | 3000 13247 37372 | 43271 44310 39 | 0.167 % |
370.80/371.00 c | 332314 | 3000 13247 37372 | 43271 40870 37 | 0.167 % |
372.20/372.48 c | 333716 | 3000 13247 37372 | 43271 42272 37 | 0.167 % |
373.91/374.15 c | 335257 | 3000 13247 37372 | 43271 43813 37 | 0.167 % |
375.70/375.92 c | 336952 | 3000 13247 37372 | 43271 40337 36 | 0.167 % |
377.40/377.64 c | 338815 | 3000 13247 37372 | 43271 42200 36 | 0.167 % |
379.30/379.56 c | 340864 | 3000 13247 37372 | 43386 44249 36 | 0.167 % |
381.60/381.89 c | 343117 | 3000 13247 37372 | 43386 41204 35 | 0.167 % |
384.30/384.52 c | 345595 | 3000 13247 37372 | 43386 43682 36 | 0.167 % |
387.20/387.49 c | 348321 | 3000 13247 37372 | 43386 41710 36 | 0.167 % |
390.69/390.94 c | 351319 | 3000 13247 37372 | 2147483647 44708 37 | 0.167 % |
394.49/394.70 c | 354615 | 3000 13247 37372 | 2147483647 48004 38 | 0.167 % |
394.59/394.85 c | 354715 | 3000 13247 37372 | 2147483647 48104 38 | 0.167 % |
394.80/395.05 c | 354826 | 3000 13247 37372 | 2147483647 48215 38 | 0.167 % |
394.89/395.19 c | 354950 | 3000 13247 37372 | 2147483647 48339 38 | 0.167 % |
395.19/395.40 c | 355083 | 3000 13247 37372 | 2147483647 48472 38 | 0.167 % |
395.39/395.62 c | 355229 | 3000 13247 37372 | 2147483647 48618 38 | 0.167 % |
395.59/395.81 c | 355389 | 3000 13247 37372 | 2147483647 48778 38 | 0.167 % |
395.80/396.01 c | 355566 | 3000 13247 37372 | 2147483647 48955 38 | 0.167 % |
396.09/396.36 c | 355759 | 3000 13247 37372 | 2147483647 49148 38 | 0.167 % |
396.39/396.67 c | 355971 | 3000 13247 37372 | 2147483647 49360 38 | 0.167 % |
396.79/397.00 c | 356204 | 3000 13247 37372 | 2147483647 49593 38 | 0.167 % |
397.09/397.36 c | 356461 | 3000 13247 37372 | 2147483647 49850 38 | 0.167 % |
397.49/397.77 c | 356743 | 3000 13247 37372 | 2147483647 50132 38 | 0.167 % |
397.89/398.18 c | 357052 | 3000 13247 37372 | 2147483647 50441 38 | 0.167 % |
398.39/398.60 c | 357392 | 3000 13247 37372 | 2147483647 50781 38 | 0.167 % |
398.79/399.09 c | 357764 | 3000 13247 37372 | 2147483647 51153 38 | 0.167 % |
399.39/399.62 c | 358174 | 3000 13247 37372 | 2147483647 51563 38 | 0.167 % |
399.99/400.20 c | 358625 | 3000 13247 37372 | 2147483647 52014 39 | 0.167 % |
400.49/400.75 c | 359119 | 3000 13247 37372 | 2147483647 52508 39 | 0.167 % |
401.19/401.40 c | 359664 | 3000 13247 37372 | 2147483647 53053 39 | 0.167 % |
401.98/402.24 c | 360261 | 3000 13247 37372 | 53391 53650 39 | 0.167 % |
402.78/403.09 c | 360917 | 3000 13247 37372 | 53391 47773 38 | 0.167 % |
403.68/403.98 c | 361637 | 3000 13247 37372 | 53391 48493 38 | 0.167 % |
405.09/405.39 c | 362430 | 3000 13247 37372 | 53391 49286 38 | 0.167 % |
406.08/406.38 c | 363303 | 3000 13247 37372 | 53391 50159 38 | 0.166 % |
407.68/407.94 c | 364262 | 3000 13247 37372 | 53391 51118 38 | 0.167 % |
408.99/409.27 c | 365317 | 3000 13247 37372 | 53391 52173 39 | 0.167 % |
410.58/410.84 c | 366475 | 3000 13247 37372 | 53391 53331 39 | 0.167 % |
412.18/412.48 c | 367748 | 3000 13247 37372 | 53391 46842 40 | 0.167 % |
413.88/414.17 c | 369148 | 3000 13247 37372 | 53391 48242 40 | 0.167 % |
415.88/416.19 c | 370688 | 3000 13247 37372 | 49094 49782 41 | 0.167 % |
417.98/418.22 c | 372382 | 3000 13247 37372 | 49094 44873 42 | 0.167 % |
420.28/420.57 c | 374246 | 3000 13247 37372 | 49094 46737 43 | 0.167 % |
422.48/422.78 c | 376295 | 3000 13247 37372 | 49094 48786 43 | 0.167 % |
425.28/425.53 c | 378548 | 3000 13247 37372 | 49094 46029 41 | 0.167 % |
428.48/428.78 c | 381027 | 3000 13247 37372 | 2147483647 48508 43 | 0.167 % |
431.88/432.15 c | 383753 | 3000 13247 37372 | 2147483647 51234 43 | 0.167 % |
435.97/436.28 c | 386752 | 3000 13247 37372 | 2147483647 54233 43 | 0.167 % |
440.67/440.99 c | 390048 | 3000 13247 37372 | 57481 57529 44 | 0.167 % |
445.77/446.01 c | 393674 | 3000 13247 37372 | 57481 53067 43 | 0.167 % |
445.87/446.16 c | 393775 | 3000 13247 37372 | 57481 53168 43 | 0.167 % |
445.97/446.28 c | 393885 | 3000 13247 37372 | 57481 53278 43 | 0.167 % |
446.17/446.45 c | 394006 | 3000 13247 37372 | 57481 53399 43 | 0.167 % |
446.38/446.67 c | 394139 | 3000 13247 37372 | 57481 53532 43 | 0.167 % |
446.57/446.88 c | 394285 | 3000 13247 37372 | 57481 53678 43 | 0.167 % |
446.87/447.14 c | 394446 | 3000 13247 37372 | 57481 53839 43 | 0.167 % |
447.17/447.43 c | 394622 | 3000 13247 37372 | 57481 54015 43 | 0.167 % |
447.37/447.67 c | 394815 | 3000 13247 37372 | 57481 54208 43 | 0.167 % |
447.67/447.94 c | 395027 | 3000 13247 37372 | 57481 54420 43 | 0.167 % |
448.07/448.32 c | 395261 | 3000 13247 37372 | 57481 54654 43 | 0.167 % |
448.37/448.69 c | 395517 | 3000 13247 37372 | 57481 54910 43 | 0.167 % |
448.77/449.09 c | 395798 | 3000 13247 37372 | 57481 55191 43 | 0.167 % |
449.27/449.54 c | 396109 | 3000 13247 37372 | 57481 55502 43 | 0.167 % |
449.68/450.00 c | 396448 | 3000 13247 37372 | 57481 55841 43 | 0.169 % |
450.27/450.54 c | 396821 | 3000 13247 37372 | 57481 56214 43 | 0.167 % |
450.88/451.16 c | 397231 | 3000 13247 37372 | 57481 56624 43 | 0.167 % |
451.57/451.89 c | 397680 | 3000 13247 37372 | 57481 57073 43 | 0.167 % |
452.47/452.70 c | 398173 | 3000 13247 37372 | 57481 57566 43 | 0.167 % |
453.27/453.59 c | 398716 | 3000 13247 37372 | 57481 49171 42 | 0.167 % |
454.08/454.35 c | 399312 | 3000 13247 37372 | 57481 49767 42 | 0.167 % |
454.97/455.28 c | 399967 | 3000 13247 37372 | 57481 50422 42 | 0.167 % |
455.87/456.15 c | 400688 | 3000 13247 37372 | 50456 43884 41 | 0.167 % |
456.87/457.10 c | 401482 | 3000 13247 37372 | 50456 44678 41 | 0.167 % |
457.77/458.06 c | 402353 | 3000 13247 37372 | 50456 45549 41 | 0.167 % |
458.87/459.12 c | 403312 | 3000 13247 37372 | 50456 46508 41 | 0.167 % |
460.07/460.34 c | 404367 | 3000 13247 37372 | 50456 47563 40 | 0.167 % |
461.47/461.75 c | 405526 | 3000 13247 37372 | 50456 48722 40 | 0.167 % |
462.97/463.26 c | 406799 | 3000 13247 37372 | 50456 49995 41 | 0.167 % |
465.17/465.45 c | 408199 | 3000 13247 37372 | 50456 44436 39 | 0.167 % |
467.07/467.30 c | 409740 | 3000 13247 37372 | 50456 45977 39 | 0.167 % |
468.67/468.98 c | 411437 | 3000 13247 37372 | 46237 42208 38 | 0.167 % |
471.68/471.93 c | 413301 | 3000 13247 37372 | 46237 44072 38 | 0.167 % |
474.17/474.40 c | 415351 | 3000 13247 37372 | 46237 46122 38 | 0.167 % |
476.87/477.16 c | 417604 | 3000 13247 37372 | 46237 43637 38 | 0.167 % |
480.07/480.36 c | 420083 | 3000 13247 37372 | 2147483647 46116 38 | 0.167 % |
483.27/483.52 c | 422808 | 3000 13247 37372 | 2147483647 48841 40 | 0.167 % |
487.07/487.36 c | 425807 | 3000 13247 37372 | 2147483647 51840 41 | 0.167 % |
491.27/491.57 c | 429104 | 3000 13247 37372 | 2147483647 55137 41 | 0.167 % |
496.47/496.72 c | 432729 | 3000 13247 37372 | 56034 50383 41 | 0.167 % |
501.47/501.75 c | 436717 | 3000 13247 37372 | 56034 54371 41 | 0.167 % |
501.67/501.91 c | 436818 | 3000 13247 37372 | 56034 54472 41 | 0.167 % |
501.77/502.09 c | 436928 | 3000 13247 37372 | 56034 54582 41 | 0.167 % |
501.97/502.27 c | 437049 | 3000 13247 37372 | 56034 54703 41 | 0.167 % |
502.17/502.44 c | 437184 | 3000 13247 37372 | 56034 54838 41 | 0.167 % |
502.47/502.76 c | 437332 | 3000 13247 37372 | 56034 54986 41 | 0.167 % |
502.67/502.98 c | 437493 | 3000 13247 37372 | 56034 55147 41 | 0.167 % |
502.87/503.18 c | 437669 | 3000 13247 37372 | 56034 55323 41 | 0.167 % |
503.16/503.40 c | 437863 | 3000 13247 37372 | 56034 55517 42 | 0.167 % |
503.26/503.58 c | 438075 | 3000 13247 37372 | 56034 55729 42 | 0.167 % |
503.46/503.77 c | 438308 | 3000 13247 37372 | 56034 55962 42 | 0.167 % |
503.86/504.13 c | 438564 | 3000 13247 37372 | 56034 56218 42 | 0.174 % |
504.26/504.58 c | 438846 | 3000 13247 37372 | 56034 48673 42 | 0.167 % |
504.56/504.83 c | 439155 | 3000 13247 37372 | 56034 48982 42 | 0.167 % |
504.96/505.25 c | 439495 | 3000 13247 37372 | 56034 49322 42 | 0.167 % |
505.36/505.64 c | 439867 | 3000 13247 37372 | 56034 49694 42 | 0.167 % |
505.77/506.08 c | 440276 | 3000 13247 37372 | 49827 50103 42 | 0.169 % |
506.36/506.66 c | 440726 | 3000 13247 37372 | 49827 44448 42 | 0.167 % |
506.97/507.21 c | 441219 | 3000 13247 37372 | 49827 44941 41 | 0.167 % |
507.46/507.72 c | 441761 | 3000 13247 37372 | 49827 45483 42 | 0.167 % |
507.97/508.25 c | 442357 | 3000 13247 37372 | 49827 46079 42 | 0.166 % |
508.66/508.99 c | 443013 | 3000 13247 37372 | 49827 46735 42 | 0.167 % |
509.76/510.01 c | 443735 | 3000 13247 37372 | 49827 47457 42 | 0.169 % |
510.46/510.79 c | 444528 | 3000 13247 37372 | 49827 48250 43 | 0.167 % |
511.66/511.92 c | 445399 | 3000 13247 37372 | 49827 49121 43 | 0.167 % |
513.06/513.30 c | 446358 | 3000 13247 37372 | 49827 50080 43 | 0.173 % |
514.36/514.60 c | 447411 | 3000 13247 37372 | 49827 44069 42 | 0.168 % |
515.06/515.32 c | 448569 | 3000 13247 37372 | 49827 45227 41 | 0.169 % |
516.86/517.19 c | 449843 | 3000 13247 37372 | 49827 46501 42 | 0.171 % |
518.46/518.77 c | 451244 | 3000 13247 37372 | 46659 47902 43 | 0.167 % |
520.26/520.55 c | 452784 | 3000 13247 37372 | 46659 42452 41 | 0.167 % |
521.86/522.15 c | 454478 | 3000 13247 37372 | 46659 44146 43 | 0.167 % |
523.46/523.73 c | 456341 | 3000 13247 37372 | 46659 46009 44 | 0.167 % |
525.45/525.79 c | 458391 | 3000 13247 37372 | 46659 48059 45 | 0.167 % |
526.66/526.98 c | 460644 | 3000 13247 37372 | 44700 45343 45 | 0.167 % |
529.55/529.84 c | 463122 | 3000 13247 37372 | 44700 43127 47 | 0.167 % |
532.05/532.38 c | 465848 | 3000 13247 37372 | 44700 45853 48 | 0.167 % |
534.95/535.29 c | 468845 | 3000 13247 37372 | 44700 44265 48 | 0.167 % |
538.85/539.14 c | 472141 | 3000 13247 37372 | 2147483647 47561 48 | 0.167 % |
543.25/543.55 c | 475767 | 3000 13247 37372 | 2147483647 51187 49 | 0.167 % |
548.34/548.61 c | 479755 | 3000 13247 37372 | 2147483647 55175 51 | 0.167 % |
554.04/554.34 c | 484141 | 3000 13247 37372 | 55421 52760 51 | 0.167 % |
554.14/554.48 c | 484241 | 3000 13247 37372 | 55421 52860 51 | 0.167 % |
554.34/554.65 c | 484351 | 3000 13247 37372 | 55421 52970 51 | 0.167 % |
554.54/554.84 c | 484473 | 3000 13247 37372 | 55421 53092 51 | 0.167 % |
554.74/555.04 c | 484607 | 3000 13247 37372 | 55421 53226 51 | 0.167 % |
554.94/555.24 c | 484754 | 3000 13247 37372 | 55421 53373 51 | 0.167 % |
555.14/555.45 c | 484915 | 3000 13247 37372 | 55421 53534 51 | 0.167 % |
555.34/555.69 c | 485091 | 3000 13247 37372 | 55421 53710 51 | 0.167 % |
555.54/555.88 c | 485284 | 3000 13247 37372 | 55421 53903 51 | 0.167 % |
555.84/556.16 c | 485496 | 3000 13247 37372 | 55421 54115 51 | 0.167 % |
556.44/556.72 c | 485729 | 3000 13247 37372 | 55421 54348 51 | 0.169 % |
556.74/557.09 c | 485987 | 3000 13247 37372 | 55421 54606 51 | 0.167 % |
557.24/557.51 c | 486268 | 3000 13247 37372 | 55421 54887 51 | 0.167 % |
557.64/557.93 c | 486580 | 3000 13247 37372 | 55421 55199 51 | 0.167 % |
558.14/558.45 c | 486919 | 3000 13247 37372 | 55421 55538 51 | 0.166 % |
558.74/559.05 c | 487291 | 3000 13247 37372 | 55421 47830 49 | 0.167 % |
559.24/559.59 c | 487701 | 3000 13247 37372 | 55421 48240 49 | 0.167 % |
559.94/560.22 c | 488152 | 3000 13247 37372 | 55421 48691 49 | 0.167 % |
560.44/560.72 c | 488645 | 3000 13247 37372 | 55421 49184 49 | 0.167 % |
561.04/561.35 c | 489188 | 3000 13247 37372 | 55421 49727 48 | 0.167 % |
561.84/562.19 c | 489785 | 3000 13247 37372 | 55421 50324 48 | 0.167 % |
562.74/563.02 c | 490440 | 3000 13247 37372 | 50540 50979 49 | 0.167 % |
563.74/564.05 c | 491161 | 3000 13247 37372 | 50540 44392 46 | 0.167 % |
564.74/565.00 c | 491954 | 3000 13247 37372 | 50540 45185 46 | 0.167 % |
565.84/566.13 c | 492826 | 3000 13247 37372 | 50540 46057 46 | 0.167 % |
566.84/567.14 c | 493784 | 3000 13247 37372 | 50540 47015 46 | 0.167 % |
568.04/568.30 c | 494838 | 3000 13247 37372 | 50540 48069 46 | 0.167 % |
569.64/569.93 c | 495996 | 3000 13247 37372 | 50540 49227 47 | 0.167 % |
571.43/571.76 c | 497269 | 3000 13247 37372 | 50540 50500 47 | 0.167 % |
573.53/573.80 c | 498669 | 3000 13247 37372 | 50540 45636 45 | 0.167 % |
575.23/575.50 c | 500209 | 3000 13247 37372 | 46968 47176 45 | 0.167 % |
577.24/577.53 c | 501903 | 3000 13247 37372 | 46968 43090 44 | 0.167 % |
579.54/579.86 c | 503767 | 3000 13247 37372 | 46968 44954 44 | 0.167 % |
582.03/582.31 c | 505817 | 3000 13247 37372 | 46968 47004 45 | 0.167 % |
584.73/585.06 c | 508070 | 3000 13247 37372 | 46968 44531 43 | 0.167 % |
587.43/587.76 c | 510549 | 3000 13247 37372 | 2147483647 47010 44 | 0.167 % |
590.83/591.18 c | 513277 | 3000 13247 37372 | 2147483647 49738 43 | 0.167 % |
594.02/594.37 c | 516274 | 3000 13247 37372 | 2147483647 52735 43 | 0.167 % |
598.32/598.61 c | 519570 | 3000 13247 37372 | 2147483647 56031 43 | 0.167 % |
602.53/602.86 c | 523195 | 3000 13247 37372 | 56462 50021 43 | 0.167 % |
607.22/607.58 c | 527183 | 3000 13247 37372 | 56462 54009 44 | 0.167 % |
613.22/613.59 c | 531568 | 3000 13247 37372 | 56827 51413 43 | 0.167 % |
619.22/619.54 c | 536391 | 3000 13247 37372 | 56827 56236 44 | 0.167 % |
619.32/619.67 c | 536492 | 3000 13247 37372 | 56827 56337 44 | 0.174 % |
619.52/619.80 c | 536602 | 3000 13247 37372 | 56827 56447 44 | 0.167 % |
619.62/619.96 c | 536725 | 3000 13247 37372 | 56827 56570 44 | 0.167 % |
619.82/620.10 c | 536860 | 3000 13247 37372 | 56827 56705 44 | 0.167 % |
620.12/620.41 c | 537008 | 3000 13247 37372 | 56827 56853 44 | 0.167 % |
620.42/620.72 c | 537169 | 3000 13247 37372 | 56827 47598 42 | 0.167 % |
620.62/620.93 c | 537345 | 3000 13247 37372 | 56827 47774 42 | 0.167 % |
620.92/621.21 c | 537538 | 3000 13247 37372 | 56827 47967 42 | 0.167 % |
621.12/621.48 c | 537752 | 3000 13247 37372 | 56827 48181 42 | 0.167 % |
621.51/621.80 c | 537985 | 3000 13247 37372 | 56827 48414 42 | 0.167 % |
621.71/622.08 c | 538242 | 3000 13247 37372 | 56827 48671 42 | 0.167 % |
622.11/622.44 c | 538524 | 3000 13247 37372 | 56827 48953 42 | 0.167 % |
622.51/622.89 c | 538833 | 3000 13247 37372 | 56827 49262 42 | 0.167 % |
623.01/623.32 c | 539173 | 3000 13247 37372 | 56827 49602 42 | 0.167 % |
623.42/623.77 c | 539545 | 3000 13247 37372 | 56827 49974 42 | 0.167 % |
624.01/624.34 c | 539955 | 3000 13247 37372 | 56827 50384 42 | 0.167 % |
624.71/625.03 c | 540404 | 3000 13247 37372 | 50430 50833 42 | 0.167 % |
625.41/625.77 c | 540897 | 3000 13247 37372 | 50430 42419 40 | 0.167 % |
626.11/626.41 c | 541439 | 3000 13247 37372 | 50430 42961 41 | 0.167 % |
626.82/627.19 c | 542036 | 3000 13247 37372 | 50430 43558 41 | 0.167 % |
627.61/627.97 c | 542691 | 3000 13247 37372 | 50430 44213 41 | 0.167 % |
628.31/628.62 c | 543412 | 3000 13247 37372 | 50430 44934 41 | 0.167 % |
629.31/629.62 c | 544204 | 3000 13247 37372 | 50430 45726 40 | 0.167 % |
630.51/630.82 c | 545075 | 3000 13247 37372 | 50430 46597 40 | 0.167 % |
631.61/631.94 c | 546033 | 3000 13247 37372 | 50430 47555 41 | 0.167 % |
632.81/633.18 c | 547086 | 3000 13247 37372 | 50430 48608 41 | 0.167 % |
634.31/634.67 c | 548244 | 3000 13247 37372 | 50430 49766 41 | 0.167 % |
636.31/636.69 c | 549518 | 3000 13247 37372 | 50430 51040 41 | 0.167 % |
638.41/638.75 c | 550918 | 3000 13247 37372 | 43888 44806 39 | 0.167 % |
640.01/640.37 c | 552458 | 3000 13247 37372 | 43888 39690 38 | 0.167 % |
641.71/642.03 c | 554152 | 3000 13247 37372 | 43888 41384 38 | 0.167 % |
643.41/643.74 c | 556016 | 3000 13247 37372 | 43888 43248 38 | 0.166 % |
645.41/645.74 c | 558065 | 3000 13247 37372 | 43888 39984 38 | 0.167 % |
648.60/648.93 c | 560318 | 3000 13247 37372 | 41919 42237 38 | 0.167 % |
651.10/651.47 c | 562798 | 3000 13247 37372 | 41919 40248 39 | 0.167 % |
654.21/654.56 c | 565523 | 3000 13247 37372 | 41919 38681 40 | 0.167 % |
656.80/657.16 c | 568520 | 3000 13247 37372 | 41919 41678 40 | 0.167 % |
661.70/662.05 c | 571816 | 3000 13247 37372 | 2147483647 44974 40 | 0.170 % |
665.10/665.42 c | 575442 | 3000 13247 37372 | 2147483647 48600 43 | 0.167 % |
671.40/671.72 c | 579429 | 3000 13247 37372 | 2147483647 52587 42 | 0.167 % |
677.10/677.48 c | 583814 | 3000 13247 37372 | 2147483647 56972 43 | 0.167 % |
684.39/684.71 c | 588637 | 3000 13247 37372 | 2147483647 61795 42 | 0.167 % |
691.79/692.16 c | 593942 | 3000 13247 37372 | 63158 55607 40 | 0.167 % |
691.99/692.33 c | 594043 | 3000 13247 37372 | 63158 55708 40 | 0.167 % |
692.09/692.48 c | 594153 | 3000 13247 37372 | 63158 55818 40 | 0.167 % |
692.29/692.64 c | 594274 | 3000 13247 37372 | 63158 55939 40 | 0.167 % |
692.49/692.81 c | 594407 | 3000 13247 37372 | 63158 56072 40 | 0.167 % |
692.70/693.02 c | 594554 | 3000 13247 37372 | 63158 56219 40 | 0.166 % |
692.89/693.24 c | 594716 | 3000 13247 37372 | 63158 56381 40 | 0.167 % |
693.19/693.54 c | 594892 | 3000 13247 37372 | 63158 56557 40 | 0.167 % |
693.49/693.80 c | 595086 | 3000 13247 37372 | 63158 56751 40 | 0.167 % |
693.69/694.09 c | 595300 | 3000 13247 37372 | 63158 56965 41 | 0.167 % |
693.99/694.39 c | 595534 | 3000 13247 37372 | 63158 57199 41 | 0.166 % |
694.39/694.77 c | 595791 | 3000 13247 37372 | 63158 57456 41 | 0.167 % |
694.79/695.20 c | 596072 | 3000 13247 37372 | 63158 57737 41 | 0.167 % |
695.29/695.63 c | 596383 | 3000 13247 37372 | 63158 58048 41 | 0.167 % |
695.69/696.04 c | 596724 | 3000 13247 37372 | 63158 58389 41 | 0.167 % |
696.10/696.47 c | 597098 | 3000 13247 37372 | 63158 58763 41 | 0.167 % |
696.79/697.15 c | 597507 | 3000 13247 37372 | 63158 59172 41 | 0.167 % |
697.39/697.77 c | 597957 | 3000 13247 37372 | 63158 59622 41 | 0.167 % |
698.19/698.50 c | 598452 | 3000 13247 37372 | 63158 60117 41 | 0.167 % |
698.79/699.11 c | 598994 | 3000 13247 37372 | 63158 60659 41 | 0.167 % |
699.49/699.82 c | 599590 | 3000 13247 37372 | 63158 61255 41 | 0.167 % |
700.59/700.91 c | 600246 | 3000 13247 37372 | 61666 61911 41 | 0.167 % |
701.39/701.72 c | 600967 | 3000 13247 37372 | 61666 51102 38 | 0.167 % |
702.29/702.64 c | 601760 | 3000 13247 37372 | 61666 51895 38 | 0.167 % |
703.19/703.56 c | 602632 | 3000 13247 37372 | 61666 52767 38 | 0.167 % |
704.19/704.57 c | 603590 | 3000 13247 37372 | 61666 53725 38 | 0.167 % |
705.49/705.82 c | 604643 | 3000 13247 37372 | 61666 54778 39 | 0.167 % |
706.59/706.91 c | 605802 | 3000 13247 37372 | 61666 55937 39 | 0.167 % |
708.19/708.52 c | 607075 | 3000 13247 37372 | 61666 57210 39 | 0.167 % |
710.19/710.52 c | 608476 | 3000 13247 37372 | 61666 58611 40 | 0.167 % |
712.39/712.74 c | 610016 | 3000 13247 37372 | 60135 60151 40 | 0.166 % |
714.48/714.83 c | 611711 | 3000 13247 37372 | 60135 50780 38 | 0.167 % |
716.68/717.08 c | 613574 | 3000 13247 37372 | 60135 52643 39 | 0.167 % |
719.28/719.65 c | 615623 | 3000 13247 37372 | 60135 54692 39 | 0.167 % |
722.08/722.42 c | 617877 | 3000 13247 37372 | 60135 56946 40 | 0.167 % |
725.38/725.79 c | 620355 | 3000 13247 37372 | 59069 59424 40 | 0.167 % |
729.09/729.48 c | 623080 | 3000 13247 37372 | 59069 53555 40 | 0.167 % |
732.79/733.19 c | 626077 | 3000 13247 37372 | 59069 56552 41 | 0.167 % |
737.49/737.81 c | 629374 | 3000 13247 37372 | 59069 59849 41 | 0.167 % |
742.09/742.49 c | 633000 | 3000 13247 37372 | 50360 43512 38 | 0.167 % |
746.19/746.58 c | 636988 | 3000 13247 37372 | 50360 47500 41 | 0.167 % |
750.68/751.08 c | 641373 | 3000 13247 37372 | 50513 45543 40 | 0.167 % |
756.49/756.80 c | 646197 | 3000 13247 37372 | 50513 50367 42 | 0.167 % |
762.48/762.89 c | 651503 | 3000 13247 37372 | 48642 45159 42 | 0.167 % |
770.38/770.77 c | 657338 | 3000 13247 37372 | 48642 44952 41 | 0.167 % |
770.58/770.92 c | 657439 | 3000 13247 37372 | 48642 45053 41 | 0.167 % |
770.68/771.06 c | 657549 | 3000 13247 37372 | 48642 45163 41 | 0.167 % |
770.78/771.15 c | 657670 | 3000 13247 37372 | 48642 45284 41 | 0.167 % |
770.98/771.39 c | 657803 | 3000 13247 37372 | 48642 45417 41 | 0.170 % |
771.18/771.54 c | 657949 | 3000 13247 37372 | 48642 45563 42 | 0.167 % |
771.38/771.73 c | 658110 | 3000 13247 37372 | 48642 45724 42 | 0.168 % |
771.58/771.91 c | 658287 | 3000 13247 37372 | 48642 45901 42 | 0.167 % |
771.77/772.10 c | 658481 | 3000 13247 37372 | 48642 46095 42 | 0.167 % |
771.98/772.33 c | 658693 | 3000 13247 37372 | 48642 46307 42 | 0.167 % |
772.28/772.67 c | 658926 | 3000 13247 37372 | 48642 46540 42 | 0.167 % |
772.78/773.10 c | 659183 | 3000 13247 37372 | 48642 46797 42 | 0.167 % |
773.08/773.43 c | 659465 | 3000 13247 37372 | 48642 47079 42 | 0.167 % |
773.37/773.79 c | 659775 | 3000 13247 37372 | 48642 47389 42 | 0.167 % |
773.87/774.23 c | 660115 | 3000 13247 37372 | 47615 47729 42 | 0.167 % |
774.37/774.77 c | 660487 | 3000 13247 37372 | 47615 42342 42 | 0.167 % |
774.87/775.24 c | 660897 | 3000 13247 37372 | 47615 42752 42 | 0.167 % |
775.47/775.80 c | 661346 | 3000 13247 37372 | 47615 43201 42 | 0.167 % |
775.97/776.35 c | 661840 | 3000 13247 37372 | 47615 43695 42 | 0.167 % |
776.67/777.02 c | 662383 | 3000 13247 37372 | 47615 44238 42 | 0.169 % |
777.37/777.77 c | 662979 | 3000 13247 37372 | 47615 44834 42 | 0.167 % |
778.07/778.45 c | 663635 | 3000 13247 37372 | 47615 45490 42 | 0.167 % |
779.17/779.55 c | 664355 | 3000 13247 37372 | 47615 46210 42 | 0.167 % |
780.27/780.62 c | 665149 | 3000 13247 37372 | 47615 47004 42 | 0.167 % |
781.47/781.86 c | 666021 | 3000 13247 37372 | 47615 47876 42 | 0.167 % |
782.47/782.88 c | 666980 | 3000 13247 37372 | 47615 44048 40 | 0.167 % |
783.97/784.38 c | 668035 | 3000 13247 37372 | 47615 45103 40 | 0.167 % |
785.17/785.51 c | 669194 | 3000 13247 37372 | 47615 46262 40 | 0.167 % |
786.47/786.89 c | 670468 | 3000 13247 37372 | 47069 47536 40 | 0.167 % |
787.97/788.34 c | 671869 | 3000 13247 37372 | 47069 43737 38 | 0.167 % |
789.67/790.05 c | 673411 | 3000 13247 37372 | 47069 45279 39 | 0.167 % |
791.37/791.71 c | 675105 | 3000 13247 37372 | 47069 46973 39 | 0.167 % |
793.57/793.90 c | 676970 | 3000 13247 37372 | 47069 43958 38 | 0.167 % |
796.36/796.71 c | 679019 | 3000 13247 37372 | 47069 46007 38 | 0.166 % |
799.56/799.98 c | 681272 | 3000 13247 37372 | 2147483647 48260 38 | 0.167 % |
802.56/802.97 c | 683751 | 3000 13247 37372 | 2147483647 50739 38 | 0.167 % |
806.26/806.68 c | 686477 | 3000 13247 37372 | 2147483647 53465 38 | 0.167 % |
809.86/810.29 c | 689475 | 3000 13247 37372 | 2147483647 56463 37 | 0.167 % |
814.06/814.42 c | 692772 | 3000 13247 37372 | 56988 51167 35 | 0.167 % |
818.26/818.64 c | 696397 | 3000 13247 37372 | 56988 54792 36 | 0.167 % |
823.56/823.97 c | 700384 | 3000 13247 37372 | 50173 50556 36 | 0.167 % |
828.66/829.00 c | 704770 | 3000 13247 37372 | 50173 47617 36 | 0.167 % |
833.45/833.83 c | 709593 | 3000 13247 37372 | 50173 46601 35 | 0.167 % |
839.45/839.81 c | 714898 | 3000 13247 37372 | 47008 46579 36 | 0.167 % |
845.25/845.67 c | 720734 | 3000 13247 37372 | 46159 46892 35 | 0.167 % |
852.15/852.51 c | 727155 | 3000 13247 37372 | 46159 47054 38 | 0.167 % |
852.25/852.66 c | 727255 | 3000 13247 37372 | 46159 41260 35 | 0.167 % |
852.34/852.76 c | 727365 | 3000 13247 37372 | 46159 41370 35 | 0.167 % |
852.44/852.88 c | 727486 | 3000 13247 37372 | 46159 41491 35 | 0.167 % |
852.54/852.99 c | 727619 | 3000 13247 37372 | 46159 41624 35 | 0.174 % |
852.74/853.15 c | 727765 | 3000 13247 37372 | 46159 41770 35 | 0.167 % |
852.94/853.32 c | 727925 | 3000 13247 37372 | 46159 41930 36 | 0.167 % |
853.14/853.57 c | 728104 | 3000 13247 37372 | 46159 42109 36 | 0.167 % |
853.35/853.76 c | 728298 | 3000 13247 37372 | 46159 42303 36 | 0.167 % |
853.54/854.00 c | 728511 | 3000 13247 37372 | 46159 42516 36 | 0.167 % |
853.94/854.30 c | 728745 | 3000 13247 37372 | 46159 42750 36 | 0.167 % |
854.24/854.60 c | 729004 | 3000 13247 37372 | 46159 43009 36 | 0.167 % |
854.45/854.89 c | 729285 | 3000 13247 37372 | 46159 43290 36 | 0.167 % |
854.94/855.31 c | 729594 | 3000 13247 37372 | 46159 43599 36 | 0.167 % |
855.34/855.76 c | 729933 | 3000 13247 37372 | 46159 43938 36 | 0.167 % |
855.74/856.15 c | 730305 | 3000 13247 37372 | 44005 44310 36 | 0.167 % |
856.14/856.58 c | 730715 | 3000 13247 37372 | 44005 39470 35 | 0.167 % |
856.54/856.97 c | 731166 | 3000 13247 37372 | 44005 39921 35 | 0.167 % |
857.04/857.45 c | 731660 | 3000 13247 37372 | 44005 40415 35 | 0.167 % |
857.65/858.09 c | 732203 | 3000 13247 37372 | 44005 40958 35 | 0.167 % |
858.24/858.65 c | 732801 | 3000 13247 37372 | 44005 41556 35 | 0.167 % |
858.94/859.39 c | 733456 | 3000 13247 37372 | 44005 42211 35 | 0.167 % |
859.74/860.14 c | 734177 | 3000 13247 37372 | 44005 42932 36 | 0.167 % |
860.64/861.04 c | 734970 | 3000 13247 37372 | 44005 43725 36 | 0.167 % |
861.44/861.84 c | 735842 | 3000 13247 37372 | 44005 44597 36 | 0.167 % |
862.54/862.94 c | 736800 | 3000 13247 37372 | 44005 41096 36 | 0.167 % |
863.54/863.99 c | 737853 | 3000 13247 37372 | 44005 42149 36 | 0.167 % |
864.74/865.13 c | 739012 | 3000 13247 37372 | 44005 43308 36 | 0.167 % |
865.84/866.24 c | 740285 | 3000 13247 37372 | 2147483647 44581 37 | 0.167 % |
867.34/867.74 c | 741686 | 3000 13247 37372 | 2147483647 45982 38 | 0.167 % |
869.64/870.02 c | 743226 | 3000 13247 37372 | 2147483647 47522 38 | 0.167 % |
871.44/871.85 c | 744920 | 3000 13247 37372 | 2147483647 49216 40 | 0.167 % |
873.44/873.89 c | 746785 | 3000 13247 37372 | 2147483647 51081 41 | 0.167 % |
875.93/876.36 c | 748834 | 3000 13247 37372 | 2147483647 53130 41 | 0.167 % |
879.03/879.41 c | 751088 | 3000 13247 37372 | 2147483647 55384 41 | 0.167 % |
882.03/882.48 c | 753566 | 3000 13247 37372 | 2147483647 57862 42 | 0.167 % |
885.93/886.35 c | 756291 | 3000 13247 37372 | 2147483647 60587 43 | 0.167 % |
891.13/891.58 c | 759288 | 3000 13247 37372 | 2147483647 63584 43 | 0.167 % |
896.83/897.21 c | 762584 | 3000 13247 37372 | 64297 57795 45 | 0.167 % |
901.73/902.14 c | 766210 | 3000 13247 37372 | 64297 61421 45 | 0.167 % |
908.12/908.51 c | 770197 | 3000 13247 37372 | 54289 54485 43 | 0.167 % |
913.32/913.71 c | 774583 | 3000 13247 37372 | 54289 50158 43 | 0.167 % |
918.82/919.28 c | 779407 | 3000 13247 37372 | 54289 54982 43 | 0.167 % |
925.22/925.69 c | 784712 | 3000 13247 37372 | 47914 46225 40 | 0.167 % |
931.92/932.35 c | 790547 | 3000 13247 37372 | 44713 45260 40 | 0.167 % |
939.61/940.02 c | 796965 | 3000 13247 37372 | 44713 45356 37 | 0.167 % |
946.61/947.04 c | 804025 | 3000 13247 37372 | 42772 40868 32 | 0.167 % |
946.82/947.20 c | 804126 | 3000 13247 37372 | 42772 40969 32 | 0.168 % |
946.91/947.33 c | 804238 | 3000 13247 37372 | 42772 41081 32 | 0.167 % |
947.01/947.45 c | 804360 | 3000 13247 37372 | 42772 41203 32 | 0.167 % |
947.21/947.62 c | 804494 | 3000 13247 37372 | 42772 41337 32 | 0.166 % |
947.31/947.77 c | 804640 | 3000 13247 37372 | 42772 41483 32 | 0.167 % |
947.41/947.89 c | 804801 | 3000 13247 37372 | 42772 41644 32 | 0.167 % |
947.61/948.05 c | 804978 | 3000 13247 37372 | 42772 41821 32 | 0.167 % |
947.91/948.32 c | 805171 | 3000 13247 37372 | 42772 42014 32 | 0.167 % |
948.21/948.60 c | 805384 | 3000 13247 37372 | 42772 42227 32 | 0.167 % |
948.51/948.92 c | 805617 | 3000 13247 37372 | 42772 42460 32 | 0.167 % |
948.81/949.24 c | 805874 | 3000 13247 37372 | 42772 42717 32 | 0.167 % |
949.11/949.55 c | 806156 | 3000 13247 37372 | 42772 42999 32 | 0.167 % |
949.51/949.90 c | 806465 | 3000 13247 37372 | 42772 38603 28 | 0.167 % |
949.81/950.23 c | 806804 | 3000 13247 37372 | 42772 38942 29 | 0.169 % |
950.01/950.50 c | 807177 | 3000 13247 37372 | 42772 39315 29 | 0.167 % |
950.61/951.08 c | 807587 | 3000 13247 37372 | 42772 39725 29 | 0.167 % |
951.01/951.44 c | 808036 | 3000 13247 37372 | 42772 40174 29 | 0.167 % |
951.51/951.94 c | 808529 | 3000 13247 37372 | 42772 40667 30 | 0.167 % |
952.01/952.42 c | 809071 | 3000 13247 37372 | 42772 41209 30 | 0.167 % |
952.81/953.22 c | 809667 | 3000 13247 37372 | 42772 41805 30 | 0.167 % |
953.61/954.05 c | 810322 | 3000 13247 37372 | 2147483647 42460 30 | 0.167 % |
954.41/954.82 c | 811043 | 3000 13247 37372 | 2147483647 43181 31 | 0.167 % |
955.31/955.78 c | 811835 | 3000 13247 37372 | 2147483647 43973 31 | 0.168 % |
956.11/956.59 c | 812707 | 3000 13247 37372 | 2147483647 44845 32 | 0.167 % |
957.21/957.67 c | 813667 | 3000 13247 37372 | 2147483647 45805 32 | 0.167 % |
958.40/958.81 c | 814721 | 3000 13247 37372 | 2147483647 46859 33 | 0.167 % |
959.70/960.12 c | 815880 | 3000 13247 37372 | 2147483647 48018 33 | 0.167 % |
961.01/961.41 c | 817153 | 3000 13247 37372 | 2147483647 49291 34 | 0.167 % |
962.50/962.98 c | 818553 | 3000 13247 37372 | 2147483647 50691 35 | 0.167 % |
964.70/965.15 c | 820093 | 3000 13247 37372 | 2147483647 52231 35 | 0.167 % |
967.20/967.60 c | 821788 | 3000 13247 37372 | 2147483647 53926 35 | 0.169 % |
970.20/970.61 c | 823651 | 3000 13247 37372 | 2147483647 55789 35 | 0.167 % |
972.90/973.35 c | 825701 | 3000 13247 37372 | 2147483647 57839 34 | 0.167 % |
975.50/975.94 c | 827954 | 3000 13247 37372 | 2147483647 60092 34 | 0.167 % |
979.00/979.41 c | 830434 | 3000 13247 37372 | 62138 62572 36 | 0.167 % |
982.80/983.22 c | 833159 | 3000 13247 37372 | 62138 54374 35 | 0.167 % |
986.10/986.51 c | 836156 | 3000 13247 37372 | 62138 57371 36 | 0.167 % |
990.59/991.05 c | 839452 | 3000 13247 37372 | 62138 60667 37 | 0.167 % |
995.59/996.02 c | 843079 | 3000 13247 37372 | 61215 54183 40 | 0.167 % |
1001.59/1002.05 c | 847067 | 3000 13247 37372 | 61215 58171 39 | 0.166 % |
1007.60/1008.06 c | 851454 | 3000 13247 37372 | 61104 51761 37 | 0.167 % |
1013.29/1013.76 c | 856277 | 3000 13247 37372 | 61104 56584 39 | 0.167 % |
1020.19/1020.70 c | 861583 | 3000 13247 37372 | 60308 53421 42 | 0.167 % |
1028.29/1028.70 c | 867418 | 3000 13247 37372 | 60308 59256 43 | 0.167 % |
1036.29/1036.79 c | 873836 | 3000 13247 37372 | 53064 49737 43 | 0.167 % |
1045.19/1045.63 c | 880895 | 3000 13247 37372 | 49121 50016 46 | 0.167 % |
1054.38/1054.88 c | 888661 | 3000 13247 37372 | 49121 46164 46 | 0.167 % |
1054.59/1055.01 c | 888761 | 3000 13247 37372 | 49121 46264 46 | 0.167 % |
1054.68/1055.12 c | 888872 | 3000 13247 37372 | 49121 46375 46 | 0.167 % |
1054.78/1055.23 c | 888994 | 3000 13247 37372 | 49121 46497 46 | 0.167 % |
1054.98/1055.43 c | 889128 | 3000 13247 37372 | 49121 46631 46 | 0.167 % |
1055.08/1055.55 c | 889275 | 3000 13247 37372 | 49121 46778 46 | 0.167 % |
1055.28/1055.76 c | 889436 | 3000 13247 37372 | 49121 46939 46 | 0.167 % |
1055.59/1056.02 c | 889612 | 3000 13247 37372 | 49121 47115 46 | 0.166 % |
1055.78/1056.23 c | 889805 | 3000 13247 37372 | 49121 47308 47 | 0.167 % |
1056.08/1056.51 c | 890017 | 3000 13247 37372 | 47503 47520 46 | 0.169 % |
1056.38/1056.87 c | 890253 | 3000 13247 37372 | 47503 42079 45 | 0.167 % |
1056.69/1057.12 c | 890510 | 3000 13247 37372 | 47503 42336 45 | 0.174 % |
1056.98/1057.41 c | 890791 | 3000 13247 37372 | 47503 42617 45 | 0.167 % |
1057.28/1057.71 c | 891102 | 3000 13247 37372 | 47503 42928 45 | 0.167 % |
1057.58/1058.03 c | 891442 | 3000 13247 37372 | 47503 43268 45 | 0.167 % |
1057.89/1058.39 c | 891816 | 3000 13247 37372 | 47503 43642 45 | 0.167 % |
1058.28/1058.74 c | 892226 | 3000 13247 37372 | 47503 44052 45 | 0.167 % |
1058.78/1059.25 c | 892675 | 3000 13247 37372 | 47503 44501 45 | 0.167 % |
1059.28/1059.70 c | 893168 | 3000 13247 37372 | 47503 44994 45 | 0.166 % |
1059.98/1060.41 c | 893712 | 3000 13247 37372 | 47503 45538 46 | 0.167 % |
1060.58/1061.05 c | 894309 | 3000 13247 37372 | 47503 46135 46 | 0.167 % |
1061.28/1061.79 c | 894964 | 3000 13247 37372 | 47503 46790 46 | 0.167 % |
1062.58/1063.02 c | 895685 | 3000 13247 37372 | 47503 47511 46 | 0.166 % |
1063.28/1063.78 c | 896477 | 3000 13247 37372 | 47503 43552 45 | 0.167 % |
1064.28/1064.73 c | 897348 | 3000 13247 37372 | 47503 44423 46 | 0.167 % |
1065.38/1065.85 c | 898308 | 3000 13247 37372 | 47503 45383 46 | 0.167 % |
1066.48/1066.97 c | 899361 | 3000 13247 37372 | 47503 46436 46 | 0.167 % |
1067.48/1067.92 c | 900520 | 3000 13247 37372 | 2147483647 47595 46 | 0.167 % |
1069.08/1069.53 c | 901793 | 3000 13247 37372 | 2147483647 48868 47 | 0.167 % |
1070.58/1071.05 c | 903194 | 3000 13247 37372 | 2147483647 50269 47 | 0.167 % |
1072.37/1072.87 c | 904736 | 3000 13247 37372 | 2147483647 51811 47 | 0.167 % |
1074.28/1074.71 c | 906430 | 3000 13247 37372 | 2147483647 53505 47 | 0.167 % |
1076.48/1076.98 c | 908294 | 3000 13247 37372 | 2147483647 55369 47 | 0.167 % |
1078.87/1079.38 c | 910343 | 3000 13247 37372 | 57077 57418 47 | 0.167 % |
1081.87/1082.34 c | 912597 | 3000 13247 37372 | 57077 50395 45 | 0.167 % |
1084.77/1085.27 c | 915075 | 3000 13247 37372 | 57077 52873 46 | 0.167 % |
1087.87/1088.33 c | 917801 | 3000 13247 37372 | 57077 55599 45 | 0.167 % |
1092.17/1092.60 c | 920798 | 3000 13247 37372 | 57799 58596 45 | 0.167 % |
1096.17/1096.70 c | 924095 | 3000 13247 37372 | 57799 51186 45 | 0.167 % |
1100.97/1101.48 c | 927722 | 3000 13247 37372 | 57799 54813 46 | 0.167 % |
1106.56/1107.03 c | 931709 | 3000 13247 37372 | 57093 49368 42 | 0.169 % |
1112.66/1113.14 c | 936095 | 3000 13247 37372 | 57093 53754 41 | 0.167 % |
1118.86/1119.36 c | 940919 | 3000 13247 37372 | 57660 49211 40 | 0.167 % |
1125.66/1126.12 c | 946224 | 3000 13247 37372 | 57660 54516 40 | 0.167 % |
1133.56/1134.00 c | 952061 | 3000 13247 37372 | 58292 51586 41 | 0.167 % |
1141.65/1142.15 c | 958479 | 3000 13247 37372 | 58292 58004 43 | 0.167 % |
1150.65/1151.16 c | 965539 | 3000 13247 37372 | 51949 50634 42 | 0.167 % |
1161.95/1162.50 c | 973303 | 3000 13247 37372 | 47776 44038 41 | 0.167 % |
1171.54/1172.06 c | 981843 | 3000 13247 37372 | 43367 39118 33 | 0.167 % |
1171.64/1172.18 c | 981945 | 3000 13247 37372 | 43367 39220 34 | 0.167 % |
1171.84/1172.30 c | 982055 | 3000 13247 37372 | 43367 39330 34 | 0.167 % |
1171.94/1172.46 c | 982176 | 3000 13247 37372 | 43367 39451 34 | 0.167 % |
1172.04/1172.59 c | 982310 | 3000 13247 37372 | 43367 39585 34 | 0.167 % |
1172.25/1172.71 c | 982456 | 3000 13247 37372 | 43367 39731 34 | 0.167 % |
1172.34/1172.89 c | 982616 | 3000 13247 37372 | 43367 39891 34 | 0.167 % |
1172.54/1173.05 c | 982792 | 3000 13247 37372 | 43367 40067 34 | 0.167 % |
1172.74/1173.23 c | 982987 | 3000 13247 37372 | 43367 40262 34 | 0.167 % |
1172.94/1173.47 c | 983201 | 3000 13247 37372 | 43367 40476 34 | 0.167 % |
1173.14/1173.64 c | 983435 | 3000 13247 37372 | 43367 40710 34 | 0.167 % |
1173.35/1173.89 c | 983694 | 3000 13247 37372 | 43367 40969 35 | 0.167 % |
1173.64/1174.13 c | 983975 | 3000 13247 37372 | 43367 41250 35 | 0.167 % |
1173.94/1174.48 c | 984284 | 3000 13247 37372 | 43367 41559 35 | 0.167 % |
1174.24/1174.79 c | 984624 | 3000 13247 37372 | 43367 41899 35 | 0.169 % |
1174.84/1175.30 c | 984997 | 3000 13247 37372 | 43367 42272 35 | 0.167 % |
1175.24/1175.76 c | 985406 | 3000 13247 37372 | 43367 42681 36 | 0.167 % |
1175.74/1176.24 c | 985856 | 3000 13247 37372 | 43367 43131 36 | 0.167 % |
1176.34/1176.81 c | 986352 | 3000 13247 37372 | 43367 43627 36 | 0.167 % |
1176.94/1177.40 c | 986894 | 3000 13247 37372 | 43367 39563 34 | 0.167 % |
1177.44/1177.92 c | 987490 | 3000 13247 37372 | 43367 40159 35 | 0.167 % |
1178.04/1178.53 c | 988145 | 3000 13247 37372 | 43367 40814 35 | 0.167 % |
1178.74/1179.23 c | 988865 | 3000 13247 37372 | 43367 41534 35 | 0.167 % |
1179.44/1179.99 c | 989658 | 3000 13247 37372 | 43367 42327 35 | 0.167 % |
1180.24/1180.73 c | 990531 | 3000 13247 37372 | 42669 43200 35 | 0.167 % |
1181.44/1181.99 c | 991490 | 3000 13247 37372 | 42669 39797 34 | 0.167 % |
1182.54/1183.01 c | 992544 | 3000 13247 37372 | 42669 40851 34 | 0.167 % |
1183.74/1184.26 c | 993702 | 3000 13247 37372 | 42669 42009 34 | 0.167 % |
1184.84/1185.38 c | 994976 | 3000 13247 37372 | 42669 43283 34 | 0.167 % |
1186.24/1186.72 c | 996377 | 3000 13247 37372 | 42669 39552 33 | 0.167 % |
1187.64/1188.19 c | 997919 | 3000 13247 37372 | 42669 41094 34 | 0.167 % |
1189.34/1189.80 c | 999615 | 3000 13247 37372 | 42669 42790 35 | 0.167 % |
1191.14/1191.67 c | 1001478 | 3000 13247 37372 | 2147483647 40374 36 | 0.167 % |
1193.63/1194.15 c | 1003528 | 3000 13247 37372 | 2147483647 42424 36 | 0.167 % |
1195.83/1196.34 c | 1005781 | 3000 13247 37372 | 2147483647 44677 36 | 0.167 % |
1198.64/1199.11 c | 1008260 | 3000 13247 37372 | 2147483647 47156 36 | 0.167 % |
1200.04/1200.51 HOME/SatELiteGTI: line 36: 6073 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832283-1242771536/watcher-1832283-1242771536 -o /tmp/evaluation-result-1832283-1242771536/solver-1832283-1242771536 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832283-1242771536.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 6067
/proc/meminfo: memFree=1847736/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305181660 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 240577642578 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/6067/statm: 1339 235 195 169 0 50 0
[pid=6068] ppid=6067 vsize=5356 CPUtime=0
/proc/6068/stat : 6068 (SatELiteGTI) S 6067 6067 5906 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305181660 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/6068/statm: 1339 238 198 169 0 50 0
[startup+0.103824 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 6067
/proc/meminfo: memFree=1847736/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305181660 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6067/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201828 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 6067
/proc/meminfo: memFree=1847736/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+0.30183 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 6067
/proc/meminfo: memFree=1847736/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+0.701866 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 6067
/proc/meminfo: memFree=1847736/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+1.50194 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1844904/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=3884 CPUtime=1.32
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 658 0 0 0 132 0 0 0 25 0 1 0 305181677 3977216 644 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 971 644 76 171 0 798 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9240
[startup+3.10208 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1844584/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=3884 CPUtime=2.91
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 658 0 0 0 291 0 0 0 25 0 1 0 305181677 3977216 644 1992294400 134512640 135215339 4294956240 18446744073709551615 134532964 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 971 644 76 171 0 798 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9240
[startup+6.30136 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1843112/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=5656 CPUtime=6.11
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 1084 0 0 0 610 1 0 0 25 0 1 0 305181677 5791744 1070 1992294400 134512640 135215339 4294956240 18446744073709551615 134538368 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 1414 1070 76 171 0 1241 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11012
[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1840360/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=8204 CPUtime=12.51
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 1738 0 0 0 1249 2 0 0 25 0 1 0 305181677 8400896 1724 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 2051 1724 76 171 0 1878 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 13560
[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1835880/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=12572 CPUtime=25.3
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 2808 0 0 0 2526 4 0 0 25 0 1 0 305181677 12873728 2794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 3143 2794 76 171 0 2970 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 17928
[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1829928/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=18668 CPUtime=50.88
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4308 0 0 0 5082 6 0 0 25 0 1 0 305181677 19116032 4294 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4667 4294 76 171 0 4494 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 24024
[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1829160/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19196 CPUtime=102.06
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4456 0 0 0 10200 6 0 0 25 0 1 0 305181677 19656704 4442 1992294400 134512640 135215339 4294956240 18446744073709551615 134538350 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4799 4442 76 171 0 4626 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 24552
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1828968/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19336 CPUtime=162.03
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4479 0 0 0 16197 6 0 0 25 0 1 0 305181677 19800064 4465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4834 4465 76 171 0 4661 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 24692
[startup+222.305 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1828840/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19336 CPUtime=222
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4479 0 0 0 22194 6 0 0 25 0 1 0 305181677 19800064 4465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4834 4465 76 171 0 4661 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 24692
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1828776/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19336 CPUtime=281.98
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4488 0 0 0 28191 7 0 0 25 0 1 0 305181677 19800064 4474 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4834 4474 76 171 0 4661 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 24692
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1828648/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19484 CPUtime=341.95
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4506 0 0 0 34188 7 0 0 25 0 1 0 305181677 19951616 4492 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4871 4492 76 171 0 4698 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 24840
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1828456/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19628 CPUtime=401.92
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4526 0 0 0 40185 7 0 0 25 0 1 0 305181677 20099072 4512 1992294400 134512640 135215339 4294956240 18446744073709551615 134534559 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4907 4512 76 171 0 4734 0
Current children cumulated CPU time (s) 402.08
################
# More data... #
################
[pid=6073] ppid=6067 vsize=19768 CPUtime=461.91
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4557 0 0 0 46184 7 0 0 25 0 1 0 305181677 20242432 4543 1992294400 134512640 135215339 4294956240 18446744073709551615 134538283 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4942 4543 76 171 0 4769 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 25124
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 6073
/proc/meminfo: memFree=1828072/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19768 CPUtime=521.9
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4562 0 0 0 52182 8 0 0 25 0 1 0 305181677 20242432 4548 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4942 4548 76 171 0 4769 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 25124
[startup+582.302 s]
/proc/loadavg: 1.06 1.00 0.95 2/66 6073
/proc/meminfo: memFree=1827944/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19768 CPUtime=581.87
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4562 0 0 0 58179 8 0 0 25 0 1 0 305181677 20242432 4548 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4942 4548 76 171 0 4769 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 25124
[startup+642.301 s]
/proc/loadavg: 1.08 1.01 0.95 2/66 6073
/proc/meminfo: memFree=1827816/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19768 CPUtime=641.85
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4575 0 0 0 64177 8 0 0 25 0 1 0 305181677 20242432 4561 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4942 4561 76 171 0 4769 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 25124
[startup+702.302 s]
/proc/loadavg: 1.11 1.04 0.96 2/66 6073
/proc/meminfo: memFree=1827624/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19768 CPUtime=701.83
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4581 0 0 0 70175 8 0 0 25 0 1 0 305181677 20242432 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4942 4567 76 171 0 4769 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 25124
[startup+762.302 s]
/proc/loadavg: 1.04 1.03 0.96 2/66 6073
/proc/meminfo: memFree=1827496/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19768 CPUtime=761.83
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4591 0 0 0 76174 9 0 0 25 0 1 0 305181677 20242432 4577 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4942 4577 76 171 0 4769 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 25124
[startup+822.301 s]
/proc/loadavg: 1.01 1.02 0.96 2/66 6073
/proc/meminfo: memFree=1827432/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19768 CPUtime=821.8
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4591 0 0 0 82171 9 0 0 25 0 1 0 305181677 20242432 4577 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4942 4577 76 171 0 4769 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 25124
[startup+882.305 s]
/proc/loadavg: 1.00 1.02 0.96 2/66 6073
/proc/meminfo: memFree=1827368/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19768 CPUtime=881.78
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4592 0 0 0 88169 9 0 0 25 0 1 0 305181677 20242432 4578 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4942 4578 76 171 0 4769 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 25124
[startup+942.302 s]
/proc/loadavg: 1.00 1.01 0.96 2/66 6073
/proc/meminfo: memFree=1827176/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=19912 CPUtime=941.75
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4621 0 0 0 94166 9 0 0 25 0 1 0 305181677 20389888 4607 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 4978 4607 76 171 0 4805 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 25268
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6073
/proc/meminfo: memFree=1826984/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=20052 CPUtime=1001.73
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4632 0 0 0 100164 9 0 0 25 0 1 0 305181677 20533248 4618 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 5013 4618 76 171 0 4840 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 25408
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6073
/proc/meminfo: memFree=1826856/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=20052 CPUtime=1061.72
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4648 0 0 0 106162 10 0 0 25 0 1 0 305181677 20533248 4634 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 5013 4634 76 171 0 4840 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 25408
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6073
/proc/meminfo: memFree=1826728/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=20212 CPUtime=1121.7
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4662 0 0 0 112160 10 0 0 25 0 1 0 305181677 20697088 4648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 5053 4648 76 171 0 4880 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 25568
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6073
/proc/meminfo: memFree=1826664/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=20212 CPUtime=1181.68
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4662 0 0 0 118158 10 0 0 25 0 1 0 305181677 20697088 4648 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 5053 4648 76 171 0 4880 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 25568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 6073
/proc/meminfo: memFree=1826536/2055920 swapFree=4180328/4192956
[pid=6067] ppid=6065 vsize=5356 CPUtime=0.16
/proc/6067/stat : 6067 (SatELiteGTI) S 6065 6067 5906 0 -1 4194304 336 1722 0 0 0 0 15 1 16 0 1 0 305181660 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6067/statm: 1339 239 197 169 0 50 0
[pid=6073] ppid=6067 vsize=20212 CPUtime=1199.88
/proc/6073/stat : 6073 (minisat_static) R 6067 6067 5906 0 -1 4194304 4662 0 0 0 119978 10 0 0 25 0 1 0 305181677 20697088 4648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6073/statm: 5053 4648 76 171 0 4880 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 25568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1199.94
CPU system time (s): 0.123981
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 25568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6751
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= 33
involuntary context switches= 4129
runsolver used 1.42078 second user time and 3.07953 second system time
The end
Begin job on node50 at 2009-05-20 00:18:56
IDJOB=1832283
IDBENCH=24690
IDSOLVER=671
FILE ID=node50/1832283-1242771536
PBS_JOBID= 9322251
Free space on /tmp= 65924 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest02/pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832283-1242771536/watcher-1832283-1242771536 -o /tmp/evaluation-result-1832283-1242771536/solver-1832283-1242771536 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832283-1242771536.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ad877d677446ba8c798f8e71c4c035c2
RANDOM SEED=1960364712
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: 1848152 kB
Buffers: 14140 kB
Cached: 156956 kB
SwapCached: 6792 kB
Active: 30508 kB
Inactive: 148916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1848152 kB
SwapTotal: 4192956 kB
SwapFree: 4180328 kB
Dirty: 2076 kB
Writeback: 0 kB
Mapped: 13460 kB
Slab: 14300 kB
Committed_AS: 979392 kB
PageTables: 1452 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= 65920 MiB
End job on node50 at 2009-05-20 00:38:59