0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 25200 75600 | 7559 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 25047 76003 | -- 0 -- -- | -- | -153/403
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 5858 #clauses: 25047 #literals: 76003
0.00/0.08 c CPU time: 0.071989 s
0.00/0.08 c ==============================================================================
0.00/0.10 c This is MiniSat 2.0 beta
0.00/0.10 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.10 c ============================[ Problem Statistics ]=============================
0.00/0.10 c | |
0.00/0.10 c | Number of variables: 5858 |
0.00/0.10 c | Number of clauses: 25047 |
0.00/0.12 c | Parsing time: 0.01 s |
0.00/0.12 c ============================[ Search Statistics ]==============================
0.00/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.12 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.12 c ===============================================================================
0.00/0.12 c | 0 | 5858 25047 76003 | 8349 0 nan | 0.000 % |
0.00/0.14 c | 100 | 5858 25047 76003 | 8349 100 112 | 0.000 % |
0.00/0.16 c | 200 | 5858 25047 76003 | 8349 200 103 | 0.000 % |
0.00/0.18 c | 301 | 5858 25047 76003 | 8349 301 111 | 0.000 % |
0.09/0.20 c | 412 | 5858 25047 76003 | 8349 412 120 | 0.000 % |
0.09/0.22 c | 512 | 5858 25047 76003 | 8349 512 120 | 0.000 % |
0.09/0.24 c | 622 | 5858 25047 76003 | 8349 622 119 | 0.000 % |
0.09/0.26 c | 743 | 5858 25047 76003 | 8349 743 116 | 0.000 % |
0.09/0.28 c | 843 | 5858 25047 76003 | 8349 843 116 | 0.000 % |
0.09/0.30 c | 955 | 5858 25047 76003 | 8349 955 113 | 0.000 % |
0.09/0.32 c | 1077 | 5858 25047 76003 | 8349 1077 116 | 0.000 % |
0.09/0.34 c | 1210 | 5858 25047 76003 | 8349 1210 114 | 0.000 % |
0.09/0.36 c | 1310 | 5858 25047 76003 | 8349 1310 116 | 0.000 % |
0.09/0.38 c | 1420 | 5858 25047 76003 | 8349 1420 115 | 0.000 % |
0.09/0.40 c | 1542 | 5858 25047 76003 | 8349 1542 114 | 0.000 % |
0.09/0.43 c | 1676 | 5858 25047 76003 | 8349 1676 114 | 0.000 % |
0.09/0.45 c | 1822 | 5858 25047 76003 | 8349 1822 112 | 0.000 % |
0.09/0.47 c | 1924 | 5858 25047 76003 | 8349 1924 112 | 0.000 % |
0.09/0.49 c | 2034 | 5858 25047 76003 | 8349 2034 112 | 0.000 % |
0.09/0.51 c | 2156 | 5858 25047 76003 | 8349 2156 112 | 0.000 % |
0.09/0.54 c | 2290 | 5858 25047 76003 | 8349 2290 113 | 0.000 % |
0.09/0.56 c | 2436 | 5858 25047 76003 | 8349 2436 113 | 0.000 % |
0.09/0.59 c | 2597 | 5858 25047 76003 | 8349 2597 112 | 0.000 % |
0.09/0.61 c | 2697 | 5858 25047 76003 | 8349 2697 111 | 0.000 % |
0.09/0.63 c | 2809 | 5858 25047 76003 | 8349 2809 111 | 0.000 % |
0.09/0.65 c | 2930 | 5858 25047 76003 | 8349 2930 110 | 0.000 % |
0.09/0.68 c | 3064 | 5858 25047 76003 | 8349 3064 110 | 0.000 % |
0.09/0.71 c | 3212 | 5858 25047 76003 | 8349 3212 109 | 0.000 % |
0.09/0.74 c | 3372 | 5858 25047 76003 | 8349 3372 111 | 0.000 % |
0.09/0.77 c | 3548 | 5858 25047 76003 | 8349 3548 111 | 0.000 % |
0.09/0.79 c | 3648 | 5858 25047 76003 | 8349 3648 111 | 0.000 % |
0.09/0.81 c | 3758 | 5858 25047 76003 | 8349 3758 110 | 0.000 % |
0.09/0.84 c | 3879 | 5858 25047 76003 | 8349 3879 110 | 0.000 % |
0.09/0.86 c | 4012 | 5858 25047 76003 | 8349 4012 111 | 0.000 % |
0.09/0.89 c | 4158 | 5858 25047 76003 | 8349 4158 110 | 0.000 % |
0.09/0.92 c | 4320 | 5858 25047 76003 | 8349 4320 111 | 0.000 % |
0.09/0.96 c | 4497 | 5858 25047 76003 | 8349 4497 112 | 0.000 % |
0.97/1.00 c | 4692 | 5858 25047 76003 | 8349 4692 112 | 0.000 % |
0.97/1.02 c | 4793 | 5858 25047 76003 | 8349 4793 112 | 0.000 % |
0.97/1.04 c | 4905 | 5858 25047 76003 | 8349 4905 112 | 0.000 % |
0.97/1.06 c | 5028 | 5858 25047 76003 | 8349 5028 112 | 0.000 % |
0.97/1.09 c | 5161 | 5858 25047 76003 | 8349 5161 112 | 0.000 % |
1.07/1.12 c | 5310 | 5858 25047 76003 | 8349 5310 112 | 0.000 % |
1.07/1.15 c | 5470 | 5858 25047 76003 | 8349 5470 112 | 0.000 % |
1.07/1.19 c | 5647 | 5858 25047 76003 | 8349 5647 112 | 0.000 % |
1.17/1.23 c | 5841 | 5858 25047 76003 | 8349 5841 113 | 0.000 % |
1.17/1.27 c | 6054 | 5858 25047 76003 | 8349 6054 114 | 0.000 % |
1.27/1.30 c | 6154 | 5858 25047 76003 | 8349 6154 114 | 0.000 % |
1.27/1.32 c | 6266 | 5858 25047 76003 | 8349 6266 114 | 0.000 % |
1.27/1.34 c | 6389 | 5858 25047 76003 | 8349 6389 114 | 0.000 % |
1.27/1.37 c | 6522 | 5858 25047 76003 | 8349 6522 114 | 0.000 % |
1.37/1.40 c | 6668 | 5858 25047 76003 | 8349 6668 114 | 0.000 % |
1.37/1.44 c | 6829 | 5858 25047 76003 | 8349 6829 115 | 0.000 % |
1.37/1.48 c | 7006 | 5858 25047 76003 | 8349 7006 116 | 0.000 % |
1.47/1.52 c | 7199 | 5858 25047 76003 | 8349 7199 116 | 0.000 % |
1.47/1.57 c | 7412 | 5858 25047 76003 | 8349 7412 116 | 0.000 % |
1.57/1.61 c | 7646 | 5858 25047 76003 | 8349 7646 116 | 0.000 % |
1.57/1.64 c | 7747 | 5858 25047 76003 | 8349 7747 116 | 0.000 % |
1.57/1.66 c | 7859 | 5858 25047 76003 | 8349 7859 116 | 0.000 % |
1.57/1.69 c | 7981 | 5858 25047 76003 | 8349 7981 116 | 0.000 % |
1.67/1.72 c | 8117 | 5858 25047 76003 | 8349 8117 117 | 0.000 % |
1.67/1.75 c | 8263 | 5858 25047 76003 | 8349 8263 117 | 0.000 % |
1.67/1.79 c | 8423 | 5858 25047 76003 | 8349 8423 117 | 0.000 % |
1.77/1.83 c | 8599 | 5858 25047 76003 | 8349 7757 116 | 0.000 % |
1.77/1.87 c | 8793 | 5858 25047 76003 | 8349 7951 116 | 0.000 % |
1.87/1.92 c | 9009 | 5858 25047 76003 | 8349 8167 116 | 0.000 % |
1.87/1.97 c | 9242 | 5858 25047 76003 | 8349 8400 117 | 0.000 % |
1.97/2.03 c | 9502 | 5858 25047 76003 | 8349 7820 118 | 0.000 % |
1.97/2.05 c | 9603 | 5858 25047 76003 | 8349 7921 118 | 0.000 % |
1.97/2.08 c | 9714 | 5858 25047 76003 | 8349 8032 117 | 0.000 % |
2.07/2.11 c | 9835 | 5858 25047 76003 | 8349 8153 118 | 0.000 % |
2.07/2.14 c | 9968 | 5858 25047 76003 | 8349 8286 117 | 0.000 % |
2.07/2.17 c | 10114 | 5858 25047 76003 | 2147483647 8432 118 | 0.000 % |
2.18/2.21 c | 10275 | 5858 25047 76003 | 2147483647 8593 117 | 0.000 % |
2.18/2.24 c | 10451 | 5858 25047 76003 | 2147483647 8769 117 | 0.000 % |
2.18/2.29 c | 10644 | 5858 25047 76003 | 2147483647 8962 118 | 0.000 % |
2.28/2.34 c | 10856 | 5858 25047 76003 | 2147483647 9174 118 | 0.000 % |
2.28/2.39 c | 11089 | 5858 25047 76003 | 2147483647 9407 118 | 0.000 % |
2.38/2.45 c | 11347 | 5858 25047 76003 | 2147483647 9665 118 | 0.000 % |
2.48/2.52 c | 11629 | 5858 25047 76003 | 2147483647 9947 118 | 0.000 % |
2.48/2.54 c | 11731 | 5858 25047 76003 | 2147483647 10049 118 | 0.000 % |
2.48/2.57 c | 11843 | 5858 25047 76003 | 2147483647 10161 118 | 0.000 % |
2.58/2.60 c | 11965 | 5858 25047 76003 | 2147483647 10283 118 | 0.000 % |
2.58/2.63 c | 12098 | 5858 25047 76003 | 2147483647 10416 118 | 0.000 % |
2.58/2.67 c | 12244 | 5858 25047 76003 | 2147483647 10562 118 | 0.000 % |
2.67/2.71 c | 12405 | 5858 25047 76003 | 2147483647 10723 118 | 0.000 % |
2.67/2.75 c | 12581 | 5858 25047 76003 | 2147483647 10899 118 | 0.000 % |
2.77/2.80 c | 12775 | 5858 25047 76003 | 2147483647 11093 118 | 0.000 % |
2.77/2.85 c | 12987 | 5858 25047 76003 | 2147483647 11305 118 | 0.000 % |
2.87/2.90 c | 13220 | 5858 25047 76003 | 2147483647 11538 118 | 0.000 % |
2.87/2.96 c | 13476 | 5858 25047 76003 | 2147483647 11794 118 | 0.000 % |
2.97/3.04 c | 13757 | 5858 25047 76003 | 2147483647 12075 118 | 0.000 % |
3.08/3.11 c | 14066 | 5858 25047 76003 | 2147483647 12384 119 | 0.000 % |
3.08/3.13 c | 14166 | 5858 25047 76003 | 2147483647 12484 119 | 0.000 % |
3.08/3.16 c | 14276 | 5858 25047 76003 | 2147483647 12594 119 | 0.000 % |
3.08/3.19 c | 14399 | 5858 25047 76003 | 2147483647 12717 119 | 0.000 % |
3.18/3.22 c | 14532 | 5858 25047 76003 | 2147483647 12850 119 | 0.000 % |
3.18/3.26 c | 14678 | 5858 25047 76003 | 2147483647 12996 119 | 0.000 % |
3.28/3.31 c | 14842 | 5858 25047 76003 | 2147483647 13160 119 | 0.000 % |
3.28/3.35 c | 15020 | 5858 25047 76003 | 2147483647 13338 119 | 0.000 % |
3.38/3.40 c | 15219 | 5858 25047 76003 | 2147483647 13537 119 | 0.000 % |
3.38/3.46 c | 15431 | 5858 25047 76003 | 2147483647 13749 119 | 0.000 % |
3.48/3.52 c | 15666 | 5858 25047 76003 | 2147483647 13984 119 | 0.000 % |
3.48/3.59 c | 15925 | 5858 25047 76003 | 2147483647 14243 119 | 0.000 % |
3.58/3.66 c | 16207 | 5858 25047 76003 | 2147483647 14525 119 | 0.000 % |
3.68/3.73 c | 16516 | 5858 25047 76003 | 2147483647 14834 119 | 0.000 % |
3.78/3.82 c | 16855 | 5858 25047 76003 | 2147483647 15173 119 | 0.000 % |
3.78/3.84 c | 16956 | 5858 25047 76003 | 2147483647 15274 119 | 0.000 % |
3.78/3.87 c | 17066 | 5858 25047 76003 | 2147483647 15384 119 | 0.000 % |
3.88/3.91 c | 17189 | 5858 25047 76003 | 2147483647 15507 119 | 0.000 % |
3.88/3.94 c | 17323 | 5858 25047 76003 | 2147483647 15641 119 | 0.000 % |
3.88/3.99 c | 17470 | 5858 25047 76003 | 2147483647 15788 119 | 0.000 % |
3.98/4.03 c | 17632 | 5858 25047 76003 | 2147483647 15950 119 | 0.000 % |
3.98/4.07 c | 17808 | 5858 25047 76003 | 2147483647 16126 119 | 0.000 % |
4.08/4.12 c | 18001 | 5858 25047 76003 | 2147483647 16319 119 | 0.000 % |
4.08/4.18 c | 18214 | 5858 25047 76003 | 2147483647 16532 119 | 0.000 % |
4.18/4.24 c | 18448 | 5858 25047 76003 | 2147483647 16766 119 | 0.000 % |
4.28/4.32 c | 18704 | 5858 25047 76003 | 2147483647 17022 120 | 0.000 % |
4.28/4.39 c | 18985 | 5858 25047 76003 | 2147483647 17303 120 | 0.000 % |
4.38/4.48 c | 19294 | 5858 25047 76003 | 2147483647 17612 120 | 0.000 % |
4.48/4.58 c | 19633 | 5858 25047 76003 | 2147483647 17951 120 | 0.000 % |
4.58/4.68 c | 20008 | 5858 25047 76003 | 2147483647 18326 120 | 0.000 % |
4.67/4.72 c | 20109 | 5858 25047 76003 | 2147483647 18427 120 | 0.000 % |
4.67/4.75 c | 20220 | 5858 25047 76003 | 2147483647 18538 120 | 0.000 % |
4.67/4.79 c | 20342 | 5858 25047 76003 | 2147483647 18660 120 | 0.000 % |
4.77/4.83 c | 20478 | 5858 25047 76003 | 2147483647 18796 120 | 0.000 % |
4.77/4.87 c | 20624 | 5858 25047 76003 | 2147483647 18942 120 | 0.000 % |
4.87/4.92 c | 20784 | 5858 25047 76003 | 2147483647 19102 120 | 0.000 % |
4.87/4.97 c | 20961 | 5858 25047 76003 | 2147483647 19279 120 | 0.000 % |
4.97/5.02 c | 21154 | 5858 25047 76003 | 2147483647 19472 120 | 0.000 % |
4.97/5.08 c | 21366 | 5858 25047 76003 | 2147483647 19684 120 | 0.000 % |
5.07/5.15 c | 21600 | 5858 25047 76003 | 2147483647 19918 120 | 0.000 % |
5.17/5.23 c | 21856 | 5858 25047 76003 | 2147483647 20174 121 | 0.000 % |
5.27/5.31 c | 22137 | 5858 25047 76003 | 2147483647 20455 120 | 0.000 % |
5.37/5.41 c | 22446 | 5858 25047 76003 | 2147483647 20764 120 | 0.000 % |
5.47/5.51 c | 22786 | 5858 25047 76003 | 2147483647 21104 120 | 0.000 % |
5.57/5.62 c | 23158 | 5858 25047 76003 | 2147483647 21476 121 | 0.000 % |
5.67/5.74 c | 23569 | 5858 25047 76003 | 2147483647 21887 120 | 0.000 % |
5.67/5.78 c | 23671 | 5858 25047 76003 | 2147483647 21989 120 | 0.000 % |
5.77/5.82 c | 23781 | 5858 25047 76003 | 2147483647 22099 120 | 0.000 % |
5.77/5.86 c | 23903 | 5858 25047 76003 | 2147483647 22221 120 | 0.000 % |
5.87/5.90 c | 24036 | 5858 25047 76003 | 2147483647 22354 120 | 0.000 % |
5.87/5.95 c | 24184 | 5858 25047 76003 | 2147483647 22502 120 | 0.000 % |
5.97/6.00 c | 24345 | 5858 25047 76003 | 2147483647 22663 120 | 0.000 % |
5.97/6.06 c | 24521 | 5858 25047 76003 | 2147483647 22839 120 | 0.000 % |
6.07/6.12 c | 24714 | 5858 25047 76003 | 2147483647 23032 120 | 0.000 % |
6.07/6.19 c | 24927 | 5858 25047 76003 | 2147483647 23245 120 | 0.000 % |
6.17/6.27 c | 25160 | 5858 25047 76003 | 2147483647 23478 120 | 0.000 % |
6.27/6.35 c | 25416 | 5858 25047 76003 | 2147483647 23734 120 | 0.000 % |
6.38/6.44 c | 25699 | 5858 25047 76003 | 2147483647 24017 120 | 0.000 % |
6.48/6.55 c | 26008 | 5858 25047 76003 | 2147483647 24326 120 | 0.000 % |
6.58/6.65 c | 26348 | 5858 25047 76003 | 2147483647 24666 120 | 0.000 % |
6.68/6.76 c | 26720 | 5858 25047 76003 | 2147483647 25038 121 | 0.000 % |
6.78/6.89 c | 27129 | 5858 25047 76003 | 2147483647 25447 121 | 0.000 % |
6.98/7.04 c | 27578 | 5858 25047 76003 | 2147483647 25896 121 | 0.000 % |
6.98/7.07 c | 27679 | 5858 25047 76003 | 2147483647 25997 121 | 0.000 % |
7.08/7.11 c | 27790 | 5858 25047 76003 | 2147483647 26108 121 | 0.000 % |
7.08/7.16 c | 27912 | 5858 25047 76003 | 2147483647 26230 121 | 0.000 % |
7.18/7.21 c | 28045 | 5858 25047 76003 | 2147483647 26363 121 | 0.000 % |
7.18/7.26 c | 28192 | 5858 25047 76003 | 2147483647 26510 121 | 0.000 % |
7.28/7.31 c | 28352 | 5858 25047 76003 | 2147483647 26670 121 | 0.000 % |
7.28/7.38 c | 28528 | 5858 25047 76003 | 2147483647 26846 121 | 0.000 % |
7.38/7.44 c | 28721 | 5858 25047 76003 | 2147483647 27039 121 | 0.000 % |
7.48/7.52 c | 28935 | 5858 25047 76003 | 2147483647 27253 121 | 0.000 % |
7.48/7.60 c | 29170 | 5858 25047 76003 | 2147483647 27488 120 | 0.000 % |
7.58/7.68 c | 29426 | 5858 25047 76003 | 2147483647 27744 120 | 0.000 % |
7.68/7.77 c | 29707 | 5858 25047 76003 | 2147483647 28025 120 | 0.000 % |
7.78/7.88 c | 30020 | 5858 25047 76003 | 2147483647 28338 121 | 0.000 % |
7.88/7.99 c | 30360 | 5858 25047 76003 | 2147483647 28678 121 | 0.000 % |
8.08/8.12 c | 30733 | 5858 25047 76003 | 2147483647 29051 121 | 0.000 % |
8.17/8.26 c | 31142 | 5858 25047 76003 | 2147483647 29460 121 | 0.000 % |
8.37/8.41 c | 31591 | 5858 25047 76003 | 2147483647 29909 121 | 0.000 % |
8.47/8.58 c | 32084 | 5858 25047 76003 | 2147483647 30402 121 | 0.000 % |
8.57/8.62 c | 32185 | 5858 25047 76003 | 2147483647 30503 121 | 0.000 % |
8.57/8.66 c | 32295 | 5858 25047 76003 | 2147483647 30613 121 | 0.000 % |
8.67/8.71 c | 32416 | 5858 25047 76003 | 2147483647 30734 121 | 0.000 % |
8.67/8.76 c | 32549 | 5858 25047 76003 | 2147483647 30867 121 | 0.000 % |
8.77/8.82 c | 32695 | 5858 25047 76003 | 2147483647 31013 121 | 0.000 % |
8.77/8.88 c | 32855 | 5858 25047 76003 | 2147483647 31173 121 | 0.000 % |
8.87/8.94 c | 33033 | 5858 25047 76003 | 2147483647 31351 121 | 0.000 % |
8.97/9.01 c | 33227 | 5858 25047 76003 | 2147483647 31545 121 | 0.000 % |
9.07/9.10 c | 33441 | 5858 25047 76003 | 2147483647 31759 121 | 0.000 % |
9.07/9.19 c | 33675 | 5858 25047 76003 | 2147483647 31993 121 | 0.000 % |
9.17/9.28 c | 33932 | 5858 25047 76003 | 2147483647 32250 121 | 0.000 % |
9.27/9.39 c | 34213 | 5858 25047 76003 | 2147483647 32531 121 | 0.000 % |
9.47/9.52 c | 34523 | 5858 25047 76003 | 2147483647 32841 121 | 0.000 % |
9.57/9.65 c | 34862 | 5858 25047 76003 | 2147483647 33180 121 | 0.000 % |
9.67/9.79 c | 35235 | 5858 25047 76003 | 2147483647 33553 121 | 0.000 % |
9.87/9.94 c | 35645 | 5858 25047 76003 | 2147483647 33963 121 | 0.000 % |
10.07/10.11 c | 36094 | 5858 25047 76003 | 2147483647 34412 122 | 0.000 % |
10.27/10.31 c | 36587 | 5858 25047 76003 | 2147483647 34905 122 | 0.000 % |
10.47/10.52 c | 37129 | 5858 25047 76003 | 2147483647 35447 122 | 0.000 % |
10.47/10.57 c | 37229 | 5858 25047 76003 | 2147483647 35547 122 | 0.000 % |
10.56/10.61 c | 37340 | 5858 25047 76003 | 2147483647 35658 122 | 0.000 % |
10.56/10.67 c | 37461 | 5858 25047 76003 | 2147483647 35779 122 | 0.000 % |
10.66/10.72 c | 37594 | 5858 25047 76003 | 2147483647 35912 122 | 0.000 % |
10.66/10.79 c | 37740 | 5858 25047 76003 | 2147483647 36058 122 | 0.000 % |
10.76/10.86 c | 37902 | 5858 25047 76003 | 2147483647 36220 122 | 0.000 % |
10.87/10.93 c | 38079 | 5858 25047 76003 | 2147483647 36397 122 | 0.000 % |
10.97/11.01 c | 38274 | 5858 25047 76003 | 2147483647 36592 122 | 0.000 % |
11.07/11.10 c | 38486 | 5858 25047 76003 | 2147483647 36804 122 | 0.000 % |
11.07/11.19 c | 38719 | 5858 25047 76003 | 2147483647 37037 122 | 0.000 % |
11.17/11.29 c | 38977 | 5858 25047 76003 | 2147483647 37295 122 | 0.000 % |
11.37/11.40 c | 39259 | 5858 25047 76003 | 2147483647 37577 122 | 0.000 % |
11.47/11.52 c | 39568 | 5858 25047 76003 | 2147483647 37886 122 | 0.000 % |
11.57/11.67 c | 39907 | 5858 25047 76003 | 2147483647 38225 122 | 0.000 % |
11.76/11.83 c | 40279 | 5858 25047 76003 | 2147483647 38597 122 | 0.000 % |
11.86/12.00 c | 40692 | 5858 25047 76003 | 2147483647 39010 122 | 0.000 % |
12.07/12.17 c | 41143 | 5858 25047 76003 | 2147483647 39461 122 | 0.000 % |
12.26/12.38 c | 41636 | 5858 25047 76003 | 2147483647 39954 123 | 0.000 % |
12.56/12.60 c | 42178 | 5858 25047 76003 | 2147483647 40496 123 | 0.000 % |
12.77/12.84 c | 42774 | 5858 25047 76003 | 2147483647 41092 123 | 0.000 % |
12.77/12.89 c | 42874 | 5858 25047 76003 | 2147483647 41192 123 | 0.000 % |
12.87/12.93 c | 42984 | 5858 25047 76003 | 2147483647 41302 123 | 0.000 % |
12.87/12.99 c | 43106 | 5858 25047 76003 | 2147483647 41424 123 | 0.000 % |
12.97/13.05 c | 43241 | 5858 25047 76003 | 2147483647 41559 123 | 0.000 % |
13.07/13.12 c | 43388 | 5858 25047 76003 | 2147483647 41706 123 | 0.000 % |
13.07/13.20 c | 43550 | 5858 25047 76003 | 2147483647 41868 123 | 0.000 % |
13.17/13.28 c | 43726 | 5858 25047 76003 | 2147483647 42044 122 | 0.000 % |
13.27/13.35 c | 43919 | 5858 25047 76003 | 2147483647 42237 122 | 0.000 % |
13.36/13.44 c | 44133 | 5858 25047 76003 | 2147483647 42451 122 | 0.000 % |
13.46/13.54 c | 44367 | 5858 25047 76003 | 2147483647 42685 122 | 0.000 % |
13.56/13.66 c | 44623 | 5858 25047 76003 | 2147483647 42941 123 | 0.000 % |
13.66/13.78 c | 44904 | 5858 25047 76003 | 2147483647 43222 123 | 0.000 % |
13.86/13.93 c | 45213 | 5858 25047 76003 | 2147483647 43531 123 | 0.000 % |
13.96/14.07 c | 45554 | 5858 25047 76003 | 2147483647 43872 123 | 0.000 % |
14.16/14.24 c | 45927 | 5858 25047 76003 | 2147483647 44245 123 | 0.000 % |
14.36/14.42 c | 46340 | 5858 25047 76003 | 2147483647 44658 123 | 0.000 % |
14.56/14.64 c | 46790 | 5858 25047 76003 | 2147483647 45108 123 | 0.000 % |
14.76/14.85 c | 47283 | 5858 25047 76003 | 2147483647 45601 123 | 0.000 % |
14.96/15.08 c | 47825 | 5858 25047 76003 | 2147483647 46143 123 | 0.000 % |
15.26/15.35 c | 48422 | 5858 25047 76003 | 2147483647 46740 124 | 0.000 % |
15.56/15.68 c | 49077 | 5858 25047 76003 | 2147483647 47395 124 | 0.000 % |
15.66/15.73 c | 49177 | 5858 25047 76003 | 2147483647 47495 124 | 0.000 % |
15.66/15.79 c | 49288 | 5858 25047 76003 | 2147483647 47606 124 | 0.000 % |
15.76/15.86 c | 49410 | 5858 25047 76003 | 2147483647 47728 124 | 0.000 % |
15.86/15.92 c | 49544 | 5858 25047 76003 | 2147483647 47862 124 | 0.000 % |
15.96/16.01 c | 49693 | 5858 25047 76003 | 2147483647 48011 124 | 0.000 % |
15.96/16.09 c | 49853 | 5858 25047 76003 | 2147483647 48171 124 | 0.000 % |
16.06/16.17 c | 50030 | 5858 25047 76003 | 2147483647 48348 124 | 0.000 % |
16.16/16.26 c | 50223 | 5858 25047 76003 | 2147483647 48541 124 | 0.000 % |
16.26/16.37 c | 50436 | 5858 25047 76003 | 2147483647 48754 124 | 0.000 % |
16.36/16.49 c | 50669 | 5858 25047 76003 | 2147483647 48987 124 | 0.000 % |
16.55/16.61 c | 50925 | 5858 25047 76003 | 2147483647 49243 124 | 0.000 % |
16.66/16.75 c | 51206 | 5858 25047 76003 | 2147483647 49524 124 | 0.000 % |
16.76/16.89 c | 51516 | 5858 25047 76003 | 2147483647 49834 124 | 0.000 % |
16.96/17.06 c | 51857 | 5858 25047 76003 | 2147483647 50175 124 | 0.000 % |
17.16/17.22 c | 52229 | 5858 25047 76003 | 2147483647 50547 124 | 0.000 % |
17.36/17.42 c | 52641 | 5858 25047 76003 | 2147483647 50959 124 | 0.000 % |
17.56/17.63 c | 53090 | 5858 25047 76003 | 2147483647 51408 125 | 0.000 % |
17.75/17.88 c | 53583 | 5858 25047 76003 | 2147483647 51901 125 | 0.000 % |
18.05/18.15 c | 54127 | 5858 25047 76003 | 2147483647 52445 125 | 0.000 % |
18.35/18.43 c | 54724 | 5858 25047 76003 | 2147483647 53042 125 | 0.000 % |
18.65/18.75 c | 55380 | 5858 25047 76003 | 2147483647 53698 125 | 0.000 % |
19.05/19.11 c | 56100 | 5858 25047 76003 | 2147483647 54418 126 | 0.000 % |
19.05/19.17 c | 56200 | 5858 25047 76003 | 2147483647 54518 126 | 0.000 % |
19.15/19.23 c | 56311 | 5858 25047 76003 | 2147483647 54629 126 | 0.000 % |
19.25/19.30 c | 56432 | 5858 25047 76003 | 2147483647 54750 126 | 0.000 % |
19.25/19.38 c | 56565 | 5858 25047 76003 | 2147483647 54883 126 | 0.000 % |
19.35/19.47 c | 56713 | 5858 25047 76003 | 2147483647 55031 126 | 0.000 % |
19.45/19.56 c | 56874 | 5858 25047 76003 | 2147483647 55192 126 | 0.000 % |
19.55/19.64 c | 57051 | 5858 25047 76003 | 2147483647 55369 126 | 0.000 % |
19.65/19.76 c | 57245 | 5858 25047 76003 | 2147483647 55563 126 | 0.000 % |
19.75/19.86 c | 57457 | 5858 25047 76003 | 2147483647 55775 126 | 0.000 % |
19.85/19.97 c | 57690 | 5858 25047 76003 | 2147483647 56008 126 | 0.000 % |
20.05/20.12 c | 57947 | 5858 25047 76003 | 2147483647 56265 126 | 0.000 % |
20.14/20.27 c | 58229 | 5858 25047 76003 | 2147483647 56547 126 | 0.000 % |
20.34/20.44 c | 58538 | 5858 25047 76003 | 2147483647 56856 126 | 0.000 % |
20.55/20.63 c | 58878 | 5858 25047 76003 | 2147483647 57196 126 | 0.000 % |
20.76/20.83 c | 59250 | 5858 25047 76003 | 2147483647 57568 126 | 0.000 % |
20.95/21.02 c | 59661 | 5858 25047 76003 | 2147483647 57979 126 | 0.000 % |
21.15/21.24 c | 60110 | 5858 25047 76003 | 2147483647 58428 126 | 0.000 % |
21.35/21.49 c | 60603 | 5858 25047 76003 | 2147483647 58921 126 | 0.000 % |
21.65/21.77 c | 61147 | 5858 25047 76003 | 2147483647 59465 127 | 0.000 % |
21.95/22.06 c | 61746 | 5858 25047 76003 | 2147483647 60064 127 | 0.000 % |
22.34/22.40 c | 62402 | 5858 25047 76003 | 2147483647 60720 127 | 0.000 % |
22.64/22.74 c | 63123 | 5858 25047 76003 | 2147483647 61441 127 | 0.000 % |
23.05/23.18 c | 63915 | 5858 25047 76003 | 2147483647 62233 127 | 0.000 % |
23.14/23.24 c | 64017 | 5858 25047 76003 | 2147483647 62335 127 | 0.000 % |
23.24/23.31 c | 64127 | 5858 25047 76003 | 2147483647 62445 127 | 0.000 % |
23.24/23.39 c | 64250 | 5858 25047 76003 | 2147483647 62568 127 | 0.000 % |
23.34/23.46 c | 64383 | 5858 25047 76003 | 2147483647 62701 127 | 0.000 % |
23.44/23.56 c | 64529 | 5858 25047 76003 | 2147483647 62847 127 | 0.000 % |
23.54/23.66 c | 64689 | 5858 25047 76003 | 2147483647 63007 127 | 0.000 % |
23.64/23.75 c | 64865 | 5858 25047 76003 | 2147483647 63183 127 | 0.000 % |
23.74/23.86 c | 65058 | 5858 25047 76003 | 2147483647 63376 127 | 0.000 % |
23.84/23.99 c | 65270 | 5858 25047 76003 | 2147483647 63588 127 | 0.000 % |
24.04/24.13 c | 65504 | 5858 25047 76003 | 2147483647 63822 127 | 0.000 % |
24.14/24.29 c | 65761 | 5858 25047 76003 | 2147483647 64079 127 | 0.000 % |
24.35/24.45 c | 66042 | 5858 25047 76003 | 2147483647 64360 127 | 0.000 % |
24.55/24.63 c | 66352 | 5858 25047 76003 | 2147483647 64670 127 | 0.000 % |
24.75/24.81 c | 66691 | 5858 25047 76003 | 2147483647 65009 127 | 0.000 % |
24.95/25.02 c | 67063 | 5858 25047 76003 | 2147483647 65381 127 | 0.000 % |
25.15/25.25 c | 67472 | 5858 25047 76003 | 2147483647 65790 127 | 0.000 % |
25.45/25.51 c | 67924 | 5858 25047 76003 | 2147483647 66242 127 | 0.000 % |
25.65/25.78 c | 68418 | 5858 25047 76003 | 2147483647 66736 127 | 0.000 % |
26.05/26.10 c | 68960 | 5858 25047 76003 | 2147483647 67278 127 | 0.000 % |
26.35/26.46 c | 69557 | 5858 25047 76003 | 2147483647 67875 127 | 0.000 % |
26.74/26.85 c | 70212 | 5858 25047 76003 | 2147483647 68530 128 | 0.000 % |
27.14/27.27 c | 70932 | 5858 25047 76003 | 2147483647 69250 128 | 0.000 % |
27.64/27.74 c | 71725 | 5858 25047 76003 | 2147483647 70043 128 | 0.000 % |
28.14/28.22 c | 72597 | 5858 25047 76003 | 2147483647 70915 128 | 0.000 % |
28.24/28.30 c | 72698 | 5858 25047 76003 | 2147483647 71016 128 | 0.000 % |
28.24/28.38 c | 72810 | 5858 25047 76003 | 2147483647 71128 128 | 0.000 % |
28.34/28.48 c | 72932 | 5858 25047 76003 | 2147483647 71250 128 | 0.000 % |
28.44/28.57 c | 73065 | 5858 25047 76003 | 2147483647 71383 128 | 0.000 % |
28.54/28.67 c | 73211 | 5858 25047 76003 | 2147483647 71529 128 | 0.000 % |
28.64/28.76 c | 73372 | 5858 25047 76003 | 2147483647 71690 128 | 0.000 % |
28.74/28.88 c | 73550 | 5858 25047 76003 | 2147483647 71868 128 | 0.000 % |
28.94/29.03 c | 73745 | 5858 25047 76003 | 2147483647 72063 128 | 0.000 % |
29.04/29.17 c | 73957 | 5858 25047 76003 | 2147483647 72275 128 | 0.000 % |
29.24/29.33 c | 74191 | 5858 25047 76003 | 2147483647 72509 128 | 0.000 % |
29.34/29.49 c | 74447 | 5858 25047 76003 | 2147483647 72765 128 | 0.000 % |
29.54/29.68 c | 74730 | 5858 25047 76003 | 2147483647 73048 128 | 0.000 % |
29.74/29.87 c | 75040 | 5858 25047 76003 | 2147483647 73358 128 | 0.000 % |
30.04/30.11 c | 75382 | 5858 25047 76003 | 2147483647 73700 128 | 0.000 % |
30.24/30.36 c | 75757 | 5858 25047 76003 | 2147483647 74075 128 | 0.000 % |
30.55/30.62 c | 76166 | 5858 25047 76003 | 2147483647 74484 128 | 0.000 % |
30.85/30.90 c | 76617 | 5858 25047 76003 | 2147483647 74935 128 | 0.000 % |
31.04/31.17 c | 77110 | 5858 25047 76003 | 2147483647 75428 129 | 0.000 % |
31.34/31.49 c | 77653 | 5858 25047 76003 | 2147483647 75971 129 | 0.000 % |
31.75/31.84 c | 78249 | 5858 25047 76003 | 2147483647 76567 129 | 0.000 % |
32.14/32.27 c | 78904 | 5858 25047 76003 | 2147483647 77222 129 | 0.000 % |
32.64/32.72 c | 79625 | 5858 25047 76003 | 2147483647 77943 129 | 0.000 % |
33.14/33.22 c | 80421 | 5858 25047 76003 | 2147483647 78739 129 | 0.000 % |
33.64/33.77 c | 81292 | 5858 25047 76003 | 2147483647 79610 130 | 0.000 % |
34.24/34.31 c | 82251 | 5858 25047 76003 | 2147483647 80569 130 | 0.000 % |
34.24/34.37 c | 82352 | 5858 25047 76003 | 2147483647 80670 130 | 0.000 % |
34.34/34.46 c | 82462 | 5858 25047 76003 | 2147483647 80780 130 | 0.000 % |
34.44/34.56 c | 82584 | 5858 25047 76003 | 2147483647 80902 130 | 0.000 % |
34.54/34.66 c | 82719 | 5858 25047 76003 | 2147483647 81037 130 | 0.000 % |
34.64/34.77 c | 82867 | 5858 25047 76003 | 2147483647 81185 130 | 0.000 % |
34.74/34.89 c | 83027 | 5858 25047 76003 | 2147483647 81345 130 | 0.000 % |
34.94/35.02 c | 83204 | 5858 25047 76003 | 2147483647 81522 130 | 0.000 % |
35.04/35.15 c | 83397 | 5858 25047 76003 | 2147483647 81715 130 | 0.000 % |
35.24/35.30 c | 83609 | 5858 25047 76003 | 2147483647 81927 130 | 0.000 % |
35.34/35.46 c | 83842 | 5858 25047 76003 | 2147483647 82160 130 | 0.000 % |
35.54/35.64 c | 84101 | 5858 25047 76003 | 2147483647 82419 130 | 0.000 % |
35.74/35.84 c | 84384 | 5858 25047 76003 | 2147483647 82702 130 | 0.000 % |
35.94/36.04 c | 84693 | 5858 25047 76003 | 2147483647 83011 130 | 0.000 % |
36.14/36.28 c | 85032 | 5858 25047 76003 | 2147483647 83350 130 | 0.000 % |
36.44/36.54 c | 85407 | 5858 25047 76003 | 2147483647 83725 130 | 0.000 % |
36.74/36.82 c | 85819 | 5858 25047 76003 | 2147483647 84137 130 | 0.000 % |
37.03/37.14 c | 86270 | 5858 25047 76003 | 2147483647 84588 130 | 0.000 % |
37.34/37.48 c | 86764 | 5858 25047 76003 | 2147483647 85082 130 | 0.000 % |
37.73/37.84 c | 87306 | 5858 25047 76003 | 2147483647 85624 130 | 0.000 % |
38.14/38.24 c | 87904 | 5858 25047 76003 | 2147483647 86222 130 | 0.000 % |
38.54/38.66 c | 88560 | 5858 25047 76003 | 2147483647 86878 130 | 0.000 % |
39.04/39.15 c | 89280 | 5858 25047 76003 | 2147483647 87598 130 | 0.000 % |
39.54/39.66 c | 90073 | 5858 25047 76003 | 2147483647 88391 130 | 0.000 % |
40.13/40.29 c | 90944 | 5858 25047 76003 | 2147483647 89262 130 | 0.000 % |
40.73/40.89 c | 91903 | 5858 25047 76003 | 2147483647 90221 131 | 0.000 % |
41.44/41.60 c | 92959 | 5858 25047 76003 | 2147483647 91277 131 | 0.000 % |
41.54/41.69 c | 93059 | 5858 25047 76003 | 2147483647 91377 131 | 0.000 % |
41.64/41.79 c | 93169 | 5858 25047 76003 | 2147483647 91487 131 | 0.000 % |
41.74/41.88 c | 93290 | 5858 25047 76003 | 2147483647 91608 131 | 0.000 % |
41.84/41.99 c | 93425 | 5858 25047 76003 | 2147483647 91743 131 | 0.000 % |
42.04/42.11 c | 93571 | 5858 25047 76003 | 2147483647 91889 131 | 0.000 % |
42.14/42.26 c | 93732 | 5858 25047 76003 | 2147483647 92050 131 | 0.000 % |
42.33/42.40 c | 93908 | 5858 25047 76003 | 2147483647 92226 131 | 0.000 % |
42.43/42.56 c | 94102 | 5858 25047 76003 | 2147483647 92420 131 | 0.000 % |
42.63/42.72 c | 94314 | 5858 25047 76003 | 2147483647 92632 131 | 0.000 % |
42.73/42.90 c | 94547 | 5858 25047 76003 | 2147483647 92865 131 | 0.000 % |
43.03/43.10 c | 94805 | 5858 25047 76003 | 2147483647 93123 131 | 0.000 % |
43.23/43.31 c | 95086 | 5858 25047 76003 | 2147483647 93404 131 | 0.000 % |
43.43/43.53 c | 95396 | 5858 25047 76003 | 2147483647 93714 131 | 0.000 % |
43.63/43.79 c | 95739 | 5858 25047 76003 | 2147483647 94057 131 | 0.000 % |
43.93/44.08 c | 96113 | 5858 25047 76003 | 2147483647 94431 131 | 0.000 % |
44.23/44.35 c | 96522 | 5858 25047 76003 | 2147483647 94840 131 | 0.000 % |
44.62/44.71 c | 96973 | 5858 25047 76003 | 2147483647 95291 131 | 0.000 % |
44.93/45.06 c | 97467 | 5858 25047 76003 | 2147483647 95785 131 | 0.000 % |
45.32/45.47 c | 98009 | 5858 25047 76003 | 2147483647 96327 131 | 0.000 % |
45.83/45.93 c | 98606 | 5858 25047 76003 | 2147483647 96924 131 | 0.000 % |
46.33/46.44 c | 99261 | 5858 25047 76003 | 2147483647 97579 131 | 0.000 % |
46.83/46.96 c | 99983 | 5858 25047 76003 | 2147483647 98301 131 | 0.000 % |
47.43/47.54 c | 100775 | 5858 25047 76003 | 2147483647 99093 131 | 0.000 % |
48.03/48.17 c | 101646 | 5858 25047 76003 | 2147483647 99964 131 | 0.000 % |
48.73/48.89 c | 102606 | 5858 25047 76003 | 2147483647 100924 132 | 0.000 % |
49.53/49.68 c | 103659 | 5858 25047 76003 | 2147483647 101977 132 | 0.000 % |
50.43/50.51 c | 104817 | 5858 25047 76003 | 2147483647 103135 132 | 0.000 % |
50.43/50.60 c | 104917 | 5858 25047 76003 | 2147483647 103235 132 | 0.000 % |
50.54/50.70 c | 105027 | 5858 25047 76003 | 2147483647 103345 132 | 0.000 % |
50.73/50.83 c | 105148 | 5858 25047 76003 | 2147483647 103466 132 | 0.000 % |
50.83/50.95 c | 105283 | 5858 25047 76003 | 2147483647 103601 132 | 0.000 % |
50.93/51.07 c | 105429 | 5858 25047 76003 | 2147483647 103747 132 | 0.000 % |
51.13/51.21 c | 105589 | 5858 25047 76003 | 2147483647 103907 132 | 0.000 % |
51.23/51.39 c | 105766 | 5858 25047 76003 | 2147483647 104084 132 | 0.000 % |
51.43/51.55 c | 105961 | 5858 25047 76003 | 2147483647 104279 132 | 0.000 % |
51.63/51.74 c | 106175 | 5858 25047 76003 | 2147483647 104493 132 | 0.000 % |
51.83/51.94 c | 106409 | 5858 25047 76003 | 2147483647 104727 132 | 0.000 % |
52.03/52.16 c | 106666 | 5858 25047 76003 | 2147483647 104984 132 | 0.000 % |
52.23/52.38 c | 106948 | 5858 25047 76003 | 2147483647 105266 132 | 0.000 % |
52.53/52.61 c | 107257 | 5858 25047 76003 | 2147483647 105575 132 | 0.000 % |
52.73/52.89 c | 107599 | 5858 25047 76003 | 2147483647 105917 132 | 0.000 % |
53.13/53.22 c | 107972 | 5858 25047 76003 | 2147483647 106290 132 | 0.000 % |
53.42/53.52 c | 108381 | 5858 25047 76003 | 2147483647 106699 132 | 0.000 % |
53.73/53.88 c | 108830 | 5858 25047 76003 | 2147483647 107148 132 | 0.000 % |
54.12/54.28 c | 109323 | 5858 25047 76003 | 2147483647 107641 132 | 0.000 % |
54.62/54.74 c | 109865 | 5858 25047 76003 | 2147483647 108183 132 | 0.000 % |
55.12/55.25 c | 110464 | 5858 25047 76003 | 2147483647 108782 132 | 0.000 % |
55.72/55.83 c | 111120 | 5858 25047 76003 | 2147483647 109438 132 | 0.000 % |
56.32/56.42 c | 111840 | 5858 25047 76003 | 2147483647 110158 132 | 0.000 % |
56.92/57.09 c | 112632 | 5858 25047 76003 | 2147483647 110950 132 | 0.000 % |
57.63/57.76 c | 113503 | 5858 25047 76003 | 2147483647 111821 132 | 0.000 % |
58.42/58.57 c | 114461 | 5858 25047 76003 | 2147483647 112779 133 | 0.000 % |
59.33/59.44 c | 115514 | 5858 25047 76003 | 2147483647 113832 133 | 0.000 % |
60.22/60.38 c | 116672 | 5858 25047 76003 | 2147483647 114990 133 | 0.000 % |
61.33/61.41 c | 117946 | 5858 25047 76003 | 2147483647 116264 133 | 0.000 % |
61.43/61.52 c | 118048 | 5858 25047 76003 | 2147483647 116366 133 | 0.000 % |
61.53/61.65 c | 118158 | 5858 25047 76003 | 2147483647 116476 133 | 0.000 % |
61.62/61.75 c | 118279 | 5858 25047 76003 | 2147483647 116597 133 | 0.000 % |
61.72/61.88 c | 118412 | 5858 25047 76003 | 2147483647 116730 133 | 0.000 % |
61.92/62.02 c | 118558 | 5858 25047 76003 | 2147483647 116876 133 | 0.000 % |
62.12/62.21 c | 118718 | 5858 25047 76003 | 2147483647 117036 133 | 0.000 % |
62.22/62.38 c | 118894 | 5858 25047 76003 | 2147483647 117212 133 | 0.000 % |
62.42/62.58 c | 119087 | 5858 25047 76003 | 2147483647 117405 133 | 0.000 % |
62.62/62.77 c | 119299 | 5858 25047 76003 | 2147483647 117617 133 | 0.000 % |
62.92/63.02 c | 119532 | 5858 25047 76003 | 2147483647 117850 133 | 0.000 % |
63.12/63.28 c | 119789 | 5858 25047 76003 | 2147483647 118107 133 | 0.000 % |
63.42/63.55 c | 120071 | 5858 25047 76003 | 2147483647 118389 133 | 0.000 % |
63.72/63.84 c | 120380 | 5858 25047 76003 | 2147483647 118698 133 | 0.000 % |
64.01/64.14 c | 120720 | 5858 25047 76003 | 2147483647 119038 133 | 0.000 % |
64.31/64.48 c | 121093 | 5858 25047 76003 | 2147483647 119411 133 | 0.000 % |
64.71/64.87 c | 121502 | 5858 25047 76003 | 2147483647 119820 133 | 0.000 % |
65.22/65.33 c | 121951 | 5858 25047 76003 | 2147483647 120269 133 | 0.000 % |
65.61/65.78 c | 122445 | 5858 25047 76003 | 2147483647 120763 133 | 0.000 % |
66.11/66.25 c | 122987 | 5858 25047 76003 | 2147483647 121305 133 | 0.000 % |
66.71/66.82 c | 123584 | 5858 25047 76003 | 2147483647 121902 133 | 0.000 % |
67.31/67.49 c | 124246 | 5858 25047 76003 | 2147483647 122564 133 | 0.000 % |
68.01/68.10 c | 124966 | 5858 25047 76003 | 2147483647 123284 133 | 0.000 % |
68.61/68.77 c | 125758 | 5858 25047 76003 | 2147483647 124076 133 | 0.000 % |
69.40/69.55 c | 126631 | 5858 25047 76003 | 2147483647 124949 133 | 0.000 % |
70.31/70.45 c | 127589 | 5858 25047 76003 | 2147483647 125907 133 | 0.000 % |
71.32/71.45 c | 128642 | 5858 25047 76003 | 2147483647 126960 133 | 0.000 % |
72.31/72.45 c | 129801 | 5858 25047 76003 | 2147483647 128119 133 | 0.000 % |
73.51/73.63 c | 131076 | 5858 25047 76003 | 2147483647 129394 134 | 0.000 % |
74.81/74.95 c | 132476 | 5858 25047 76003 | 2147483647 130794 134 | 0.000 % |
74.91/75.05 c | 132577 | 5858 25047 76003 | 2147483647 130895 134 | 0.000 % |
75.01/75.19 c | 132689 | 5858 25047 76003 | 2147483647 131007 134 | 0.000 % |
75.21/75.33 c | 132810 | 5858 25047 76003 | 2147483647 131128 134 | 0.000 % |
75.31/75.50 c | 132943 | 5858 25047 76003 | 2147483647 131261 134 | 0.000 % |
75.51/75.66 c | 133090 | 5858 25047 76003 | 2147483647 131408 134 | 0.000 % |
75.71/75.83 c | 133253 | 5858 25047 76003 | 2147483647 131571 134 | 0.000 % |
75.91/76.03 c | 133429 | 5858 25047 76003 | 2147483647 131747 134 | 0.000 % |
76.10/76.23 c | 133624 | 5858 25047 76003 | 2147483647 131942 134 | 0.000 % |
76.31/76.46 c | 133836 | 5858 25047 76003 | 2147483647 132154 134 | 0.000 % |
76.61/76.71 c | 134069 | 5858 25047 76003 | 2147483647 132387 134 | 0.000 % |
76.81/76.99 c | 134326 | 5858 25047 76003 | 2147483647 132644 134 | 0.000 % |
77.11/77.27 c | 134607 | 5858 25047 76003 | 2147483647 132925 134 | 0.000 % |
77.41/77.59 c | 134916 | 5858 25047 76003 | 2147483647 133234 134 | 0.000 % |
77.81/77.94 c | 135255 | 5858 25047 76003 | 2147483647 133573 134 | 0.000 % |
78.21/78.31 c | 135627 | 5858 25047 76003 | 2147483647 133945 134 | 0.000 % |
78.61/78.72 c | 136036 | 5858 25047 76003 | 2147483647 134354 134 | 0.000 % |
79.11/79.21 c | 136486 | 5858 25047 76003 | 2147483647 134804 134 | 0.000 % |
79.50/79.70 c | 136980 | 5858 25047 76003 | 2147483647 135298 134 | 0.000 % |
80.11/80.21 c | 137522 | 5858 25047 76003 | 2147483647 135840 134 | 0.000 % |
80.70/80.84 c | 138120 | 5858 25047 76003 | 2147483647 136438 134 | 0.000 % |
81.31/81.46 c | 138775 | 5858 25047 76003 | 2147483647 137093 134 | 0.000 % |
82.10/82.21 c | 139498 | 5858 25047 76003 | 2147483647 137816 134 | 0.000 % |
82.91/83.02 c | 140291 | 5858 25047 76003 | 2147483647 138609 134 | 0.000 % |
83.70/83.88 c | 141162 | 5858 25047 76003 | 2147483647 139480 134 | 0.000 % |
84.61/84.74 c | 142122 | 5858 25047 76003 | 2147483647 140440 134 | 0.000 % |
85.60/85.75 c | 143175 | 5858 25047 76003 | 2147483647 141493 134 | 0.000 % |
86.81/86.91 c | 144333 | 5858 25047 76003 | 2147483647 142651 134 | 0.000 % |
88.00/88.17 c | 145606 | 5858 25047 76003 | 2147483647 143924 134 | 0.000 % |
89.40/89.52 c | 147006 | 5858 25047 76003 | 2147483647 145324 134 | 0.000 % |
90.90/91.04 c | 148546 | 5858 25047 76003 | 2147483647 146864 134 | 0.000 % |
91.00/91.18 c | 148646 | 5858 25047 76003 | 2147483647 146964 134 | 0.000 % |
91.10/91.30 c | 148757 | 5858 25047 76003 | 2147483647 147075 134 | 0.000 % |
91.30/91.44 c | 148878 | 5858 25047 76003 | 2147483647 147196 134 | 0.000 % |
91.40/91.59 c | 149011 | 5858 25047 76003 | 2147483647 147329 134 | 0.000 % |
91.70/91.80 c | 149157 | 5858 25047 76003 | 2147483647 147475 134 | 0.000 % |
91.90/92.00 c | 149318 | 5858 25047 76003 | 2147483647 147636 134 | 0.000 % |
92.10/92.21 c | 149497 | 5858 25047 76003 | 2147483647 147815 134 | 0.000 % |
92.30/92.45 c | 149693 | 5858 25047 76003 | 2147483647 148011 134 | 0.000 % |
92.50/92.68 c | 149905 | 5858 25047 76003 | 2147483647 148223 134 | 0.000 % |
92.81/92.95 c | 150139 | 5858 25047 76003 | 2147483647 148457 134 | 0.000 % |
93.11/93.25 c | 150397 | 5858 25047 76003 | 2147483647 148715 134 | 0.000 % |
93.41/93.57 c | 150678 | 5858 25047 76003 | 2147483647 148996 134 | 0.000 % |
93.71/93.87 c | 150988 | 5858 25047 76003 | 2147483647 149306 134 | 0.000 % |
94.11/94.24 c | 151327 | 5858 25047 76003 | 2147483647 149645 134 | 0.000 % |
94.51/94.65 c | 151700 | 5858 25047 76003 | 2147483647 150018 134 | 0.000 % |
94.90/95.07 c | 152111 | 5858 25047 76003 | 2147483647 150429 134 | 0.000 % |
95.40/95.53 c | 152560 | 5858 25047 76003 | 2147483647 150878 134 | 0.000 % |
95.90/96.08 c | 153053 | 5858 25047 76003 | 2147483647 151371 134 | 0.000 % |
96.61/96.71 c | 153595 | 5858 25047 76003 | 2147483647 151913 134 | 0.000 % |
97.20/97.39 c | 154191 | 5858 25047 76003 | 2147483647 152509 134 | 0.000 % |
98.00/98.11 c | 154847 | 5858 25047 76003 | 2147483647 153165 134 | 0.000 % |
98.70/98.90 c | 155568 | 5858 25047 76003 | 2147483647 153886 134 | 0.000 % |
99.60/99.76 c | 156360 | 5858 25047 76003 | 2147483647 154678 134 | 0.000 % |
100.60/100.73 c | 157231 | 5858 25047 76003 | 2147483647 155549 134 | 0.000 % |
101.60/101.72 c | 158190 | 5858 25047 76003 | 2147483647 156508 134 | 0.000 % |
102.70/102.80 c | 159244 | 5858 25047 76003 | 2147483647 157562 134 | 0.000 % |
103.79/103.98 c | 160402 | 5858 25047 76003 | 2147483647 158720 134 | 0.000 % |
105.19/105.37 c | 161675 | 5858 25047 76003 | 2147483647 159993 135 | 0.000 % |
106.70/106.84 c | 163075 | 5858 25047 76003 | 2147483647 161393 135 | 0.000 % |
108.39/108.57 c | 164615 | 5858 25047 76003 | 2147483647 162933 135 | 0.000 % |
110.19/110.39 c | 166309 | 5858 25047 76003 | 2147483647 164627 135 | 0.000 % |
110.38/110.53 c | 166409 | 5858 25047 76003 | 2147483647 164727 135 | 0.000 % |
110.48/110.67 c | 166520 | 5858 25047 76003 | 2147483647 164838 135 | 0.000 % |
110.68/110.86 c | 166641 | 5858 25047 76003 | 2147483647 164959 135 | 0.000 % |
110.89/111.04 c | 166775 | 5858 25047 76003 | 2147483647 165093 135 | 0.000 % |
111.09/111.24 c | 166921 | 5858 25047 76003 | 2147483647 165239 135 | 0.000 % |
111.29/111.44 c | 167081 | 5858 25047 76003 | 2147483647 165399 135 | 0.000 % |
111.49/111.67 c | 167257 | 5858 25047 76003 | 2147483647 165575 135 | 0.000 % |
111.79/111.93 c | 167455 | 5858 25047 76003 | 2147483647 165773 135 | 0.000 % |
112.10/112.21 c | 167667 | 5858 25047 76003 | 2147483647 165985 135 | 0.000 % |
112.29/112.48 c | 167901 | 5858 25047 76003 | 2147483647 166219 135 | 0.000 % |
112.69/112.82 c | 168157 | 5858 25047 76003 | 2147483647 166475 135 | 0.000 % |
112.99/113.17 c | 168439 | 5858 25047 76003 | 2147483647 166757 135 | 0.000 % |
113.39/113.54 c | 168748 | 5858 25047 76003 | 2147483647 167066 135 | 0.000 % |
113.79/113.93 c | 169087 | 5858 25047 76003 | 2147483647 167405 135 | 0.000 % |
114.19/114.36 c | 169459 | 5858 25047 76003 | 2147483647 167777 135 | 0.000 % |
114.69/114.87 c | 169868 | 5858 25047 76003 | 2147483647 168186 135 | 0.000 % |
115.29/115.43 c | 170317 | 5858 25047 76003 | 2147483647 168635 135 | 0.000 % |
115.89/116.02 c | 170815 | 5858 25047 76003 | 2147483647 169133 135 | 0.000 % |
116.49/116.62 c | 171357 | 5858 25047 76003 | 2147483647 169675 135 | 0.000 % |
117.18/117.30 c | 171953 | 5858 25047 76003 | 2147483647 170271 135 | 0.000 % |
117.88/118.07 c | 172611 | 5858 25047 76003 | 2147483647 170929 135 | 0.000 % |
118.69/118.85 c | 173335 | 5858 25047 76003 | 2147483647 171653 135 | 0.000 % |
119.59/119.76 c | 174130 | 5858 25047 76003 | 2147483647 172448 135 | 0.000 % |
120.59/120.77 c | 175003 | 5858 25047 76003 | 2147483647 173321 135 | 0.000 % |
121.79/121.94 c | 175961 | 5858 25047 76003 | 2147483647 174279 135 | 0.000 % |
123.09/123.21 c | 177014 | 5858 25047 76003 | 2147483647 175332 135 | 0.000 % |
124.38/124.53 c | 178173 | 5858 25047 76003 | 2147483647 176491 135 | 0.000 % |
125.88/126.01 c | 179446 | 5858 25047 76003 | 2147483647 177764 135 | 0.000 % |
127.48/127.65 c | 180847 | 5858 25047 76003 | 2147483647 179165 136 | 0.000 % |
129.18/129.36 c | 182387 | 5858 25047 76003 | 2147483647 180705 136 | 0.000 % |
131.18/131.32 c | 184082 | 5858 25047 76003 | 2147483647 182400 136 | 0.000 % |
133.38/133.56 c | 185945 | 5858 25047 76003 | 2147483647 184263 136 | 0.000 % |
133.48/133.69 c | 186045 | 5858 25047 76003 | 2147483647 184363 136 | 0.000 % |
133.68/133.90 c | 186156 | 5858 25047 76003 | 2147483647 184474 136 | 0.000 % |
133.88/134.06 c | 186279 | 5858 25047 76003 | 2147483647 184597 136 | 0.000 % |
134.08/134.24 c | 186413 | 5858 25047 76003 | 2147483647 184731 136 | 0.000 % |
134.28/134.45 c | 186559 | 5858 25047 76003 | 2147483647 184877 136 | 0.000 % |
134.58/134.72 c | 186721 | 5858 25047 76003 | 2147483647 185039 136 | 0.000 % |
134.78/134.98 c | 186899 | 5858 25047 76003 | 2147483647 185217 136 | 0.000 % |
135.08/135.24 c | 187092 | 5858 25047 76003 | 2147483647 185410 136 | 0.000 % |
135.38/135.56 c | 187305 | 5858 25047 76003 | 2147483647 185623 136 | 0.000 % |
135.78/135.90 c | 187538 | 5858 25047 76003 | 2147483647 185856 136 | 0.000 % |
136.18/136.31 c | 187794 | 5858 25047 76003 | 2147483647 186112 136 | 0.000 % |
136.48/136.68 c | 188076 | 5858 25047 76003 | 2147483647 186394 136 | 0.000 % |
136.88/137.07 c | 188386 | 5858 25047 76003 | 2147483647 186704 136 | 0.000 % |
137.38/137.52 c | 188726 | 5858 25047 76003 | 2147483647 187044 136 | 0.000 % |
137.88/138.00 c | 189099 | 5858 25047 76003 | 2147483647 187417 136 | 0.000 % |
138.38/138.53 c | 189509 | 5858 25047 76003 | 2147483647 187827 136 | 0.000 % |
138.98/139.13 c | 189959 | 5858 25047 76003 | 2147483647 188277 136 | 0.000 % |
139.68/139.83 c | 190453 | 5858 25047 76003 | 2147483647 188771 136 | 0.000 % |
140.38/140.54 c | 190996 | 5858 25047 76003 | 2147483647 189314 136 | 0.000 % |
141.17/141.35 c | 191592 | 5858 25047 76003 | 2147483647 189910 136 | 0.000 % |
142.07/142.24 c | 192249 | 5858 25047 76003 | 2147483647 190567 136 | 0.000 % |
142.97/143.13 c | 192970 | 5858 25047 76003 | 2147483647 191288 136 | 0.000 % |
143.98/144.17 c | 193762 | 5858 25047 76003 | 2147483647 192080 136 | 0.000 % |
145.17/145.30 c | 194634 | 5858 25047 76003 | 2147483647 192952 136 | 0.000 % |
146.28/146.47 c | 195593 | 5858 25047 76003 | 2147483647 193911 136 | 0.000 % |
147.68/147.85 c | 196648 | 5858 25047 76003 | 2147483647 194966 136 | 0.000 % |
149.18/149.30 c | 197806 | 5858 25047 76003 | 2147483647 196124 136 | 0.000 % |
150.77/150.90 c | 199079 | 5858 25047 76003 | 2147483647 197397 136 | 0.000 % |
152.57/152.71 c | 200479 | 5858 25047 76003 | 2147483647 198797 136 | 0.000 % |
154.57/154.73 c | 202019 | 5858 25047 76003 | 2147483647 200337 136 | 0.000 % |
156.77/156.92 c | 203714 | 5858 25047 76003 | 2147483647 202032 136 | 0.000 % |
159.17/159.33 c | 205577 | 5858 25047 76003 | 2147483647 203895 136 | 0.000 % |
161.87/162.00 c | 207626 | 5858 25047 76003 | 2147483647 205944 137 | 0.000 % |
161.97/162.18 c | 207728 | 5858 25047 76003 | 2147483647 206046 137 | 0.000 % |
162.17/162.35 c | 207840 | 5858 25047 76003 | 2147483647 206158 137 | 0.000 % |
162.37/162.56 c | 207964 | 5858 25047 76003 | 2147483647 206282 137 | 0.000 % |
162.57/162.77 c | 208098 | 5858 25047 76003 | 2147483647 206416 137 | 0.000 % |
162.87/163.03 c | 208244 | 5858 25047 76003 | 2147483647 206562 137 | 0.000 % |
163.07/163.27 c | 208404 | 5858 25047 76003 | 2147483647 206722 136 | 0.000 % |
163.37/163.52 c | 208581 | 5858 25047 76003 | 2147483647 206899 136 | 0.000 % |
163.67/163.84 c | 208774 | 5858 25047 76003 | 2147483647 207092 136 | 0.000 % |
163.97/164.16 c | 208988 | 5858 25047 76003 | 2147483647 207306 136 | 0.000 % |
164.37/164.54 c | 209221 | 5858 25047 76003 | 2147483647 207539 136 | 0.000 % |
164.77/164.93 c | 209477 | 5858 25047 76003 | 2147483647 207795 136 | 0.000 % |
165.17/165.32 c | 209758 | 5858 25047 76003 | 2147483647 208076 136 | 0.000 % |
165.57/165.80 c | 210067 | 5858 25047 76003 | 2147483647 208385 136 | 0.000 % |
166.17/166.32 c | 210407 | 5858 25047 76003 | 2147483647 208725 136 | 0.000 % |
166.67/166.88 c | 210779 | 5858 25047 76003 | 2147483647 209097 136 | 0.000 % |
167.26/167.44 c | 211189 | 5858 25047 76003 | 2147483647 209507 136 | 0.000 % |
167.86/168.08 c | 211639 | 5858 25047 76003 | 2147483647 209957 136 | 0.000 % |
168.56/168.76 c | 212133 | 5858 25047 76003 | 2147483647 210451 136 | 0.000 % |
169.36/169.50 c | 212675 | 5858 25047 76003 | 2147483647 210993 136 | 0.000 % |
170.17/170.32 c | 213271 | 5858 25047 76003 | 2147483647 211589 136 | 0.000 % |
171.07/171.20 c | 213928 | 5858 25047 76003 | 2147483647 212246 136 | 0.000 % |
172.07/172.20 c | 214649 | 5858 25047 76003 | 2147483647 212967 136 | 0.000 % |
173.06/173.27 c | 215444 | 5858 25047 76003 | 2147483647 213762 136 | 0.000 % |
174.26/174.48 c | 216317 | 5858 25047 76003 | 2147483647 214635 136 | 0.000 % |
175.66/175.84 c | 217275 | 5858 25047 76003 | 2147483647 215593 137 | 0.000 % |
177.06/177.27 c | 218328 | 5858 25047 76003 | 2147483647 216646 137 | 0.000 % |
178.67/178.86 c | 219488 | 5858 25047 76003 | 2147483647 217806 137 | 0.000 % |
180.36/180.58 c | 220762 | 5858 25047 76003 | 2147483647 219080 137 | 0.000 % |
182.26/182.49 c | 222162 | 5858 25047 76003 | 2147483647 220480 137 | 0.000 % |
184.36/184.57 c | 223702 | 5858 25047 76003 | 2147483647 222020 137 | 0.000 % |
186.66/186.88 c | 225396 | 5858 25047 76003 | 2147483647 223714 137 | 0.000 % |
189.16/189.39 c | 227259 | 5858 25047 76003 | 2147483647 225577 137 | 0.000 % |
192.15/192.34 c | 229308 | 5858 25047 76003 | 2147483647 227626 137 | 0.000 % |
195.36/195.58 c | 231561 | 5858 25047 76003 | 2147483647 229879 137 | 0.000 % |
195.66/195.82 c | 231661 | 5858 25047 76003 | 2147483647 229979 137 | 0.000 % |
195.86/196.03 c | 231771 | 5858 25047 76003 | 2147483647 230089 137 | 0.000 % |
196.06/196.23 c | 231892 | 5858 25047 76003 | 2147483647 230210 137 | 0.000 % |
196.26/196.48 c | 232025 | 5858 25047 76003 | 2147483647 230343 137 | 0.000 % |
196.56/196.76 c | 232171 | 5858 25047 76003 | 2147483647 230489 137 | 0.000 % |
196.86/197.06 c | 232332 | 5858 25047 76003 | 2147483647 230650 137 | 0.000 % |
197.16/197.36 c | 232509 | 5858 25047 76003 | 2147483647 230827 137 | 0.000 % |
197.55/197.74 c | 232703 | 5858 25047 76003 | 2147483647 231021 137 | 0.000 % |
197.95/198.13 c | 232915 | 5858 25047 76003 | 2147483647 231233 137 | 0.000 % |
198.35/198.51 c | 233149 | 5858 25047 76003 | 2147483647 231467 137 | 0.000 % |
198.75/198.90 c | 233406 | 5858 25047 76003 | 2147483647 231724 137 | 0.000 % |
199.25/199.40 c | 233687 | 5858 25047 76003 | 2147483647 232005 137 | 0.000 % |
199.75/199.95 c | 233997 | 5858 25047 76003 | 2147483647 232315 137 | 0.000 % |
200.25/200.47 c | 234338 | 5858 25047 76003 | 2147483647 232656 137 | 0.000 % |
200.85/201.05 c | 234710 | 5858 25047 76003 | 2147483647 233028 137 | 0.000 % |
201.44/201.69 c | 235120 | 5858 25047 76003 | 2147483647 233438 137 | 0.000 % |
202.25/202.41 c | 235569 | 5858 25047 76003 | 2147483647 233887 137 | 0.000 % |
203.04/203.24 c | 236062 | 5858 25047 76003 | 2147483647 234380 137 | 0.000 % |
203.94/204.16 c | 236604 | 5858 25047 76003 | 2147483647 234922 137 | 0.000 % |
204.84/205.08 c | 237200 | 5858 25047 76003 | 2147483647 235518 137 | 0.000 % |
205.94/206.13 c | 237860 | 5858 25047 76003 | 2147483647 236178 137 | 0.000 % |
207.04/207.24 c | 238581 | 5858 25047 76003 | 2147483647 236899 137 | 0.000 % |
208.24/208.42 c | 239373 | 5858 25047 76003 | 2147483647 237691 137 | 0.000 % |
209.44/209.66 c | 240246 | 5858 25047 76003 | 2147483647 238564 137 | 0.000 % |
210.95/211.18 c | 241204 | 5858 25047 76003 | 2147483647 239522 137 | 0.000 % |
212.54/212.77 c | 242259 | 5858 25047 76003 | 2147483647 240577 137 | 0.000 % |
214.34/214.52 c | 243419 | 5858 25047 76003 | 2147483647 241737 138 | 0.000 % |
216.14/216.39 c | 244692 | 5858 25047 76003 | 2147483647 243010 137 | 0.000 % |
218.24/218.44 c | 246093 | 5858 25047 76003 | 2147483647 244411 138 | 0.000 % |
220.63/220.82 c | 247634 | 5858 25047 76003 | 2147483647 245952 138 | 0.000 % |
223.24/223.41 c | 249329 | 5858 25047 76003 | 2147483647 247647 138 | 0.000 % |
225.94/226.17 c | 251192 | 5858 25047 76003 | 2147483647 249510 138 | 0.000 % |
228.93/229.12 c | 253241 | 5858 25047 76003 | 2147483647 251559 138 | 0.000 % |
232.23/232.42 c | 255494 | 5858 25047 76003 | 2147483647 253812 138 | 0.000 % |
235.83/236.04 c | 257973 | 5858 25047 76003 | 2147483647 256291 139 | 0.000 % |
236.03/236.25 c | 258073 | 5858 25047 76003 | 2147483647 256391 139 | 0.000 % |
236.23/236.48 c | 258183 | 5858 25047 76003 | 2147483647 256501 139 | 0.000 % |
236.53/236.73 c | 258305 | 5858 25047 76003 | 2147483647 256623 139 | 0.000 % |
236.73/236.97 c | 258438 | 5858 25047 76003 | 2147483647 256756 139 | 0.000 % |
236.94/237.20 c | 258584 | 5858 25047 76003 | 2147483647 256902 139 | 0.000 % |
237.34/237.56 c | 258744 | 5858 25047 76003 | 2147483647 257062 139 | 0.000 % |
237.64/237.88 c | 258920 | 5858 25047 76003 | 2147483647 257238 139 | 0.000 % |
238.03/238.25 c | 259114 | 5858 25047 76003 | 2147483647 257432 139 | 0.000 % |
238.44/238.65 c | 259326 | 5858 25047 76003 | 2147483647 257644 139 | 0.000 % |
238.83/239.07 c | 259561 | 5858 25047 76003 | 2147483647 257879 139 | 0.000 % |
239.43/239.61 c | 259818 | 5858 25047 76003 | 2147483647 258136 139 | 0.000 % |
239.83/240.07 c | 260100 | 5858 25047 76003 | 2147483647 258418 138 | 0.000 % |
240.43/240.61 c | 260410 | 5858 25047 76003 | 2147483647 258728 138 | 0.000 % |
241.03/241.28 c | 260750 | 5858 25047 76003 | 2147483647 259068 138 | 0.000 % |
241.73/241.94 c | 261124 | 5858 25047 76003 | 2147483647 259442 138 | 0.000 % |
242.43/242.64 c | 261533 | 5858 25047 76003 | 2147483647 259851 138 | 0.000 % |
243.22/243.47 c | 261984 | 5858 25047 76003 | 2147483647 260302 138 | 0.000 % |
244.12/244.37 c | 262478 | 5858 25047 76003 | 2147483647 260796 138 | 0.000 % |
245.02/245.27 c | 263023 | 5858 25047 76003 | 2147483647 261341 138 | 0.000 % |
246.22/246.40 c | 263619 | 5858 25047 76003 | 2147483647 261937 138 | 0.000 % |
247.22/247.46 c | 264276 | 5858 25047 76003 | 2147483647 262594 138 | 0.000 % |
248.53/248.73 c | 264998 | 5858 25047 76003 | 2147483647 263316 138 | 0.000 % |
249.73/249.97 c | 265790 | 5858 25047 76003 | 2147483647 264108 138 | 0.000 % |
251.22/251.42 c | 266662 | 5858 25047 76003 | 2147483647 264980 139 | 0.000 % |
252.82/253.08 c | 267621 | 5858 25047 76003 | 2147483647 265939 138 | 0.000 % |
254.62/254.88 c | 268674 | 5858 25047 76003 | 2147483647 266992 139 | 0.000 % |
256.52/256.72 c | 269832 | 5858 25047 76003 | 2147483647 268150 139 | 0.000 % |
258.51/258.79 c | 271106 | 5858 25047 76003 | 2147483647 269424 139 | 0.000 % |
260.92/261.19 c | 272507 | 5858 25047 76003 | 2147483647 270825 139 | 0.000 % |
263.72/263.93 c | 274048 | 5858 25047 76003 | 2147483647 272366 139 | 0.000 % |
266.51/266.72 c | 275742 | 5858 25047 76003 | 2147483647 274060 139 | 0.000 % |
269.52/269.76 c | 277606 | 5858 25047 76003 | 2147483647 275924 139 | 0.000 % |
272.81/273.03 c | 279655 | 5858 25047 76003 | 2147483647 277973 139 | 0.000 % |
276.31/276.53 c | 281908 | 5858 25047 76003 | 2147483647 280226 139 | 0.000 % |
280.31/280.50 c | 284386 | 5858 25047 76003 | 2147483647 282704 139 | 0.000 % |
284.91/285.13 c | 287111 | 5858 25047 76003 | 2147483647 285429 140 | 0.000 % |
285.11/285.33 c | 287211 | 5858 25047 76003 | 2147483647 285529 140 | 0.000 % |
285.31/285.55 c | 287321 | 5858 25047 76003 | 2147483647 285639 140 | 0.000 % |
285.51/285.79 c | 287442 | 5858 25047 76003 | 2147483647 285760 140 | 0.000 % |
285.81/286.04 c | 287575 | 5858 25047 76003 | 2147483647 285893 140 | 0.000 % |
286.10/286.39 c | 287721 | 5858 25047 76003 | 2147483647 286039 140 | 0.000 % |
286.50/286.73 c | 287881 | 5858 25047 76003 | 2147483647 286199 140 | 0.000 % |
286.81/287.09 c | 288057 | 5858 25047 76003 | 2147483647 286375 140 | 0.000 % |
287.21/287.49 c | 288250 | 5858 25047 76003 | 2147483647 286568 139 | 0.000 % |
287.71/287.93 c | 288462 | 5858 25047 76003 | 2147483647 286780 139 | 0.000 % |
288.21/288.42 c | 288695 | 5858 25047 76003 | 2147483647 287013 139 | 0.000 % |
288.70/288.96 c | 288953 | 5858 25047 76003 | 2147483647 287271 139 | 0.000 % |
289.21/289.45 c | 289238 | 5858 25047 76003 | 2147483647 287556 139 | 0.000 % |
289.80/290.02 c | 289547 | 5858 25047 76003 | 2147483647 287865 139 | 0.000 % |
290.50/290.75 c | 289886 | 5858 25047 76003 | 2147483647 288204 139 | 0.000 % |
291.21/291.47 c | 290259 | 5858 25047 76003 | 2147483647 288577 139 | 0.000 % |
292.00/292.26 c | 290670 | 5858 25047 76003 | 2147483647 288988 139 | 0.000 % |
292.90/293.17 c | 291120 | 5858 25047 76003 | 2147483647 289438 139 | 0.000 % |
293.90/294.10 c | 291613 | 5858 25047 76003 | 2147483647 289931 140 | 0.000 % |
294.80/295.06 c | 292157 | 5858 25047 76003 | 2147483647 290475 139 | 0.000 % |
296.00/296.20 c | 292754 | 5858 25047 76003 | 2147483647 291072 140 | 0.000 % |
297.30/297.52 c | 293413 | 5858 25047 76003 | 2147483647 291731 140 | 0.000 % |
298.59/298.85 c | 294133 | 5858 25047 76003 | 2147483647 292451 140 | 0.000 % |
300.10/300.31 c | 294926 | 5858 25047 76003 | 2147483647 293244 140 | 0.000 % |
301.60/301.85 c | 295798 | 5858 25047 76003 | 2147483647 294116 140 | 0.000 % |
303.40/303.60 c | 296757 | 5858 25047 76003 | 2147483647 295075 140 | 0.000 % |
305.39/305.61 c | 297811 | 5858 25047 76003 | 2147483647 296129 140 | 0.000 % |
307.39/307.66 c | 298969 | 5858 25047 76003 | 2147483647 297287 140 | 0.000 % |
309.69/309.96 c | 300242 | 5858 25047 76003 | 2147483647 298560 140 | 0.000 % |
312.29/312.52 c | 301642 | 5858 25047 76003 | 2147483647 299960 140 | 0.000 % |
315.09/315.31 c | 303182 | 5858 25047 76003 | 2147483647 301500 140 | 0.000 % |
318.19/318.49 c | 304876 | 5858 25047 76003 | 2147483647 303194 140 | 0.000 % |
321.59/321.82 c | 306739 | 5858 25047 76003 | 2147483647 305057 140 | 0.000 % |
325.09/325.33 c | 308788 | 5858 25047 76003 | 2147483647 307106 140 | 0.000 % |
329.09/329.33 c | 311042 | 5858 25047 76003 | 2147483647 309360 140 | 0.000 % |
333.78/334.06 c | 313520 | 5858 25047 76003 | 2147483647 311838 140 | 0.000 % |
338.68/338.98 c | 316245 | 5858 25047 76003 | 2147483647 314563 140 | 0.000 % |
344.27/344.59 c | 319242 | 5858 25047 76003 | 2147483647 317560 140 | 0.000 % |
344.57/344.83 c | 319344 | 5858 25047 76003 | 2147483647 317662 140 | 0.000 % |
344.87/345.13 c | 319455 | 5858 25047 76003 | 2147483647 317773 140 | 0.000 % |
345.18/345.42 c | 319576 | 5858 25047 76003 | 2147483647 317894 140 | 0.000 % |
345.47/345.74 c | 319709 | 5858 25047 76003 | 2147483647 318027 140 | 0.000 % |
345.77/346.07 c | 319855 | 5858 25047 76003 | 2147483647 318173 140 | 0.000 % |
346.17/346.45 c | 320016 | 5858 25047 76003 | 2147483647 318334 140 | 0.000 % |
346.57/346.85 c | 320192 | 5858 25047 76003 | 2147483647 318510 140 | 0.000 % |
346.97/347.30 c | 320385 | 5858 25047 76003 | 2147483647 318703 140 | 0.000 % |
347.47/347.73 c | 320597 | 5858 25047 76003 | 2147483647 318915 140 | 0.000 % |
348.07/348.37 c | 320831 | 5858 25047 76003 | 2147483647 319149 140 | 0.000 % |
348.67/348.95 c | 321087 | 5858 25047 76003 | 2147483647 319405 140 | 0.000 % |
349.37/349.60 c | 321368 | 5858 25047 76003 | 2147483647 319686 140 | 0.000 % |
349.97/350.28 c | 321682 | 5858 25047 76003 | 2147483647 320000 140 | 0.000 % |
350.67/350.97 c | 322021 | 5858 25047 76003 | 2147483647 320339 140 | 0.000 % |
351.57/351.86 c | 322393 | 5858 25047 76003 | 2147483647 320711 140 | 0.000 % |
352.47/352.71 c | 322802 | 5858 25047 76003 | 2147483647 321120 140 | 0.000 % |
353.37/353.67 c | 323251 | 5858 25047 76003 | 2147483647 321569 140 | 0.000 % |
354.47/354.70 c | 323745 | 5858 25047 76003 | 2147483647 322063 140 | 0.000 % |
355.57/355.85 c | 324288 | 5858 25047 76003 | 2147483647 322606 140 | 0.000 % |
356.77/357.05 c | 324884 | 5858 25047 76003 | 2147483647 323202 140 | 0.000 % |
357.97/358.26 c | 325539 | 5858 25047 76003 | 2147483647 323857 140 | 0.000 % |
359.57/359.87 c | 326259 | 5858 25047 76003 | 2147483647 324577 140 | 0.000 % |
361.27/361.54 c | 327051 | 5858 25047 76003 | 2147483647 325369 140 | 0.000 % |
363.16/363.43 c | 327924 | 5858 25047 76003 | 2147483647 326242 140 | 0.000 % |
365.07/365.34 c | 328882 | 5858 25047 76003 | 2147483647 327200 140 | 0.000 % |
367.17/367.44 c | 329936 | 5858 25047 76003 | 2147483647 328254 140 | 0.000 % |
369.87/370.13 c | 331096 | 5858 25047 76003 | 328318 289440 140 | 0.000 % |
372.07/372.37 c | 332371 | 5858 25047 76003 | 328318 290715 140 | 0.000 % |
374.56/374.82 c | 333774 | 5858 25047 76003 | 328318 292118 140 | 0.000 % |
377.26/377.53 c | 335317 | 5858 25047 76003 | 328318 293661 140 | 0.000 % |
380.26/380.57 c | 337013 | 5858 25047 76003 | 328318 295357 140 | 0.000 % |
383.66/383.91 c | 338876 | 5858 25047 76003 | 328318 297220 140 | 0.000 % |
387.26/387.53 c | 340925 | 5858 25047 76003 | 2147483647 299269 140 | 0.000 % |
391.26/391.52 c | 343178 | 5858 25047 76003 | 2147483647 301522 140 | 0.000 % |
395.45/395.70 c | 345660 | 5858 25047 76003 | 2147483647 304004 141 | 0.000 % |
400.16/400.47 c | 348385 | 5858 25047 76003 | 2147483647 306729 141 | 0.000 % |
405.35/405.67 c | 351382 | 5858 25047 76003 | 2147483647 309726 141 | 0.000 % |
411.25/411.51 c | 354678 | 5858 25047 76003 | 2147483647 313022 141 | 0.000 % |
411.45/411.73 c | 354779 | 5858 25047 76003 | 2147483647 313123 141 | 0.000 % |
411.75/412.00 c | 354889 | 5858 25047 76003 | 2147483647 313233 141 | 0.000 % |
411.95/412.27 c | 355011 | 5858 25047 76003 | 2147483647 313355 141 | 0.000 % |
412.35/412.65 c | 355144 | 5858 25047 76003 | 2147483647 313488 141 | 0.000 % |
412.65/412.99 c | 355290 | 5858 25047 76003 | 2147483647 313634 141 | 0.000 % |
413.05/413.37 c | 355452 | 5858 25047 76003 | 2147483647 313796 141 | 0.000 % |
413.45/413.77 c | 355630 | 5858 25047 76003 | 2147483647 313974 141 | 0.000 % |
413.85/414.15 c | 355824 | 5858 25047 76003 | 2147483647 314168 141 | 0.000 % |
414.35/414.68 c | 356037 | 5858 25047 76003 | 2147483647 314381 141 | 0.000 % |
414.95/415.25 c | 356270 | 5858 25047 76003 | 2147483647 314614 141 | 0.000 % |
415.55/415.81 c | 356526 | 5858 25047 76003 | 2147483647 314870 141 | 0.000 % |
416.14/416.42 c | 356811 | 5858 25047 76003 | 2147483647 315155 141 | 0.000 % |
416.74/417.05 c | 357122 | 5858 25047 76003 | 2147483647 315466 141 | 0.000 % |
417.44/417.79 c | 357461 | 5858 25047 76003 | 2147483647 315805 141 | 0.000 % |
418.34/418.68 c | 357833 | 5858 25047 76003 | 2147483647 316177 141 | 0.000 % |
419.14/419.47 c | 358243 | 5858 25047 76003 | 2147483647 316587 141 | 0.000 % |
420.04/420.33 c | 358694 | 5858 25047 76003 | 2147483647 317038 141 | 0.000 % |
421.05/421.36 c | 359189 | 5858 25047 76003 | 2147483647 317533 141 | 0.000 % |
422.24/422.51 c | 359731 | 5858 25047 76003 | 2147483647 318075 141 | 0.000 % |
423.43/423.70 c | 360327 | 5858 25047 76003 | 2147483647 318671 141 | 0.000 % |
424.63/424.95 c | 360982 | 5858 25047 76003 | 2147483647 319326 141 | 0.000 % |
425.93/426.27 c | 361702 | 5858 25047 76003 | 2147483647 320046 141 | 0.000 % |
427.64/427.94 c | 362494 | 5858 25047 76003 | 2147483647 320838 141 | 0.000 % |
429.53/429.83 c | 363365 | 5858 25047 76003 | 2147483647 321709 141 | 0.000 % |
431.63/431.93 c | 364323 | 5858 25047 76003 | 2147483647 322667 141 | 0.000 % |
433.63/433.99 c | 365376 | 5858 25047 76003 | 2147483647 323720 141 | 0.000 % |
435.83/436.18 c | 366536 | 5858 25047 76003 | 2147483647 324880 141 | 0.000 % |
438.63/438.91 c | 367813 | 5858 25047 76003 | 2147483647 326157 141 | 0.000 % |
441.43/441.76 c | 369213 | 5858 25047 76003 | 2147483647 327557 141 | 0.000 % |
444.52/444.80 c | 370755 | 5858 25047 76003 | 328345 329099 141 | 0.000 % |
448.02/448.33 c | 372452 | 5858 25047 76003 | 328345 295858 142 | 0.000 % |
451.12/451.47 c | 374317 | 5858 25047 76003 | 328345 297723 142 | 0.000 % |
454.82/455.20 c | 376367 | 5858 25047 76003 | 328345 299773 142 | 0.000 % |
458.72/459.10 c | 378620 | 5858 25047 76003 | 328345 302026 142 | 0.000 % |
463.22/463.59 c | 381098 | 5858 25047 76003 | 2147483647 304504 142 | 0.000 % |
468.31/468.69 c | 383823 | 5858 25047 76003 | 2147483647 307229 142 | 0.000 % |
473.71/474.06 c | 386820 | 5858 25047 76003 | 2147483647 310226 142 | 0.000 % |
479.51/479.89 c | 390116 | 5858 25047 76003 | 2147483647 313522 142 | 0.000 % |
485.70/486.04 c | 393741 | 5858 25047 76003 | 2147483647 317147 142 | 0.000 % |
485.91/486.26 c | 393841 | 5858 25047 76003 | 2147483647 317247 142 | 0.000 % |
486.20/486.52 c | 393951 | 5858 25047 76003 | 2147483647 317357 142 | 0.000 % |
486.50/486.83 c | 394072 | 5858 25047 76003 | 2147483647 317478 142 | 0.000 % |
486.80/487.18 c | 394206 | 5858 25047 76003 | 2147483647 317612 142 | 0.000 % |
487.20/487.56 c | 394354 | 5858 25047 76003 | 2147483647 317760 142 | 0.000 % |
487.50/487.86 c | 394514 | 5858 25047 76003 | 2147483647 317920 142 | 0.000 % |
487.90/488.26 c | 394690 | 5858 25047 76003 | 2147483647 318096 142 | 0.000 % |
488.40/488.73 c | 394885 | 5858 25047 76003 | 2147483647 318291 142 | 0.000 % |
488.90/489.23 c | 395097 | 5858 25047 76003 | 2147483647 318503 142 | 0.000 % |
489.40/489.76 c | 395330 | 5858 25047 76003 | 2147483647 318736 142 | 0.000 % |
490.00/490.31 c | 395588 | 5858 25047 76003 | 2147483647 318994 142 | 0.000 % |
490.60/490.93 c | 395870 | 5858 25047 76003 | 2147483647 319276 142 | 0.000 % |
491.20/491.56 c | 396179 | 5858 25047 76003 | 2147483647 319585 142 | 0.000 % |
491.90/492.27 c | 396518 | 5858 25047 76003 | 2147483647 319924 142 | 0.000 % |
492.80/493.10 c | 396890 | 5858 25047 76003 | 2147483647 320296 142 | 0.000 % |
493.70/494.04 c | 397300 | 5858 25047 76003 | 2147483647 320706 142 | 0.000 % |
494.61/494.98 c | 397750 | 5858 25047 76003 | 2147483647 321156 142 | 0.000 % |
495.60/496.00 c | 398243 | 5858 25047 76003 | 2147483647 321649 142 | 0.000 % |
496.90/497.22 c | 398785 | 5858 25047 76003 | 2147483647 322191 142 | 0.000 % |
498.10/498.48 c | 399381 | 5858 25047 76003 | 2147483647 322787 142 | 0.000 % |
499.50/499.86 c | 400036 | 5858 25047 76003 | 323407 323442 142 | 0.000 % |
501.30/501.67 c | 400756 | 5858 25047 76003 | 323407 290137 142 | 0.000 % |
502.80/503.11 c | 401548 | 5858 25047 76003 | 323407 290929 142 | 0.000 % |
504.50/504.81 c | 402420 | 5858 25047 76003 | 323407 291801 142 | 0.000 % |
506.20/506.53 c | 403381 | 5858 25047 76003 | 323407 292762 142 | 0.000 % |
508.00/508.32 c | 404434 | 5858 25047 76003 | 323407 293815 142 | 0.000 % |
509.90/510.29 c | 405592 | 5858 25047 76003 | 323407 294973 142 | 0.000 % |
512.39/512.75 c | 406865 | 5858 25047 76003 | 323407 296246 142 | 0.000 % |
514.99/515.30 c | 408268 | 5858 25047 76003 | 323407 297649 142 | 0.000 % |
517.69/518.04 c | 409812 | 5858 25047 76003 | 323407 299193 143 | 0.000 % |
520.69/521.07 c | 411506 | 5858 25047 76003 | 2147483647 300887 143 | 0.000 % |
524.09/524.49 c | 413370 | 5858 25047 76003 | 2147483647 302751 143 | 0.000 % |
527.98/528.31 c | 415421 | 5858 25047 76003 | 2147483647 304802 143 | 0.000 % |
531.99/532.32 c | 417674 | 5858 25047 76003 | 2147483647 307055 143 | 0.000 % |
536.28/536.68 c | 420152 | 5858 25047 76003 | 2147483647 309533 143 | 0.000 % |
541.18/541.51 c | 422877 | 5858 25047 76003 | 2147483647 312258 143 | 0.000 % |
546.58/546.95 c | 425876 | 5858 25047 76003 | 2147483647 315257 143 | 0.000 % |
552.68/553.08 c | 429172 | 5858 25047 76003 | 2147483647 318553 143 | 0.000 % |
559.27/559.66 c | 432798 | 5858 25047 76003 | 2147483647 322179 144 | 0.000 % |
566.67/567.01 c | 436786 | 5858 25047 76003 | 2147483647 326167 144 | 0.000 % |
566.87/567.26 c | 436886 | 5858 25047 76003 | 2147483647 326267 144 | 0.000 % |
567.07/567.50 c | 436997 | 5858 25047 76003 | 2147483647 326378 144 | 0.000 % |
567.37/567.79 c | 437118 | 5858 25047 76003 | 2147483647 326499 144 | 0.000 % |
567.77/568.12 c | 437251 | 5858 25047 76003 | 2147483647 326632 144 | 0.000 % |
568.07/568.47 c | 437397 | 5858 25047 76003 | 2147483647 326778 144 | 0.000 % |
568.47/568.86 c | 437560 | 5858 25047 76003 | 2147483647 326941 144 | 0.000 % |
568.97/569.36 c | 437736 | 5858 25047 76003 | 2147483647 327117 144 | 0.000 % |
569.47/569.83 c | 437929 | 5858 25047 76003 | 2147483647 327310 144 | 0.000 % |
569.97/570.35 c | 438141 | 5858 25047 76003 | 2147483647 327522 144 | 0.000 % |
570.47/570.87 c | 438376 | 5858 25047 76003 | 2147483647 327757 144 | 0.000 % |
571.06/571.49 c | 438632 | 5858 25047 76003 | 2147483647 328013 144 | 0.000 % |
571.77/572.14 c | 438913 | 5858 25047 76003 | 2147483647 328294 144 | 0.000 % |
572.47/572.84 c | 439224 | 5858 25047 76003 | 2147483647 328605 144 | 0.000 % |
573.27/573.61 c | 439563 | 5858 25047 76003 | 2147483647 328944 144 | 0.000 % |
574.06/574.42 c | 439939 | 5858 25047 76003 | 2147483647 329320 144 | 0.000 % |
574.87/575.28 c | 440348 | 5858 25047 76003 | 329381 329729 144 | 0.000 % |
576.16/576.50 c | 440797 | 5858 25047 76003 | 329381 294977 144 | 0.000 % |
577.07/577.49 c | 441290 | 5858 25047 76003 | 329381 295470 144 | 0.000 % |
578.17/578.59 c | 441834 | 5858 25047 76003 | 329381 296014 144 | 0.000 % |
579.37/579.78 c | 442430 | 5858 25047 76003 | 329381 296610 144 | 0.000 % |
580.66/581.08 c | 443085 | 5858 25047 76003 | 329381 297265 144 | 0.000 % |
582.26/582.61 c | 443806 | 5858 25047 76003 | 329381 297986 144 | 0.000 % |
583.66/584.07 c | 444598 | 5858 25047 76003 | 329381 298778 144 | 0.000 % |
585.36/585.73 c | 445469 | 5858 25047 76003 | 329381 299649 144 | 0.000 % |
587.16/587.53 c | 446427 | 5858 25047 76003 | 329381 300607 144 | 0.000 % |
589.16/589.52 c | 447480 | 5858 25047 76003 | 329381 301660 144 | 0.000 % |
591.26/591.69 c | 448639 | 5858 25047 76003 | 329381 302819 144 | 0.000 % |
593.45/593.83 c | 449914 | 5858 25047 76003 | 329381 304094 144 | 0.000 % |
595.95/596.35 c | 451314 | 5858 25047 76003 | 2147483647 305494 144 | 0.000 % |
598.65/599.10 c | 452856 | 5858 25047 76003 | 2147483647 307036 144 | 0.000 % |
601.65/602.07 c | 454551 | 5858 25047 76003 | 2147483647 308731 144 | 0.000 % |
605.25/605.65 c | 456414 | 5858 25047 76003 | 2147483647 310594 144 | 0.000 % |
609.15/609.57 c | 458465 | 5858 25047 76003 | 2147483647 312645 144 | 0.000 % |
613.35/613.77 c | 460719 | 5858 25047 76003 | 2147483647 314899 144 | 0.000 % |
617.75/618.15 c | 463200 | 5858 25047 76003 | 2147483647 317380 144 | 0.000 % |
622.84/623.22 c | 465927 | 5858 25047 76003 | 2147483647 320107 144 | 0.000 % |
628.44/628.82 c | 468924 | 5858 25047 76003 | 2147483647 323104 145 | 0.000 % |
634.54/634.98 c | 472221 | 5858 25047 76003 | 2147483647 326401 145 | 0.000 % |
641.14/641.57 c | 475846 | 5858 25047 76003 | 2147483647 330026 145 | 0.000 % |
648.84/649.23 c | 479833 | 5858 25047 76003 | 2147483647 334013 145 | 0.000 % |
657.43/657.81 c | 484220 | 5858 25047 76003 | 2147483647 338400 145 | 0.000 % |
657.63/658.04 c | 484321 | 5858 25047 76003 | 2147483647 338501 145 | 0.000 % |
657.93/658.30 c | 484433 | 5858 25047 76003 | 2147483647 338613 145 | 0.000 % |
658.13/658.59 c | 484554 | 5858 25047 76003 | 2147483647 338734 145 | 0.000 % |
658.53/658.98 c | 484689 | 5858 25047 76003 | 2147483647 338869 145 | 0.000 % |
658.92/659.34 c | 484836 | 5858 25047 76003 | 2147483647 339016 145 | 0.000 % |
659.32/659.71 c | 484998 | 5858 25047 76003 | 2147483647 339178 145 | 0.000 % |
659.72/660.11 c | 485174 | 5858 25047 76003 | 2147483647 339354 145 | 0.000 % |
660.12/660.59 c | 485367 | 5858 25047 76003 | 2147483647 339547 145 | 0.000 % |
660.63/661.09 c | 485581 | 5858 25047 76003 | 2147483647 339761 145 | 0.000 % |
661.23/661.67 c | 485814 | 5858 25047 76003 | 2147483647 339994 145 | 0.000 % |
661.93/662.31 c | 486070 | 5858 25047 76003 | 2147483647 340250 145 | 0.000 % |
662.53/663.00 c | 486351 | 5858 25047 76003 | 2147483647 340531 145 | 0.000 % |
663.33/663.72 c | 486660 | 5858 25047 76003 | 2147483647 340840 145 | 0.000 % |
664.03/664.47 c | 486999 | 5858 25047 76003 | 2147483647 341179 145 | 0.000 % |
664.93/665.38 c | 487371 | 5858 25047 76003 | 2147483647 341551 145 | 0.000 % |
665.83/666.27 c | 487781 | 5858 25047 76003 | 2147483647 341961 145 | 0.000 % |
666.73/667.17 c | 488231 | 5858 25047 76003 | 2147483647 342411 145 | 0.000 % |
667.73/668.15 c | 488726 | 5858 25047 76003 | 2147483647 342906 145 | 0.000 % |
668.92/669.33 c | 489268 | 5858 25047 76003 | 2147483647 343448 145 | 0.000 % |
670.03/670.46 c | 489866 | 5858 25047 76003 | 2147483647 344046 145 | 0.000 % |
671.43/671.82 c | 490521 | 5858 25047 76003 | 344180 344701 145 | 0.000 % |
673.33/673.78 c | 491241 | 5858 25047 76003 | 344180 305833 146 | 0.000 % |
674.93/675.37 c | 492033 | 5858 25047 76003 | 344180 306625 146 | 0.000 % |
676.73/677.15 c | 492905 | 5858 25047 76003 | 344180 307497 146 | 0.000 % |
678.53/678.98 c | 493864 | 5858 25047 76003 | 344180 308456 146 | 0.000 % |
680.72/681.10 c | 494917 | 5858 25047 76003 | 344180 309509 146 | 0.000 % |
682.93/683.32 c | 496075 | 5858 25047 76003 | 344180 310667 146 | 0.000 % |
685.42/685.83 c | 497349 | 5858 25047 76003 | 344180 311941 146 | 0.000 % |
688.02/688.48 c | 498750 | 5858 25047 76003 | 344180 313342 146 | 0.000 % |
690.82/691.23 c | 500290 | 5858 25047 76003 | 314592 314882 146 | 0.000 % |
694.32/694.70 c | 501986 | 5858 25047 76003 | 314592 284959 147 | 0.000 % |
697.42/697.87 c | 503850 | 5858 25047 76003 | 314592 286823 147 | 0.000 % |
701.01/701.46 c | 505900 | 5858 25047 76003 | 314592 288873 147 | 0.000 % |
704.72/705.11 c | 508154 | 5858 25047 76003 | 314592 291127 147 | 0.000 % |
709.02/709.43 c | 510632 | 5858 25047 76003 | 2147483647 293605 147 | 0.000 % |
713.51/713.92 c | 513358 | 5858 25047 76003 | 2147483647 296331 147 | 0.000 % |
718.71/719.10 c | 516355 | 5858 25047 76003 | 2147483647 299328 148 | 0.000 % |
724.21/724.65 c | 519651 | 5858 25047 76003 | 2147483647 302624 148 | 0.000 % |
730.91/731.39 c | 523276 | 5858 25047 76003 | 2147483647 306249 148 | 0.000 % |
738.30/738.72 c | 527263 | 5858 25047 76003 | 2147483647 310236 148 | 0.000 % |
745.79/746.27 c | 531650 | 5858 25047 76003 | 2147483647 314623 148 | 0.000 % |
754.59/755.06 c | 536473 | 5858 25047 76003 | 2147483647 319446 148 | 0.000 % |
754.79/755.25 c | 536573 | 5858 25047 76003 | 2147483647 319546 148 | 0.000 % |
755.09/755.58 c | 536686 | 5858 25047 76003 | 2147483647 319659 148 | 0.000 % |
755.49/755.91 c | 536808 | 5858 25047 76003 | 2147483647 319781 148 | 0.000 % |
755.79/756.25 c | 536942 | 5858 25047 76003 | 2147483647 319915 148 | 0.000 % |
756.09/756.58 c | 537089 | 5858 25047 76003 | 2147483647 320062 148 | 0.000 % |
756.59/757.00 c | 537249 | 5858 25047 76003 | 2147483647 320222 148 | 0.000 % |
756.99/757.42 c | 537425 | 5858 25047 76003 | 2147483647 320398 148 | 0.000 % |
757.39/757.89 c | 537619 | 5858 25047 76003 | 2147483647 320592 148 | 0.000 % |
757.89/758.38 c | 537832 | 5858 25047 76003 | 2147483647 320805 148 | 0.000 % |
758.49/758.98 c | 538065 | 5858 25047 76003 | 2147483647 321038 148 | 0.000 % |
759.19/759.66 c | 538321 | 5858 25047 76003 | 2147483647 321294 148 | 0.000 % |
759.89/760.37 c | 538602 | 5858 25047 76003 | 2147483647 321575 148 | 0.000 % |
760.59/761.04 c | 538911 | 5858 25047 76003 | 2147483647 321884 148 | 0.000 % |
761.29/761.76 c | 539252 | 5858 25047 76003 | 2147483647 322225 148 | 0.000 % |
762.09/762.50 c | 539624 | 5858 25047 76003 | 2147483647 322597 148 | 0.000 % |
762.89/763.37 c | 540033 | 5858 25047 76003 | 2147483647 323006 148 | 0.000 % |
763.99/764.40 c | 540482 | 5858 25047 76003 | 2147483647 323455 148 | 0.000 % |
764.98/765.50 c | 540976 | 5858 25047 76003 | 2147483647 323949 148 | 0.000 % |
766.19/766.67 c | 541518 | 5858 25047 76003 | 2147483647 324491 148 | 0.000 % |
767.58/768.00 c | 542116 | 5858 25047 76003 | 2147483647 325089 148 | 0.000 % |
768.88/769.37 c | 542772 | 5858 25047 76003 | 2147483647 325745 148 | 0.000 % |
770.48/770.98 c | 543492 | 5858 25047 76003 | 2147483647 326465 148 | 0.000 % |
772.18/772.67 c | 544284 | 5858 25047 76003 | 2147483647 327257 148 | 0.000 % |
774.08/774.50 c | 545157 | 5858 25047 76003 | 2147483647 328130 148 | 0.000 % |
775.88/776.38 c | 546116 | 5858 25047 76003 | 2147483647 329089 148 | 0.000 % |
778.08/778.50 c | 547169 | 5858 25047 76003 | 2147483647 330142 148 | 0.000 % |
780.48/780.91 c | 548327 | 5858 25047 76003 | 2147483647 331300 148 | 0.000 % |
783.07/783.51 c | 549601 | 5858 25047 76003 | 2147483647 332574 148 | 0.000 % |
786.17/786.68 c | 551002 | 5858 25047 76003 | 332975 294360 148 | 0.000 % |
789.17/789.69 c | 552542 | 5858 25047 76003 | 332975 295900 148 | 0.000 % |
792.37/792.85 c | 554239 | 5858 25047 76003 | 332975 297597 148 | 0.000 % |
795.57/796.09 c | 556107 | 5858 25047 76003 | 332975 299465 148 | 0.000 % |
799.17/799.69 c | 558157 | 5858 25047 76003 | 332975 301515 148 | 0.000 % |
803.07/803.52 c | 560411 | 5858 25047 76003 | 2147483647 303769 148 | 0.000 % |
807.46/807.95 c | 562890 | 5858 25047 76003 | 2147483647 306248 148 | 0.000 % |
812.26/812.78 c | 565616 | 5858 25047 76003 | 2147483647 308974 148 | 0.000 % |
817.66/818.12 c | 568613 | 5858 25047 76003 | 2147483647 311971 148 | 0.000 % |
823.56/824.07 c | 571910 | 5858 25047 76003 | 2147483647 315268 149 | 0.000 % |
829.95/830.50 c | 575535 | 5858 25047 76003 | 2147483647 318893 149 | 0.000 % |
837.45/837.95 c | 579526 | 5858 25047 76003 | 2147483647 322884 149 | 0.000 % |
845.85/846.32 c | 583912 | 5858 25047 76003 | 2147483647 327270 149 | 0.000 % |
855.04/855.53 c | 588735 | 5858 25047 76003 | 2147483647 332093 149 | 0.000 % |
865.04/865.57 c | 594040 | 5858 25047 76003 | 2147483647 337398 150 | 0.000 % |
865.34/865.87 c | 594142 | 5858 25047 76003 | 2147483647 337500 150 | 0.000 % |
865.64/866.18 c | 594253 | 5858 25047 76003 | 2147483647 337611 150 | 0.000 % |
866.04/866.52 c | 594375 | 5858 25047 76003 | 2147483647 337733 149 | 0.000 % |
866.34/866.85 c | 594509 | 5858 25047 76003 | 2147483647 337867 149 | 0.000 % |
866.74/867.23 c | 594655 | 5858 25047 76003 | 2147483647 338013 149 | 0.000 % |
867.24/867.71 c | 594817 | 5858 25047 76003 | 2147483647 338175 149 | 0.000 % |
867.64/868.11 c | 594993 | 5858 25047 76003 | 2147483647 338351 149 | 0.000 % |
868.04/868.58 c | 595190 | 5858 25047 76003 | 2147483647 338548 149 | 0.000 % |
868.64/869.12 c | 595402 | 5858 25047 76003 | 2147483647 338760 149 | 0.000 % |
869.23/869.71 c | 595636 | 5858 25047 76003 | 2147483647 338994 149 | 0.000 % |
869.83/870.34 c | 595892 | 5858 25047 76003 | 2147483647 339250 149 | 0.000 % |
870.44/870.99 c | 596176 | 5858 25047 76003 | 2147483647 339534 149 | 0.000 % |
871.24/871.70 c | 596485 | 5858 25047 76003 | 2147483647 339843 149 | 0.000 % |
871.94/872.45 c | 596826 | 5858 25047 76003 | 2147483647 340184 149 | 0.000 % |
872.84/873.32 c | 597198 | 5858 25047 76003 | 2147483647 340556 149 | 0.000 % |
873.63/874.19 c | 597609 | 5858 25047 76003 | 2147483647 340967 149 | 0.000 % |
874.63/875.13 c | 598059 | 5858 25047 76003 | 2147483647 341417 149 | 0.000 % |
875.82/876.35 c | 598552 | 5858 25047 76003 | 2147483647 341910 149 | 0.000 % |
877.02/877.52 c | 599095 | 5858 25047 76003 | 2147483647 342453 149 | 0.000 % |
878.41/878.99 c | 599691 | 5858 25047 76003 | 2147483647 343049 149 | 0.000 % |
879.90/880.42 c | 600346 | 5858 25047 76003 | 343358 343704 149 | 0.000 % |
881.71/882.26 c | 601066 | 5858 25047 76003 | 343358 300161 150 | 0.000 % |
883.30/883.90 c | 601858 | 5858 25047 76003 | 343358 300953 150 | 0.000 % |
885.00/885.53 c | 602731 | 5858 25047 76003 | 343358 301826 150 | 0.000 % |
886.90/887.44 c | 603689 | 5858 25047 76003 | 343358 302784 150 | 0.000 % |
889.00/889.50 c | 604744 | 5858 25047 76003 | 343358 303839 150 | 0.000 % |
891.00/891.59 c | 605902 | 5858 25047 76003 | 343358 304997 150 | 0.000 % |
893.60/894.10 c | 607177 | 5858 25047 76003 | 343358 306272 150 | 0.000 % |
896.20/896.73 c | 608578 | 5858 25047 76003 | 343358 307673 150 | 0.000 % |
899.10/899.66 c | 610118 | 5858 25047 76003 | 2147483647 309213 150 | 0.000 % |
902.29/902.88 c | 611812 | 5858 25047 76003 | 2147483647 310907 150 | 0.000 % |
905.69/906.26 c | 613676 | 5858 25047 76003 | 2147483647 312771 150 | 0.000 % |
909.49/910.00 c | 615727 | 5858 25047 76003 | 2147483647 314822 150 | 0.000 % |
913.59/914.12 c | 617980 | 5858 25047 76003 | 2147483647 317075 150 | 0.000 % |
918.38/918.96 c | 620461 | 5858 25047 76003 | 2147483647 319556 150 | 0.000 % |
923.47/924.06 c | 623186 | 5858 25047 76003 | 2147483647 322281 150 | 0.000 % |
929.26/929.87 c | 626184 | 5858 25047 76003 | 2147483647 325279 150 | 0.000 % |
935.46/936.05 c | 629481 | 5858 25047 76003 | 2147483647 328576 150 | 0.000 % |
942.66/943.29 c | 633106 | 5858 25047 76003 | 2147483647 332201 150 | 0.000 % |
950.26/950.84 c | 637093 | 5858 25047 76003 | 2147483647 336188 150 | 0.000 % |
959.46/960.04 c | 641479 | 5858 25047 76003 | 339095 304015 150 | 0.000 % |
968.44/969.08 c | 646304 | 5858 25047 76003 | 339095 308840 150 | 0.000 % |
978.44/979.01 c | 651610 | 5858 25047 76003 | 2147483647 314146 151 | 0.000 % |
989.34/989.99 c | 657445 | 5858 25047 76003 | 2147483647 319981 151 | 0.000 % |
989.63/990.21 c | 657546 | 5858 25047 76003 | 2147483647 320082 151 | 0.000 % |
989.93/990.50 c | 657659 | 5858 25047 76003 | 2147483647 320195 151 | 0.000 % |
990.23/990.82 c | 657782 | 5858 25047 76003 | 2147483647 320318 151 | 0.000 % |
990.54/991.14 c | 657916 | 5858 25047 76003 | 2147483647 320452 151 | 0.000 % |
990.93/991.53 c | 658063 | 5858 25047 76003 | 2147483647 320599 151 | 0.000 % |
991.43/992.02 c | 658223 | 5858 25047 76003 | 2147483647 320759 151 | 0.000 % |
991.83/992.42 c | 658399 | 5858 25047 76003 | 2147483647 320935 151 | 0.000 % |
992.23/992.87 c | 658594 | 5858 25047 76003 | 2147483647 321130 151 | 0.000 % |
992.83/993.44 c | 658809 | 5858 25047 76003 | 2147483647 321345 151 | 0.000 % |
993.33/993.95 c | 659042 | 5858 25047 76003 | 2147483647 321578 151 | 0.000 % |
994.03/994.62 c | 659300 | 5858 25047 76003 | 2147483647 321836 151 | 0.000 % |
994.63/995.28 c | 659582 | 5858 25047 76003 | 2147483647 322118 151 | 0.000 % |
995.43/996.02 c | 659892 | 5858 25047 76003 | 2147483647 322428 151 | 0.000 % |
996.13/996.75 c | 660232 | 5858 25047 76003 | 2147483647 322768 151 | 0.000 % |
997.04/997.62 c | 660604 | 5858 25047 76003 | 2147483647 323140 151 | 0.000 % |
997.93/998.57 c | 661013 | 5858 25047 76003 | 2147483647 323549 151 | 0.000 % |
998.93/999.52 c | 661462 | 5858 25047 76003 | 2147483647 323998 151 | 0.000 % |
999.93/1000.59 c | 661956 | 5858 25047 76003 | 2147483647 324492 151 | 0.000 % |
1001.03/1001.65 c | 662498 | 5858 25047 76003 | 2147483647 325034 151 | 0.000 % |
1002.43/1003.01 c | 663094 | 5858 25047 76003 | 2147483647 325630 151 | 0.000 % |
1003.83/1004.42 c | 663752 | 5858 25047 76003 | 2147483647 326288 151 | 0.000 % |
1005.33/1005.99 c | 664473 | 5858 25047 76003 | 2147483647 327009 151 | 0.000 % |
1006.93/1007.56 c | 665267 | 5858 25047 76003 | 2147483647 327803 151 | 0.000 % |
1008.82/1009.42 c | 666144 | 5858 25047 76003 | 2147483647 328680 151 | 0.000 % |
1010.82/1011.42 c | 667102 | 5858 25047 76003 | 2147483647 329638 151 | 0.000 % |
1012.82/1013.49 c | 668155 | 5858 25047 76003 | 2147483647 330691 151 | 0.000 % |
1015.32/1015.90 c | 669313 | 5858 25047 76003 | 2147483647 331849 151 | 0.000 % |
1017.92/1018.56 c | 670586 | 5858 25047 76003 | 332536 333122 151 | 0.000 % |
1021.12/1021.73 c | 671986 | 5858 25047 76003 | 332536 294930 151 | 0.000 % |
1024.12/1024.77 c | 673529 | 5858 25047 76003 | 332536 296473 151 | 0.000 % |
1027.31/1027.98 c | 675223 | 5858 25047 76003 | 332536 298167 151 | 0.000 % |
1030.71/1031.36 c | 677088 | 5858 25047 76003 | 332536 300032 151 | 0.000 % |
1034.52/1035.13 c | 679137 | 5858 25047 76003 | 332536 302081 151 | 0.000 % |
1038.71/1039.39 c | 681391 | 5858 25047 76003 | 2147483647 304335 151 | 0.000 % |
1043.11/1043.76 c | 683870 | 5858 25047 76003 | 2147483647 306814 151 | 0.000 % |
1048.11/1048.71 c | 686595 | 5858 25047 76003 | 2147483647 309539 151 | 0.000 % |
1053.70/1054.33 c | 689592 | 5858 25047 76003 | 2147483647 312536 151 | 0.000 % |
1059.70/1060.37 c | 692888 | 5858 25047 76003 | 2147483647 315832 151 | 0.000 % |
1066.80/1067.46 c | 696514 | 5858 25047 76003 | 2147483647 319458 151 | 0.000 % |
1074.30/1074.92 c | 700501 | 5858 25047 76003 | 2147483647 323445 151 | 0.000 % |
1082.70/1083.40 c | 704886 | 5858 25047 76003 | 2147483647 327830 152 | 0.000 % |
1091.79/1092.44 c | 709709 | 5858 25047 76003 | 2147483647 332653 152 | 0.000 % |
1101.98/1102.64 c | 715015 | 5858 25047 76003 | 2147483647 337959 152 | 0.000 % |
1113.38/1114.02 c | 720850 | 5858 25047 76003 | 342944 343794 152 | 0.000 % |
1124.88/1125.56 c | 727268 | 5858 25047 76003 | 342944 310954 153 | 0.000 % |
1125.08/1125.79 c | 727368 | 5858 25047 76003 | 342944 311054 153 | 0.000 % |
1125.38/1126.03 c | 727478 | 5858 25047 76003 | 342944 311164 153 | 0.000 % |
1125.68/1126.35 c | 727601 | 5858 25047 76003 | 342944 311287 153 | 0.000 % |
1125.98/1126.64 c | 727734 | 5858 25047 76003 | 342944 311420 153 | 0.000 % |
1126.28/1126.99 c | 727883 | 5858 25047 76003 | 342944 311569 153 | 0.000 % |
1126.68/1127.32 c | 728044 | 5858 25047 76003 | 342944 311730 153 | 0.000 % |
1127.18/1127.80 c | 728221 | 5858 25047 76003 | 342944 311907 153 | 0.000 % |
1127.58/1128.25 c | 728414 | 5858 25047 76003 | 342944 312100 153 | 0.000 % |
1128.08/1128.78 c | 728626 | 5858 25047 76003 | 342944 312312 153 | 0.000 % |
1128.67/1129.30 c | 728859 | 5858 25047 76003 | 342944 312545 153 | 0.000 % |
1129.17/1129.84 c | 729119 | 5858 25047 76003 | 342944 312805 153 | 0.000 % |
1129.77/1130.44 c | 729402 | 5858 25047 76003 | 342944 313088 153 | 0.000 % |
1130.37/1131.09 c | 729711 | 5858 25047 76003 | 342944 313397 153 | 0.000 % |
1131.18/1131.83 c | 730052 | 5858 25047 76003 | 2147483647 313738 153 | 0.000 % |
1132.07/1132.71 c | 730426 | 5858 25047 76003 | 2147483647 314112 153 | 0.000 % |
1132.97/1133.60 c | 730836 | 5858 25047 76003 | 2147483647 314522 153 | 0.000 % |
1133.77/1134.45 c | 731285 | 5858 25047 76003 | 2147483647 314971 153 | 0.000 % |
1134.77/1135.48 c | 731778 | 5858 25047 76003 | 2147483647 315464 153 | 0.000 % |
1135.87/1136.54 c | 732322 | 5858 25047 76003 | 2147483647 316008 153 | 0.000 % |
1137.07/1137.80 c | 732920 | 5858 25047 76003 | 2147483647 316606 153 | 0.000 % |
1138.37/1139.09 c | 733576 | 5858 25047 76003 | 2147483647 317262 153 | 0.000 % |
1139.97/1140.68 c | 734296 | 5858 25047 76003 | 2147483647 317982 153 | 0.000 % |
1141.77/1142.40 c | 735091 | 5858 25047 76003 | 2147483647 318777 153 | 0.000 % |
1143.56/1144.26 c | 735964 | 5858 25047 76003 | 2147483647 319650 153 | 0.000 % |
1145.57/1146.21 c | 736924 | 5858 25047 76003 | 2147483647 320610 153 | 0.000 % |
1147.56/1148.29 c | 737978 | 5858 25047 76003 | 2147483647 321664 153 | 0.000 % |
1150.06/1150.74 c | 739136 | 5858 25047 76003 | 2147483647 322822 153 | 0.000 % |
1152.66/1153.30 c | 740412 | 5858 25047 76003 | 323687 324098 153 | 0.000 % |
1155.66/1156.39 c | 741814 | 5858 25047 76003 | 323687 289841 153 | 0.000 % |
1158.46/1159.17 c | 743354 | 5858 25047 76003 | 323687 291381 153 | 0.000 % |
1161.66/1162.36 c | 745048 | 5858 25047 76003 | 323687 293075 153 | 0.000 % |
1165.16/1165.84 c | 746913 | 5858 25047 76003 | 323687 294940 153 | 0.000 % |
1168.95/1169.61 c | 748963 | 5858 25047 76003 | 323687 296990 153 | 0.000 % |
1172.75/1173.44 c | 751216 | 5858 25047 76003 | 2147483647 299243 153 | 0.000 % |
1177.36/1178.01 c | 753694 | 5858 25047 76003 | 2147483647 301721 153 | 0.000 % |
1182.45/1183.14 c | 756419 | 5858 25047 76003 | 2147483647 304446 153 | 0.000 % |
1187.84/1188.56 c | 759417 | 5858 25047 76003 | 2147483647 307444 153 | 0.000 % |
1194.14/1194.86 c | 762714 | 5858 25047 76003 | 2147483647 310741 153 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832701-1242786376/watcher-1832701-1242786376 -o /tmp/evaluation-result-1832701-1242786376/solver-1832701-1242786376 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832701-1242786376.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.97 1.08 1.03 3/65 32216
/proc/meminfo: memFree=1814840/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 306666734 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 270187331666 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/32216/statm: 1339 235 195 169 0 50 0
[pid=32217] ppid=32216 vsize=5356 CPUtime=0
/proc/32217/stat : 32217 (SatELiteGTI) S 32216 32216 31590 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 306666734 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/32217/statm: 1339 238 198 169 0 50 0
[pid=32219] ppid=32217 vsize=2452 CPUtime=0
/proc/32219/stat : 32219 (sed) R 32217 32216 31590 0 -1 4194304 61 0 0 0 0 0 0 0 22 0 1 0 306666734 2510848 35 1992294400 4194304 4240196 548682069056 18446744073709551615 270186693464 0 0 4096 0 0 0 0 17 0 0 0
/proc/32219/statm: 613 55 41 11 0 17 0
[startup+0.0755131 s]
/proc/loadavg: 0.97 1.08 1.03 3/65 32216
/proc/meminfo: memFree=1814840/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306666734 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32216/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101513 s]
/proc/loadavg: 0.97 1.08 1.03 3/65 32216
/proc/meminfo: memFree=1814840/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306666734 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32216/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30153 s]
/proc/loadavg: 0.97 1.08 1.03 3/65 32216
/proc/meminfo: memFree=1814840/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5356
[startup+0.701576 s]
/proc/loadavg: 0.97 1.08 1.03 3/65 32216
/proc/meminfo: memFree=1814840/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5356
[startup+1.50167 s]
/proc/loadavg: 0.97 1.08 1.03 2/67 32222
/proc/meminfo: memFree=1809640/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=7000 CPUtime=1.38
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 1499 0 0 0 138 0 0 0 25 0 1 0 306666745 7168000 1485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 1750 1485 77 171 0 1577 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12356
[startup+3.10185 s]
/proc/loadavg: 0.97 1.08 1.03 2/67 32222
/proc/meminfo: memFree=1807464/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=9772 CPUtime=2.99
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 2193 0 0 0 297 2 0 0 25 0 1 0 306666745 10006528 2179 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 2443 2179 77 171 0 2270 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15128
[startup+6.30122 s]
/proc/loadavg: 0.97 1.08 1.03 2/67 32222
/proc/meminfo: memFree=1800936/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=15592 CPUtime=6.18
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 3630 0 0 0 616 2 0 0 25 0 1 0 306666745 15966208 3616 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 3898 3616 77 171 0 3725 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20948
[startup+12.7019 s]
/proc/loadavg: 0.97 1.08 1.03 2/67 32222
/proc/meminfo: memFree=1791336/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=24732 CPUtime=12.57
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 5921 0 0 0 1252 5 0 0 25 0 1 0 306666745 25325568 5907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 6183 5907 77 171 0 6010 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30088
[startup+25.5014 s]
/proc/loadavg: 0.98 1.08 1.03 2/67 32222
/proc/meminfo: memFree=1776296/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=39188 CPUtime=25.36
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 9516 0 0 0 2527 9 0 0 25 0 1 0 306666745 40128512 9502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 9797 9502 77 171 0 9624 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 44544
[startup+51.1013 s]
/proc/loadavg: 0.98 1.07 1.03 2/67 32222
/proc/meminfo: memFree=1754344/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=61148 CPUtime=50.94
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 15014 0 0 0 5079 15 0 0 25 0 1 0 306666745 62615552 15000 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 15287 15000 77 171 0 15114 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 66504
[startup+102.305 s]
/proc/loadavg: 0.99 1.05 1.02 2/67 32222
/proc/meminfo: memFree=1722664/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=92436 CPUtime=102.11
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 22801 0 0 0 10187 24 0 0 25 0 1 0 306666745 94654464 22787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 23109 22787 77 171 0 22936 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 97792
[startup+162.301 s]
/proc/loadavg: 0.99 1.04 1.02 2/67 32222
/proc/meminfo: memFree=1693224/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=121740 CPUtime=162.08
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 30176 0 0 0 16176 32 0 0 25 0 1 0 306666745 124661760 30162 1992294400 134512640 135215339 4294956240 18446744073709551615 134538087 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 30435 30162 77 171 0 30262 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 127096
[startup+222.302 s]
/proc/loadavg: 0.99 1.03 1.01 2/67 32222
/proc/meminfo: memFree=1668264/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=146564 CPUtime=222.04
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 36329 0 0 0 22166 38 0 0 25 0 1 0 306666745 150081536 36315 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 36641 36315 77 171 0 36468 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 151920
[startup+282.302 s]
/proc/loadavg: 0.99 1.02 1.00 2/67 32222
/proc/meminfo: memFree=1645224/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=169532 CPUtime=282.02
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 42107 0 0 0 28156 46 0 0 25 0 1 0 306666745 173600768 42093 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 42383 42093 77 171 0 42210 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 174888
[startup+342.302 s]
/proc/loadavg: 0.99 1.02 1.00 2/67 32222
/proc/meminfo: memFree=1625064/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=189808 CPUtime=341.99
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 47069 0 0 0 34148 51 0 0 25 0 1 0 306666745 194363392 47055 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 47452 47055 77 171 0 47279 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 195164
[startup+402.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/67 32222
/proc/meminfo: memFree=1617192/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=197332 CPUtime=401.96
################
# More data... #
################
/proc/32222/statm: 50950 50553 77 171 0 50777 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 209156
[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 32222
/proc/meminfo: memFree=1608552/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=205648 CPUtime=641.85
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 51023 0 0 0 64129 56 0 0 25 0 1 0 306666745 210583552 51009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 51412 51009 77 171 0 51239 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 211004
[startup+702.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 32222
/proc/meminfo: memFree=1599720/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=214228 CPUtime=701.82
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 53200 0 0 0 70123 59 0 0 25 0 1 0 306666745 219369472 53186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 53557 53186 77 171 0 53384 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 219584
[startup+762.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 32222
/proc/meminfo: memFree=1599656/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=214228 CPUtime=761.8
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 53200 0 0 0 76121 59 0 0 25 0 1 0 306666745 219369472 53186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 53557 53186 77 171 0 53384 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 219584
[startup+822.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 32222
/proc/meminfo: memFree=1599528/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=214228 CPUtime=821.77
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 53200 0 0 0 82118 59 0 0 25 0 1 0 306666745 219369472 53186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 53557 53186 77 171 0 53384 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 219584
[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 32222
/proc/meminfo: memFree=1593832/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=219904 CPUtime=881.71
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 54619 0 0 0 88110 61 0 0 25 0 1 0 306666745 225181696 54605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 54976 54605 77 171 0 54803 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 225260
[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 32222
/proc/meminfo: memFree=1593704/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=219904 CPUtime=941.67
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 54619 0 0 0 94106 61 0 0 25 0 1 0 306666745 225181696 54605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 54976 54605 77 171 0 54803 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 225260
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 32222
/proc/meminfo: memFree=1593576/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=219904 CPUtime=1001.64
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 54619 0 0 0 100103 61 0 0 25 0 1 0 306666745 225181696 54605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 54976 54605 77 171 0 54803 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 225260
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 32224
/proc/meminfo: memFree=1593384/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=219904 CPUtime=1061.6
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 54619 0 0 0 106099 61 0 0 25 0 1 0 306666745 225181696 54605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 54976 54605 77 171 0 54803 0
Current children cumulated CPU time (s) 1061.69
Current children cumulated vsize (KiB) 225260
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 32224
/proc/meminfo: memFree=1588776/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=224656 CPUtime=1121.59
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 55791 0 0 0 112096 63 0 0 25 0 1 0 306666745 230047744 55777 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 56164 55777 77 171 0 55991 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 230012
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 32224
/proc/meminfo: memFree=1588648/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=224656 CPUtime=1181.56
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 55791 0 0 0 118093 63 0 0 25 0 1 0 306666745 230047744 55777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 56164 55777 77 171 0 55991 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 230012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 32224
/proc/meminfo: memFree=1588584/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=224656 CPUtime=1199.95
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 55791 0 0 0 119932 63 0 0 25 0 1 0 306666745 230047744 55777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 56164 55777 77 171 0 55991 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 230012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 32224
/proc/meminfo: memFree=1588584/2055920 swapFree=4180340/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=0.09
/proc/32216/stat : 32216 (SatELiteGTI) S 32214 32216 31590 0 -1 4194304 336 1102 0 0 0 0 9 0 15 0 1 0 306666734 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32216/statm: 1339 239 197 169 0 50 0
[pid=32222] ppid=32216 vsize=224656 CPUtime=1199.95
/proc/32222/stat : 32222 (minisat_static) R 32216 32216 31590 0 -1 4194304 55791 0 0 0 119932 63 0 0 25 0 1 0 306666745 230047744 55777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32222/statm: 56164 55777 77 171 0 55991 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 230012
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32216 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=98984
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=5999
# CPU time returned by wait4() is 0.104983
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.04
CPU user time (s): 1199.41
CPU system time (s): 0.63
CPU usage (%): 99.9441
Max. virtual memory (cumulated for all children) (KiB): 230012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.098984
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1438
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= 14
involuntary context switches= 20
runsolver used 1.25081 second user time and 3.22551 second system time
The end
Begin job on node88 at 2009-05-20 04:26:16
IDJOB=1832701
IDBENCH=70314
IDSOLVER=671
FILE ID=node88/1832701-1242786376
PBS_JOBID= 9322362
Free space on /tmp= 66144 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/6000/unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832701-1242786376/watcher-1832701-1242786376 -o /tmp/evaluation-result-1832701-1242786376/solver-1832701-1242786376 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832701-1242786376.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9b604e81393e56d82864199888f120ce
RANDOM SEED=824967461
node88.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.229
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.229
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1815320 kB
Buffers: 29668 kB
Cached: 163912 kB
SwapCached: 6884 kB
Active: 42276 kB
Inactive: 160200 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1815320 kB
SwapTotal: 4192956 kB
SwapFree: 4180340 kB
Dirty: 2020 kB
Writeback: 0 kB
Mapped: 14056 kB
Slab: 24032 kB
Committed_AS: 847916 kB
PageTables: 1448 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= 66140 MiB
End job on node88 at 2009-05-20 04:46:19