0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 133795 269030 | 40138 0 0 nan | 0.000 % |
0.00/0.64 c | 0 | 132235 444200 | -- 0 -- -- | -- | -1560/175170
0.00/0.64 c ==============================================================================
0.00/0.64 c Result : #vars: 1500 #clauses: 132235 #literals: 444200
0.00/0.64 c CPU time: 0.617906 s
0.00/0.64 c ==============================================================================
0.00/0.76 c This is MiniSat 2.0 beta
0.00/0.76 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.76 c ============================[ Problem Statistics ]=============================
0.00/0.76 c | |
0.00/0.76 c | Number of variables: 1500 |
0.00/0.76 c | Number of clauses: 132235 |
0.74/0.83 c | Parsing time: 0.06 s |
0.74/0.83 c ============================[ Search Statistics ]==============================
0.74/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.74/0.83 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.74/0.83 c ===============================================================================
0.74/0.83 c | 0 | 1500 132235 444200 | 44078 0 nan | 0.000 % |
0.74/0.86 c | 100 | 1500 132235 444200 | 44078 100 153 | 0.000 % |
0.74/0.88 c | 201 | 1500 132235 444200 | 44078 201 140 | 0.000 % |
0.74/0.90 c | 305 | 1500 132235 444200 | 44078 305 132 | 0.008 % |
0.74/0.92 c | 416 | 1500 132235 444200 | 44078 416 124 | 0.008 % |
0.74/0.94 c | 517 | 1500 132235 444200 | 44078 517 117 | 0.008 % |
0.74/0.96 c | 628 | 1500 132235 444200 | 44078 628 125 | 0.000 % |
0.74/0.98 c | 751 | 1500 132235 444200 | 44078 751 125 | 0.000 % |
0.96/1.00 c | 854 | 1500 132235 444200 | 44078 854 121 | 0.008 % |
0.96/1.02 c | 966 | 1500 132235 444200 | 44078 966 118 | 0.008 % |
0.96/1.05 c | 1088 | 1500 132235 444200 | 44078 1088 112 | 0.009 % |
0.96/1.07 c | 1223 | 1500 132235 444200 | 44078 1223 119 | 0.000 % |
0.96/1.09 c | 1323 | 1500 132235 444200 | 44078 1323 120 | 0.008 % |
1.07/1.10 c | 1433 | 1500 132235 444200 | 44078 1433 117 | 0.009 % |
1.07/1.12 c | 1554 | 1500 132235 444200 | 44078 1554 114 | 0.009 % |
1.07/1.14 c | 1688 | 1500 132235 444200 | 44078 1688 117 | 0.000 % |
1.07/1.17 c | 1834 | 1500 132235 444200 | 44078 1834 117 | 0.000 % |
1.07/1.19 c | 1934 | 1500 132235 444200 | 44078 1934 117 | 0.009 % |
1.16/1.21 c | 2044 | 1500 132235 444200 | 44078 2044 117 | 0.008 % |
1.16/1.23 c | 2165 | 1500 132235 444200 | 44078 2165 119 | 0.000 % |
1.16/1.25 c | 2299 | 1500 132235 444200 | 44078 2299 118 | 0.000 % |
1.16/1.27 c | 2446 | 1500 132235 444200 | 44078 2446 116 | 0.008 % |
1.26/1.30 c | 2607 | 1500 132235 444200 | 44078 2607 112 | 0.009 % |
1.26/1.31 c | 2708 | 1500 132235 444200 | 44078 2708 110 | 0.008 % |
1.26/1.33 c | 2818 | 1500 132235 444200 | 44078 2818 109 | 0.009 % |
1.26/1.36 c | 2939 | 1500 132235 444200 | 44078 2939 110 | 0.008 % |
1.26/1.38 c | 3072 | 1500 132235 444200 | 44078 3072 109 | 0.000 % |
1.36/1.40 c | 3219 | 1500 132235 444200 | 44078 3219 112 | 0.000 % |
1.36/1.43 c | 3379 | 1500 132235 444200 | 44078 3379 111 | 0.000 % |
1.36/1.47 c | 3555 | 1500 132235 444200 | 44078 3555 110 | 0.000 % |
1.36/1.49 c | 3655 | 1500 132235 444200 | 44078 3655 111 | 0.000 % |
1.46/1.51 c | 3767 | 1500 132235 444200 | 44078 3767 111 | 0.000 % |
1.46/1.52 c | 3888 | 1500 132235 444200 | 44078 3888 110 | 0.008 % |
1.46/1.55 c | 4021 | 1500 132235 444200 | 44078 4021 109 | 0.000 % |
1.46/1.58 c | 4167 | 1500 132235 444200 | 44078 4167 109 | 0.000 % |
1.56/1.60 c | 4327 | 1500 132235 444200 | 44078 4327 109 | 0.000 % |
1.56/1.63 c | 4503 | 1500 132235 444200 | 44078 4503 108 | 0.000 % |
1.56/1.67 c | 4696 | 1500 132235 444200 | 44078 4696 110 | 0.000 % |
1.56/1.69 c | 4796 | 1500 132235 444200 | 44078 4796 110 | 0.000 % |
1.66/1.71 c | 4907 | 1500 132235 444200 | 44078 4907 111 | 0.000 % |
1.66/1.74 c | 5028 | 1500 132235 444200 | 44078 5028 111 | 0.009 % |
1.66/1.77 c | 5161 | 1500 132235 444200 | 44078 5161 113 | 0.000 % |
1.66/1.80 c | 5308 | 1500 132235 444200 | 44078 5308 113 | 0.008 % |
1.76/1.83 c | 5470 | 1500 132235 444200 | 44078 5470 112 | 0.009 % |
1.76/1.87 c | 5646 | 1500 132235 444200 | 44078 5646 111 | 0.009 % |
1.86/1.90 c | 5840 | 1500 132235 444200 | 44078 5840 109 | 0.008 % |
1.86/1.94 c | 6052 | 1500 132235 444200 | 44078 6052 108 | 0.000 % |
1.86/1.96 c | 6152 | 1500 132235 444200 | 44078 6152 109 | 0.000 % |
1.86/1.98 c | 6262 | 1500 132235 444200 | 44078 6262 109 | 0.009 % |
1.96/2.00 c | 6383 | 1500 132235 444200 | 44078 6383 108 | 0.009 % |
1.96/2.03 c | 6516 | 1500 132235 444200 | 44078 6516 108 | 0.009 % |
1.96/2.06 c | 6665 | 1500 132235 444200 | 44078 6665 110 | 0.000 % |
1.96/2.09 c | 6827 | 1500 132235 444200 | 44078 6827 110 | 0.000 % |
2.06/2.13 c | 7004 | 1500 132235 444200 | 44078 7004 110 | 0.008 % |
2.06/2.17 c | 7197 | 1500 132235 444200 | 44078 7197 112 | 0.000 % |
2.17/2.21 c | 7409 | 1500 132235 444200 | 44078 7409 113 | 0.000 % |
2.17/2.26 c | 7642 | 1500 132235 444200 | 44078 7642 113 | 0.000 % |
2.17/2.28 c | 7743 | 1500 132235 444200 | 44078 7743 113 | 0.009 % |
2.27/2.30 c | 7854 | 1500 132235 444200 | 44078 7854 113 | 0.008 % |
2.27/2.33 c | 7976 | 1500 132235 444200 | 44078 7976 112 | 0.009 % |
2.27/2.36 c | 8110 | 1500 132235 444200 | 44078 8110 112 | 0.010 % |
2.27/2.38 c | 8257 | 1500 132235 444200 | 44078 8257 111 | 0.006 % |
2.37/2.42 c | 8417 | 1500 132235 444200 | 44078 8417 110 | 0.006 % |
2.37/2.45 c | 8593 | 1500 132235 444200 | 44078 8593 110 | 0.006 % |
2.47/2.50 c | 8790 | 1500 132235 444200 | 44078 8790 111 | 0.000 % |
2.47/2.55 c | 9003 | 1500 132235 444200 | 44078 9003 111 | 0.000 % |
2.57/2.61 c | 9236 | 1500 132235 444200 | 44078 9236 113 | 0.000 % |
2.57/2.68 c | 9494 | 1500 132235 444200 | 44078 9494 114 | 0.000 % |
2.66/2.70 c | 9595 | 1500 132235 444200 | 44078 9595 114 | 0.000 % |
2.66/2.72 c | 9707 | 1500 132235 444200 | 44078 9707 114 | 0.000 % |
2.66/2.75 c | 9828 | 1500 132235 444200 | 44078 9828 114 | 0.008 % |
2.66/2.78 c | 9961 | 1500 132235 444200 | 44078 9961 114 | 0.008 % |
2.76/2.81 c | 10107 | 1500 132235 444200 | 2147483647 10107 114 | 0.009 % |
2.76/2.85 c | 10267 | 1500 132235 444200 | 2147483647 10267 113 | 0.009 % |
2.76/2.88 c | 10443 | 1500 132235 444200 | 2147483647 10443 113 | 0.009 % |
2.86/2.93 c | 10637 | 1500 132235 444200 | 2147483647 10637 112 | 0.010 % |
2.86/2.97 c | 10849 | 1500 132235 444200 | 2147483647 10849 112 | 0.010 % |
2.96/3.02 c | 11083 | 1500 132235 444200 | 2147483647 11083 111 | 0.000 % |
2.96/3.09 c | 11341 | 1500 132235 444200 | 2147483647 11341 113 | 0.000 % |
3.06/3.15 c | 11622 | 1500 132235 444200 | 2147483647 11622 113 | 0.000 % |
3.06/3.18 c | 11722 | 1500 132235 444200 | 2147483647 11722 113 | 0.008 % |
3.06/3.20 c | 11832 | 1500 132235 444200 | 2147483647 11832 112 | 0.009 % |
3.16/3.22 c | 11956 | 1500 132235 444200 | 2147483647 11956 112 | 0.009 % |
3.16/3.26 c | 12091 | 1500 132235 444200 | 2147483647 12091 112 | 0.000 % |
3.26/3.30 c | 12239 | 1500 132235 444200 | 2147483647 12239 112 | 0.000 % |
3.26/3.34 c | 12399 | 1500 132235 444200 | 2147483647 12399 112 | 0.000 % |
3.26/3.38 c | 12577 | 1500 132235 444200 | 2147483647 12577 111 | 0.000 % |
3.36/3.43 c | 12771 | 1500 132235 444200 | 2147483647 12771 111 | 0.000 % |
3.36/3.48 c | 12983 | 1500 132235 444200 | 2147483647 12983 111 | 0.000 % |
3.46/3.54 c | 13217 | 1500 132235 444200 | 2147483647 13217 111 | 0.010 % |
3.56/3.61 c | 13473 | 1500 132235 444200 | 2147483647 13473 111 | 0.007 % |
3.56/3.68 c | 13754 | 1500 132235 444200 | 2147483647 13754 110 | 0.007 % |
3.66/3.76 c | 14063 | 1500 132235 444200 | 2147483647 14063 109 | 0.000 % |
3.66/3.78 c | 14163 | 1500 132235 444200 | 2147483647 14163 110 | 0.000 % |
3.76/3.80 c | 14273 | 1500 132235 444200 | 2147483647 14273 110 | 0.000 % |
3.76/3.83 c | 14394 | 1500 132235 444200 | 2147483647 14394 110 | 0.000 % |
3.76/3.86 c | 14527 | 1500 132235 444200 | 2147483647 14527 110 | 0.009 % |
3.86/3.90 c | 14673 | 1500 132235 444200 | 2147483647 14673 110 | 0.000 % |
3.86/3.94 c | 14833 | 1500 132235 444200 | 2147483647 14833 111 | 0.000 % |
3.86/4.00 c | 15009 | 1500 132235 444200 | 2147483647 15009 111 | 0.007 % |
3.96/4.04 c | 15202 | 1500 132235 444200 | 2147483647 15202 112 | 0.000 % |
4.06/4.10 c | 15415 | 1500 132235 444200 | 2147483647 15415 112 | 0.000 % |
4.06/4.15 c | 15648 | 1500 132235 444200 | 2147483647 15648 111 | 0.008 % |
4.16/4.22 c | 15904 | 1500 132235 444200 | 2147483647 15904 110 | 0.010 % |
4.27/4.30 c | 16185 | 1500 132235 444200 | 2147483647 16185 110 | 0.008 % |
4.27/4.40 c | 16497 | 1500 132235 444200 | 2147483647 16497 109 | 0.008 % |
4.36/4.48 c | 16836 | 1500 132235 444200 | 2147483647 16836 108 | 0.009 % |
4.46/4.51 c | 16937 | 1500 132235 444200 | 2147483647 16937 108 | 0.008 % |
4.46/4.54 c | 17047 | 1500 132235 444200 | 2147483647 17047 108 | 0.009 % |
4.46/4.58 c | 17168 | 1500 132235 444200 | 2147483647 17168 108 | 0.000 % |
4.56/4.62 c | 17303 | 1500 132235 444200 | 2147483647 17303 108 | 0.000 % |
4.56/4.66 c | 17449 | 1500 132235 444200 | 2147483647 17449 108 | 0.000 % |
4.66/4.70 c | 17609 | 1500 132235 444200 | 2147483647 17609 108 | 0.010 % |
4.66/4.74 c | 17786 | 1500 132235 444200 | 2147483647 17786 108 | 0.010 % |
4.66/4.79 c | 17979 | 1500 132235 444200 | 2147483647 17979 109 | 0.000 % |
4.76/4.85 c | 18191 | 1500 132235 444200 | 2147483647 18191 108 | 0.000 % |
4.86/4.90 c | 18424 | 1500 132235 444200 | 2147483647 18424 108 | 0.009 % |
4.86/4.97 c | 18687 | 1500 132235 444200 | 2147483647 18687 107 | 0.009 % |
4.96/5.04 c | 18970 | 1500 132235 444200 | 2147483647 18970 107 | 0.009 % |
5.06/5.12 c | 19279 | 1500 132235 444200 | 2147483647 19279 106 | 0.009 % |
5.06/5.20 c | 19618 | 1500 132235 444200 | 2147483647 19618 105 | 0.008 % |
5.16/5.28 c | 19991 | 1500 132235 444200 | 2147483647 19991 105 | 0.009 % |
5.26/5.32 c | 20091 | 1500 132235 444200 | 2147483647 20091 105 | 0.009 % |
5.26/5.36 c | 20205 | 1500 132235 444200 | 2147483647 20205 105 | 0.000 % |
5.26/5.39 c | 20326 | 1500 132235 444200 | 2147483647 20326 105 | 0.000 % |
5.36/5.43 c | 20460 | 1500 132235 444200 | 2147483647 20460 105 | 0.010 % |
5.36/5.47 c | 20606 | 1500 132235 444200 | 2147483647 20606 105 | 0.000 % |
5.46/5.52 c | 20766 | 1500 132235 444200 | 2147483647 20766 105 | 0.007 % |
5.46/5.56 c | 20944 | 1500 132235 444200 | 2147483647 20944 105 | 0.000 % |
5.55/5.62 c | 21137 | 1500 132235 444200 | 2147483647 21137 104 | 0.009 % |
5.55/5.68 c | 21349 | 1500 132235 444200 | 2147483647 21349 104 | 0.009 % |
5.65/5.74 c | 21582 | 1500 132235 444200 | 2147483647 21582 104 | 0.008 % |
5.75/5.82 c | 21838 | 1500 132235 444200 | 2147483647 21838 105 | 0.000 % |
5.85/5.90 c | 22120 | 1500 132235 444200 | 2147483647 22120 104 | 0.009 % |
5.85/5.98 c | 22429 | 1500 132235 444200 | 2147483647 22429 104 | 0.009 % |
5.95/6.08 c | 22768 | 1500 132235 444200 | 2147483647 22768 104 | 0.009 % |
6.05/6.19 c | 23142 | 1500 132235 444200 | 2147483647 23142 103 | 0.009 % |
6.25/6.31 c | 23555 | 1500 132235 444200 | 2147483647 23555 102 | 0.007 % |
6.25/6.35 c | 23655 | 1500 132235 444200 | 2147483647 23655 103 | 0.000 % |
6.25/6.38 c | 23766 | 1500 132235 444200 | 2147483647 23766 103 | 0.000 % |
6.36/6.42 c | 23887 | 1500 132235 444200 | 2147483647 23887 102 | 0.008 % |
6.36/6.46 c | 24022 | 1500 132235 444200 | 2147483647 24022 102 | 0.009 % |
6.47/6.52 c | 24169 | 1500 132235 444200 | 2147483647 24169 103 | 0.000 % |
6.47/6.56 c | 24329 | 1500 132235 444200 | 2147483647 24329 103 | 0.000 % |
6.57/6.61 c | 24505 | 1500 132235 444200 | 2147483647 24505 103 | 0.008 % |
6.57/6.66 c | 24698 | 1500 132235 444200 | 2147483647 24698 103 | 0.000 % |
6.66/6.73 c | 24911 | 1500 132235 444200 | 2147483647 24911 104 | 0.000 % |
6.76/6.80 c | 25145 | 1500 132235 444200 | 2147483647 25145 104 | 0.010 % |
6.76/6.88 c | 25401 | 1500 132235 444200 | 2147483647 25401 103 | 0.007 % |
6.86/6.96 c | 25682 | 1500 132235 444200 | 2147483647 25682 103 | 0.008 % |
6.96/7.04 c | 25991 | 1500 132235 444200 | 2147483647 25991 103 | 0.009 % |
7.06/7.14 c | 26331 | 1500 132235 444200 | 2147483647 26331 102 | 0.009 % |
7.16/7.25 c | 26706 | 1500 132235 444200 | 2147483647 26706 102 | 0.000 % |
7.26/7.37 c | 27116 | 1500 132235 444200 | 2147483647 27116 102 | 0.009 % |
7.36/7.49 c | 27567 | 1500 132235 444200 | 2147483647 27567 101 | 0.009 % |
7.46/7.53 c | 27667 | 1500 132235 444200 | 2147483647 27667 102 | 0.000 % |
7.46/7.56 c | 27779 | 1500 132235 444200 | 2147483647 27779 102 | 0.000 % |
7.46/7.60 c | 27900 | 1500 132235 444200 | 2147483647 27900 102 | 0.000 % |
7.56/7.64 c | 28035 | 1500 132235 444200 | 2147483647 28035 102 | 0.000 % |
7.56/7.69 c | 28181 | 1500 132235 444200 | 2147483647 28181 102 | 0.000 % |
7.66/7.74 c | 28341 | 1500 132235 444200 | 2147483647 28341 102 | 0.000 % |
7.76/7.80 c | 28519 | 1500 132235 444200 | 2147483647 28519 102 | 0.000 % |
7.76/7.87 c | 28713 | 1500 132235 444200 | 2147483647 28713 102 | 0.000 % |
7.85/7.94 c | 28925 | 1500 132235 444200 | 2147483647 28925 102 | 0.000 % |
7.95/8.02 c | 29158 | 1500 132235 444200 | 2147483647 29158 102 | 0.010 % |
7.95/8.10 c | 29415 | 1500 132235 444200 | 2147483647 29415 102 | 0.009 % |
8.05/8.18 c | 29696 | 1500 132235 444200 | 2147483647 29696 102 | 0.009 % |
8.15/8.26 c | 30005 | 1500 132235 444200 | 2147483647 30005 102 | 0.010 % |
8.25/8.39 c | 30344 | 1500 132235 444200 | 2147483647 30344 103 | 0.000 % |
8.45/8.52 c | 30716 | 1500 132235 444200 | 2147483647 30716 103 | 0.000 % |
8.55/8.62 c | 31125 | 1500 132235 444200 | 2147483647 31125 103 | 0.000 % |
8.65/8.76 c | 31576 | 1500 132235 444200 | 2147483647 31576 103 | 0.008 % |
8.85/8.98 c | 32069 | 1500 132235 444200 | 2147483647 32069 104 | 0.000 % |
8.95/9.03 c | 32169 | 1500 132235 444200 | 2147483647 32169 104 | 0.000 % |
8.95/9.07 c | 32279 | 1500 132235 444200 | 2147483647 32279 104 | 0.000 % |
9.05/9.11 c | 32400 | 1500 132235 444200 | 2147483647 32400 104 | 0.000 % |
9.05/9.16 c | 32534 | 1500 132235 444200 | 2147483647 32534 104 | 0.000 % |
9.15/9.20 c | 32680 | 1500 132235 444200 | 2147483647 32680 104 | 0.000 % |
9.15/9.26 c | 32842 | 1500 132235 444200 | 2147483647 32842 104 | 0.000 % |
9.25/9.32 c | 33018 | 1500 132235 444200 | 2147483647 33018 104 | 0.008 % |
9.25/9.39 c | 33211 | 1500 132235 444200 | 2147483647 33211 105 | 0.000 % |
9.36/9.46 c | 33424 | 1500 132235 444200 | 2147483647 33424 105 | 0.000 % |
9.46/9.54 c | 33657 | 1500 132235 444200 | 2147483647 33657 105 | 0.007 % |
9.56/9.63 c | 33914 | 1500 132235 444200 | 2147483647 33914 105 | 0.007 % |
9.66/9.72 c | 34196 | 1500 132235 444200 | 2147483647 34196 105 | 0.008 % |
9.76/9.82 c | 34508 | 1500 132235 444200 | 2147483647 34508 104 | 0.000 % |
9.86/10.00 c | 34849 | 1500 132235 444200 | 2147483647 34849 105 | 0.000 % |
10.06/10.15 c | 35222 | 1500 132235 444200 | 2147483647 35222 105 | 0.009 % |
10.16/10.28 c | 35631 | 1500 132235 444200 | 2147483647 35631 104 | 0.007 % |
10.36/10.44 c | 36080 | 1500 132235 444200 | 2147483647 36080 104 | 0.008 % |
10.56/10.64 c | 36573 | 1500 132235 444200 | 2147483647 36573 105 | 0.000 % |
10.76/10.87 c | 37117 | 1500 132235 444200 | 2147483647 37117 106 | 0.000 % |
10.86/10.91 c | 37218 | 1500 132235 444200 | 2147483647 37218 106 | 0.000 % |
10.86/10.95 c | 37328 | 1500 132235 444200 | 2147483647 37328 106 | 0.009 % |
10.86/11.00 c | 37449 | 1500 132235 444200 | 2147483647 37449 106 | 0.000 % |
10.96/11.04 c | 37583 | 1500 132235 444200 | 2147483647 37583 106 | 0.000 % |
11.06/11.11 c | 37731 | 1500 132235 444200 | 2147483647 37731 106 | 0.000 % |
11.06/11.17 c | 37891 | 1500 132235 444200 | 2147483647 37891 106 | 0.000 % |
11.15/11.24 c | 38070 | 1500 132235 444200 | 2147483647 38070 106 | 0.008 % |
11.25/11.33 c | 38263 | 1500 132235 444200 | 2147483647 38263 106 | 0.000 % |
11.25/11.39 c | 38476 | 1500 132235 444200 | 2147483647 38476 107 | 0.009 % |
11.45/11.50 c | 38710 | 1500 132235 444200 | 2147483647 38710 107 | 0.000 % |
11.45/11.59 c | 38966 | 1500 132235 444200 | 2147483647 38966 107 | 0.009 % |
11.55/11.68 c | 39247 | 1500 132235 444200 | 2147483647 39247 107 | 0.000 % |
11.65/11.78 c | 39557 | 1500 132235 444200 | 2147483647 39557 106 | 0.000 % |
11.85/11.92 c | 39896 | 1500 132235 444200 | 2147483647 39896 107 | 0.000 % |
11.95/12.04 c | 40268 | 1500 132235 444200 | 2147483647 40268 107 | 0.009 % |
12.06/12.19 c | 40677 | 1500 132235 444200 | 2147483647 40677 107 | 0.009 % |
12.26/12.36 c | 41129 | 1500 132235 444200 | 2147483647 41129 107 | 0.000 % |
12.46/12.54 c | 41622 | 1500 132235 444200 | 2147483647 41622 106 | 0.009 % |
12.66/12.75 c | 42165 | 1500 132235 444200 | 2147483647 42165 106 | 0.000 % |
12.86/12.99 c | 42763 | 1500 132235 444200 | 2147483647 42763 105 | 0.008 % |
12.96/13.04 c | 42864 | 1500 132235 444200 | 2147483647 42864 105 | 0.009 % |
12.96/13.09 c | 42975 | 1500 132235 444200 | 2147483647 42975 105 | 0.008 % |
13.06/13.14 c | 43098 | 1500 132235 444200 | 2147483647 43098 105 | 0.008 % |
13.06/13.19 c | 43231 | 1500 132235 444200 | 2147483647 43231 105 | 0.000 % |
13.16/13.25 c | 43380 | 1500 132235 444200 | 2147483647 43380 105 | 0.009 % |
13.25/13.32 c | 43540 | 1500 132235 444200 | 2147483647 43540 105 | 0.000 % |
13.25/13.38 c | 43718 | 1500 132235 444200 | 2147483647 43718 106 | 0.000 % |
13.35/13.46 c | 43911 | 1500 132235 444200 | 2147483647 43911 106 | 0.000 % |
13.45/13.57 c | 44124 | 1500 132235 444200 | 2147483647 44124 106 | 0.000 % |
13.55/13.67 c | 44359 | 1500 132235 444200 | 2147483647 44359 106 | 0.000 % |
13.65/13.78 c | 44616 | 1500 132235 444200 | 2147483647 44616 106 | 0.000 % |
13.75/13.88 c | 44897 | 1500 132235 444200 | 2147483647 44897 106 | 0.009 % |
13.95/14.01 c | 45208 | 1500 132235 444200 | 2147483647 45208 106 | 0.008 % |
14.05/14.13 c | 45547 | 1500 132235 444200 | 2147483647 45547 106 | 0.000 % |
14.15/14.28 c | 45921 | 1500 132235 444200 | 2147483647 45921 106 | 0.000 % |
14.35/14.44 c | 46334 | 1500 132235 444200 | 2147483647 46334 106 | 0.000 % |
14.55/14.65 c | 46784 | 1500 132235 444200 | 2147483647 46784 107 | 0.008 % |
14.75/14.84 c | 47277 | 1500 132235 444200 | 2147483647 47277 106 | 0.009 % |
14.95/15.06 c | 47819 | 1500 132235 444200 | 2147483647 47819 106 | 0.009 % |
15.14/15.28 c | 48420 | 1500 132235 444200 | 2147483647 48420 105 | 0.008 % |
15.44/15.55 c | 49075 | 1500 132235 444200 | 2147483647 49075 105 | 0.009 % |
15.54/15.60 c | 49178 | 1500 132235 444200 | 2147483647 49178 105 | 0.000 % |
15.54/15.66 c | 49288 | 1500 132235 444200 | 2147483647 49288 105 | 0.000 % |
15.64/15.72 c | 49410 | 1500 132235 444200 | 2147483647 49410 105 | 0.000 % |
15.64/15.77 c | 49546 | 1500 132235 444200 | 2147483647 49546 105 | 0.000 % |
15.74/15.85 c | 49692 | 1500 132235 444200 | 2147483647 49692 105 | 0.000 % |
15.84/15.91 c | 49852 | 1500 132235 444200 | 2147483647 49852 105 | 0.000 % |
15.94/16.00 c | 50029 | 1500 132235 444200 | 2147483647 50029 105 | 0.007 % |
15.94/16.09 c | 50223 | 1500 132235 444200 | 2147483647 50223 106 | 0.000 % |
16.05/16.18 c | 50435 | 1500 132235 444200 | 2147483647 50435 106 | 0.000 % |
16.15/16.28 c | 50668 | 1500 132235 444200 | 2147483647 50668 106 | 0.007 % |
16.35/16.41 c | 50924 | 1500 132235 444200 | 2147483647 50924 106 | 0.008 % |
16.45/16.54 c | 51206 | 1500 132235 444200 | 2147483647 51206 105 | 0.008 % |
16.55/16.67 c | 51516 | 1500 132235 444200 | 2147483647 51516 105 | 0.007 % |
16.75/16.83 c | 51856 | 1500 132235 444200 | 2147483647 51856 105 | 0.000 % |
16.95/17.03 c | 52229 | 1500 132235 444200 | 2147483647 52229 106 | 0.000 % |
17.15/17.27 c | 52638 | 1500 132235 444200 | 2147483647 52638 106 | 0.000 % |
17.45/17.53 c | 53088 | 1500 132235 444200 | 2147483647 53088 105 | 0.009 % |
17.65/17.75 c | 53581 | 1500 132235 444200 | 2147483647 53581 106 | 0.000 % |
17.95/18.04 c | 54123 | 1500 132235 444200 | 2147483647 54123 106 | 0.000 % |
18.25/18.33 c | 54719 | 1500 132235 444200 | 2147483647 54719 107 | 0.000 % |
18.55/18.63 c | 55375 | 1500 132235 444200 | 2147483647 55375 107 | 0.000 % |
18.84/18.96 c | 56095 | 1500 132235 444200 | 2147483647 56095 106 | 0.000 % |
18.94/19.01 c | 56195 | 1500 132235 444200 | 2147483647 56195 107 | 0.000 % |
18.94/19.06 c | 56306 | 1500 132235 444200 | 2147483647 56306 107 | 0.000 % |
19.04/19.14 c | 56427 | 1500 132235 444200 | 2147483647 56427 107 | 0.000 % |
19.14/19.22 c | 56561 | 1500 132235 444200 | 2147483647 56561 107 | 0.000 % |
19.24/19.32 c | 56707 | 1500 132235 444200 | 2147483647 56707 107 | 0.000 % |
19.34/19.41 c | 56867 | 1500 132235 444200 | 2147483647 56867 107 | 0.000 % |
19.44/19.51 c | 57043 | 1500 132235 444200 | 2147483647 57043 107 | 0.009 % |
19.54/19.62 c | 57236 | 1500 132235 444200 | 2147483647 57236 107 | 0.000 % |
19.65/19.72 c | 57449 | 1500 132235 444200 | 2147483647 57449 107 | 0.000 % |
19.75/19.84 c | 57686 | 1500 132235 444200 | 2147483647 57686 107 | 0.000 % |
19.84/19.98 c | 57942 | 1500 132235 444200 | 2147483647 57942 107 | 0.009 % |
20.04/20.11 c | 58224 | 1500 132235 444200 | 2147483647 58224 107 | 0.009 % |
20.14/20.27 c | 58536 | 1500 132235 444200 | 2147483647 58536 107 | 0.009 % |
20.34/20.48 c | 58877 | 1500 132235 444200 | 2147483647 58877 107 | 0.000 % |
20.55/20.68 c | 59249 | 1500 132235 444200 | 2147483647 59249 107 | 0.000 % |
20.85/20.92 c | 59661 | 1500 132235 444200 | 2147483647 59661 107 | 0.000 % |
21.05/21.14 c | 60111 | 1500 132235 444200 | 2147483647 60111 107 | 0.000 % |
21.25/21.37 c | 60605 | 1500 132235 444200 | 2147483647 60605 107 | 0.000 % |
21.55/21.63 c | 61148 | 1500 132235 444200 | 2147483647 61148 106 | 0.009 % |
21.85/21.91 c | 61746 | 1500 132235 444200 | 2147483647 61746 106 | 0.009 % |
22.15/22.21 c | 62401 | 1500 132235 444200 | 2147483647 62401 106 | 0.008 % |
22.45/22.57 c | 63121 | 1500 132235 444200 | 2147483647 63121 105 | 0.008 % |
22.84/22.95 c | 63915 | 1500 132235 444200 | 2147483647 63915 105 | 0.009 % |
22.95/23.01 c | 64016 | 1500 132235 444200 | 2147483647 64016 105 | 0.008 % |
22.95/23.08 c | 64127 | 1500 132235 444200 | 2147483647 64127 105 | 0.000 % |
23.05/23.15 c | 64248 | 1500 132235 444200 | 2147483647 64248 105 | 0.007 % |
23.14/23.24 c | 64384 | 1500 132235 444200 | 2147483647 64384 105 | 0.000 % |
23.24/23.32 c | 64530 | 1500 132235 444200 | 2147483647 64530 105 | 0.000 % |
23.34/23.42 c | 64691 | 1500 132235 444200 | 2147483647 64691 105 | 0.000 % |
23.44/23.50 c | 64867 | 1500 132235 444200 | 2147483647 64867 105 | 0.000 % |
23.54/23.63 c | 65063 | 1500 132235 444200 | 2147483647 65063 105 | 0.010 % |
23.64/23.77 c | 65276 | 1500 132235 444200 | 2147483647 65276 105 | 0.000 % |
23.74/23.88 c | 65509 | 1500 132235 444200 | 2147483647 65509 105 | 0.006 % |
23.94/24.04 c | 65767 | 1500 132235 444200 | 2147483647 65767 106 | 0.000 % |
24.14/24.20 c | 66048 | 1500 132235 444200 | 2147483647 66048 106 | 0.007 % |
24.25/24.36 c | 66358 | 1500 132235 444200 | 2147483647 66358 106 | 0.000 % |
24.45/24.56 c | 66697 | 1500 132235 444200 | 2147483647 66697 106 | 0.000 % |
24.65/24.78 c | 67069 | 1500 132235 444200 | 2147483647 67069 106 | 0.008 % |
24.95/25.01 c | 67478 | 1500 132235 444200 | 2147483647 67478 107 | 0.000 % |
25.15/25.21 c | 67927 | 1500 132235 444200 | 2147483647 67927 107 | 0.000 % |
25.35/25.48 c | 68420 | 1500 132235 444200 | 2147483647 68420 107 | 0.000 % |
25.64/25.78 c | 68963 | 1500 132235 444200 | 2147483647 68963 107 | 0.000 % |
26.04/26.14 c | 69560 | 1500 132235 444200 | 2147483647 69560 107 | 0.000 % |
26.44/26.56 c | 70217 | 1500 132235 444200 | 2147483647 70217 108 | 0.000 % |
26.94/27.02 c | 70939 | 1500 132235 444200 | 2147483647 70939 108 | 0.000 % |
27.34/27.47 c | 71733 | 1500 132235 444200 | 2147483647 71733 109 | 0.000 % |
27.84/27.93 c | 72605 | 1500 132235 444200 | 2147483647 72605 108 | 0.009 % |
27.84/27.99 c | 72708 | 1500 132235 444200 | 2147483647 72708 108 | 0.000 % |
27.94/28.07 c | 72820 | 1500 132235 444200 | 2147483647 72820 108 | 0.000 % |
28.04/28.13 c | 72941 | 1500 132235 444200 | 2147483647 72941 108 | 0.000 % |
28.14/28.22 c | 73074 | 1500 132235 444200 | 2147483647 73074 108 | 0.000 % |
28.24/28.31 c | 73221 | 1500 132235 444200 | 2147483647 73221 109 | 0.000 % |
28.24/28.40 c | 73382 | 1500 132235 444200 | 2147483647 73382 109 | 0.000 % |
28.34/28.49 c | 73559 | 1500 132235 444200 | 2147483647 73559 109 | 0.000 % |
28.54/28.65 c | 73757 | 1500 132235 444200 | 2147483647 73757 109 | 0.000 % |
28.74/28.80 c | 73969 | 1500 132235 444200 | 2147483647 73969 109 | 0.008 % |
28.84/28.96 c | 74202 | 1500 132235 444200 | 2147483647 74202 109 | 0.009 % |
29.04/29.13 c | 74459 | 1500 132235 444200 | 2147483647 74459 109 | 0.000 % |
29.14/29.29 c | 74741 | 1500 132235 444200 | 2147483647 74741 109 | 0.008 % |
29.34/29.47 c | 75050 | 1500 132235 444200 | 2147483647 75050 108 | 0.008 % |
29.55/29.69 c | 75389 | 1500 132235 444200 | 2147483647 75389 109 | 0.000 % |
29.84/29.91 c | 75762 | 1500 132235 444200 | 2147483647 75762 109 | 0.000 % |
30.04/30.17 c | 76173 | 1500 132235 444200 | 2147483647 76173 109 | 0.009 % |
30.34/30.45 c | 76623 | 1500 132235 444200 | 2147483647 76623 109 | 0.010 % |
30.64/30.72 c | 77116 | 1500 132235 444200 | 2147483647 77116 109 | 0.010 % |
30.94/31.07 c | 77658 | 1500 132235 444200 | 2147483647 77658 109 | 0.010 % |
31.34/31.40 c | 78254 | 1500 132235 444200 | 2147483647 78254 108 | 0.010 % |
31.64/31.73 c | 78910 | 1500 132235 444200 | 2147483647 78910 108 | 0.000 % |
32.14/32.21 c | 79631 | 1500 132235 444200 | 2147483647 79631 108 | 0.000 % |
32.54/32.63 c | 80425 | 1500 132235 444200 | 2147483647 80425 108 | 0.010 % |
33.14/33.22 c | 81296 | 1500 132235 444200 | 2147483647 81296 107 | 0.000 % |
33.74/33.82 c | 82254 | 1500 132235 444200 | 2147483647 82254 107 | 0.000 % |
33.74/33.88 c | 82354 | 1500 132235 444200 | 2147483647 82354 107 | 0.008 % |
33.84/33.96 c | 82464 | 1500 132235 444200 | 2147483647 82464 107 | 0.009 % |
33.95/34.02 c | 82586 | 1500 132235 444200 | 2147483647 82586 107 | 0.008 % |
34.04/34.14 c | 82720 | 1500 132235 444200 | 2147483647 82720 107 | 0.000 % |
34.14/34.23 c | 82867 | 1500 132235 444200 | 2147483647 82867 107 | 0.000 % |
34.24/34.33 c | 83029 | 1500 132235 444200 | 2147483647 83029 107 | 0.000 % |
34.34/34.45 c | 83206 | 1500 132235 444200 | 2147483647 83206 107 | 0.000 % |
34.54/34.60 c | 83399 | 1500 132235 444200 | 2147483647 83399 107 | 0.000 % |
34.64/34.75 c | 83613 | 1500 132235 444200 | 2147483647 83613 107 | 0.000 % |
34.84/34.93 c | 83848 | 1500 132235 444200 | 2147483647 83848 107 | 0.007 % |
35.04/35.11 c | 84106 | 1500 132235 444200 | 2147483647 84106 107 | 0.007 % |
35.24/35.31 c | 84387 | 1500 132235 444200 | 2147483647 84387 107 | 0.009 % |
35.44/35.55 c | 84696 | 1500 132235 444200 | 2147483647 84696 107 | 0.009 % |
35.64/35.76 c | 85037 | 1500 132235 444200 | 2147483647 85037 107 | 0.009 % |
35.94/36.07 c | 85409 | 1500 132235 444200 | 2147483647 85409 107 | 0.000 % |
36.24/36.34 c | 85818 | 1500 132235 444200 | 2147483647 85818 107 | 0.000 % |
36.54/36.62 c | 86267 | 1500 132235 444200 | 2147483647 86267 107 | 0.000 % |
36.94/37.04 c | 86760 | 1500 132235 444200 | 2147483647 86760 107 | 0.000 % |
37.34/37.42 c | 87302 | 1500 132235 444200 | 2147483647 87302 107 | 0.000 % |
37.74/37.87 c | 87898 | 1500 132235 444200 | 2147483647 87898 107 | 0.000 % |
38.23/38.32 c | 88553 | 1500 132235 444200 | 2147483647 88553 107 | 0.000 % |
38.83/38.94 c | 89273 | 1500 132235 444200 | 2147483647 89273 108 | 0.000 % |
39.44/39.52 c | 90066 | 1500 132235 444200 | 2147483647 90066 107 | 0.000 % |
40.04/40.18 c | 90938 | 1500 132235 444200 | 2147483647 90938 108 | 0.000 % |
40.74/40.87 c | 91899 | 1500 132235 444200 | 2147483647 91899 108 | 0.000 % |
41.53/41.69 c | 92953 | 1500 132235 444200 | 2147483647 92953 108 | 0.007 % |
41.64/41.77 c | 93054 | 1500 132235 444200 | 2147483647 93054 108 | 0.000 % |
41.83/41.90 c | 93165 | 1500 132235 444200 | 2147483647 93165 108 | 0.000 % |
41.83/41.99 c | 93286 | 1500 132235 444200 | 2147483647 93286 108 | 0.000 % |
42.03/42.11 c | 93422 | 1500 132235 444200 | 2147483647 93422 108 | 0.000 % |
42.13/42.24 c | 93568 | 1500 132235 444200 | 2147483647 93568 108 | 0.009 % |
42.23/42.38 c | 93728 | 1500 132235 444200 | 2147483647 93728 108 | 0.000 % |
42.43/42.52 c | 93907 | 1500 132235 444200 | 2147483647 93907 108 | 0.008 % |
42.53/42.67 c | 94102 | 1500 132235 444200 | 2147483647 94102 108 | 0.000 % |
42.73/42.82 c | 94314 | 1500 132235 444200 | 2147483647 94314 108 | 0.009 % |
42.83/42.97 c | 94547 | 1500 132235 444200 | 2147483647 94547 108 | 0.007 % |
43.13/43.20 c | 94803 | 1500 132235 444200 | 2147483647 94803 108 | 0.000 % |
43.33/43.43 c | 95087 | 1500 132235 444200 | 2147483647 95087 108 | 0.000 % |
43.53/43.69 c | 95399 | 1500 132235 444200 | 2147483647 95399 108 | 0.000 % |
43.83/43.93 c | 95740 | 1500 132235 444200 | 2147483647 95740 108 | 0.009 % |
44.13/44.22 c | 96112 | 1500 132235 444200 | 2147483647 96112 108 | 0.008 % |
44.43/44.50 c | 96523 | 1500 132235 444200 | 2147483647 96523 108 | 0.008 % |
44.74/44.87 c | 96973 | 1500 132235 444200 | 2147483647 96973 108 | 0.000 % |
45.13/45.21 c | 97466 | 1500 132235 444200 | 2147483647 97466 108 | 0.000 % |
45.43/45.57 c | 98013 | 1500 132235 444200 | 2147483647 98013 108 | 0.007 % |
46.04/46.15 c | 98612 | 1500 132235 444200 | 2147483647 98612 109 | 0.000 % |
46.53/46.68 c | 99267 | 1500 132235 444200 | 2147483647 99267 109 | 0.000 % |
47.23/47.31 c | 99987 | 1500 132235 444200 | 2147483647 99987 109 | 0.000 % |
47.83/47.93 c | 100779 | 1500 132235 444200 | 2147483647 100779 109 | 0.000 % |
48.43/48.57 c | 101650 | 1500 132235 444200 | 2147483647 101650 108 | 0.000 % |
49.23/49.39 c | 102609 | 1500 132235 444200 | 2147483647 102609 108 | 0.008 % |
50.22/50.31 c | 103662 | 1500 132235 444200 | 2147483647 103662 107 | 0.008 % |
51.12/51.23 c | 104820 | 1500 132235 444200 | 2147483647 104820 107 | 0.008 % |
51.22/51.33 c | 104921 | 1500 132235 444200 | 2147483647 104921 107 | 0.008 % |
51.32/51.40 c | 105032 | 1500 132235 444200 | 2147483647 105032 107 | 0.009 % |
51.42/51.56 c | 105154 | 1500 132235 444200 | 2147483647 105154 107 | 0.000 % |
51.53/51.66 c | 105290 | 1500 132235 444200 | 2147483647 105290 107 | 0.009 % |
51.72/51.80 c | 105438 | 1500 132235 444200 | 2147483647 105438 107 | 0.000 % |
51.82/51.96 c | 105600 | 1500 132235 444200 | 2147483647 105600 107 | 0.009 % |
52.02/52.11 c | 105776 | 1500 132235 444200 | 2147483647 105776 107 | 0.008 % |
52.12/52.26 c | 105969 | 1500 132235 444200 | 2147483647 105969 107 | 0.000 % |
52.33/52.44 c | 106182 | 1500 132235 444200 | 2147483647 106182 107 | 0.000 % |
52.53/52.64 c | 106415 | 1500 132235 444200 | 2147483647 106415 107 | 0.008 % |
52.73/52.80 c | 106671 | 1500 132235 444200 | 2147483647 106671 107 | 0.009 % |
52.93/53.03 c | 106953 | 1500 132235 444200 | 2147483647 106953 107 | 0.000 % |
53.13/53.23 c | 107264 | 1500 132235 444200 | 2147483647 107264 107 | 0.000 % |
53.43/53.52 c | 107603 | 1500 132235 444200 | 2147483647 107603 107 | 0.000 % |
53.63/53.75 c | 107976 | 1500 132235 444200 | 2147483647 107976 107 | 0.010 % |
53.93/54.00 c | 108385 | 1500 132235 444200 | 2147483647 108385 106 | 0.009 % |
54.33/54.42 c | 108834 | 1500 132235 444200 | 2147483647 108834 106 | 0.007 % |
54.63/54.72 c | 109328 | 1500 132235 444200 | 2147483647 109328 106 | 0.008 % |
55.03/55.10 c | 109870 | 1500 132235 444200 | 2147483647 109870 106 | 0.009 % |
55.43/55.60 c | 110466 | 1500 132235 444200 | 2147483647 110466 106 | 0.008 % |
56.03/56.14 c | 111121 | 1500 132235 444200 | 2147483647 111121 106 | 0.008 % |
56.52/56.62 c | 111841 | 1500 132235 444200 | 2147483647 111841 105 | 0.009 % |
57.03/57.15 c | 112634 | 1500 132235 444200 | 2147483647 112634 105 | 0.009 % |
57.72/57.81 c | 113505 | 1500 132235 444200 | 2147483647 113505 105 | 0.009 % |
58.73/58.84 c | 114463 | 1500 132235 444200 | 2147483647 114463 106 | 0.000 % |
59.73/59.82 c | 115520 | 1500 132235 444200 | 2147483647 115520 106 | 0.000 % |
60.92/61.01 c | 116679 | 1500 132235 444200 | 2147483647 116679 107 | 0.000 % |
62.22/62.37 c | 117954 | 1500 132235 444200 | 2147483647 117954 107 | 0.000 % |
62.32/62.46 c | 118054 | 1500 132235 444200 | 2147483647 118054 107 | 0.009 % |
62.42/62.58 c | 118168 | 1500 132235 444200 | 2147483647 118168 107 | 0.000 % |
62.63/62.71 c | 118290 | 1500 132235 444200 | 2147483647 118290 107 | 0.009 % |
62.72/62.82 c | 118428 | 1500 132235 444200 | 2147483647 118428 107 | 0.009 % |
62.82/62.94 c | 118576 | 1500 132235 444200 | 2147483647 118576 107 | 0.009 % |
63.02/63.12 c | 118739 | 1500 132235 444200 | 2147483647 118739 107 | 0.000 % |
63.22/63.33 c | 118915 | 1500 132235 444200 | 2147483647 118915 107 | 0.000 % |
63.42/63.51 c | 119111 | 1500 132235 444200 | 2147483647 119111 107 | 0.000 % |
63.52/63.68 c | 119323 | 1500 132235 444200 | 2147483647 119323 107 | 0.000 % |
63.82/63.95 c | 119556 | 1500 132235 444200 | 2147483647 119556 107 | 0.000 % |
64.12/64.21 c | 119812 | 1500 132235 444200 | 2147483647 119812 107 | 0.000 % |
64.32/64.46 c | 120093 | 1500 132235 444200 | 2147483647 120093 107 | 0.000 % |
64.62/64.75 c | 120402 | 1500 132235 444200 | 2147483647 120402 107 | 0.000 % |
64.92/65.08 c | 120742 | 1500 132235 444200 | 2147483647 120742 108 | 0.008 % |
65.23/65.40 c | 121114 | 1500 132235 444200 | 2147483647 121114 108 | 0.008 % |
65.63/65.74 c | 121523 | 1500 132235 444200 | 2147483647 121523 108 | 0.000 % |
66.13/66.25 c | 121973 | 1500 132235 444200 | 2147483647 121973 108 | 0.000 % |
66.52/66.66 c | 122467 | 1500 132235 444200 | 2147483647 122467 108 | 0.000 % |
67.12/67.22 c | 123011 | 1500 132235 444200 | 2147483647 123011 108 | 0.009 % |
67.72/67.85 c | 123607 | 1500 132235 444200 | 2147483647 123607 108 | 0.000 % |
68.32/68.47 c | 124264 | 1500 132235 444200 | 2147483647 124264 109 | 0.000 % |
68.92/69.08 c | 124984 | 1500 132235 444200 | 2147483647 124984 109 | 0.009 % |
69.73/69.84 c | 125776 | 1500 132235 444200 | 2147483647 125776 108 | 0.009 % |
70.53/70.63 c | 126647 | 1500 132235 444200 | 2147483647 126647 108 | 0.009 % |
71.52/71.62 c | 127606 | 1500 132235 444200 | 2147483647 127606 108 | 0.009 % |
72.52/72.64 c | 128659 | 1500 132235 444200 | 2147483647 128659 108 | 0.008 % |
73.52/73.65 c | 129818 | 1500 132235 444200 | 2147483647 129818 108 | 0.000 % |
74.72/74.87 c | 131092 | 1500 132235 444200 | 2147483647 131092 107 | 0.009 % |
76.32/76.43 c | 132492 | 1500 132235 444200 | 2147483647 132492 108 | 0.000 % |
76.41/76.56 c | 132595 | 1500 132235 444200 | 2147483647 132595 108 | 0.009 % |
76.51/76.70 c | 132705 | 1500 132235 444200 | 2147483647 132705 108 | 0.000 % |
76.71/76.84 c | 132827 | 1500 132235 444200 | 2147483647 132827 108 | 0.000 % |
76.82/76.97 c | 132963 | 1500 132235 444200 | 2147483647 132963 108 | 0.000 % |
77.01/77.15 c | 133110 | 1500 132235 444200 | 2147483647 133110 108 | 0.000 % |
77.21/77.33 c | 133272 | 1500 132235 444200 | 2147483647 133272 108 | 0.008 % |
77.31/77.47 c | 133448 | 1500 132235 444200 | 2147483647 133448 108 | 0.007 % |
77.52/77.65 c | 133643 | 1500 132235 444200 | 2147483647 133643 108 | 0.007 % |
77.72/77.88 c | 133860 | 1500 132235 444200 | 2147483647 133860 108 | 0.009 % |
78.02/78.16 c | 134094 | 1500 132235 444200 | 2147483647 134094 108 | 0.007 % |
78.32/78.42 c | 134350 | 1500 132235 444200 | 2147483647 134350 108 | 0.000 % |
78.62/78.74 c | 134632 | 1500 132235 444200 | 2147483647 134632 108 | 0.007 % |
78.91/79.08 c | 134943 | 1500 132235 444200 | 2147483647 134943 108 | 0.007 % |
79.31/79.41 c | 135283 | 1500 132235 444200 | 2147483647 135283 108 | 0.008 % |
79.71/79.80 c | 135655 | 1500 132235 444200 | 2147483647 135655 108 | 0.008 % |
80.01/80.17 c | 136065 | 1500 132235 444200 | 2147483647 136065 108 | 0.009 % |
80.61/80.77 c | 136515 | 1500 132235 444200 | 2147483647 136515 108 | 0.000 % |
81.21/81.39 c | 137008 | 1500 132235 444200 | 2147483647 137008 108 | 0.000 % |
82.01/82.10 c | 137550 | 1500 132235 444200 | 2147483647 137550 108 | 0.000 % |
82.61/82.71 c | 138146 | 1500 132235 444200 | 2147483647 138146 109 | 0.000 % |
83.21/83.37 c | 138803 | 1500 132235 444200 | 2147483647 138803 109 | 0.000 % |
84.00/84.10 c | 139525 | 1500 132235 444200 | 2147483647 139525 109 | 0.000 % |
84.91/85.07 c | 140317 | 1500 132235 444200 | 2147483647 140317 109 | 0.000 % |
85.91/86.02 c | 141188 | 1500 132235 444200 | 2147483647 141188 110 | 0.000 % |
86.81/86.95 c | 142147 | 1500 132235 444200 | 2147483647 142147 110 | 0.008 % |
87.71/87.90 c | 143201 | 1500 132235 444200 | 2147483647 143201 110 | 0.000 % |
89.01/89.11 c | 144359 | 1500 132235 444200 | 2147483647 144359 110 | 0.009 % |
90.31/90.45 c | 145632 | 1500 132235 444200 | 2147483647 145632 109 | 0.009 % |
91.71/91.86 c | 147033 | 1500 132235 444200 | 2147483647 147033 109 | 0.009 % |
93.80/93.97 c | 148575 | 1500 132235 444200 | 2147483647 148575 110 | 0.000 % |
93.90/94.09 c | 148675 | 1500 132235 444200 | 2147483647 148675 110 | 0.000 % |
94.10/94.22 c | 148786 | 1500 132235 444200 | 2147483647 148786 110 | 0.000 % |
94.20/94.35 c | 148907 | 1500 132235 444200 | 2147483647 148907 110 | 0.008 % |
94.41/94.54 c | 149040 | 1500 132235 444200 | 2147483647 149040 110 | 0.000 % |
94.61/94.71 c | 149186 | 1500 132235 444200 | 2147483647 149186 110 | 0.000 % |
94.81/94.95 c | 149348 | 1500 132235 444200 | 2147483647 149348 110 | 0.000 % |
95.00/95.13 c | 149524 | 1500 132235 444200 | 2147483647 149524 110 | 0.000 % |
95.30/95.47 c | 149719 | 1500 132235 444200 | 2147483647 149719 110 | 0.000 % |
95.61/95.71 c | 149931 | 1500 132235 444200 | 2147483647 149931 110 | 0.008 % |
95.80/95.99 c | 150164 | 1500 132235 444200 | 2147483647 150164 110 | 0.000 % |
96.20/96.30 c | 150420 | 1500 132235 444200 | 2147483647 150420 110 | 0.000 % |
96.50/96.61 c | 150701 | 1500 132235 444200 | 2147483647 150701 110 | 0.008 % |
96.80/96.94 c | 151011 | 1500 132235 444200 | 2147483647 151011 110 | 0.009 % |
97.30/97.41 c | 151351 | 1500 132235 444200 | 2147483647 151351 110 | 0.000 % |
97.80/97.90 c | 151723 | 1500 132235 444200 | 2147483647 151723 111 | 0.000 % |
98.20/98.38 c | 152132 | 1500 132235 444200 | 2147483647 152132 110 | 0.009 % |
98.70/98.84 c | 152581 | 1500 132235 444200 | 2147483647 152581 110 | 0.009 % |
99.40/99.53 c | 153076 | 1500 132235 444200 | 2147483647 153076 111 | 0.000 % |
100.20/100.31 c | 153619 | 1500 132235 444200 | 2147483647 153619 111 | 0.000 % |
100.80/100.99 c | 154220 | 1500 132235 444200 | 2147483647 154220 111 | 0.008 % |
101.50/101.70 c | 154876 | 1500 132235 444200 | 2147483647 154876 111 | 0.000 % |
102.30/102.43 c | 155596 | 1500 132235 444200 | 2147483647 155596 110 | 0.008 % |
103.40/103.57 c | 156391 | 1500 132235 444200 | 2147483647 156391 111 | 0.000 % |
104.50/104.66 c | 157262 | 1500 132235 444200 | 2147483647 157262 111 | 0.000 % |
105.50/105.66 c | 158220 | 1500 132235 444200 | 2147483647 158220 111 | 0.000 % |
106.60/106.71 c | 159274 | 1500 132235 444200 | 2147483647 159274 111 | 0.000 % |
107.80/107.98 c | 160434 | 1500 132235 444200 | 160001 160434 111 | 0.007 % |
109.50/109.64 c | 161710 | 1500 132235 444200 | 160001 142708 110 | 0.009 % |
110.70/110.87 c | 163115 | 1500 132235 444200 | 160001 144113 110 | 0.008 % |
112.30/112.48 c | 164656 | 1500 132235 444200 | 160001 145654 110 | 0.009 % |
113.99/114.16 c | 166350 | 1500 132235 444200 | 160001 147348 109 | 0.009 % |
114.09/114.30 c | 166452 | 1500 132235 444200 | 160001 147450 109 | 0.000 % |
114.20/114.40 c | 166565 | 1500 132235 444200 | 160001 147563 109 | 0.000 % |
114.39/114.58 c | 166687 | 1500 132235 444200 | 160001 147685 109 | 0.000 % |
114.59/114.74 c | 166820 | 1500 132235 444200 | 160001 147818 109 | 0.000 % |
114.79/114.91 c | 166966 | 1500 132235 444200 | 160001 147964 109 | 0.008 % |
114.89/115.09 c | 167126 | 1500 132235 444200 | 160001 148124 109 | 0.000 % |
115.09/115.26 c | 167304 | 1500 132235 444200 | 160001 148302 109 | 0.010 % |
115.30/115.46 c | 167498 | 1500 132235 444200 | 160001 148496 109 | 0.000 % |
115.49/115.69 c | 167714 | 1500 132235 444200 | 160001 148712 109 | 0.000 % |
115.79/115.91 c | 167947 | 1500 132235 444200 | 160001 148945 109 | 0.000 % |
116.09/116.23 c | 168205 | 1500 132235 444200 | 160001 149203 109 | 0.009 % |
116.40/116.55 c | 168486 | 1500 132235 444200 | 160001 149484 109 | 0.009 % |
116.69/116.89 c | 168795 | 1500 132235 444200 | 160001 149793 109 | 0.008 % |
116.99/117.16 c | 169135 | 1500 132235 444200 | 160001 150133 109 | 0.007 % |
117.39/117.56 c | 169509 | 1500 132235 444200 | 160001 150507 109 | 0.008 % |
117.89/118.09 c | 169918 | 1500 132235 444200 | 160001 150916 109 | 0.000 % |
118.49/118.61 c | 170368 | 1500 132235 444200 | 150998 151366 109 | 0.000 % |
119.09/119.25 c | 170863 | 1500 132235 444200 | 150998 134766 107 | 0.000 % |
119.70/119.81 c | 171405 | 1500 132235 444200 | 150998 135308 107 | 0.007 % |
120.29/120.46 c | 172001 | 1500 132235 444200 | 150998 135904 107 | 0.007 % |
121.19/121.31 c | 172657 | 1500 132235 444200 | 150998 136560 107 | 0.000 % |
121.79/121.97 c | 173378 | 1500 132235 444200 | 150998 137281 107 | 0.007 % |
122.69/122.84 c | 174170 | 1500 132235 444200 | 150998 138073 107 | 0.007 % |
123.59/123.78 c | 175041 | 1500 132235 444200 | 150998 138944 107 | 0.007 % |
124.59/124.79 c | 176001 | 1500 132235 444200 | 150998 139904 107 | 0.000 % |
125.79/125.95 c | 177054 | 1500 132235 444200 | 150998 140957 108 | 0.000 % |
127.29/127.44 c | 178212 | 1500 132235 444200 | 150998 142115 109 | 0.000 % |
128.59/128.75 c | 179485 | 1500 132235 444200 | 150998 143388 109 | 0.008 % |
129.99/130.12 c | 180885 | 1500 132235 444200 | 143903 144788 109 | 0.000 % |
131.89/132.06 c | 182428 | 1500 132235 444200 | 143903 131853 107 | 0.000 % |
133.39/133.54 c | 184127 | 1500 132235 444200 | 143903 133552 107 | 0.007 % |
135.19/135.37 c | 185990 | 1500 132235 444200 | 143903 135415 107 | 0.000 % |
135.29/135.46 c | 186090 | 1500 132235 444200 | 143903 135515 107 | 0.000 % |
135.49/135.60 c | 186200 | 1500 132235 444200 | 143903 135625 107 | 0.000 % |
135.59/135.76 c | 186322 | 1500 132235 444200 | 143903 135747 107 | 0.000 % |
135.79/135.91 c | 186455 | 1500 132235 444200 | 143903 135880 107 | 0.000 % |
135.89/136.08 c | 186602 | 1500 132235 444200 | 143903 136027 107 | 0.008 % |
136.09/136.21 c | 186762 | 1500 132235 444200 | 143903 136187 107 | 0.008 % |
136.19/136.36 c | 186938 | 1500 132235 444200 | 143903 136363 107 | 0.000 % |
136.49/136.60 c | 187131 | 1500 132235 444200 | 143903 136556 107 | 0.008 % |
136.59/136.79 c | 187345 | 1500 132235 444200 | 143903 136770 107 | 0.008 % |
136.89/137.02 c | 187578 | 1500 132235 444200 | 143903 137003 107 | 0.008 % |
137.19/137.33 c | 187834 | 1500 132235 444200 | 143903 137259 107 | 0.000 % |
137.49/137.62 c | 188115 | 1500 132235 444200 | 143903 137540 107 | 0.000 % |
137.79/137.97 c | 188424 | 1500 132235 444200 | 143903 137849 107 | 0.000 % |
138.19/138.36 c | 188763 | 1500 132235 444200 | 143903 138188 107 | 0.009 % |
138.69/138.85 c | 189135 | 1500 132235 444200 | 143903 138560 107 | 0.000 % |
139.18/139.39 c | 189544 | 1500 132235 444200 | 143903 138969 108 | 0.000 % |
139.78/139.99 c | 189993 | 1500 132235 444200 | 143903 139418 108 | 0.000 % |
140.38/140.53 c | 190486 | 1500 132235 444200 | 2147483647 139911 108 | 0.008 % |
140.98/141.13 c | 191030 | 1500 132235 444200 | 2147483647 140455 108 | 0.000 % |
141.88/142.05 c | 191626 | 1500 132235 444200 | 2147483647 141051 108 | 0.000 % |
142.69/142.89 c | 192281 | 1500 132235 444200 | 2147483647 141706 108 | 0.000 % |
143.49/143.66 c | 193003 | 1500 132235 444200 | 2147483647 142428 109 | 0.000 % |
144.48/144.66 c | 193795 | 1500 132235 444200 | 2147483647 143220 109 | 0.000 % |
145.68/145.81 c | 194666 | 1500 132235 444200 | 2147483647 144091 109 | 0.000 % |
146.88/147.05 c | 195624 | 1500 132235 444200 | 2147483647 145049 110 | 0.000 % |
148.18/148.33 c | 196677 | 1500 132235 444200 | 2147483647 146102 110 | 0.008 % |
149.68/149.84 c | 197837 | 1500 132235 444200 | 2147483647 147262 110 | 0.000 % |
150.88/151.03 c | 199110 | 1500 132235 444200 | 2147483647 148535 109 | 0.008 % |
152.18/152.36 c | 200512 | 1500 132235 444200 | 149426 149937 109 | 0.008 % |
154.78/154.98 c | 202052 | 1500 132235 444200 | 149426 133624 109 | 0.000 % |
157.08/157.23 c | 203746 | 1500 132235 444200 | 149426 135318 110 | 0.000 % |
159.38/159.60 c | 205611 | 1500 132235 444200 | 149426 137183 110 | 0.000 % |
161.58/161.70 c | 207660 | 1500 132235 444200 | 149426 139232 110 | 0.009 % |
161.67/161.81 c | 207763 | 1500 132235 444200 | 149426 139335 110 | 0.007 % |
161.77/161.97 c | 207873 | 1500 132235 444200 | 149426 139445 110 | 0.008 % |
161.97/162.11 c | 207994 | 1500 132235 444200 | 149426 139566 110 | 0.009 % |
162.07/162.29 c | 208127 | 1500 132235 444200 | 149426 139699 110 | 0.009 % |
162.27/162.45 c | 208274 | 1500 132235 444200 | 149426 139846 110 | 0.009 % |
162.47/162.60 c | 208434 | 1500 132235 444200 | 149426 140006 110 | 0.009 % |
162.67/162.86 c | 208612 | 1500 132235 444200 | 149426 140184 110 | 0.000 % |
162.87/163.05 c | 208807 | 1500 132235 444200 | 149426 140379 110 | 0.008 % |
163.17/163.31 c | 209022 | 1500 132235 444200 | 149426 140594 110 | 0.000 % |
163.57/163.72 c | 209255 | 1500 132235 444200 | 149426 140827 110 | 0.000 % |
164.07/164.20 c | 209511 | 1500 132235 444200 | 149426 141083 110 | 0.000 % |
164.37/164.56 c | 209792 | 1500 132235 444200 | 149426 141364 110 | 0.000 % |
164.77/164.97 c | 210103 | 1500 132235 444200 | 141574 141675 110 | 0.000 % |
165.37/165.59 c | 210442 | 1500 132235 444200 | 141574 124991 109 | 0.007 % |
165.87/166.05 c | 210814 | 1500 132235 444200 | 141574 125363 109 | 0.000 % |
166.27/166.47 c | 211225 | 1500 132235 444200 | 141574 125774 109 | 0.000 % |
166.77/166.96 c | 211674 | 1500 132235 444200 | 141574 126223 109 | 0.009 % |
167.27/167.48 c | 212167 | 1500 132235 444200 | 141574 126716 109 | 0.009 % |
167.87/168.10 c | 212711 | 1500 132235 444200 | 141574 127260 109 | 0.000 % |
168.67/168.81 c | 213307 | 1500 132235 444200 | 141574 127856 109 | 0.007 % |
169.27/169.41 c | 213963 | 1500 132235 444200 | 141574 128512 109 | 0.008 % |
170.07/170.27 c | 214685 | 1500 132235 444200 | 141574 129234 109 | 0.000 % |
171.07/171.20 c | 215477 | 1500 132235 444200 | 141574 130026 109 | 0.000 % |
171.87/172.06 c | 216349 | 1500 132235 444200 | 141574 130898 109 | 0.008 % |
172.86/173.02 c | 217307 | 1500 132235 444200 | 141574 131856 109 | 0.000 % |
173.86/174.07 c | 218360 | 1500 132235 444200 | 141574 132909 109 | 0.000 % |
175.06/175.24 c | 219520 | 1500 132235 444200 | 141574 134069 109 | 0.000 % |
176.87/177.03 c | 220793 | 1500 132235 444200 | 134551 135342 110 | 0.000 % |
178.76/178.99 c | 222193 | 1500 132235 444200 | 134551 121067 112 | 0.008 % |
180.86/181.05 c | 223734 | 1500 132235 444200 | 134551 122608 112 | 0.000 % |
182.96/183.18 c | 225428 | 1500 132235 444200 | 134551 124302 112 | 0.000 % |
185.26/185.46 c | 227291 | 1500 132235 444200 | 134551 126165 112 | 0.008 % |
187.86/188.10 c | 229340 | 1500 132235 444200 | 134551 128214 112 | 0.000 % |
190.96/191.12 c | 231593 | 1500 132235 444200 | 128877 113737 110 | 0.000 % |
191.06/191.25 c | 231698 | 1500 132235 444200 | 128877 113842 110 | 0.000 % |
191.16/191.39 c | 231808 | 1500 132235 444200 | 128877 113952 110 | 0.000 % |
191.36/191.57 c | 231931 | 1500 132235 444200 | 128877 114075 110 | 0.000 % |
191.46/191.68 c | 232066 | 1500 132235 444200 | 128877 114210 110 | 0.000 % |
191.66/191.89 c | 232212 | 1500 132235 444200 | 128877 114356 110 | 0.000 % |
191.96/192.15 c | 232373 | 1500 132235 444200 | 128877 114517 110 | 0.000 % |
192.16/192.33 c | 232552 | 1500 132235 444200 | 128877 114696 110 | 0.007 % |
192.46/192.63 c | 232745 | 1500 132235 444200 | 128877 114889 110 | 0.000 % |
192.66/192.85 c | 232959 | 1500 132235 444200 | 128877 115103 110 | 0.000 % |
192.96/193.13 c | 233192 | 1500 132235 444200 | 128877 115336 110 | 0.000 % |
193.16/193.38 c | 233448 | 1500 132235 444200 | 128877 115592 110 | 0.009 % |
193.46/193.69 c | 233731 | 1500 132235 444200 | 128877 115875 110 | 0.006 % |
193.86/194.03 c | 234042 | 1500 132235 444200 | 128877 116186 110 | 0.000 % |
194.36/194.52 c | 234381 | 1500 132235 444200 | 128877 116525 110 | 0.000 % |
194.76/194.98 c | 234753 | 1500 132235 444200 | 128877 116897 110 | 0.000 % |
195.16/195.39 c | 235162 | 1500 132235 444200 | 128877 117306 110 | 0.008 % |
195.66/195.85 c | 235611 | 1500 132235 444200 | 128877 117755 110 | 0.000 % |
196.16/196.36 c | 236104 | 1500 132235 444200 | 128877 118248 110 | 0.008 % |
196.66/196.86 c | 236646 | 1500 132235 444200 | 128877 118790 110 | 0.000 % |
197.26/197.42 c | 237243 | 1500 132235 444200 | 128877 119387 110 | 0.000 % |
197.86/198.02 c | 237898 | 1500 132235 444200 | 128877 120042 109 | 0.000 % |
198.56/198.78 c | 238618 | 1500 132235 444200 | 128877 120762 109 | 0.008 % |
199.46/199.65 c | 239410 | 1500 132235 444200 | 128877 121554 109 | 0.007 % |
200.55/200.71 c | 240281 | 1500 132235 444200 | 122144 122425 109 | 0.008 % |
201.55/201.79 c | 241240 | 1500 132235 444200 | 122144 109874 106 | 0.008 % |
202.76/202.97 c | 242294 | 1500 132235 444200 | 122144 110928 106 | 0.008 % |
203.75/203.98 c | 243452 | 1500 132235 444200 | 122144 112086 105 | 0.008 % |
205.05/205.23 c | 244725 | 1500 132235 444200 | 122144 113359 105 | 0.007 % |
206.56/206.72 c | 246125 | 1500 132235 444200 | 122144 114759 105 | 0.008 % |
208.35/208.50 c | 247665 | 1500 132235 444200 | 122144 116299 104 | 0.009 % |
210.45/210.68 c | 249361 | 1500 132235 444200 | 122144 117995 104 | 0.007 % |
212.25/212.48 c | 251227 | 1500 132235 444200 | 2147483647 119861 103 | 0.008 % |
214.36/214.57 c | 253278 | 1500 132235 444200 | 2147483647 121912 103 | 0.009 % |
216.55/216.75 c | 255532 | 1500 132235 444200 | 2147483647 124166 102 | 0.007 % |
219.85/220.08 c | 258011 | 1500 132235 444200 | 2147483647 126645 104 | 0.000 % |
220.05/220.23 c | 258111 | 1500 132235 444200 | 2147483647 126745 104 | 0.000 % |
220.15/220.35 c | 258222 | 1500 132235 444200 | 2147483647 126856 104 | 0.000 % |
220.25/220.49 c | 258343 | 1500 132235 444200 | 2147483647 126977 104 | 0.000 % |
220.45/220.64 c | 258478 | 1500 132235 444200 | 2147483647 127112 104 | 0.010 % |
220.65/220.85 c | 258626 | 1500 132235 444200 | 2147483647 127260 104 | 0.000 % |
220.85/221.02 c | 258789 | 1500 132235 444200 | 2147483647 127423 104 | 0.000 % |
221.05/221.23 c | 258968 | 1500 132235 444200 | 2147483647 127602 104 | 0.008 % |
221.25/221.43 c | 259161 | 1500 132235 444200 | 2147483647 127795 104 | 0.009 % |
221.55/221.73 c | 259373 | 1500 132235 444200 | 2147483647 128007 104 | 0.008 % |
221.85/222.04 c | 259607 | 1500 132235 444200 | 2147483647 128241 104 | 0.007 % |
222.05/222.27 c | 259867 | 1500 132235 444200 | 2147483647 128501 104 | 0.007 % |
222.35/222.54 c | 260149 | 1500 132235 444200 | 128634 128783 104 | 0.009 % |
222.75/222.94 c | 260460 | 1500 132235 444200 | 128634 112804 101 | 0.008 % |
223.05/223.24 c | 260802 | 1500 132235 444200 | 128634 113146 101 | 0.009 % |
223.45/223.67 c | 261174 | 1500 132235 444200 | 128634 113518 101 | 0.009 % |
223.95/224.14 c | 261584 | 1500 132235 444200 | 128634 113928 101 | 0.008 % |
224.45/224.67 c | 262034 | 1500 132235 444200 | 128634 114378 101 | 0.000 % |
225.05/225.26 c | 262529 | 1500 132235 444200 | 128634 114873 102 | 0.000 % |
225.75/225.95 c | 263073 | 1500 132235 444200 | 128634 115417 102 | 0.000 % |
226.55/226.72 c | 263670 | 1500 132235 444200 | 128634 116014 103 | 0.000 % |
227.15/227.32 c | 264327 | 1500 132235 444200 | 128634 116671 103 | 0.000 % |
227.85/228.02 c | 265048 | 1500 132235 444200 | 128634 117392 103 | 0.000 % |
228.85/229.06 c | 265841 | 1500 132235 444200 | 128634 118185 104 | 0.000 % |
229.95/230.14 c | 266712 | 1500 132235 444200 | 128634 119056 104 | 0.000 % |
230.85/231.08 c | 267674 | 1500 132235 444200 | 128634 120018 104 | 0.000 % |
232.04/232.28 c | 268729 | 1500 132235 444200 | 128634 121073 104 | 0.000 % |
233.14/233.36 c | 269887 | 1500 132235 444200 | 128634 122231 104 | 0.010 % |
234.24/234.41 c | 271160 | 1500 132235 444200 | 2147483647 123504 104 | 0.010 % |
235.44/235.66 c | 272565 | 1500 132235 444200 | 2147483647 124909 103 | 0.009 % |
237.54/237.74 c | 274105 | 1500 132235 444200 | 2147483647 126449 104 | 0.000 % |
239.44/239.65 c | 275802 | 1500 132235 444200 | 2147483647 128146 105 | 0.000 % |
241.14/241.38 c | 277666 | 1500 132235 444200 | 2147483647 130010 106 | 0.000 % |
243.84/244.04 c | 279718 | 1500 132235 444200 | 2147483647 132062 106 | 0.000 % |
246.44/246.67 c | 281972 | 1500 132235 444200 | 132345 117926 105 | 0.009 % |
249.04/249.28 c | 284453 | 1500 132235 444200 | 132345 120407 105 | 0.000 % |
252.54/252.72 c | 287178 | 1500 132235 444200 | 132345 123132 107 | 0.000 % |
252.64/252.84 c | 287280 | 1500 132235 444200 | 132345 123234 107 | 0.010 % |
252.74/252.97 c | 287391 | 1500 132235 444200 | 132345 123345 107 | 0.000 % |
252.94/253.12 c | 287512 | 1500 132235 444200 | 132345 123466 107 | 0.000 % |
253.14/253.33 c | 287646 | 1500 132235 444200 | 132345 123600 107 | 0.000 % |
253.24/253.49 c | 287792 | 1500 132235 444200 | 132345 123746 107 | 0.000 % |
253.44/253.69 c | 287952 | 1500 132235 444200 | 132345 123906 107 | 0.000 % |
253.74/253.91 c | 288128 | 1500 132235 444200 | 132345 124082 107 | 0.009 % |
253.94/254.17 c | 288321 | 1500 132235 444200 | 132345 124275 107 | 0.000 % |
254.24/254.42 c | 288534 | 1500 132235 444200 | 132345 124488 107 | 0.008 % |
254.54/254.79 c | 288768 | 1500 132235 444200 | 132345 124722 107 | 0.000 % |
254.84/255.07 c | 289024 | 1500 132235 444200 | 132345 124978 107 | 0.000 % |
255.34/255.53 c | 289305 | 1500 132235 444200 | 132345 125259 107 | 0.000 % |
255.64/255.88 c | 289614 | 1500 132235 444200 | 132345 125568 107 | 0.000 % |
256.04/256.22 c | 289955 | 1500 132235 444200 | 132345 125909 107 | 0.000 % |
256.44/256.61 c | 290327 | 1500 132235 444200 | 125959 126281 107 | 0.008 % |
257.04/257.20 c | 290738 | 1500 132235 444200 | 125959 110920 104 | 0.000 % |
257.44/257.66 c | 291188 | 1500 132235 444200 | 125959 111370 104 | 0.007 % |
257.93/258.11 c | 291682 | 1500 132235 444200 | 125959 111864 104 | 0.000 % |
258.43/258.69 c | 292225 | 1500 132235 444200 | 125959 112407 104 | 0.000 % |
258.93/259.14 c | 292825 | 1500 132235 444200 | 125959 113007 103 | 0.000 % |
259.44/259.66 c | 293480 | 1500 132235 444200 | 125959 113662 103 | 0.008 % |
259.93/260.18 c | 294200 | 1500 132235 444200 | 125959 114382 103 | 0.008 % |
260.63/260.83 c | 294992 | 1500 132235 444200 | 125959 115174 103 | 0.008 % |
261.54/261.75 c | 295865 | 1500 132235 444200 | 125959 116047 103 | 0.000 % |
262.84/263.08 c | 296823 | 1500 132235 444200 | 125959 117005 103 | 0.000 % |
264.13/264.33 c | 297877 | 1500 132235 444200 | 125959 118059 103 | 0.008 % |
265.33/265.59 c | 299036 | 1500 132235 444200 | 125959 119218 103 | 0.008 % |
266.93/267.12 c | 300309 | 1500 132235 444200 | 2147483647 120491 104 | 0.000 % |
268.63/268.86 c | 301710 | 1500 132235 444200 | 2147483647 121892 104 | 0.000 % |
270.13/270.34 c | 303250 | 1500 132235 444200 | 2147483647 123432 104 | 0.007 % |
272.13/272.32 c | 304944 | 1500 132235 444200 | 2147483647 125126 104 | 0.000 % |
273.83/274.07 c | 306807 | 1500 132235 444200 | 2147483647 126989 104 | 0.008 % |
276.03/276.20 c | 308856 | 1500 132235 444200 | 2147483647 129038 103 | 0.008 % |
278.53/278.76 c | 311111 | 1500 132235 444200 | 130182 113513 100 | 0.008 % |
281.33/281.50 c | 313590 | 1500 132235 444200 | 130182 115992 99 | 0.008 % |
284.33/284.51 c | 316315 | 1500 132235 444200 | 130182 118717 101 | 0.000 % |
287.43/287.67 c | 319312 | 1500 132235 444200 | 130182 121714 102 | 0.008 % |
287.53/287.80 c | 319412 | 1500 132235 444200 | 130182 121814 102 | 0.009 % |
287.73/287.92 c | 319522 | 1500 132235 444200 | 130182 121924 102 | 0.008 % |
287.93/288.12 c | 319643 | 1500 132235 444200 | 130182 122045 102 | 0.000 % |
288.13/288.30 c | 319776 | 1500 132235 444200 | 130182 122178 102 | 0.000 % |
288.23/288.46 c | 319924 | 1500 132235 444200 | 130182 122326 102 | 0.000 % |
288.43/288.63 c | 320086 | 1500 132235 444200 | 122402 122488 102 | 0.010 % |
288.83/289.06 c | 320265 | 1500 132235 444200 | 122402 108001 100 | 0.000 % |
289.03/289.21 c | 320460 | 1500 132235 444200 | 122402 108196 100 | 0.000 % |
289.22/289.43 c | 320673 | 1500 132235 444200 | 122402 108409 100 | 0.010 % |
289.42/289.63 c | 320908 | 1500 132235 444200 | 122402 108644 100 | 0.000 % |
289.62/289.87 c | 321164 | 1500 132235 444200 | 122402 108900 100 | 0.010 % |
289.92/290.15 c | 321449 | 1500 132235 444200 | 122402 109185 100 | 0.009 % |
290.13/290.38 c | 321760 | 1500 132235 444200 | 122402 109496 100 | 0.000 % |
290.42/290.68 c | 322099 | 1500 132235 444200 | 122402 109835 100 | 0.009 % |
290.92/291.13 c | 322471 | 1500 132235 444200 | 122402 110207 100 | 0.000 % |
291.33/291.54 c | 322880 | 1500 132235 444200 | 122402 110616 100 | 0.008 % |
291.82/292.03 c | 323330 | 1500 132235 444200 | 122402 111066 100 | 0.000 % |
292.22/292.40 c | 323824 | 1500 132235 444200 | 122402 111560 100 | 0.000 % |
292.62/292.88 c | 324366 | 1500 132235 444200 | 122402 112102 100 | 0.009 % |
293.22/293.44 c | 324963 | 1500 132235 444200 | 122402 112699 100 | 0.008 % |
293.92/294.13 c | 325620 | 1500 132235 444200 | 122402 113356 99 | 0.008 % |
294.62/294.84 c | 326340 | 1500 132235 444200 | 122402 114076 99 | 0.000 % |
295.42/295.63 c | 327132 | 1500 132235 444200 | 122402 114868 99 | 0.009 % |
296.32/296.51 c | 328003 | 1500 132235 444200 | 122402 115739 99 | 0.008 % |
297.62/297.82 c | 328961 | 1500 132235 444200 | 122402 116697 100 | 0.000 % |
298.92/299.14 c | 330019 | 1500 132235 444200 | 2147483647 117755 101 | 0.000 % |
300.12/300.38 c | 331178 | 1500 132235 444200 | 2147483647 118914 102 | 0.000 % |
301.52/301.71 c | 332454 | 1500 132235 444200 | 2147483647 120190 102 | 0.000 % |
302.92/303.10 c | 333855 | 1500 132235 444200 | 2147483647 121591 103 | 0.000 % |
304.42/304.64 c | 335395 | 1500 132235 444200 | 2147483647 123131 103 | 0.000 % |
306.22/306.46 c | 337090 | 1500 132235 444200 | 2147483647 124826 103 | 0.000 % |
308.42/308.67 c | 338953 | 1500 132235 444200 | 2147483647 126689 104 | 0.000 % |
311.12/311.32 c | 341002 | 1500 132235 444200 | 127736 112300 107 | 0.000 % |
313.81/314.02 c | 343255 | 1500 132235 444200 | 127736 114553 108 | 0.000 % |
316.31/316.58 c | 345735 | 1500 132235 444200 | 127736 117033 107 | 0.010 % |
319.01/319.24 c | 348460 | 1500 132235 444200 | 127736 119758 107 | 0.000 % |
321.81/322.05 c | 351457 | 1500 132235 444200 | 121300 110306 107 | 0.000 % |
325.21/325.44 c | 354754 | 1500 132235 444200 | 121300 113603 106 | 0.008 % |
325.31/325.55 c | 354855 | 1500 132235 444200 | 121300 113704 106 | 0.008 % |
325.51/325.70 c | 354967 | 1500 132235 444200 | 121300 113816 106 | 0.008 % |
325.61/325.86 c | 355089 | 1500 132235 444200 | 121300 113938 106 | 0.009 % |
325.81/326.07 c | 355223 | 1500 132235 444200 | 121300 114072 106 | 0.000 % |
326.01/326.25 c | 355370 | 1500 132235 444200 | 121300 114219 106 | 0.000 % |
326.21/326.42 c | 355530 | 1500 132235 444200 | 121300 114379 106 | 0.000 % |
326.41/326.64 c | 355707 | 1500 132235 444200 | 121300 114556 106 | 0.000 % |
326.61/326.89 c | 355901 | 1500 132235 444200 | 121300 114750 106 | 0.010 % |
326.91/327.11 c | 356114 | 1500 132235 444200 | 121300 114963 106 | 0.010 % |
327.11/327.32 c | 356348 | 1500 132235 444200 | 121300 115197 106 | 0.000 % |
327.41/327.61 c | 356605 | 1500 132235 444200 | 121300 115454 106 | 0.000 % |
327.61/327.88 c | 356886 | 1500 132235 444200 | 121300 115735 106 | 0.008 % |
328.01/328.20 c | 357196 | 1500 132235 444200 | 121300 116045 106 | 0.008 % |
328.41/328.63 c | 357535 | 1500 132235 444200 | 121300 116384 106 | 0.008 % |
329.01/329.20 c | 357907 | 1500 132235 444200 | 121300 116756 106 | 0.000 % |
329.51/329.73 c | 358317 | 1500 132235 444200 | 121300 117166 107 | 0.000 % |
329.91/330.20 c | 358767 | 1500 132235 444200 | 121300 117616 107 | 0.009 % |
330.51/330.79 c | 359260 | 1500 132235 444200 | 121300 118109 106 | 0.009 % |
331.31/331.51 c | 359804 | 1500 132235 444200 | 121300 118653 106 | 0.000 % |
331.91/332.16 c | 360400 | 1500 132235 444200 | 118850 119249 106 | 0.000 % |
332.71/332.99 c | 361056 | 1500 132235 444200 | 118850 107530 104 | 0.000 % |
333.61/333.83 c | 361781 | 1500 132235 444200 | 118850 108255 105 | 0.000 % |
334.51/334.79 c | 362574 | 1500 132235 444200 | 118850 109048 105 | 0.000 % |
335.70/335.98 c | 363445 | 1500 132235 444200 | 118850 109919 106 | 0.000 % |
336.70/336.94 c | 364406 | 1500 132235 444200 | 118850 110880 106 | 0.009 % |
337.70/337.99 c | 365459 | 1500 132235 444200 | 118850 111933 106 | 0.000 % |
339.20/339.43 c | 366619 | 1500 132235 444200 | 118850 113093 106 | 0.000 % |
340.71/340.92 c | 367895 | 1500 132235 444200 | 118850 114369 106 | 0.000 % |
342.30/342.51 c | 369295 | 1500 132235 444200 | 118850 115769 106 | 0.009 % |
343.80/344.04 c | 370836 | 1500 132235 444200 | 2147483647 117310 106 | 0.000 % |
345.30/345.57 c | 372531 | 1500 132235 444200 | 2147483647 119005 105 | 0.009 % |
347.50/347.74 c | 374394 | 1500 132235 444200 | 2147483647 120868 106 | 0.000 % |
349.51/349.77 c | 376446 | 1500 132235 444200 | 2147483647 122920 106 | 0.009 % |
351.70/351.96 c | 378700 | 1500 132235 444200 | 2147483647 125174 105 | 0.008 % |
354.20/354.47 c | 381179 | 1500 132235 444200 | 2147483647 127653 105 | 0.009 % |
357.00/357.29 c | 383904 | 1500 132235 444200 | 2147483647 130378 104 | 0.009 % |
360.30/360.55 c | 386902 | 1500 132235 444200 | 2147483647 133376 103 | 0.009 % |
364.50/364.75 c | 390199 | 1500 132235 444200 | 136475 136673 102 | 0.009 % |
368.79/369.06 c | 393824 | 1500 132235 444200 | 136475 123099 96 | 0.007 % |
368.89/369.18 c | 393924 | 1500 132235 444200 | 136475 123199 96 | 0.010 % |
369.09/369.31 c | 394034 | 1500 132235 444200 | 136475 123309 96 | 0.008 % |
369.19/369.49 c | 394156 | 1500 132235 444200 | 136475 123431 96 | 0.000 % |
369.40/369.62 c | 394289 | 1500 132235 444200 | 136475 123564 96 | 0.007 % |
369.59/369.81 c | 394435 | 1500 132235 444200 | 136475 123710 96 | 0.000 % |
369.69/369.98 c | 394595 | 1500 132235 444200 | 136475 123870 96 | 0.007 % |
369.99/370.24 c | 394771 | 1500 132235 444200 | 136475 124046 96 | 0.000 % |
370.19/370.43 c | 394964 | 1500 132235 444200 | 136475 124239 96 | 0.000 % |
370.40/370.66 c | 395176 | 1500 132235 444200 | 136475 124451 96 | 0.000 % |
370.69/370.92 c | 395411 | 1500 132235 444200 | 136475 124686 96 | 0.008 % |
370.99/371.24 c | 395669 | 1500 132235 444200 | 136475 124944 96 | 0.000 % |
371.29/371.51 c | 395950 | 1500 132235 444200 | 136475 125225 96 | 0.000 % |
371.60/371.86 c | 396261 | 1500 132235 444200 | 136475 125536 96 | 0.000 % |
371.99/372.20 c | 396602 | 1500 132235 444200 | 136475 125877 96 | 0.009 % |
372.29/372.51 c | 396974 | 1500 132235 444200 | 136475 126249 96 | 0.000 % |
372.70/372.92 c | 397383 | 1500 132235 444200 | 136475 126658 96 | 0.010 % |
373.09/373.40 c | 397833 | 1500 132235 444200 | 136475 127108 96 | 0.009 % |
373.59/373.84 c | 398326 | 1500 132235 444200 | 136475 127601 97 | 0.009 % |
373.99/374.27 c | 398868 | 1500 132235 444200 | 136475 128143 97 | 0.008 % |
374.69/374.90 c | 399464 | 1500 132235 444200 | 136475 128739 96 | 0.009 % |
375.39/375.67 c | 400119 | 1500 132235 444200 | 129276 129394 96 | 0.008 % |
376.09/376.34 c | 400839 | 1500 132235 444200 | 129276 114431 95 | 0.000 % |
376.89/377.17 c | 401631 | 1500 132235 444200 | 129276 115223 95 | 0.008 % |
377.79/378.00 c | 402505 | 1500 132235 444200 | 129276 116097 95 | 0.008 % |
379.09/379.36 c | 403463 | 1500 132235 444200 | 129276 117055 96 | 0.000 % |
380.19/380.49 c | 404516 | 1500 132235 444200 | 129276 118108 96 | 0.000 % |
381.69/381.98 c | 405675 | 1500 132235 444200 | 129276 119267 96 | 0.000 % |
383.49/383.70 c | 406948 | 1500 132235 444200 | 129276 120540 96 | 0.008 % |
384.59/384.83 c | 408348 | 1500 132235 444200 | 129276 121940 96 | 0.009 % |
385.89/386.16 c | 409889 | 1500 132235 444200 | 129276 123481 96 | 0.009 % |
387.79/388.04 c | 411586 | 1500 132235 444200 | 2147483647 125178 96 | 0.007 % |
390.29/390.55 c | 413453 | 1500 132235 444200 | 2147483647 127045 97 | 0.000 % |
392.28/392.59 c | 415503 | 1500 132235 444200 | 2147483647 129095 98 | 0.000 % |
395.79/396.07 c | 417759 | 1500 132235 444200 | 2147483647 131351 100 | 0.000 % |
399.38/399.65 c | 420238 | 1500 132235 444200 | 2147483647 133830 102 | 0.000 % |
402.68/402.96 c | 422963 | 1500 132235 444200 | 2147483647 136555 102 | 0.000 % |
406.08/406.38 c | 425960 | 1500 132235 444200 | 2147483647 139552 103 | 0.000 % |
410.38/410.60 c | 429256 | 1500 132235 444200 | 2147483647 142848 104 | 0.000 % |
415.18/415.49 c | 432881 | 1500 132235 444200 | 143592 124320 104 | 0.000 % |
419.68/419.95 c | 436868 | 1500 132235 444200 | 143592 128307 104 | 0.000 % |
419.78/420.07 c | 436968 | 1500 132235 444200 | 143592 128407 104 | 0.000 % |
419.98/420.25 c | 437078 | 1500 132235 444200 | 143592 128517 104 | 0.008 % |
420.18/420.46 c | 437201 | 1500 132235 444200 | 143592 128640 104 | 0.000 % |
420.38/420.65 c | 437334 | 1500 132235 444200 | 143592 128773 104 | 0.000 % |
420.58/420.88 c | 437480 | 1500 132235 444200 | 143592 128919 104 | 0.000 % |
420.88/421.11 c | 437640 | 1500 132235 444200 | 143592 129079 104 | 0.000 % |
421.08/421.35 c | 437816 | 1500 132235 444200 | 143592 129255 104 | 0.008 % |
421.38/421.61 c | 438013 | 1500 132235 444200 | 143592 129452 104 | 0.010 % |
421.67/421.97 c | 438227 | 1500 132235 444200 | 143592 129666 104 | 0.000 % |
421.97/422.24 c | 438460 | 1500 132235 444200 | 143592 129899 104 | 0.000 % |
422.27/422.57 c | 438716 | 1500 132235 444200 | 143592 130155 104 | 0.000 % |
422.67/422.94 c | 438997 | 1500 132235 444200 | 143592 130436 104 | 0.009 % |
422.97/423.23 c | 439309 | 1500 132235 444200 | 143592 130748 104 | 0.000 % |
423.37/423.66 c | 439648 | 1500 132235 444200 | 143592 131087 104 | 0.000 % |
423.77/424.09 c | 440023 | 1500 132235 444200 | 131439 131462 104 | 0.000 % |
424.57/424.81 c | 440432 | 1500 132235 444200 | 131439 113613 98 | 0.000 % |
425.07/425.30 c | 440881 | 1500 132235 444200 | 131439 114062 98 | 0.000 % |
425.57/425.83 c | 441374 | 1500 132235 444200 | 131439 114555 98 | 0.000 % |
426.07/426.33 c | 441916 | 1500 132235 444200 | 131439 115097 98 | 0.009 % |
426.77/427.01 c | 442512 | 1500 132235 444200 | 131439 115693 98 | 0.000 % |
427.68/427.94 c | 443169 | 1500 132235 444200 | 131439 116350 98 | 0.000 % |
428.67/428.97 c | 443892 | 1500 132235 444200 | 131439 117073 99 | 0.000 % |
429.67/429.93 c | 444684 | 1500 132235 444200 | 131439 117865 99 | 0.000 % |
430.47/430.73 c | 445560 | 1500 132235 444200 | 131439 118741 99 | 0.000 % |
431.47/431.76 c | 446519 | 1500 132235 444200 | 131439 119700 100 | 0.000 % |
432.87/433.12 c | 447572 | 1500 132235 444200 | 131439 120753 101 | 0.000 % |
434.47/434.70 c | 448732 | 1500 132235 444200 | 131439 121913 102 | 0.000 % |
435.97/436.21 c | 450005 | 1500 132235 444200 | 123181 123186 102 | 0.000 % |
437.77/438.01 c | 451405 | 1500 132235 444200 | 123181 110546 104 | 0.000 % |
439.17/439.48 c | 452945 | 1500 132235 444200 | 123181 112086 105 | 0.000 % |
441.07/441.37 c | 454639 | 1500 132235 444200 | 123181 113780 106 | 0.000 % |
443.36/443.65 c | 456503 | 1500 132235 444200 | 123181 115644 106 | 0.009 % |
445.46/445.74 c | 458552 | 1500 132235 444200 | 123181 117693 107 | 0.000 % |
448.26/448.59 c | 460805 | 1500 132235 444200 | 119141 105092 107 | 0.000 % |
451.36/451.67 c | 463283 | 1500 132235 444200 | 119141 107570 107 | 0.000 % |
454.56/454.84 c | 466009 | 1500 132235 444200 | 119141 110296 108 | 0.009 % |
458.66/458.92 c | 469006 | 1500 132235 444200 | 119141 113293 110 | 0.000 % |
464.36/464.61 c | 472302 | 1500 132235 444200 | 114288 100457 120 | 0.000 % |
469.46/469.72 c | 475927 | 1500 132235 444200 | 114288 104082 122 | 0.000 % |
475.35/475.63 c | 479916 | 1500 132235 444200 | 114288 108071 123 | 0.000 % |
482.25/482.58 c | 484302 | 1500 132235 444200 | 108156 92675 129 | 0.000 % |
482.45/482.73 c | 484404 | 1500 132235 444200 | 108156 92777 129 | 0.000 % |
482.55/482.87 c | 484515 | 1500 132235 444200 | 108156 92888 129 | 0.000 % |
482.75/483.09 c | 484642 | 1500 132235 444200 | 108156 93015 129 | 0.000 % |
482.95/483.26 c | 484775 | 1500 132235 444200 | 108156 93148 129 | 0.000 % |
483.15/483.45 c | 484922 | 1500 132235 444200 | 108156 93295 129 | 0.000 % |
483.45/483.70 c | 485084 | 1500 132235 444200 | 108156 93457 129 | 0.000 % |
483.55/483.90 c | 485261 | 1500 132235 444200 | 108156 93634 130 | 0.000 % |
483.85/484.17 c | 485455 | 1500 132235 444200 | 108156 93828 130 | 0.000 % |
484.25/484.53 c | 485670 | 1500 132235 444200 | 108156 94043 130 | 0.007 % |
484.55/484.89 c | 485905 | 1500 132235 444200 | 108156 94278 130 | 0.000 % |
484.95/485.23 c | 486163 | 1500 132235 444200 | 108156 94536 130 | 0.000 % |
485.35/485.61 c | 486445 | 1500 132235 444200 | 108156 94818 130 | 0.009 % |
485.75/486.00 c | 486755 | 1500 132235 444200 | 108156 95128 130 | 0.000 % |
486.05/486.33 c | 487094 | 1500 132235 444200 | 108156 95467 129 | 0.000 % |
486.65/486.94 c | 487467 | 1500 132235 444200 | 108156 95840 130 | 0.000 % |
487.15/487.44 c | 487877 | 1500 132235 444200 | 108156 96250 130 | 0.000 % |
487.65/487.97 c | 488326 | 1500 132235 444200 | 108156 96699 130 | 0.000 % |
488.35/488.62 c | 488819 | 1500 132235 444200 | 108156 97192 130 | 0.000 % |
489.05/489.37 c | 489362 | 1500 132235 444200 | 108156 97735 130 | 0.000 % |
489.95/490.22 c | 489959 | 1500 132235 444200 | 108156 98332 130 | 0.000 % |
490.95/491.20 c | 490615 | 1500 132235 444200 | 98374 98988 129 | 0.007 % |
491.75/492.09 c | 491335 | 1500 132235 444200 | 98374 84306 125 | 0.000 % |
492.45/492.74 c | 492127 | 1500 132235 444200 | 98374 85098 125 | 0.009 % |
493.25/493.53 c | 492998 | 1500 132235 444200 | 98374 85969 124 | 0.000 % |
494.15/494.47 c | 493957 | 1500 132235 444200 | 98374 86928 124 | 0.007 % |
495.35/495.63 c | 495010 | 1500 132235 444200 | 98374 87981 124 | 0.009 % |
496.95/497.21 c | 496169 | 1500 132235 444200 | 98374 89140 124 | 0.000 % |
498.94/499.26 c | 497443 | 1500 132235 444200 | 98374 90414 125 | 0.000 % |
500.74/501.07 c | 498843 | 1500 132235 444200 | 98374 91814 125 | 0.000 % |
502.84/503.17 c | 500383 | 1500 132235 444200 | 92971 93354 125 | 0.008 % |
505.04/505.32 c | 502077 | 1500 132235 444200 | 92971 81980 125 | 0.000 % |
506.94/507.21 c | 503940 | 1500 132235 444200 | 92971 83843 127 | 0.000 % |
508.94/509.25 c | 505989 | 1500 132235 444200 | 92971 85892 127 | 0.000 % |
511.74/512.07 c | 508242 | 1500 132235 444200 | 92971 88145 127 | 0.000 % |
515.34/515.63 c | 510721 | 1500 132235 444200 | 89903 90624 127 | 0.000 % |
518.54/518.86 c | 513446 | 1500 132235 444200 | 89903 82157 126 | 0.000 % |
522.84/523.18 c | 516444 | 1500 132235 444200 | 89903 85155 127 | 0.009 % |
527.14/527.40 c | 519741 | 1500 132235 444200 | 89903 88452 126 | 0.008 % |
531.43/531.78 c | 523368 | 1500 132235 444200 | 88713 81758 123 | 0.008 % |
535.83/536.15 c | 527357 | 1500 132235 444200 | 88713 85747 122 | 0.008 % |
541.23/541.58 c | 531744 | 1500 132235 444200 | 88391 81037 117 | 0.000 % |
545.93/546.28 c | 536567 | 1500 132235 444200 | 88391 85860 116 | 0.008 % |
546.13/546.44 c | 536669 | 1500 132235 444200 | 88391 85962 116 | 0.000 % |
546.23/546.58 c | 536779 | 1500 132235 444200 | 88391 86072 116 | 0.000 % |
546.43/546.72 c | 536902 | 1500 132235 444200 | 88391 86195 116 | 0.000 % |
546.53/546.88 c | 537036 | 1500 132235 444200 | 88391 86329 116 | 0.000 % |
546.73/547.10 c | 537184 | 1500 132235 444200 | 88391 86477 116 | 0.000 % |
546.93/547.23 c | 537344 | 1500 132235 444200 | 88391 86637 116 | 0.008 % |
547.13/547.40 c | 537520 | 1500 132235 444200 | 88391 86813 116 | 0.008 % |
547.33/547.67 c | 537715 | 1500 132235 444200 | 88391 87008 116 | 0.000 % |
547.53/547.89 c | 537927 | 1500 132235 444200 | 88391 87220 116 | 0.000 % |
547.93/548.24 c | 538160 | 1500 132235 444200 | 88391 87453 116 | 0.007 % |
548.23/548.50 c | 538416 | 1500 132235 444200 | 88391 87709 116 | 0.007 % |
548.53/548.85 c | 538698 | 1500 132235 444200 | 88391 87991 116 | 0.009 % |
548.83/549.11 c | 539007 | 1500 132235 444200 | 88391 88300 116 | 0.000 % |
549.33/549.67 c | 539347 | 1500 132235 444200 | 88391 88640 116 | 0.000 % |
549.73/550.09 c | 539720 | 1500 132235 444200 | 88391 80149 108 | 0.000 % |
550.13/550.44 c | 540130 | 1500 132235 444200 | 2147483647 80559 108 | 0.000 % |
550.43/550.77 c | 540580 | 1500 132235 444200 | 2147483647 81009 108 | 0.009 % |
550.93/551.30 c | 541074 | 1500 132235 444200 | 2147483647 81503 109 | 0.000 % |
551.73/552.08 c | 541616 | 1500 132235 444200 | 2147483647 82045 109 | 0.000 % |
552.33/552.63 c | 542212 | 1500 132235 444200 | 2147483647 82641 109 | 0.000 % |
552.83/553.16 c | 542868 | 1500 132235 444200 | 2147483647 83297 110 | 0.000 % |
553.53/553.81 c | 543591 | 1500 132235 444200 | 2147483647 84020 109 | 0.009 % |
554.43/554.76 c | 544385 | 1500 132235 444200 | 2147483647 84814 110 | 0.000 % |
555.33/555.60 c | 545256 | 1500 132235 444200 | 2147483647 85685 110 | 0.008 % |
556.43/556.71 c | 546214 | 1500 132235 444200 | 2147483647 86643 111 | 0.000 % |
557.63/557.99 c | 547267 | 1500 132235 444200 | 2147483647 87696 111 | 0.007 % |
558.93/559.25 c | 548425 | 1500 132235 444200 | 2147483647 88854 112 | 0.000 % |
560.02/560.39 c | 549700 | 1500 132235 444200 | 2147483647 90129 111 | 0.000 % |
561.32/561.67 c | 551100 | 1500 132235 444200 | 2147483647 91529 111 | 0.009 % |
562.83/563.13 c | 552640 | 1500 132235 444200 | 2147483647 93069 111 | 0.000 % |
564.52/564.87 c | 554335 | 1500 132235 444200 | 2147483647 94764 112 | 0.009 % |
566.72/567.06 c | 556198 | 1500 132235 444200 | 2147483647 96627 112 | 0.009 % |
568.72/569.01 c | 558248 | 1500 132235 444200 | 2147483647 98677 111 | 0.010 % |
570.82/571.19 c | 560501 | 1500 132235 444200 | 2147483647 100930 111 | 0.009 % |
573.92/574.27 c | 562979 | 1500 132235 444200 | 2147483647 103408 113 | 0.000 % |
576.72/577.07 c | 565704 | 1500 132235 444200 | 2147483647 106133 113 | 0.000 % |
580.62/580.96 c | 568702 | 1500 132235 444200 | 2147483647 109131 112 | 0.009 % |
585.01/585.34 c | 572001 | 1500 132235 444200 | 110430 97962 105 | 0.008 % |
589.22/589.55 c | 575629 | 1500 132235 444200 | 110430 101590 109 | 0.000 % |
594.72/595.09 c | 579620 | 1500 132235 444200 | 110430 105581 109 | 0.000 % |
599.62/599.93 c | 584008 | 1500 132235 444200 | 105962 98773 107 | 0.008 % |
605.72/606.07 c | 588834 | 1500 132235 444200 | 105962 103599 112 | 0.000 % |
612.01/612.36 c | 594141 | 1500 132235 444200 | 104765 96543 110 | 0.000 % |
612.11/612.50 c | 594241 | 1500 132235 444200 | 104765 96643 110 | 0.008 % |
612.32/612.65 c | 594354 | 1500 132235 444200 | 104765 96756 110 | 0.000 % |
612.51/612.81 c | 594479 | 1500 132235 444200 | 104765 96881 110 | 0.000 % |
612.61/612.94 c | 594612 | 1500 132235 444200 | 104765 97014 110 | 0.000 % |
612.81/613.12 c | 594758 | 1500 132235 444200 | 104765 97160 110 | 0.000 % |
612.91/613.30 c | 594921 | 1500 132235 444200 | 104765 97323 110 | 0.009 % |
613.11/613.49 c | 595097 | 1500 132235 444200 | 104765 97499 110 | 0.000 % |
613.42/613.76 c | 595291 | 1500 132235 444200 | 104765 97693 110 | 0.000 % |
613.71/614.05 c | 595503 | 1500 132235 444200 | 104765 97905 110 | 0.009 % |
614.11/614.40 c | 595737 | 1500 132235 444200 | 104765 98139 110 | 0.000 % |
614.31/614.68 c | 595993 | 1500 132235 444200 | 104765 98395 111 | 0.000 % |
614.71/615.03 c | 596276 | 1500 132235 444200 | 104765 98678 111 | 0.008 % |
614.91/615.29 c | 596586 | 1500 132235 444200 | 104765 98988 111 | 0.000 % |
615.41/615.73 c | 596928 | 1500 132235 444200 | 104765 99330 111 | 0.000 % |
615.81/616.16 c | 597306 | 1500 132235 444200 | 104765 99708 111 | 0.000 % |
616.31/616.60 c | 597717 | 1500 132235 444200 | 104765 100119 111 | 0.000 % |
616.71/617.08 c | 598167 | 1500 132235 444200 | 104765 100569 111 | 0.009 % |
617.31/617.63 c | 598660 | 1500 132235 444200 | 104765 101062 111 | 0.009 % |
617.81/618.16 c | 599202 | 1500 132235 444200 | 104765 101604 111 | 0.000 % |
618.51/618.80 c | 599799 | 1500 132235 444200 | 104765 102201 111 | 0.000 % |
619.11/619.44 c | 600454 | 1500 132235 444200 | 102402 102856 111 | 0.007 % |
620.11/620.41 c | 601176 | 1500 132235 444200 | 102402 93293 109 | 0.000 % |
620.81/621.17 c | 601968 | 1500 132235 444200 | 102402 94085 109 | 0.010 % |
621.81/622.17 c | 602841 | 1500 132235 444200 | 102402 94958 109 | 0.000 % |
622.91/623.20 c | 603799 | 1500 132235 444200 | 102402 95916 109 | 0.008 % |
623.91/624.25 c | 604852 | 1500 132235 444200 | 102402 96969 109 | 0.009 % |
625.11/625.42 c | 606010 | 1500 132235 444200 | 102402 98127 109 | 0.009 % |
626.71/627.05 c | 607283 | 1500 132235 444200 | 102402 99400 110 | 0.000 % |
628.11/628.45 c | 608684 | 1500 132235 444200 | 102402 100801 110 | 0.000 % |
629.51/629.89 c | 610224 | 1500 132235 444200 | 2147483647 102341 110 | 0.000 % |
631.21/631.54 c | 611919 | 1500 132235 444200 | 2147483647 104036 110 | 0.009 % |
633.10/633.44 c | 613782 | 1500 132235 444200 | 2147483647 105899 110 | 0.008 % |
635.00/635.35 c | 615831 | 1500 132235 444200 | 2147483647 107948 110 | 0.000 % |
637.00/637.37 c | 618085 | 1500 132235 444200 | 2147483647 110202 109 | 0.008 % |
640.60/640.92 c | 620565 | 1500 132235 444200 | 2147483647 112682 111 | 0.000 % |
644.21/644.52 c | 623290 | 1500 132235 444200 | 2147483647 115407 112 | 0.000 % |
647.80/648.14 c | 626287 | 1500 132235 444200 | 2147483647 118404 113 | 0.000 % |
652.10/652.44 c | 629584 | 1500 132235 444200 | 2147483647 121701 112 | 0.010 % |
657.10/657.48 c | 633211 | 1500 132235 444200 | 122118 107148 117 | 0.000 % |
662.30/662.60 c | 637201 | 1500 132235 444200 | 122118 111138 118 | 0.000 % |
667.50/667.85 c | 641586 | 1500 132235 444200 | 113939 99298 117 | 0.008 % |
673.29/673.66 c | 646410 | 1500 132235 444200 | 113939 104122 119 | 0.000 % |
678.89/679.28 c | 651715 | 1500 132235 444200 | 107712 97246 121 | 0.000 % |
685.00/685.38 c | 657550 | 1500 132235 444200 | 107712 103081 120 | 0.009 % |
685.19/685.57 c | 657650 | 1500 132235 444200 | 107712 103181 120 | 0.000 % |
685.39/685.75 c | 657761 | 1500 132235 444200 | 107712 103292 120 | 0.000 % |
685.59/685.93 c | 657883 | 1500 132235 444200 | 107712 103414 120 | 0.000 % |
685.69/686.07 c | 658019 | 1500 132235 444200 | 107712 103550 120 | 0.000 % |
685.99/686.33 c | 658165 | 1500 132235 444200 | 107712 103696 121 | 0.000 % |
686.19/686.55 c | 658328 | 1500 132235 444200 | 107712 103859 121 | 0.000 % |
686.39/686.77 c | 658504 | 1500 132235 444200 | 107712 104035 121 | 0.000 % |
686.69/687.07 c | 658698 | 1500 132235 444200 | 107712 104229 121 | 0.000 % |
686.99/687.40 c | 658912 | 1500 132235 444200 | 107712 104443 121 | 0.000 % |
687.29/687.67 c | 659145 | 1500 132235 444200 | 107712 104676 121 | 0.000 % |
687.59/687.99 c | 659402 | 1500 132235 444200 | 107712 104933 121 | 0.000 % |
687.89/688.29 c | 659685 | 1500 132235 444200 | 107712 105216 121 | 0.010 % |
688.29/688.63 c | 659994 | 1500 132235 444200 | 107712 105525 121 | 0.000 % |
688.59/688.98 c | 660334 | 1500 132235 444200 | 105531 105865 121 | 0.010 % |
689.19/689.51 c | 660706 | 1500 132235 444200 | 105531 93620 119 | 0.007 % |
689.59/689.90 c | 661115 | 1500 132235 444200 | 105531 94029 119 | 0.009 % |
689.99/690.36 c | 661564 | 1500 132235 444200 | 105531 94478 119 | 0.009 % |
690.79/691.19 c | 662057 | 1500 132235 444200 | 105531 94971 119 | 0.000 % |
691.49/691.87 c | 662599 | 1500 132235 444200 | 105531 95513 120 | 0.000 % |
692.39/692.70 c | 663197 | 1500 132235 444200 | 105531 96111 120 | 0.000 % |
693.09/693.49 c | 663852 | 1500 132235 444200 | 105531 96766 121 | 0.000 % |
693.89/694.26 c | 664573 | 1500 132235 444200 | 105531 97487 121 | 0.000 % |
695.09/695.40 c | 665365 | 1500 132235 444200 | 105531 98279 122 | 0.000 % |
695.99/696.38 c | 666237 | 1500 132235 444200 | 105531 99151 122 | 0.010 % |
697.19/697.59 c | 667195 | 1500 132235 444200 | 105531 100109 122 | 0.000 % |
698.38/698.79 c | 668248 | 1500 132235 444200 | 105531 101162 123 | 0.000 % |
699.78/700.15 c | 669407 | 1500 132235 444200 | 105531 102321 123 | 0.000 % |
701.18/701.56 c | 670680 | 1500 132235 444200 | 102914 103594 122 | 0.000 % |
702.68/703.00 c | 672080 | 1500 132235 444200 | 102914 92337 116 | 0.008 % |
704.69/705.10 c | 673621 | 1500 132235 444200 | 102914 93878 117 | 0.000 % |
707.38/707.70 c | 675315 | 1500 132235 444200 | 102914 95572 118 | 0.007 % |
710.19/710.52 c | 677179 | 1500 132235 444200 | 102914 97436 118 | 0.007 % |
713.28/713.63 c | 679228 | 1500 132235 444200 | 102914 99485 119 | 0.000 % |
716.08/716.44 c | 681483 | 1500 132235 444200 | 100258 89581 118 | 0.000 % |
718.48/718.89 c | 683964 | 1500 132235 444200 | 100258 92062 118 | 0.000 % |
721.48/721.87 c | 686689 | 1500 132235 444200 | 100258 94787 117 | 0.008 % |
725.18/725.56 c | 689686 | 1500 132235 444200 | 100258 97784 116 | 0.008 % |
729.17/729.58 c | 692984 | 1500 132235 444200 | 2147483647 101082 115 | 0.008 % |
733.77/734.13 c | 696610 | 1500 132235 444200 | 2147483647 104708 114 | 0.008 % |
738.97/739.32 c | 700597 | 1500 132235 444200 | 108101 108695 112 | 0.008 % |
745.77/746.15 c | 704985 | 1500 132235 444200 | 108101 101249 116 | 0.000 % |
751.47/751.84 c | 709808 | 1500 132235 444200 | 108101 106072 119 | 0.000 % |
757.66/758.06 c | 715113 | 1500 132235 444200 | 2147483647 111377 119 | 0.000 % |
765.66/766.05 c | 720948 | 1500 132235 444200 | 116264 117212 118 | 0.000 % |
772.96/773.38 c | 727366 | 1500 132235 444200 | 116264 105820 111 | 0.000 % |
773.16/773.52 c | 727467 | 1500 132235 444200 | 116264 105921 111 | 0.009 % |
773.26/773.69 c | 727577 | 1500 132235 444200 | 116264 106031 111 | 0.009 % |
773.56/773.90 c | 727699 | 1500 132235 444200 | 116264 106153 111 | 0.000 % |
773.76/774.13 c | 727832 | 1500 132235 444200 | 116264 106286 111 | 0.000 % |
773.96/774.32 c | 727978 | 1500 132235 444200 | 116264 106432 111 | 0.000 % |
774.16/774.56 c | 728138 | 1500 132235 444200 | 116264 106592 111 | 0.000 % |
774.36/774.76 c | 728316 | 1500 132235 444200 | 116264 106770 111 | 0.009 % |
774.66/775.02 c | 728509 | 1500 132235 444200 | 116264 106963 111 | 0.008 % |
774.96/775.35 c | 728721 | 1500 132235 444200 | 116264 107175 111 | 0.000 % |
775.16/775.58 c | 728955 | 1500 132235 444200 | 116264 107409 111 | 0.000 % |
775.46/775.87 c | 729212 | 1500 132235 444200 | 116264 107666 111 | 0.008 % |
775.76/776.12 c | 729494 | 1500 132235 444200 | 116264 107948 111 | 0.000 % |
776.06/776.41 c | 729803 | 1500 132235 444200 | 116264 108257 111 | 0.008 % |
776.36/776.72 c | 730142 | 1500 132235 444200 | 108454 108596 111 | 0.000 % |
776.86/777.21 c | 730515 | 1500 132235 444200 | 108454 94547 107 | 0.000 % |
777.36/777.78 c | 730924 | 1500 132235 444200 | 108454 94956 107 | 0.000 % |
777.86/778.28 c | 731373 | 1500 132235 444200 | 108454 95405 107 | 0.007 % |
778.46/778.81 c | 731866 | 1500 132235 444200 | 108454 95898 107 | 0.000 % |
778.96/779.34 c | 732408 | 1500 132235 444200 | 108454 96440 107 | 0.007 % |
779.56/779.91 c | 733005 | 1500 132235 444200 | 108454 97037 107 | 0.009 % |
780.36/780.70 c | 733661 | 1500 132235 444200 | 108454 97693 107 | 0.000 % |
780.96/781.34 c | 734384 | 1500 132235 444200 | 108454 98416 108 | 0.000 % |
781.86/782.22 c | 735176 | 1500 132235 444200 | 108454 99208 107 | 0.000 % |
782.76/783.20 c | 736047 | 1500 132235 444200 | 108454 100079 107 | 0.000 % |
783.96/784.33 c | 737007 | 1500 132235 444200 | 108454 101039 108 | 0.000 % |
785.35/785.79 c | 738061 | 1500 132235 444200 | 108454 102093 109 | 0.000 % |
787.16/787.51 c | 739222 | 1500 132235 444200 | 108454 103254 111 | 0.000 % |
788.55/788.93 c | 740495 | 1500 132235 444200 | 2147483647 104527 111 | 0.000 % |
789.85/790.28 c | 741897 | 1500 132235 444200 | 2147483647 105929 111 | 0.000 % |
791.56/791.90 c | 743437 | 1500 132235 444200 | 2147483647 107469 111 | 0.000 % |
793.45/793.88 c | 745132 | 1500 132235 444200 | 2147483647 109164 111 | 0.007 % |
795.45/795.82 c | 746995 | 1500 132235 444200 | 2147483647 111027 110 | 0.007 % |
797.55/797.96 c | 749046 | 1500 132235 444200 | 2147483647 113078 110 | 0.008 % |
800.85/801.29 c | 751301 | 1500 132235 444200 | 2147483647 115333 112 | 0.000 % |
803.95/804.39 c | 753779 | 1500 132235 444200 | 2147483647 117811 111 | 0.008 % |
807.15/807.51 c | 756504 | 1500 132235 444200 | 2147483647 120536 111 | 0.008 % |
811.85/812.22 c | 759504 | 1500 132235 444200 | 2147483647 123536 113 | 0.000 % |
817.04/817.41 c | 762800 | 1500 132235 444200 | 124033 113824 112 | 0.000 % |
821.14/821.54 c | 766426 | 1500 132235 444200 | 124033 117450 113 | 0.000 % |
825.75/826.13 c | 770413 | 1500 132235 444200 | 2147483647 121437 112 | 0.000 % |
831.44/831.89 c | 774798 | 1500 132235 444200 | 2147483647 125822 111 | 0.009 % |
838.74/839.14 c | 779621 | 1500 132235 444200 | 2147483647 130645 110 | 0.000 % |
846.74/847.13 c | 784928 | 1500 132235 444200 | 131025 111953 105 | 0.008 % |
855.34/855.75 c | 790763 | 1500 132235 444200 | 117026 117788 104 | 0.008 % |
862.53/862.92 c | 797181 | 1500 132235 444200 | 117026 102474 97 | 0.000 % |
869.83/870.26 c | 804242 | 1500 132235 444200 | 105294 96199 94 | 0.008 % |
869.93/870.36 c | 804344 | 1500 132235 444200 | 105294 96301 94 | 0.008 % |
870.03/870.49 c | 804454 | 1500 132235 444200 | 105294 96411 94 | 0.008 % |
870.23/870.61 c | 804575 | 1500 132235 444200 | 105294 96532 94 | 0.008 % |
870.33/870.79 c | 804708 | 1500 132235 444200 | 105294 96665 94 | 0.000 % |
870.53/870.94 c | 804855 | 1500 132235 444200 | 105294 96812 94 | 0.000 % |
870.73/871.11 c | 805015 | 1500 132235 444200 | 105294 96972 94 | 0.000 % |
870.93/871.36 c | 805195 | 1500 132235 444200 | 105294 97152 94 | 0.000 % |
871.13/871.56 c | 805389 | 1500 132235 444200 | 105294 97346 95 | 0.000 % |
871.33/871.78 c | 805602 | 1500 132235 444200 | 105294 97559 95 | 0.000 % |
871.53/871.96 c | 805836 | 1500 132235 444200 | 105294 97793 95 | 0.000 % |
871.73/872.19 c | 806092 | 1500 132235 444200 | 105294 98049 95 | 0.000 % |
872.13/872.52 c | 806374 | 1500 132235 444200 | 105294 98331 95 | 0.000 % |
872.43/872.85 c | 806684 | 1500 132235 444200 | 105294 98641 95 | 0.000 % |
872.73/873.17 c | 807026 | 1500 132235 444200 | 105294 98983 95 | 0.000 % |
873.23/873.64 c | 807398 | 1500 132235 444200 | 105294 99355 96 | 0.000 % |
873.73/874.15 c | 807807 | 1500 132235 444200 | 105294 99764 96 | 0.000 % |
874.13/874.57 c | 808258 | 1500 132235 444200 | 105294 100215 96 | 0.000 % |
874.63/875.09 c | 808751 | 1500 132235 444200 | 105294 100708 96 | 0.000 % |
875.13/875.57 c | 809295 | 1500 132235 444200 | 105294 101252 96 | 0.000 % |
875.73/876.13 c | 809891 | 1500 132235 444200 | 105294 101848 96 | 0.008 % |
876.33/876.79 c | 810546 | 1500 132235 444200 | 2147483647 102503 96 | 0.008 % |
877.33/877.73 c | 811269 | 1500 132235 444200 | 2147483647 103226 96 | 0.000 % |
878.12/878.52 c | 812061 | 1500 132235 444200 | 2147483647 104018 97 | 0.000 % |
878.93/879.39 c | 812940 | 1500 132235 444200 | 2147483647 104897 98 | 0.000 % |
880.12/880.51 c | 813899 | 1500 132235 444200 | 2147483647 105856 99 | 0.000 % |
881.12/881.55 c | 814953 | 1500 132235 444200 | 2147483647 106910 99 | 0.000 % |
882.32/882.73 c | 816111 | 1500 132235 444200 | 2147483647 108068 99 | 0.000 % |
883.72/884.11 c | 817384 | 1500 132235 444200 | 2147483647 109341 99 | 0.009 % |
885.12/885.59 c | 818785 | 1500 132235 444200 | 2147483647 110742 99 | 0.009 % |
886.72/887.13 c | 820326 | 1500 132235 444200 | 2147483647 112283 99 | 0.008 % |
888.42/888.87 c | 822020 | 1500 132235 444200 | 2147483647 113977 99 | 0.008 % |
890.52/890.93 c | 823883 | 1500 132235 444200 | 2147483647 115840 101 | 0.000 % |
892.52/892.95 c | 825932 | 1500 132235 444200 | 2147483647 117889 101 | 0.008 % |
894.92/895.34 c | 828189 | 1500 132235 444200 | 2147483647 120146 102 | 0.010 % |
897.81/898.28 c | 830667 | 1500 132235 444200 | 2147483647 122624 102 | 0.009 % |
900.61/901.06 c | 833392 | 1500 132235 444200 | 2147483647 125349 102 | 0.000 % |
904.31/904.73 c | 836389 | 1500 132235 444200 | 2147483647 128346 101 | 0.000 % |
908.22/908.66 c | 839687 | 1500 132235 444200 | 2147483647 131644 101 | 0.009 % |
912.51/912.98 c | 843313 | 1500 132235 444200 | 2147483647 135270 101 | 0.009 % |
917.81/918.24 c | 847300 | 1500 132235 444200 | 2147483647 139257 102 | 0.006 % |
923.51/923.94 c | 851685 | 1500 132235 444200 | 141957 123228 97 | 0.000 % |
928.80/929.27 c | 856508 | 1500 132235 444200 | 141957 128051 97 | 0.000 % |
936.00/936.41 c | 861813 | 1500 132235 444200 | 131547 114377 92 | 0.000 % |
942.50/942.91 c | 867648 | 1500 132235 444200 | 131547 120212 93 | 0.008 % |
950.40/950.82 c | 874066 | 1500 132235 444200 | 122567 108203 93 | 0.009 % |
957.49/957.94 c | 881128 | 1500 132235 444200 | 114141 101980 98 | 0.000 % |
965.99/966.42 c | 888893 | 1500 132235 444200 | 114141 109745 97 | 0.009 % |
966.09/966.56 c | 888996 | 1500 132235 444200 | 114141 109848 97 | 0.010 % |
966.19/966.69 c | 889107 | 1500 132235 444200 | 114141 109959 97 | 0.008 % |
966.40/966.85 c | 889228 | 1500 132235 444200 | 114141 110080 97 | 0.008 % |
966.59/967.01 c | 889361 | 1500 132235 444200 | 114141 110213 97 | 0.009 % |
966.69/967.19 c | 889507 | 1500 132235 444200 | 114141 110359 97 | 0.009 % |
966.89/967.39 c | 889668 | 1500 132235 444200 | 114141 110520 97 | 0.000 % |
967.19/967.60 c | 889845 | 1500 132235 444200 | 114141 110697 97 | 0.000 % |
967.39/967.81 c | 890038 | 1500 132235 444200 | 110854 110890 97 | 0.010 % |
967.69/968.15 c | 890250 | 1500 132235 444200 | 110854 98539 99 | 0.000 % |
967.89/968.39 c | 890487 | 1500 132235 444200 | 110854 98776 99 | 0.008 % |
968.19/968.67 c | 890745 | 1500 132235 444200 | 110854 99034 99 | 0.000 % |
968.49/968.94 c | 891026 | 1500 132235 444200 | 110854 99315 99 | 0.000 % |
968.79/969.26 c | 891335 | 1500 132235 444200 | 110854 99624 99 | 0.000 % |
969.19/969.61 c | 891674 | 1500 132235 444200 | 110854 99963 99 | 0.000 % |
969.39/969.88 c | 892047 | 1500 132235 444200 | 110854 100336 99 | 0.009 % |
969.89/970.36 c | 892457 | 1500 132235 444200 | 110854 100746 99 | 0.000 % |
970.39/970.80 c | 892908 | 1500 132235 444200 | 110854 101197 100 | 0.000 % |
970.79/971.25 c | 893403 | 1500 132235 444200 | 110854 101692 100 | 0.000 % |
971.29/971.73 c | 893945 | 1500 132235 444200 | 110854 102234 100 | 0.000 % |
971.89/972.36 c | 894541 | 1500 132235 444200 | 110854 102830 101 | 0.000 % |
972.79/973.21 c | 895197 | 1500 132235 444200 | 110854 103486 101 | 0.000 % |
973.69/974.15 c | 895918 | 1500 132235 444200 | 110854 104207 102 | 0.009 % |
974.49/974.97 c | 896710 | 1500 132235 444200 | 110854 104999 102 | 0.009 % |
975.39/975.87 c | 897581 | 1500 132235 444200 | 110854 105870 102 | 0.000 % |
976.29/976.79 c | 898539 | 1500 132235 444200 | 110854 106828 103 | 0.000 % |
977.58/978.06 c | 899595 | 1500 132235 444200 | 110854 107884 104 | 0.000 % |
978.98/979.43 c | 900755 | 1500 132235 444200 | 2147483647 109044 104 | 0.000 % |
980.48/980.99 c | 902029 | 1500 132235 444200 | 2147483647 110318 105 | 0.000 % |
982.28/982.72 c | 903429 | 1500 132235 444200 | 2147483647 111718 106 | 0.000 % |
984.09/984.60 c | 904970 | 1500 132235 444200 | 2147483647 113259 107 | 0.000 % |
986.08/986.57 c | 906664 | 1500 132235 444200 | 2147483647 114953 108 | 0.000 % |
988.39/988.87 c | 908530 | 1500 132235 444200 | 2147483647 116819 108 | 0.000 % |
991.68/992.18 c | 910583 | 1500 132235 444200 | 2147483647 118872 110 | 0.000 % |
994.18/994.67 c | 912836 | 1500 132235 444200 | 2147483647 121125 111 | 0.000 % |
997.08/997.50 c | 915314 | 1500 132235 444200 | 2147483647 123603 112 | 0.000 % |
999.58/1000.07 c | 918042 | 1500 132235 444200 | 2147483647 126331 112 | 0.000 % |
1003.68/1004.19 c | 921039 | 1500 132235 444200 | 2147483647 129328 114 | 0.000 % |
1008.48/1008.92 c | 924335 | 1500 132235 444200 | 2147483647 132624 116 | 0.000 % |
1012.88/1013.31 c | 927964 | 1500 132235 444200 | 2147483647 136253 117 | 0.000 % |
1017.57/1018.02 c | 931951 | 1500 132235 444200 | 138290 119149 114 | 0.009 % |
1022.87/1023.33 c | 936336 | 1500 132235 444200 | 138290 123534 114 | 0.000 % |
1027.87/1028.38 c | 941159 | 1500 132235 444200 | 127198 111223 116 | 0.009 % |
1034.67/1035.10 c | 946464 | 1500 132235 444200 | 127198 116528 116 | 0.000 % |
1041.57/1042.01 c | 952301 | 1500 132235 444200 | 120067 107216 116 | 0.000 % |
1050.36/1050.80 c | 958719 | 1500 132235 444200 | 120067 113634 114 | 0.010 % |
1059.46/1059.93 c | 965778 | 1500 132235 444200 | 114915 102621 115 | 0.008 % |
1070.86/1071.38 c | 973542 | 1500 132235 444200 | 106845 90852 114 | 0.008 % |
1083.06/1083.54 c | 982082 | 1500 132235 444200 | 97311 84288 116 | 0.000 % |
1083.15/1083.69 c | 982184 | 1500 132235 444200 | 97311 84390 116 | 0.000 % |
1083.35/1083.82 c | 982294 | 1500 132235 444200 | 97311 84500 116 | 0.000 % |
1083.45/1083.95 c | 982416 | 1500 132235 444200 | 97311 84622 116 | 0.007 % |
1083.66/1084.11 c | 982550 | 1500 132235 444200 | 97311 84756 116 | 0.000 % |
1083.86/1084.32 c | 982696 | 1500 132235 444200 | 97311 84902 116 | 0.000 % |
1083.96/1084.47 c | 982857 | 1500 132235 444200 | 97311 85063 116 | 0.000 % |
1084.26/1084.71 c | 983033 | 1500 132235 444200 | 97311 85239 116 | 0.009 % |
1084.46/1084.96 c | 983227 | 1500 132235 444200 | 97311 85433 116 | 0.000 % |
1084.65/1085.16 c | 983442 | 1500 132235 444200 | 97311 85648 116 | 0.000 % |
1084.85/1085.39 c | 983675 | 1500 132235 444200 | 97311 85881 116 | 0.000 % |
1085.16/1085.62 c | 983931 | 1500 132235 444200 | 97311 86137 116 | 0.000 % |
1085.35/1085.90 c | 984212 | 1500 132235 444200 | 97311 86418 116 | 0.000 % |
1085.75/1086.20 c | 984521 | 1500 132235 444200 | 97311 86727 116 | 0.000 % |
1086.05/1086.58 c | 984860 | 1500 132235 444200 | 97311 87066 117 | 0.000 % |
1086.45/1086.98 c | 985233 | 1500 132235 444200 | 97311 87439 117 | 0.000 % |
1086.85/1087.38 c | 985643 | 1500 132235 444200 | 97311 87849 117 | 0.000 % |
1087.36/1087.84 c | 986092 | 1500 132235 444200 | 97311 88298 117 | 0.000 % |
1087.85/1088.31 c | 986585 | 1500 132235 444200 | 97311 88791 117 | 0.000 % |
1088.35/1088.87 c | 987128 | 1500 132235 444200 | 97311 89334 118 | 0.000 % |
1089.15/1089.67 c | 987724 | 1500 132235 444200 | 97311 89930 118 | 0.009 % |
1089.95/1090.42 c | 988381 | 1500 132235 444200 | 97311 90587 118 | 0.007 % |
1090.75/1091.22 c | 989101 | 1500 132235 444200 | 97311 91307 118 | 0.009 % |
1091.55/1092.03 c | 989893 | 1500 132235 444200 | 97311 92099 118 | 0.000 % |
1092.55/1093.06 c | 990764 | 1500 132235 444200 | 2147483647 92970 118 | 0.000 % |
1093.75/1094.21 c | 991722 | 1500 132235 444200 | 2147483647 93928 117 | 0.000 % |
1094.75/1095.25 c | 992777 | 1500 132235 444200 | 2147483647 94983 117 | 0.008 % |
1096.05/1096.50 c | 993937 | 1500 132235 444200 | 2147483647 96143 116 | 0.008 % |
1097.35/1097.85 c | 995213 | 1500 132235 444200 | 2147483647 97419 116 | 0.000 % |
1098.75/1099.20 c | 996613 | 1500 132235 444200 | 2147483647 98819 115 | 0.008 % |
1100.15/1100.60 c | 998155 | 1500 132235 444200 | 2147483647 100361 115 | 0.000 % |
1101.75/1102.25 c | 999849 | 1500 132235 444200 | 2147483647 102055 114 | 0.008 % |
1103.65/1104.12 c | 1001712 | 1500 132235 444200 | 2147483647 103918 114 | 0.007 % |
1105.55/1106.08 c | 1003761 | 1500 132235 444200 | 2147483647 105967 113 | 0.009 % |
1108.25/1108.77 c | 1006016 | 1500 132235 444200 | 2147483647 108222 113 | 0.008 % |
1111.14/1111.66 c | 1008494 | 1500 132235 444200 | 2147483647 110700 114 | 0.000 % |
1114.14/1114.66 c | 1011219 | 1500 132235 444200 | 2147483647 113425 115 | 0.000 % |
1117.84/1118.33 c | 1014217 | 1500 132235 444200 | 2147483647 116423 116 | 0.000 % |
1121.74/1122.23 c | 1017515 | 1500 132235 444200 | 2147483647 119721 116 | 0.009 % |
1125.94/1126.42 c | 1021140 | 1500 132235 444200 | 122206 109847 112 | 0.000 % |
1130.64/1131.17 c | 1025130 | 1500 132235 444200 | 122206 113837 114 | 0.000 % |
1135.84/1136.36 c | 1029518 | 1500 132235 444200 | 122206 118225 114 | 0.000 % |
1141.93/1142.43 c | 1034341 | 1500 132235 444200 | 118707 109551 115 | 0.000 % |
1148.63/1149.18 c | 1039646 | 1500 132235 444200 | 118707 114856 115 | 0.000 % |
1156.33/1156.83 c | 1045482 | 1500 132235 444200 | 115210 104311 117 | 0.000 % |
1166.33/1166.81 c | 1051901 | 1500 132235 444200 | 108831 90633 121 | 0.000 % |
1175.72/1176.28 c | 1058960 | 1500 132235 444200 | 108831 97692 119 | 0.008 % |
1184.42/1184.97 c | 1066727 | 1500 132235 444200 | 98732 89621 109 | 0.008 % |
1193.62/1194.20 c | 1075267 | 1500 132235 444200 | 92895 87634 110 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834139-1242828428/watcher-1834139-1242828428 -o /tmp/evaluation-result-1834139-1242828428/solver-1834139-1242828428 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834139-1242828428.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31129
/proc/meminfo: memFree=1920568/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310872250 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251279409234 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/31129/statm: 1339 235 195 169 0 50 0
[pid=31130] ppid=31129 vsize=5356 CPUtime=0
/proc/31130/stat : 31130 (SatELiteGTI) S 31129 31129 30843 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310872251 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/31130/statm: 1339 238 198 169 0 50 0
[pid=31132] ppid=31130 vsize=5356 CPUtime=0
/proc/31132/stat : 31132 (SatELiteGTI) R 31130 31129 30843 0 -1 64 19 0 0 0 0 0 0 0 21 0 1 0 310872251 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279240487 0 0 4096 0 0 0 0 17 0 0 0
/proc/31132/statm: 48 23 16 11 0 11 0
[startup+0.0240479 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31129
/proc/meminfo: memFree=1920568/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310872250 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31129/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101056 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31129
/proc/meminfo: memFree=1920568/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310872250 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31129/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30108 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31129
/proc/meminfo: memFree=1920568/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310872250 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31129/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70113 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31129
/proc/meminfo: memFree=1920568/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310872250 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31129/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50123 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1910056/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=9820 CPUtime=0.72
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 2349 0 0 0 71 1 0 0 23 0 1 0 310872327 10055680 2335 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 2455 2335 77 171 0 2282 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 15176
[startup+3.10143 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1907048/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=13528 CPUtime=2.32
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 3289 0 0 0 230 2 0 0 25 0 1 0 310872327 13852672 3275 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 3382 3275 77 171 0 3209 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 18884
[startup+6.30283 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1900784/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=18464 CPUtime=5.51
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 4520 0 0 0 548 3 0 0 25 0 1 0 310872327 18907136 4506 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 4616 4506 77 171 0 4443 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 23820
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1891504/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=27420 CPUtime=11.92
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 6715 0 0 0 1186 6 0 0 25 0 1 0 310872327 28078080 6701 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 6855 6701 77 171 0 6682 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 32776
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1878768/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=39684 CPUtime=24.71
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 9797 0 0 0 2462 9 0 0 25 0 1 0 310872327 40636416 9783 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 9921 9783 77 171 0 9748 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45040
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1861872/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=56628 CPUtime=50.28
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 14028 0 0 0 5015 13 0 0 25 0 1 0 310872327 57987072 14014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 14157 14014 77 171 0 13984 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 61984
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1835824/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=82508 CPUtime=101.46
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 20454 0 0 0 10126 20 0 0 25 0 1 0 310872327 84488192 20440 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 20627 20440 77 171 0 20454 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 87864
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1833136/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=161.43
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 16122 21 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 90376
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1833072/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=221.41
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 22120 21 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 90376
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1832944/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=281.39
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 28118 21 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 90376
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1832816/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=341.36
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 34115 21 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 90376
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1832752/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=401.34
################
# More data... #
################
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 90376
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1832304/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=641.27
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 64105 22 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 90376
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1832240/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=701.24
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 70102 22 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 90376
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1832112/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=761.23
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 76101 22 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134529334 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 90376
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1832048/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=821.2
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 82098 22 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 90376
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1831984/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=881.18
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 88096 22 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 90376
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1831856/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=941.16
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 94094 22 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 90376
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1831792/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=1001.14
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 100092 22 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 90376
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1831664/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=1061.12
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 106090 22 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 90376
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1831600/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=1121.1
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 112088 22 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 90376
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1831472/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=1181.08
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 118086 22 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 90376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1831472/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=1199.28
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 119906 22 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134538561 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 90376
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31135
/proc/meminfo: memFree=1831472/2055920 swapFree=4166124/4192956
[pid=31129] ppid=31127 vsize=5356 CPUtime=0.74
/proc/31129/stat : 31129 (SatELiteGTI) S 31127 31129 30843 0 -1 4194304 336 3100 0 0 0 0 72 2 15 0 1 0 310872250 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31129/statm: 1339 239 197 169 0 50 0
[pid=31135] ppid=31129 vsize=85020 CPUtime=1199.28
/proc/31135/stat : 31135 (minisat_static) R 31129 31129 30843 0 -1 4194304 21086 0 0 0 119906 22 0 0 25 0 1 0 310872327 87060480 21072 1992294400 134512640 135215339 4294956240 18446744073709551615 134538561 0 0 4096 3 0 0 0 17 1 0 0
/proc/31135/statm: 21255 21072 77 171 0 21082 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 90376
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31129 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=730888
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=31995
# CPU time returned by wait4() is 0.762883
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.02
CPU user time (s): 1199.78
CPU system time (s): 0.24
CPU usage (%): 99.9591
Max. virtual memory (cumulated for all children) (KiB): 90376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.730888
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3436
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= 15
involuntary context switches= 9
runsolver used 1.12583 second user time and 3.36449 second system time
The end
Begin job on node92 at 2009-05-20 16:07:08
IDJOB=1834139
IDBENCH=71586
IDSOLVER=671
FILE ID=node92/1834139-1242828428
PBS_JOBID= 9322504
Free space on /tmp= 65896 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v1560c133795gyes9.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834139-1242828428/watcher-1834139-1242828428 -o /tmp/evaluation-result-1834139-1242828428/solver-1834139-1242828428 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834139-1242828428.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fe117ca26ab85d9c8449a6f94eb0c5ef
RANDOM SEED=63430816
node92.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.245
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.245
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: 1921048 kB
Buffers: 17148 kB
Cached: 64500 kB
SwapCached: 21100 kB
Active: 50180 kB
Inactive: 53972 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1921048 kB
SwapTotal: 4192956 kB
SwapFree: 4166124 kB
Dirty: 3228 kB
Writeback: 0 kB
Mapped: 13912 kB
Slab: 16636 kB
Committed_AS: 818196 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65892 MiB
End job on node92 at 2009-05-20 16:27:11