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 | 58800 176400 | 17639 0 0 nan | 0.000 % |
0.00/0.19 c | 0 | 58479 177496 | -- 0 -- -- | -- | -321/1096
0.00/0.19 c ==============================================================================
0.00/0.19 c Result : #vars: 13668 #clauses: 58479 #literals: 177496
0.00/0.19 c CPU time: 0.179972 s
0.00/0.19 c ==============================================================================
0.00/0.25 c This is MiniSat 2.0 beta
0.00/0.25 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.25 c ============================[ Problem Statistics ]=============================
0.00/0.25 c | |
0.00/0.25 c | Number of variables: 13668 |
0.00/0.25 c | Number of clauses: 58479 |
0.00/0.29 c | Parsing time: 0.04 s |
0.24/0.30 c ============================[ Search Statistics ]==============================
0.24/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.24/0.30 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.24/0.30 c ===============================================================================
0.24/0.30 c | 0 | 13668 58479 177496 | 19493 0 nan | 0.000 % |
0.24/0.34 c | 100 | 13668 58479 177496 | 19493 100 158 | 0.000 % |
0.24/0.38 c | 200 | 13668 58479 177496 | 19493 200 152 | 0.000 % |
0.24/0.42 c | 300 | 13668 58479 177496 | 19493 300 163 | 0.000 % |
0.24/0.47 c | 411 | 13668 58479 177496 | 19493 411 156 | 0.000 % |
0.24/0.52 c | 511 | 13668 58479 177496 | 19493 511 161 | 0.000 % |
0.24/0.58 c | 621 | 13668 58479 177496 | 19493 621 163 | 0.000 % |
0.24/0.63 c | 742 | 13668 58479 177496 | 19493 742 170 | 0.000 % |
0.24/0.68 c | 844 | 13668 58479 177496 | 19493 844 172 | 0.000 % |
0.24/0.73 c | 954 | 13668 58479 177496 | 19493 954 177 | 0.000 % |
0.24/0.78 c | 1075 | 13668 58479 177496 | 19493 1075 178 | 0.000 % |
0.24/0.84 c | 1211 | 13668 58479 177496 | 19493 1211 175 | 0.000 % |
0.24/0.89 c | 1312 | 13668 58479 177496 | 19493 1312 176 | 0.000 % |
0.24/0.94 c | 1422 | 13668 58479 177496 | 19493 1422 175 | 0.000 % |
0.24/0.99 c | 1543 | 13668 58479 177496 | 19493 1543 174 | 0.000 % |
0.97/1.06 c | 1676 | 13668 58479 177496 | 19493 1676 174 | 0.000 % |
1.07/1.12 c | 1823 | 13668 58479 177496 | 19493 1823 174 | 0.000 % |
1.07/1.17 c | 1925 | 13668 58479 177496 | 19493 1925 174 | 0.000 % |
1.17/1.22 c | 2036 | 13668 58479 177496 | 19493 2036 174 | 0.000 % |
1.17/1.28 c | 2157 | 13668 58479 177496 | 19493 2157 177 | 0.000 % |
1.27/1.34 c | 2291 | 13668 58479 177496 | 19493 2291 177 | 0.000 % |
1.37/1.40 c | 2440 | 13668 58479 177496 | 19493 2440 175 | 0.000 % |
1.37/1.48 c | 2600 | 13668 58479 177496 | 19493 2600 174 | 0.000 % |
1.47/1.52 c | 2701 | 13668 58479 177496 | 19493 2701 175 | 0.000 % |
1.47/1.57 c | 2811 | 13668 58479 177496 | 19493 2811 175 | 0.000 % |
1.57/1.64 c | 2932 | 13668 58479 177496 | 19493 2932 176 | 0.000 % |
1.57/1.70 c | 3066 | 13668 58479 177496 | 19493 3066 175 | 0.000 % |
1.67/1.77 c | 3212 | 13668 58479 177496 | 19493 3212 175 | 0.000 % |
1.78/1.84 c | 3373 | 13668 58479 177496 | 19493 3373 177 | 0.000 % |
1.88/1.93 c | 3549 | 13668 58479 177496 | 19493 3549 178 | 0.000 % |
1.88/1.97 c | 3650 | 13668 58479 177496 | 19493 3650 177 | 0.000 % |
1.98/2.03 c | 3763 | 13668 58479 177496 | 19493 3763 176 | 0.000 % |
1.98/2.08 c | 3885 | 13668 58479 177496 | 19493 3885 175 | 0.000 % |
2.08/2.13 c | 4018 | 13668 58479 177496 | 19493 4018 175 | 0.000 % |
2.18/2.20 c | 4164 | 13668 58479 177496 | 19493 4164 175 | 0.000 % |
2.18/2.28 c | 4324 | 13668 58479 177496 | 19493 4324 174 | 0.000 % |
2.27/2.35 c | 4500 | 13668 58479 177496 | 19493 4500 177 | 0.000 % |
2.37/2.44 c | 4693 | 13668 58479 177496 | 19493 4693 176 | 0.000 % |
2.37/2.49 c | 4794 | 13668 58479 177496 | 19493 4794 176 | 0.000 % |
2.47/2.54 c | 4905 | 13668 58479 177496 | 19493 4905 176 | 0.000 % |
2.57/2.60 c | 5026 | 13668 58479 177496 | 19493 5026 176 | 0.000 % |
2.57/2.67 c | 5159 | 13668 58479 177496 | 19493 5159 178 | 0.000 % |
2.67/2.74 c | 5306 | 13668 58479 177496 | 19493 5306 178 | 0.000 % |
2.77/2.81 c | 5466 | 13668 58479 177496 | 19493 5466 178 | 0.000 % |
2.77/2.89 c | 5643 | 13668 58479 177496 | 19493 5643 177 | 0.000 % |
2.87/2.97 c | 5837 | 13668 58479 177496 | 19493 5837 178 | 0.000 % |
2.97/3.07 c | 6050 | 13668 58479 177496 | 19493 6050 177 | 0.000 % |
3.07/3.12 c | 6150 | 13668 58479 177496 | 19493 6150 177 | 0.000 % |
3.07/3.17 c | 6266 | 13668 58479 177496 | 19493 6266 177 | 0.000 % |
3.17/3.23 c | 6387 | 13668 58479 177496 | 19493 6387 177 | 0.000 % |
3.17/3.29 c | 6520 | 13668 58479 177496 | 19493 6520 177 | 0.000 % |
3.27/3.37 c | 6666 | 13668 58479 177496 | 19493 6666 176 | 0.000 % |
3.37/3.44 c | 6826 | 13668 58479 177496 | 19493 6826 177 | 0.000 % |
3.47/3.53 c | 7003 | 13668 58479 177496 | 19493 7003 177 | 0.000 % |
3.57/3.62 c | 7196 | 13668 58479 177496 | 19493 7196 177 | 0.000 % |
3.67/3.72 c | 7410 | 13668 58479 177496 | 19493 7410 177 | 0.000 % |
3.77/3.83 c | 7644 | 13668 58479 177496 | 19493 7644 177 | 0.000 % |
3.77/3.89 c | 7745 | 13668 58479 177496 | 19493 7745 177 | 0.000 % |
3.87/3.94 c | 7855 | 13668 58479 177496 | 19493 7855 177 | 0.000 % |
3.97/4.00 c | 7977 | 13668 58479 177496 | 19493 7977 177 | 0.000 % |
3.97/4.06 c | 8110 | 13668 58479 177496 | 19493 8110 176 | 0.000 % |
4.08/4.14 c | 8256 | 13668 58479 177496 | 19493 8256 176 | 0.000 % |
4.17/4.23 c | 8416 | 13668 58479 177496 | 19493 8416 176 | 0.000 % |
4.28/4.32 c | 8592 | 13668 58479 177496 | 19493 8592 176 | 0.000 % |
4.38/4.43 c | 8785 | 13668 58479 177496 | 19493 8785 177 | 0.000 % |
4.47/4.54 c | 8997 | 13668 58479 177496 | 19493 8997 177 | 0.000 % |
4.57/4.65 c | 9231 | 13668 58479 177496 | 19493 9231 176 | 0.000 % |
4.67/4.77 c | 9488 | 13668 58479 177496 | 19493 9488 178 | 0.000 % |
4.77/4.83 c | 9588 | 13668 58479 177496 | 19493 9588 177 | 0.000 % |
4.77/4.89 c | 9699 | 13668 58479 177496 | 19493 9699 177 | 0.000 % |
4.87/4.95 c | 9821 | 13668 58479 177496 | 19493 9821 177 | 0.000 % |
4.97/5.01 c | 9954 | 13668 58479 177496 | 19493 9954 177 | 0.000 % |
4.97/5.09 c | 10102 | 13668 58479 177496 | 2147483647 10102 176 | 0.000 % |
5.08/5.17 c | 10262 | 13668 58479 177496 | 2147483647 10262 176 | 0.000 % |
5.18/5.26 c | 10440 | 13668 58479 177496 | 2147483647 10440 177 | 0.000 % |
5.28/5.36 c | 10633 | 13668 58479 177496 | 2147483647 10633 177 | 0.000 % |
5.38/5.48 c | 10845 | 13668 58479 177496 | 2147483647 10845 178 | 0.000 % |
5.57/5.60 c | 11082 | 13668 58479 177496 | 2147483647 11082 178 | 0.000 % |
5.67/5.73 c | 11341 | 13668 58479 177496 | 2147483647 11341 177 | 0.000 % |
5.77/5.88 c | 11622 | 13668 58479 177496 | 2147483647 11622 179 | 0.000 % |
5.87/5.94 c | 11723 | 13668 58479 177496 | 2147483647 11723 179 | 0.000 % |
5.87/6.00 c | 11833 | 13668 58479 177496 | 2147483647 11833 179 | 0.000 % |
5.97/6.06 c | 11954 | 13668 58479 177496 | 2147483647 11954 178 | 0.000 % |
6.07/6.13 c | 12087 | 13668 58479 177496 | 2147483647 12087 178 | 0.000 % |
6.17/6.21 c | 12235 | 13668 58479 177496 | 2147483647 12235 178 | 0.000 % |
6.27/6.31 c | 12398 | 13668 58479 177496 | 2147483647 12398 178 | 0.000 % |
6.37/6.41 c | 12574 | 13668 58479 177496 | 2147483647 12574 179 | 0.000 % |
6.47/6.52 c | 12767 | 13668 58479 177496 | 2147483647 12767 178 | 0.000 % |
6.57/6.63 c | 12982 | 13668 58479 177496 | 2147483647 12982 177 | 0.000 % |
6.67/6.75 c | 13216 | 13668 58479 177496 | 2147483647 13216 177 | 0.000 % |
6.77/6.89 c | 13472 | 13668 58479 177496 | 2147483647 13472 177 | 0.000 % |
6.97/7.05 c | 13754 | 13668 58479 177496 | 2147483647 13754 177 | 0.000 % |
7.17/7.21 c | 14064 | 13668 58479 177496 | 2147483647 14064 177 | 0.000 % |
7.17/7.26 c | 14164 | 13668 58479 177496 | 2147483647 14164 177 | 0.000 % |
7.27/7.32 c | 14274 | 13668 58479 177496 | 2147483647 14274 177 | 0.000 % |
7.27/7.39 c | 14395 | 13668 58479 177496 | 2147483647 14395 177 | 0.000 % |
7.37/7.46 c | 14529 | 13668 58479 177496 | 2147483647 14529 177 | 0.000 % |
7.47/7.54 c | 14677 | 13668 58479 177496 | 2147483647 14677 177 | 0.000 % |
7.58/7.64 c | 14837 | 13668 58479 177496 | 2147483647 14837 177 | 0.000 % |
7.68/7.74 c | 15014 | 13668 58479 177496 | 2147483647 15014 177 | 0.000 % |
7.77/7.85 c | 15207 | 13668 58479 177496 | 2147483647 15207 177 | 0.000 % |
7.87/7.97 c | 15419 | 13668 58479 177496 | 2147483647 15419 177 | 0.000 % |
8.07/8.10 c | 15654 | 13668 58479 177496 | 2147483647 15654 178 | 0.000 % |
8.17/8.24 c | 15913 | 13668 58479 177496 | 2147483647 15913 178 | 0.000 % |
8.27/8.39 c | 16194 | 13668 58479 177496 | 2147483647 16194 178 | 0.000 % |
8.47/8.57 c | 16505 | 13668 58479 177496 | 2147483647 16505 179 | 0.000 % |
8.68/8.76 c | 16844 | 13668 58479 177496 | 2147483647 16844 178 | 0.000 % |
8.78/8.81 c | 16944 | 13668 58479 177496 | 2147483647 16944 178 | 0.000 % |
8.78/8.88 c | 17054 | 13668 58479 177496 | 2147483647 17054 178 | 0.000 % |
8.87/8.96 c | 17176 | 13668 58479 177496 | 2147483647 17176 178 | 0.000 % |
8.97/9.04 c | 17309 | 13668 58479 177496 | 2147483647 17309 178 | 0.000 % |
9.07/9.12 c | 17455 | 13668 58479 177496 | 2147483647 17455 179 | 0.000 % |
9.17/9.21 c | 17617 | 13668 58479 177496 | 2147483647 17617 179 | 0.000 % |
9.27/9.31 c | 17794 | 13668 58479 177496 | 2147483647 17794 178 | 0.000 % |
9.37/9.42 c | 17989 | 13668 58479 177496 | 2147483647 17989 178 | 0.000 % |
9.47/9.54 c | 18201 | 13668 58479 177496 | 2147483647 18201 178 | 0.000 % |
9.57/9.66 c | 18434 | 13668 58479 177496 | 2147483647 18434 179 | 0.000 % |
9.77/9.80 c | 18691 | 13668 58479 177496 | 2147483647 18691 178 | 0.000 % |
9.87/9.96 c | 18973 | 13668 58479 177496 | 2147483647 18973 179 | 0.000 % |
10.07/10.14 c | 19282 | 13668 58479 177496 | 2147483647 19282 179 | 0.000 % |
10.27/10.33 c | 19622 | 13668 58479 177496 | 2147483647 19622 179 | 0.000 % |
10.47/10.55 c | 19995 | 13668 58479 177496 | 2147483647 19995 180 | 0.000 % |
10.57/10.61 c | 20095 | 13668 58479 177496 | 2147483647 20095 180 | 0.000 % |
10.57/10.68 c | 20205 | 13668 58479 177496 | 2147483647 20205 180 | 0.000 % |
10.67/10.76 c | 20327 | 13668 58479 177496 | 2147483647 20327 180 | 0.000 % |
10.77/10.84 c | 20460 | 13668 58479 177496 | 2147483647 20460 180 | 0.000 % |
10.87/10.93 c | 20606 | 13668 58479 177496 | 2147483647 20606 180 | 0.000 % |
10.97/11.02 c | 20767 | 13668 58479 177496 | 2147483647 20767 180 | 0.000 % |
11.07/11.12 c | 20944 | 13668 58479 177496 | 2147483647 20944 180 | 0.000 % |
11.17/11.24 c | 21137 | 13668 58479 177496 | 2147483647 21137 180 | 0.000 % |
11.27/11.36 c | 21349 | 13668 58479 177496 | 2147483647 21349 180 | 0.000 % |
11.37/11.49 c | 21582 | 13668 58479 177496 | 2147483647 21582 180 | 0.000 % |
11.57/11.64 c | 21838 | 13668 58479 177496 | 2147483647 21838 180 | 0.000 % |
11.77/11.82 c | 22121 | 13668 58479 177496 | 2147483647 22121 180 | 0.000 % |
11.87/11.99 c | 22434 | 13668 58479 177496 | 2147483647 22434 180 | 0.000 % |
12.17/12.20 c | 22774 | 13668 58479 177496 | 2147483647 22774 180 | 0.000 % |
12.37/12.42 c | 23146 | 13668 58479 177496 | 2147483647 23146 180 | 0.000 % |
12.57/12.66 c | 23556 | 13668 58479 177496 | 2147483647 23556 181 | 0.000 % |
12.67/12.73 c | 23656 | 13668 58479 177496 | 2147483647 23656 181 | 0.000 % |
12.77/12.81 c | 23766 | 13668 58479 177496 | 2147483647 23766 181 | 0.000 % |
12.77/12.88 c | 23887 | 13668 58479 177496 | 2147483647 23887 181 | 0.000 % |
12.87/12.96 c | 24020 | 13668 58479 177496 | 2147483647 24020 181 | 0.000 % |
12.97/13.07 c | 24167 | 13668 58479 177496 | 2147483647 24167 181 | 0.000 % |
13.07/13.18 c | 24327 | 13668 58479 177496 | 2147483647 24327 181 | 0.000 % |
13.17/13.29 c | 24503 | 13668 58479 177496 | 2147483647 24503 181 | 0.000 % |
13.36/13.41 c | 24697 | 13668 58479 177496 | 2147483647 24697 180 | 0.000 % |
13.46/13.54 c | 24909 | 13668 58479 177496 | 2147483647 24909 181 | 0.000 % |
13.56/13.68 c | 25142 | 13668 58479 177496 | 2147483647 25142 181 | 0.000 % |
13.76/13.83 c | 25398 | 13668 58479 177496 | 2147483647 25398 181 | 0.000 % |
13.86/13.99 c | 25679 | 13668 58479 177496 | 2147483647 25679 182 | 0.000 % |
14.06/14.17 c | 25991 | 13668 58479 177496 | 2147483647 25991 182 | 0.000 % |
14.27/14.39 c | 26330 | 13668 58479 177496 | 2147483647 26330 183 | 0.000 % |
14.57/14.61 c | 26702 | 13668 58479 177496 | 2147483647 26702 183 | 0.000 % |
14.77/14.86 c | 27112 | 13668 58479 177496 | 2147483647 27112 183 | 0.000 % |
15.07/15.14 c | 27563 | 13668 58479 177496 | 2147483647 27563 185 | 0.000 % |
15.17/15.21 c | 27663 | 13668 58479 177496 | 2147483647 27663 184 | 0.000 % |
15.17/15.28 c | 27773 | 13668 58479 177496 | 2147483647 27773 184 | 0.000 % |
15.27/15.37 c | 27894 | 13668 58479 177496 | 2147483647 27894 184 | 0.000 % |
15.37/15.46 c | 28027 | 13668 58479 177496 | 2147483647 28027 184 | 0.000 % |
15.47/15.56 c | 28173 | 13668 58479 177496 | 2147483647 28173 184 | 0.000 % |
15.57/15.66 c | 28333 | 13668 58479 177496 | 2147483647 28333 184 | 0.000 % |
15.67/15.77 c | 28509 | 13668 58479 177496 | 2147483647 28509 184 | 0.000 % |
15.86/15.90 c | 28703 | 13668 58479 177496 | 2147483647 28703 184 | 0.000 % |
15.96/16.02 c | 28915 | 13668 58479 177496 | 2147483647 28915 184 | 0.000 % |
16.06/16.17 c | 29152 | 13668 58479 177496 | 2147483647 29152 185 | 0.000 % |
16.26/16.33 c | 29411 | 13668 58479 177496 | 2147483647 29411 185 | 0.000 % |
16.47/16.51 c | 29695 | 13668 58479 177496 | 2147483647 29695 185 | 0.000 % |
16.66/16.71 c | 30004 | 13668 58479 177496 | 2147483647 30004 185 | 0.000 % |
16.87/16.90 c | 30344 | 13668 58479 177496 | 2147483647 30344 185 | 0.000 % |
17.07/17.12 c | 30716 | 13668 58479 177496 | 2147483647 30716 185 | 0.000 % |
17.27/17.37 c | 31125 | 13668 58479 177496 | 2147483647 31125 186 | 0.000 % |
17.57/17.65 c | 31574 | 13668 58479 177496 | 2147483647 31574 186 | 0.000 % |
17.87/17.98 c | 32067 | 13668 58479 177496 | 2147483647 32067 186 | 0.000 % |
17.96/18.05 c | 32168 | 13668 58479 177496 | 2147483647 32168 186 | 0.000 % |
18.06/18.12 c | 32278 | 13668 58479 177496 | 2147483647 32278 186 | 0.000 % |
18.16/18.21 c | 32400 | 13668 58479 177496 | 2147483647 32400 186 | 0.000 % |
18.16/18.30 c | 32534 | 13668 58479 177496 | 2147483647 32534 185 | 0.000 % |
18.36/18.40 c | 32682 | 13668 58479 177496 | 2147483647 32682 185 | 0.000 % |
18.47/18.51 c | 32842 | 13668 58479 177496 | 2147483647 32842 185 | 0.000 % |
18.57/18.63 c | 33019 | 13668 58479 177496 | 2147483647 33019 185 | 0.000 % |
18.67/18.78 c | 33212 | 13668 58479 177496 | 2147483647 33212 185 | 0.000 % |
18.87/18.90 c | 33424 | 13668 58479 177496 | 2147483647 33424 185 | 0.000 % |
18.97/19.07 c | 33659 | 13668 58479 177496 | 2147483647 33659 185 | 0.000 % |
19.17/19.25 c | 33915 | 13668 58479 177496 | 2147483647 33915 185 | 0.000 % |
19.37/19.43 c | 34199 | 13668 58479 177496 | 2147483647 34199 185 | 0.000 % |
19.57/19.63 c | 34511 | 13668 58479 177496 | 2147483647 34511 186 | 0.000 % |
19.77/19.85 c | 34850 | 13668 58479 177496 | 2147483647 34850 186 | 0.000 % |
20.06/20.11 c | 35223 | 13668 58479 177496 | 2147483647 35223 186 | 0.000 % |
20.26/20.37 c | 35633 | 13668 58479 177496 | 2147483647 35633 186 | 0.000 % |
20.56/20.65 c | 36084 | 13668 58479 177496 | 2147483647 36084 186 | 0.000 % |
20.86/20.99 c | 36578 | 13668 58479 177496 | 2147483647 36578 187 | 0.000 % |
21.27/21.34 c | 37122 | 13668 58479 177496 | 2147483647 37122 188 | 0.000 % |
21.37/21.41 c | 37223 | 13668 58479 177496 | 2147483647 37223 187 | 0.000 % |
21.37/21.50 c | 37333 | 13668 58479 177496 | 2147483647 37333 187 | 0.000 % |
21.47/21.58 c | 37454 | 13668 58479 177496 | 2147483647 37454 187 | 0.000 % |
21.57/21.67 c | 37587 | 13668 58479 177496 | 2147483647 37587 187 | 0.000 % |
21.67/21.78 c | 37738 | 13668 58479 177496 | 2147483647 37738 187 | 0.000 % |
21.77/21.90 c | 37900 | 13668 58479 177496 | 2147483647 37900 187 | 0.000 % |
21.97/22.03 c | 38076 | 13668 58479 177496 | 2147483647 38076 187 | 0.000 % |
22.07/22.17 c | 38270 | 13668 58479 177496 | 2147483647 38270 187 | 0.000 % |
22.27/22.31 c | 38483 | 13668 58479 177496 | 2147483647 38483 187 | 0.000 % |
22.37/22.47 c | 38717 | 13668 58479 177496 | 2147483647 38717 186 | 0.000 % |
22.56/22.65 c | 38973 | 13668 58479 177496 | 2147483647 38973 187 | 0.000 % |
22.76/22.85 c | 39255 | 13668 58479 177496 | 2147483647 39255 187 | 0.000 % |
22.97/23.07 c | 39565 | 13668 58479 177496 | 2147483647 39565 187 | 0.000 % |
23.27/23.30 c | 39904 | 13668 58479 177496 | 2147483647 39904 187 | 0.000 % |
23.47/23.57 c | 40276 | 13668 58479 177496 | 2147483647 40276 187 | 0.000 % |
23.77/23.86 c | 40685 | 13668 58479 177496 | 2147483647 40685 187 | 0.000 % |
24.07/24.18 c | 41136 | 13668 58479 177496 | 2147483647 41136 187 | 0.000 % |
24.46/24.53 c | 41632 | 13668 58479 177496 | 2147483647 41632 188 | 0.000 % |
24.87/24.90 c | 42174 | 13668 58479 177496 | 2147483647 42174 188 | 0.000 % |
25.27/25.33 c | 42770 | 13668 58479 177496 | 2147483647 42770 189 | 0.000 % |
25.37/25.41 c | 42870 | 13668 58479 177496 | 2147483647 42870 189 | 0.000 % |
25.37/25.49 c | 42980 | 13668 58479 177496 | 2147483647 42980 189 | 0.000 % |
25.47/25.58 c | 43101 | 13668 58479 177496 | 2147483647 43101 189 | 0.000 % |
25.57/25.68 c | 43235 | 13668 58479 177496 | 2147483647 43235 189 | 0.000 % |
25.67/25.78 c | 43382 | 13668 58479 177496 | 2147483647 43382 189 | 0.000 % |
25.77/25.89 c | 43543 | 13668 58479 177496 | 2147483647 43543 189 | 0.000 % |
25.97/26.03 c | 43719 | 13668 58479 177496 | 2147483647 43719 189 | 0.000 % |
26.07/26.17 c | 43914 | 13668 58479 177496 | 2147483647 43914 189 | 0.000 % |
26.27/26.30 c | 44126 | 13668 58479 177496 | 2147483647 44126 189 | 0.000 % |
26.37/26.48 c | 44359 | 13668 58479 177496 | 2147483647 44359 189 | 0.000 % |
26.56/26.66 c | 44617 | 13668 58479 177496 | 2147483647 44617 189 | 0.000 % |
26.76/26.87 c | 44899 | 13668 58479 177496 | 2147483647 44899 189 | 0.000 % |
27.06/27.11 c | 45208 | 13668 58479 177496 | 2147483647 45208 189 | 0.000 % |
27.26/27.35 c | 45547 | 13668 58479 177496 | 2147483647 45547 189 | 0.000 % |
27.56/27.61 c | 45920 | 13668 58479 177496 | 2147483647 45920 189 | 0.000 % |
27.85/27.90 c | 46329 | 13668 58479 177496 | 2147483647 46329 189 | 0.000 % |
28.15/28.26 c | 46780 | 13668 58479 177496 | 2147483647 46780 189 | 0.000 % |
28.56/28.62 c | 47273 | 13668 58479 177496 | 2147483647 47273 190 | 0.000 % |
28.85/28.99 c | 47816 | 13668 58479 177496 | 2147483647 47816 190 | 0.000 % |
29.35/29.42 c | 48414 | 13668 58479 177496 | 2147483647 48414 191 | 0.000 % |
29.75/29.89 c | 49070 | 13668 58479 177496 | 2147483647 49070 191 | 0.000 % |
29.85/29.96 c | 49171 | 13668 58479 177496 | 2147483647 49171 191 | 0.000 % |
29.95/30.06 c | 49282 | 13668 58479 177496 | 2147483647 49282 191 | 0.000 % |
30.05/30.15 c | 49403 | 13668 58479 177496 | 2147483647 49403 191 | 0.000 % |
30.15/30.27 c | 49537 | 13668 58479 177496 | 2147483647 49537 191 | 0.000 % |
30.26/30.39 c | 49683 | 13668 58479 177496 | 2147483647 49683 191 | 0.000 % |
30.46/30.52 c | 49843 | 13668 58479 177496 | 2147483647 49843 191 | 0.000 % |
30.56/30.65 c | 50019 | 13668 58479 177496 | 2147483647 50019 191 | 0.000 % |
30.66/30.80 c | 50212 | 13668 58479 177496 | 2147483647 50212 191 | 0.000 % |
30.86/30.96 c | 50424 | 13668 58479 177496 | 2147483647 50424 191 | 0.000 % |
31.06/31.13 c | 50657 | 13668 58479 177496 | 2147483647 50657 191 | 0.000 % |
31.26/31.34 c | 50913 | 13668 58479 177496 | 2147483647 50913 191 | 0.000 % |
31.46/31.56 c | 51194 | 13668 58479 177496 | 2147483647 51194 191 | 0.000 % |
31.66/31.79 c | 51503 | 13668 58479 177496 | 2147483647 51503 191 | 0.000 % |
31.96/32.05 c | 51843 | 13668 58479 177496 | 2147483647 51843 191 | 0.000 % |
32.25/32.33 c | 52215 | 13668 58479 177496 | 2147483647 52215 191 | 0.000 % |
32.55/32.64 c | 52626 | 13668 58479 177496 | 2147483647 52626 191 | 0.000 % |
32.86/32.97 c | 53075 | 13668 58479 177496 | 2147483647 53075 191 | 0.000 % |
33.25/33.35 c | 53568 | 13668 58479 177496 | 2147483647 53568 192 | 0.000 % |
33.65/33.75 c | 54113 | 13668 58479 177496 | 2147483647 54113 192 | 0.000 % |
34.16/34.20 c | 54709 | 13668 58479 177496 | 2147483647 54709 192 | 0.000 % |
34.56/34.70 c | 55365 | 13668 58479 177496 | 2147483647 55365 193 | 0.000 % |
35.16/35.22 c | 56085 | 13668 58479 177496 | 2147483647 56085 193 | 0.000 % |
35.26/35.31 c | 56185 | 13668 58479 177496 | 2147483647 56185 193 | 0.000 % |
35.26/35.39 c | 56296 | 13668 58479 177496 | 2147483647 56296 193 | 0.000 % |
35.46/35.50 c | 56418 | 13668 58479 177496 | 2147483647 56418 193 | 0.000 % |
35.56/35.62 c | 56551 | 13668 58479 177496 | 2147483647 56551 193 | 0.000 % |
35.66/35.74 c | 56697 | 13668 58479 177496 | 2147483647 56697 193 | 0.000 % |
35.76/35.87 c | 56862 | 13668 58479 177496 | 2147483647 56862 193 | 0.000 % |
35.96/36.01 c | 57039 | 13668 58479 177496 | 2147483647 57039 193 | 0.000 % |
36.06/36.18 c | 57232 | 13668 58479 177496 | 2147483647 57232 193 | 0.000 % |
36.26/36.36 c | 57444 | 13668 58479 177496 | 2147483647 57444 193 | 0.000 % |
36.45/36.56 c | 57677 | 13668 58479 177496 | 2147483647 57677 193 | 0.000 % |
36.65/36.76 c | 57933 | 13668 58479 177496 | 2147483647 57933 193 | 0.000 % |
36.85/36.97 c | 58214 | 13668 58479 177496 | 2147483647 58214 193 | 0.000 % |
37.15/37.23 c | 58523 | 13668 58479 177496 | 2147483647 58523 193 | 0.000 % |
37.45/37.51 c | 58862 | 13668 58479 177496 | 2147483647 58862 193 | 0.000 % |
37.75/37.84 c | 59234 | 13668 58479 177496 | 2147483647 59234 193 | 0.000 % |
38.05/38.17 c | 59644 | 13668 58479 177496 | 2147483647 59644 193 | 0.000 % |
38.45/38.52 c | 60096 | 13668 58479 177496 | 2147483647 60096 193 | 0.000 % |
38.85/38.90 c | 60589 | 13668 58479 177496 | 2147483647 60589 194 | 0.000 % |
39.26/39.37 c | 61131 | 13668 58479 177496 | 2147483647 61131 194 | 0.000 % |
39.75/39.84 c | 61728 | 13668 58479 177496 | 2147483647 61728 194 | 0.000 % |
40.25/40.32 c | 62383 | 13668 58479 177496 | 2147483647 62383 195 | 0.000 % |
40.86/40.90 c | 63103 | 13668 58479 177496 | 2147483647 63103 195 | 0.000 % |
41.46/41.53 c | 63895 | 13668 58479 177496 | 2147483647 63895 195 | 0.000 % |
41.56/41.61 c | 63995 | 13668 58479 177496 | 2147483647 63995 195 | 0.000 % |
41.66/41.72 c | 64105 | 13668 58479 177496 | 2147483647 64105 195 | 0.000 % |
41.76/41.82 c | 64226 | 13668 58479 177496 | 2147483647 64226 195 | 0.000 % |
41.86/41.93 c | 64362 | 13668 58479 177496 | 2147483647 64362 195 | 0.000 % |
41.96/42.06 c | 64508 | 13668 58479 177496 | 2147483647 64508 195 | 0.000 % |
42.15/42.22 c | 64669 | 13668 58479 177496 | 2147483647 64669 195 | 0.000 % |
42.25/42.38 c | 64845 | 13668 58479 177496 | 2147483647 64845 195 | 0.000 % |
42.45/42.55 c | 65040 | 13668 58479 177496 | 2147483647 65040 195 | 0.000 % |
42.65/42.73 c | 65252 | 13668 58479 177496 | 2147483647 65252 195 | 0.000 % |
42.86/42.92 c | 65485 | 13668 58479 177496 | 2147483647 65485 195 | 0.000 % |
43.05/43.13 c | 65741 | 13668 58479 177496 | 2147483647 65741 195 | 0.000 % |
43.25/43.35 c | 66025 | 13668 58479 177496 | 2147483647 66025 195 | 0.000 % |
43.55/43.62 c | 66336 | 13668 58479 177496 | 2147483647 66336 195 | 0.000 % |
43.75/43.89 c | 66675 | 13668 58479 177496 | 2147483647 66675 195 | 0.000 % |
44.15/44.21 c | 67049 | 13668 58479 177496 | 2147483647 67049 195 | 0.000 % |
44.46/44.56 c | 67458 | 13668 58479 177496 | 2147483647 67458 196 | 0.000 % |
44.85/44.93 c | 67907 | 13668 58479 177496 | 2147483647 67907 196 | 0.000 % |
45.25/45.33 c | 68400 | 13668 58479 177496 | 2147483647 68400 197 | 0.000 % |
45.65/45.78 c | 68942 | 13668 58479 177496 | 2147483647 68942 197 | 0.000 % |
46.16/46.28 c | 69539 | 13668 58479 177496 | 2147483647 69539 197 | 0.000 % |
46.75/46.85 c | 70194 | 13668 58479 177496 | 2147483647 70194 197 | 0.000 % |
47.35/47.47 c | 70916 | 13668 58479 177496 | 2147483647 70916 197 | 0.000 % |
48.05/48.18 c | 71709 | 13668 58479 177496 | 2147483647 71709 197 | 0.000 % |
48.85/48.92 c | 72581 | 13668 58479 177496 | 2147483647 72581 198 | 0.000 % |
48.95/49.02 c | 72683 | 13668 58479 177496 | 2147483647 72683 198 | 0.000 % |
49.05/49.12 c | 72795 | 13668 58479 177496 | 2147483647 72795 198 | 0.000 % |
49.15/49.24 c | 72916 | 13668 58479 177496 | 2147483647 72916 198 | 0.000 % |
49.25/49.38 c | 73049 | 13668 58479 177496 | 2147483647 73049 198 | 0.000 % |
49.45/49.52 c | 73196 | 13668 58479 177496 | 2147483647 73196 198 | 0.000 % |
49.55/49.68 c | 73357 | 13668 58479 177496 | 2147483647 73357 198 | 0.000 % |
49.75/49.84 c | 73533 | 13668 58479 177496 | 2147483647 73533 198 | 0.000 % |
49.95/50.03 c | 73727 | 13668 58479 177496 | 2147483647 73727 198 | 0.000 % |
50.15/50.24 c | 73939 | 13668 58479 177496 | 2147483647 73939 198 | 0.000 % |
50.35/50.45 c | 74172 | 13668 58479 177496 | 2147483647 74172 198 | 0.000 % |
50.56/50.68 c | 74428 | 13668 58479 177496 | 2147483647 74428 198 | 0.000 % |
50.85/50.92 c | 74710 | 13668 58479 177496 | 2147483647 74710 198 | 0.000 % |
51.15/51.21 c | 75019 | 13668 58479 177496 | 2147483647 75019 198 | 0.000 % |
51.45/51.50 c | 75360 | 13668 58479 177496 | 2147483647 75360 198 | 0.000 % |
51.75/51.83 c | 75732 | 13668 58479 177496 | 2147483647 75732 198 | 0.000 % |
52.15/52.21 c | 76143 | 13668 58479 177496 | 2147483647 76143 198 | 0.000 % |
52.44/52.57 c | 76592 | 13668 58479 177496 | 2147483647 76592 198 | 0.000 % |
52.94/53.05 c | 77085 | 13668 58479 177496 | 2147483647 77085 199 | 0.000 % |
53.45/53.55 c | 77628 | 13668 58479 177496 | 2147483647 77628 199 | 0.000 % |
53.95/54.09 c | 78225 | 13668 58479 177496 | 2147483647 78225 199 | 0.000 % |
54.55/54.68 c | 78881 | 13668 58479 177496 | 2147483647 78881 199 | 0.000 % |
55.25/55.33 c | 79601 | 13668 58479 177496 | 2147483647 79601 199 | 0.000 % |
55.95/56.07 c | 80394 | 13668 58479 177496 | 2147483647 80394 199 | 0.000 % |
56.75/56.83 c | 81265 | 13668 58479 177496 | 2147483647 81265 200 | 0.000 % |
57.55/57.68 c | 82223 | 13668 58479 177496 | 2147483647 82223 201 | 0.000 % |
57.65/57.79 c | 82323 | 13668 58479 177496 | 2147483647 82323 201 | 0.000 % |
57.75/57.90 c | 82433 | 13668 58479 177496 | 2147483647 82433 201 | 0.000 % |
57.95/58.03 c | 82555 | 13668 58479 177496 | 2147483647 82555 201 | 0.000 % |
58.05/58.17 c | 82690 | 13668 58479 177496 | 2147483647 82690 201 | 0.000 % |
58.25/58.32 c | 82837 | 13668 58479 177496 | 2147483647 82837 201 | 0.000 % |
58.35/58.49 c | 83000 | 13668 58479 177496 | 2147483647 83000 201 | 0.000 % |
58.55/58.68 c | 83176 | 13668 58479 177496 | 2147483647 83176 201 | 0.000 % |
58.74/58.85 c | 83369 | 13668 58479 177496 | 2147483647 83369 201 | 0.000 % |
58.94/59.04 c | 83581 | 13668 58479 177496 | 2147483647 83581 201 | 0.000 % |
59.14/59.27 c | 83814 | 13668 58479 177496 | 2147483647 83814 201 | 0.000 % |
59.44/59.56 c | 84073 | 13668 58479 177496 | 2147483647 84073 201 | 0.000 % |
59.75/59.85 c | 84354 | 13668 58479 177496 | 2147483647 84354 201 | 0.000 % |
60.05/60.16 c | 84666 | 13668 58479 177496 | 2147483647 84666 201 | 0.000 % |
60.35/60.49 c | 85005 | 13668 58479 177496 | 2147483647 85005 201 | 0.000 % |
60.75/60.83 c | 85379 | 13668 58479 177496 | 2147483647 85379 201 | 0.000 % |
61.15/61.25 c | 85788 | 13668 58479 177496 | 2147483647 85788 201 | 0.000 % |
61.55/61.68 c | 86237 | 13668 58479 177496 | 2147483647 86237 201 | 0.000 % |
62.04/62.17 c | 86731 | 13668 58479 177496 | 2147483647 86731 201 | 0.000 % |
62.55/62.66 c | 87276 | 13668 58479 177496 | 2147483647 87276 201 | 0.000 % |
63.14/63.22 c | 87872 | 13668 58479 177496 | 2147483647 87872 201 | 0.000 % |
63.74/63.83 c | 88528 | 13668 58479 177496 | 2147483647 88528 202 | 0.000 % |
64.45/64.55 c | 89251 | 13668 58479 177496 | 2147483647 89251 202 | 0.000 % |
65.15/65.28 c | 90043 | 13668 58479 177496 | 2147483647 90043 203 | 0.000 % |
66.04/66.13 c | 90915 | 13668 58479 177496 | 2147483647 90915 203 | 0.000 % |
66.95/67.03 c | 91873 | 13668 58479 177496 | 2147483647 91873 203 | 0.000 % |
67.95/68.06 c | 92926 | 13668 58479 177496 | 2147483647 92926 203 | 0.000 % |
68.05/68.17 c | 93026 | 13668 58479 177496 | 2147483647 93026 203 | 0.000 % |
68.24/68.31 c | 93138 | 13668 58479 177496 | 2147483647 93138 203 | 0.000 % |
68.34/68.45 c | 93259 | 13668 58479 177496 | 2147483647 93259 203 | 0.000 % |
68.44/68.58 c | 93392 | 13668 58479 177496 | 2147483647 93392 203 | 0.000 % |
68.64/68.76 c | 93541 | 13668 58479 177496 | 2147483647 93541 203 | 0.000 % |
68.84/68.96 c | 93701 | 13668 58479 177496 | 2147483647 93701 203 | 0.000 % |
69.04/69.14 c | 93878 | 13668 58479 177496 | 2147483647 93878 203 | 0.000 % |
69.25/69.36 c | 94071 | 13668 58479 177496 | 2147483647 94071 203 | 0.000 % |
69.54/69.60 c | 94284 | 13668 58479 177496 | 2147483647 94284 203 | 0.000 % |
69.74/69.82 c | 94517 | 13668 58479 177496 | 2147483647 94517 203 | 0.000 % |
70.04/70.12 c | 94775 | 13668 58479 177496 | 2147483647 94775 203 | 0.000 % |
70.34/70.43 c | 95056 | 13668 58479 177496 | 2147483647 95056 203 | 0.000 % |
70.65/70.73 c | 95365 | 13668 58479 177496 | 2147483647 95365 203 | 0.000 % |
70.95/71.09 c | 95704 | 13668 58479 177496 | 2147483647 95704 203 | 0.000 % |
71.35/71.48 c | 96077 | 13668 58479 177496 | 2147483647 96077 203 | 0.000 % |
71.84/71.91 c | 96486 | 13668 58479 177496 | 2147483647 96486 203 | 0.000 % |
72.24/72.36 c | 96937 | 13668 58479 177496 | 2147483647 96937 203 | 0.000 % |
72.74/72.84 c | 97430 | 13668 58479 177496 | 2147483647 97430 203 | 0.000 % |
73.34/73.40 c | 97973 | 13668 58479 177496 | 2147483647 97973 203 | 0.000 % |
73.94/74.01 c | 98573 | 13668 58479 177496 | 2147483647 98573 203 | 0.000 % |
74.54/74.69 c | 99229 | 13668 58479 177496 | 2147483647 99229 203 | 0.000 % |
75.24/75.38 c | 99951 | 13668 58479 177496 | 2147483647 99951 204 | 0.000 % |
76.03/76.10 c | 100744 | 13668 58479 177496 | 2147483647 100744 204 | 0.000 % |
76.84/76.97 c | 101618 | 13668 58479 177496 | 2147483647 101618 204 | 0.000 % |
77.74/77.89 c | 102576 | 13668 58479 177496 | 2147483647 102576 204 | 0.000 % |
78.83/78.91 c | 103629 | 13668 58479 177496 | 2147483647 103629 205 | 0.000 % |
80.03/80.10 c | 104789 | 13668 58479 177496 | 2147483647 104789 206 | 0.000 % |
80.13/80.22 c | 104891 | 13668 58479 177496 | 2147483647 104891 206 | 0.000 % |
80.23/80.34 c | 105001 | 13668 58479 177496 | 2147483647 105001 205 | 0.000 % |
80.44/80.50 c | 105123 | 13668 58479 177496 | 2147483647 105123 205 | 0.000 % |
80.54/80.67 c | 105256 | 13668 58479 177496 | 2147483647 105256 205 | 0.000 % |
80.74/80.84 c | 105404 | 13668 58479 177496 | 2147483647 105404 205 | 0.000 % |
80.94/81.03 c | 105565 | 13668 58479 177496 | 2147483647 105565 205 | 0.000 % |
81.14/81.23 c | 105742 | 13668 58479 177496 | 2147483647 105742 205 | 0.000 % |
81.34/81.45 c | 105936 | 13668 58479 177496 | 2147483647 105936 205 | 0.000 % |
81.54/81.69 c | 106150 | 13668 58479 177496 | 2147483647 106150 205 | 0.000 % |
81.84/81.93 c | 106383 | 13668 58479 177496 | 2147483647 106383 205 | 0.000 % |
82.13/82.22 c | 106639 | 13668 58479 177496 | 2147483647 106639 205 | 0.000 % |
82.44/82.54 c | 106920 | 13668 58479 177496 | 2147483647 106920 205 | 0.000 % |
82.73/82.88 c | 107230 | 13668 58479 177496 | 2147483647 107230 205 | 0.000 % |
83.13/83.24 c | 107569 | 13668 58479 177496 | 2147483647 107569 205 | 0.000 % |
83.53/83.67 c | 107941 | 13668 58479 177496 | 2147483647 107941 206 | 0.000 % |
84.04/84.14 c | 108352 | 13668 58479 177496 | 2147483647 108352 206 | 0.000 % |
84.54/84.65 c | 108801 | 13668 58479 177496 | 2147483647 108801 206 | 0.000 % |
85.04/85.16 c | 109296 | 13668 58479 177496 | 2147483647 109296 206 | 0.000 % |
85.64/85.75 c | 109840 | 13668 58479 177496 | 2147483647 109840 206 | 0.000 % |
86.33/86.44 c | 110436 | 13668 58479 177496 | 2147483647 110436 206 | 0.000 % |
87.03/87.10 c | 111091 | 13668 58479 177496 | 2147483647 111091 206 | 0.000 % |
87.83/87.94 c | 111811 | 13668 58479 177496 | 2147483647 111811 206 | 0.000 % |
88.73/88.83 c | 112603 | 13668 58479 177496 | 2147483647 112603 206 | 0.000 % |
89.64/89.78 c | 113474 | 13668 58479 177496 | 2147483647 113474 206 | 0.000 % |
90.73/90.81 c | 114433 | 13668 58479 177496 | 2147483647 114433 207 | 0.000 % |
91.84/91.96 c | 115487 | 13668 58479 177496 | 2147483647 115487 207 | 0.000 % |
93.13/93.23 c | 116647 | 13668 58479 177496 | 2147483647 116647 207 | 0.000 % |
94.43/94.59 c | 117924 | 13668 58479 177496 | 2147483647 117924 208 | 0.000 % |
94.63/94.72 c | 118027 | 13668 58479 177496 | 2147483647 118027 208 | 0.000 % |
94.73/94.85 c | 118137 | 13668 58479 177496 | 2147483647 118137 208 | 0.000 % |
94.93/95.01 c | 118258 | 13668 58479 177496 | 2147483647 118258 208 | 0.000 % |
95.03/95.18 c | 118391 | 13668 58479 177496 | 2147483647 118391 208 | 0.000 % |
95.23/95.37 c | 118537 | 13668 58479 177496 | 2147483647 118537 208 | 0.000 % |
95.43/95.58 c | 118697 | 13668 58479 177496 | 2147483647 118697 208 | 0.000 % |
95.63/95.79 c | 118874 | 13668 58479 177496 | 2147483647 118874 207 | 0.000 % |
95.93/96.03 c | 119068 | 13668 58479 177496 | 2147483647 119068 207 | 0.000 % |
96.23/96.30 c | 119281 | 13668 58479 177496 | 2147483647 119281 207 | 0.000 % |
96.53/96.60 c | 119514 | 13668 58479 177496 | 2147483647 119514 207 | 0.000 % |
96.83/96.91 c | 119770 | 13668 58479 177496 | 2147483647 119770 207 | 0.000 % |
97.13/97.26 c | 120051 | 13668 58479 177496 | 2147483647 120051 207 | 0.000 % |
97.53/97.64 c | 120360 | 13668 58479 177496 | 2147483647 120360 207 | 0.000 % |
97.93/98.03 c | 120699 | 13668 58479 177496 | 2147483647 120699 207 | 0.000 % |
98.33/98.45 c | 121071 | 13668 58479 177496 | 2147483647 121071 207 | 0.000 % |
98.83/98.96 c | 121480 | 13668 58479 177496 | 2147483647 121480 207 | 0.000 % |
99.33/99.48 c | 121930 | 13668 58479 177496 | 2147483647 121930 208 | 0.000 % |
99.93/100.03 c | 122423 | 13668 58479 177496 | 2147483647 122423 208 | 0.000 % |
100.52/100.65 c | 122967 | 13668 58479 177496 | 2147483647 122967 208 | 0.000 % |
101.23/101.31 c | 123564 | 13668 58479 177496 | 2147483647 123564 208 | 0.000 % |
102.03/102.12 c | 124219 | 13668 58479 177496 | 2147483647 124219 208 | 0.000 % |
102.83/102.96 c | 124939 | 13668 58479 177496 | 2147483647 124939 208 | 0.000 % |
103.73/103.87 c | 125731 | 13668 58479 177496 | 2147483647 125731 208 | 0.000 % |
104.73/104.85 c | 126603 | 13668 58479 177496 | 2147483647 126603 208 | 0.000 % |
105.83/105.92 c | 127561 | 13668 58479 177496 | 2147483647 127561 209 | 0.000 % |
107.03/107.17 c | 128616 | 13668 58479 177496 | 2147483647 128616 209 | 0.000 % |
108.43/108.56 c | 129778 | 13668 58479 177496 | 2147483647 129778 209 | 0.000 % |
110.02/110.14 c | 131052 | 13668 58479 177496 | 2147483647 131052 209 | 0.000 % |
111.72/111.80 c | 132452 | 13668 58479 177496 | 2147483647 132452 209 | 0.000 % |
111.82/111.94 c | 132554 | 13668 58479 177496 | 2147483647 132554 209 | 0.000 % |
112.03/112.13 c | 132664 | 13668 58479 177496 | 2147483647 132664 209 | 0.000 % |
112.22/112.31 c | 132786 | 13668 58479 177496 | 2147483647 132786 209 | 0.000 % |
112.42/112.50 c | 132919 | 13668 58479 177496 | 2147483647 132919 209 | 0.000 % |
112.62/112.71 c | 133066 | 13668 58479 177496 | 2147483647 133066 209 | 0.000 % |
112.82/112.95 c | 133226 | 13668 58479 177496 | 2147483647 133226 209 | 0.000 % |
113.03/113.18 c | 133403 | 13668 58479 177496 | 2147483647 133403 209 | 0.000 % |
113.33/113.43 c | 133597 | 13668 58479 177496 | 2147483647 133597 209 | 0.000 % |
113.63/113.73 c | 133810 | 13668 58479 177496 | 2147483647 133810 209 | 0.000 % |
113.93/114.05 c | 134045 | 13668 58479 177496 | 2147483647 134045 209 | 0.000 % |
114.33/114.41 c | 134302 | 13668 58479 177496 | 2147483647 134302 209 | 0.000 % |
114.63/114.76 c | 134583 | 13668 58479 177496 | 2147483647 134583 209 | 0.000 % |
115.13/115.21 c | 134893 | 13668 58479 177496 | 2147483647 134893 209 | 0.000 % |
115.53/115.63 c | 135233 | 13668 58479 177496 | 2147483647 135233 209 | 0.000 % |
115.92/116.09 c | 135606 | 13668 58479 177496 | 2147483647 135606 209 | 0.000 % |
116.43/116.57 c | 136015 | 13668 58479 177496 | 2147483647 136015 209 | 0.000 % |
117.02/117.15 c | 136465 | 13668 58479 177496 | 2147483647 136465 209 | 0.000 % |
117.62/117.75 c | 136958 | 13668 58479 177496 | 2147483647 136958 209 | 0.000 % |
118.32/118.45 c | 137502 | 13668 58479 177496 | 2147483647 137502 209 | 0.000 % |
119.12/119.23 c | 138099 | 13668 58479 177496 | 2147483647 138099 209 | 0.000 % |
119.91/120.05 c | 138755 | 13668 58479 177496 | 2147483647 138755 209 | 0.000 % |
120.72/120.89 c | 139475 | 13668 58479 177496 | 2147483647 139475 209 | 0.000 % |
121.82/121.90 c | 140267 | 13668 58479 177496 | 2147483647 140267 209 | 0.000 % |
122.92/123.01 c | 141140 | 13668 58479 177496 | 2147483647 141140 209 | 0.000 % |
124.01/124.16 c | 142098 | 13668 58479 177496 | 2147483647 142098 209 | 0.000 % |
125.33/125.45 c | 143152 | 13668 58479 177496 | 2147483647 143152 210 | 0.000 % |
126.72/126.84 c | 144311 | 13668 58479 177496 | 2147483647 144311 210 | 0.000 % |
128.31/128.42 c | 145589 | 13668 58479 177496 | 2147483647 145589 210 | 0.000 % |
130.12/130.23 c | 146990 | 13668 58479 177496 | 2147483647 146990 211 | 0.000 % |
132.02/132.12 c | 148530 | 13668 58479 177496 | 2147483647 148530 211 | 0.000 % |
132.11/132.28 c | 148630 | 13668 58479 177496 | 2147483647 148630 211 | 0.000 % |
132.31/132.44 c | 148742 | 13668 58479 177496 | 2147483647 148742 211 | 0.000 % |
132.51/132.62 c | 148864 | 13668 58479 177496 | 2147483647 148864 211 | 0.000 % |
132.71/132.81 c | 148997 | 13668 58479 177496 | 2147483647 148997 211 | 0.000 % |
132.92/133.05 c | 149143 | 13668 58479 177496 | 2147483647 149143 211 | 0.000 % |
133.11/133.27 c | 149303 | 13668 58479 177496 | 2147483647 149303 211 | 0.000 % |
133.41/133.52 c | 149479 | 13668 58479 177496 | 2147483647 149479 211 | 0.000 % |
133.61/133.79 c | 149673 | 13668 58479 177496 | 2147483647 149673 211 | 0.000 % |
133.91/134.05 c | 149885 | 13668 58479 177496 | 2147483647 149885 211 | 0.000 % |
134.31/134.40 c | 150119 | 13668 58479 177496 | 2147483647 150119 211 | 0.000 % |
134.61/134.78 c | 150376 | 13668 58479 177496 | 2147483647 150376 211 | 0.000 % |
135.01/135.15 c | 150657 | 13668 58479 177496 | 2147483647 150657 211 | 0.000 % |
135.41/135.56 c | 150969 | 13668 58479 177496 | 2147483647 150969 211 | 0.000 % |
135.92/136.02 c | 151308 | 13668 58479 177496 | 2147483647 151308 211 | 0.000 % |
136.42/136.58 c | 151681 | 13668 58479 177496 | 2147483647 151681 211 | 0.000 % |
137.02/137.16 c | 152091 | 13668 58479 177496 | 2147483647 152091 211 | 0.000 % |
137.62/137.73 c | 152541 | 13668 58479 177496 | 2147483647 152541 211 | 0.000 % |
138.22/138.36 c | 153034 | 13668 58479 177496 | 2147483647 153034 211 | 0.000 % |
138.91/139.09 c | 153576 | 13668 58479 177496 | 2147483647 153576 212 | 0.000 % |
139.71/139.90 c | 154173 | 13668 58479 177496 | 2147483647 154173 212 | 0.000 % |
140.61/140.73 c | 154831 | 13668 58479 177496 | 2147483647 154831 212 | 0.000 % |
141.51/141.63 c | 155551 | 13668 58479 177496 | 2147483647 155551 212 | 0.000 % |
142.52/142.63 c | 156343 | 13668 58479 177496 | 2147483647 156343 212 | 0.000 % |
143.61/143.76 c | 157214 | 13668 58479 177496 | 2147483647 157214 212 | 0.000 % |
144.91/145.00 c | 158172 | 13668 58479 177496 | 2147483647 158172 212 | 0.000 % |
146.22/146.33 c | 159225 | 13668 58479 177496 | 2147483647 159225 213 | 0.000 % |
147.71/147.82 c | 160383 | 13668 58479 177496 | 2147483647 160383 213 | 0.000 % |
149.31/149.49 c | 161658 | 13668 58479 177496 | 2147483647 161658 214 | 0.000 % |
151.11/151.20 c | 163058 | 13668 58479 177496 | 2147483647 163058 215 | 0.000 % |
153.11/153.27 c | 164599 | 13668 58479 177496 | 2147483647 164599 215 | 0.000 % |
155.41/155.56 c | 166293 | 13668 58479 177496 | 2147483647 166293 215 | 0.000 % |
155.61/155.72 c | 166395 | 13668 58479 177496 | 2147483647 166395 215 | 0.000 % |
155.70/155.90 c | 166507 | 13668 58479 177496 | 2147483647 166507 215 | 0.000 % |
156.01/156.12 c | 166629 | 13668 58479 177496 | 2147483647 166629 215 | 0.000 % |
156.20/156.34 c | 166764 | 13668 58479 177496 | 2147483647 166764 215 | 0.000 % |
156.40/156.56 c | 166910 | 13668 58479 177496 | 2147483647 166910 215 | 0.000 % |
156.70/156.81 c | 167071 | 13668 58479 177496 | 2147483647 167071 215 | 0.000 % |
156.90/157.09 c | 167249 | 13668 58479 177496 | 2147483647 167249 215 | 0.000 % |
157.30/157.42 c | 167442 | 13668 58479 177496 | 2147483647 167442 215 | 0.000 % |
157.60/157.78 c | 167654 | 13668 58479 177496 | 2147483647 167654 215 | 0.000 % |
158.01/158.11 c | 167887 | 13668 58479 177496 | 2147483647 167887 215 | 0.000 % |
158.41/158.53 c | 168143 | 13668 58479 177496 | 2147483647 168143 215 | 0.000 % |
158.81/158.95 c | 168424 | 13668 58479 177496 | 2147483647 168424 215 | 0.000 % |
159.31/159.43 c | 168733 | 13668 58479 177496 | 2147483647 168733 215 | 0.000 % |
159.80/159.92 c | 169072 | 13668 58479 177496 | 2147483647 169072 215 | 0.000 % |
160.30/160.46 c | 169446 | 13668 58479 177496 | 2147483647 169446 215 | 0.000 % |
160.90/161.02 c | 169855 | 13668 58479 177496 | 2147483647 169855 215 | 0.000 % |
161.50/161.63 c | 170304 | 13668 58479 177496 | 2147483647 170304 215 | 0.000 % |
162.11/162.20 c | 170797 | 13668 58479 177496 | 2147483647 170797 215 | 0.000 % |
162.80/162.94 c | 171339 | 13668 58479 177496 | 2147483647 171339 215 | 0.000 % |
163.70/163.84 c | 171935 | 13668 58479 177496 | 2147483647 171935 215 | 0.000 % |
164.59/164.75 c | 172590 | 13668 58479 177496 | 2147483647 172590 215 | 0.000 % |
165.60/165.73 c | 173310 | 13668 58479 177496 | 2147483647 173310 215 | 0.000 % |
166.70/166.89 c | 174103 | 13668 58479 177496 | 2147483647 174103 215 | 0.000 % |
167.89/168.08 c | 174977 | 13668 58479 177496 | 2147483647 174977 216 | 0.000 % |
169.30/169.43 c | 175935 | 13668 58479 177496 | 2147483647 175935 216 | 0.000 % |
170.69/170.82 c | 176989 | 13668 58479 177496 | 2147483647 176989 216 | 0.000 % |
172.40/172.52 c | 178147 | 13668 58479 177496 | 2147483647 178147 216 | 0.000 % |
174.09/174.27 c | 179420 | 13668 58479 177496 | 2147483647 179420 217 | 0.000 % |
176.19/176.35 c | 180821 | 13668 58479 177496 | 2147483647 180821 217 | 0.000 % |
178.30/178.49 c | 182362 | 13668 58479 177496 | 2147483647 182362 217 | 0.000 % |
180.79/180.95 c | 184056 | 13668 58479 177496 | 2147483647 184056 218 | 0.000 % |
183.29/183.49 c | 185920 | 13668 58479 177496 | 2147483647 185920 218 | 0.000 % |
183.50/183.66 c | 186020 | 13668 58479 177496 | 2147483647 186020 218 | 0.000 % |
183.69/183.86 c | 186130 | 13668 58479 177496 | 2147483647 186130 218 | 0.000 % |
183.89/184.05 c | 186252 | 13668 58479 177496 | 2147483647 186252 218 | 0.000 % |
184.19/184.31 c | 186386 | 13668 58479 177496 | 2147483647 186386 218 | 0.000 % |
184.39/184.55 c | 186532 | 13668 58479 177496 | 2147483647 186532 218 | 0.000 % |
184.70/184.86 c | 186695 | 13668 58479 177496 | 2147483647 186695 218 | 0.000 % |
184.99/185.18 c | 186871 | 13668 58479 177496 | 2147483647 186871 218 | 0.000 % |
185.39/185.51 c | 187065 | 13668 58479 177496 | 2147483647 187065 218 | 0.000 % |
185.69/185.88 c | 187277 | 13668 58479 177496 | 2147483647 187277 218 | 0.000 % |
186.09/186.27 c | 187511 | 13668 58479 177496 | 2147483647 187511 218 | 0.000 % |
186.59/186.72 c | 187769 | 13668 58479 177496 | 2147483647 187769 218 | 0.000 % |
186.99/187.13 c | 188051 | 13668 58479 177496 | 2147483647 188051 218 | 0.000 % |
187.49/187.61 c | 188360 | 13668 58479 177496 | 2147483647 188360 218 | 0.000 % |
188.00/188.16 c | 188700 | 13668 58479 177496 | 2147483647 188700 218 | 0.000 % |
188.59/188.72 c | 189073 | 13668 58479 177496 | 2147483647 189073 218 | 0.000 % |
189.29/189.41 c | 189484 | 13668 58479 177496 | 2147483647 189484 218 | 0.000 % |
189.99/190.14 c | 189936 | 13668 58479 177496 | 2147483647 189936 218 | 0.000 % |
190.69/190.88 c | 190430 | 13668 58479 177496 | 2147483647 190430 218 | 0.000 % |
191.59/191.72 c | 190973 | 13668 58479 177496 | 2147483647 190973 218 | 0.000 % |
192.48/192.65 c | 191570 | 13668 58479 177496 | 2147483647 191570 218 | 0.000 % |
193.50/193.66 c | 192225 | 13668 58479 177496 | 2147483647 192225 218 | 0.000 % |
194.49/194.63 c | 192946 | 13668 58479 177496 | 2147483647 192946 218 | 0.000 % |
195.59/195.78 c | 193738 | 13668 58479 177496 | 2147483647 193738 218 | 0.000 % |
196.98/197.15 c | 194609 | 13668 58479 177496 | 2147483647 194609 218 | 0.000 % |
198.38/198.53 c | 195568 | 13668 58479 177496 | 2147483647 195568 218 | 0.000 % |
199.99/200.13 c | 196623 | 13668 58479 177496 | 2147483647 196623 218 | 0.000 % |
201.79/201.91 c | 197781 | 13668 58479 177496 | 2147483647 197781 218 | 0.000 % |
203.58/203.76 c | 199054 | 13668 58479 177496 | 2147483647 199054 218 | 0.000 % |
205.79/205.93 c | 200454 | 13668 58479 177496 | 2147483647 200454 218 | 0.000 % |
207.98/208.19 c | 201994 | 13668 58479 177496 | 2147483647 201994 218 | 0.000 % |
210.59/210.71 c | 203688 | 13668 58479 177496 | 2147483647 203688 219 | 0.000 % |
213.47/213.60 c | 205551 | 13668 58479 177496 | 2147483647 205551 219 | 0.000 % |
216.58/216.71 c | 207600 | 13668 58479 177496 | 2147483647 207600 219 | 0.000 % |
216.68/216.88 c | 207701 | 13668 58479 177496 | 2147483647 207701 219 | 0.000 % |
216.98/217.10 c | 207816 | 13668 58479 177496 | 2147483647 207816 219 | 0.000 % |
217.08/217.29 c | 207937 | 13668 58479 177496 | 2147483647 207937 219 | 0.000 % |
217.38/217.55 c | 208070 | 13668 58479 177496 | 2147483647 208070 219 | 0.000 % |
217.68/217.86 c | 208219 | 13668 58479 177496 | 2147483647 208219 219 | 0.000 % |
217.98/218.13 c | 208379 | 13668 58479 177496 | 2147483647 208379 219 | 0.000 % |
218.28/218.47 c | 208555 | 13668 58479 177496 | 2147483647 208555 219 | 0.000 % |
218.68/218.84 c | 208748 | 13668 58479 177496 | 2147483647 208748 219 | 0.000 % |
218.97/219.14 c | 208962 | 13668 58479 177496 | 2147483647 208962 219 | 0.000 % |
219.37/219.52 c | 209195 | 13668 58479 177496 | 2147483647 209195 219 | 0.000 % |
219.78/219.91 c | 209451 | 13668 58479 177496 | 2147483647 209451 219 | 0.000 % |
220.18/220.39 c | 209735 | 13668 58479 177496 | 2147483647 209735 219 | 0.000 % |
220.68/220.86 c | 210045 | 13668 58479 177496 | 2147483647 210045 219 | 0.000 % |
221.28/221.47 c | 210384 | 13668 58479 177496 | 2147483647 210384 219 | 0.000 % |
221.88/222.07 c | 210756 | 13668 58479 177496 | 2147483647 210756 219 | 0.000 % |
222.57/222.75 c | 211165 | 13668 58479 177496 | 2147483647 211165 219 | 0.000 % |
223.27/223.48 c | 211614 | 13668 58479 177496 | 2147483647 211614 219 | 0.000 % |
224.07/224.23 c | 212107 | 13668 58479 177496 | 2147483647 212107 219 | 0.000 % |
224.97/225.12 c | 212649 | 13668 58479 177496 | 2147483647 212649 219 | 0.000 % |
225.98/226.11 c | 213245 | 13668 58479 177496 | 2147483647 213245 219 | 0.000 % |
226.98/227.18 c | 213900 | 13668 58479 177496 | 2147483647 213900 219 | 0.000 % |
228.08/228.27 c | 214620 | 13668 58479 177496 | 2147483647 214620 220 | 0.000 % |
229.47/229.61 c | 215412 | 13668 58479 177496 | 2147483647 215412 220 | 0.000 % |
230.87/231.02 c | 216284 | 13668 58479 177496 | 2147483647 216284 220 | 0.000 % |
232.27/232.49 c | 217242 | 13668 58479 177496 | 2147483647 217242 220 | 0.000 % |
234.08/234.29 c | 218295 | 13668 58479 177496 | 2147483647 218295 220 | 0.000 % |
235.97/236.13 c | 219454 | 13668 58479 177496 | 2147483647 219454 220 | 0.000 % |
237.97/238.13 c | 220727 | 13668 58479 177496 | 2147483647 220727 220 | 0.000 % |
240.27/240.40 c | 222127 | 13668 58479 177496 | 2147483647 222127 220 | 0.000 % |
242.77/242.90 c | 223667 | 13668 58479 177496 | 2147483647 223667 220 | 0.000 % |
245.27/245.50 c | 225362 | 13668 58479 177496 | 2147483647 225362 220 | 0.000 % |
248.47/248.62 c | 227229 | 13668 58479 177496 | 2147483647 227229 221 | 0.000 % |
251.76/251.91 c | 229279 | 13668 58479 177496 | 2147483647 229279 221 | 0.000 % |
255.26/255.45 c | 231533 | 13668 58479 177496 | 2147483647 231533 221 | 0.000 % |
255.46/255.67 c | 231633 | 13668 58479 177496 | 2147483647 231633 221 | 0.000 % |
255.76/255.93 c | 231743 | 13668 58479 177496 | 2147483647 231743 221 | 0.000 % |
255.96/256.17 c | 231865 | 13668 58479 177496 | 2147483647 231865 221 | 0.000 % |
256.26/256.43 c | 232000 | 13668 58479 177496 | 2147483647 232000 221 | 0.000 % |
256.56/256.75 c | 232147 | 13668 58479 177496 | 2147483647 232147 221 | 0.000 % |
256.96/257.10 c | 232308 | 13668 58479 177496 | 2147483647 232308 221 | 0.000 % |
257.26/257.44 c | 232485 | 13668 58479 177496 | 2147483647 232485 221 | 0.000 % |
257.66/257.84 c | 232679 | 13668 58479 177496 | 2147483647 232679 221 | 0.000 % |
258.06/258.24 c | 232891 | 13668 58479 177496 | 2147483647 232891 221 | 0.000 % |
258.46/258.69 c | 233127 | 13668 58479 177496 | 2147483647 233127 221 | 0.000 % |
258.95/259.14 c | 233386 | 13668 58479 177496 | 2147483647 233386 221 | 0.000 % |
259.47/259.67 c | 233667 | 13668 58479 177496 | 2147483647 233667 221 | 0.000 % |
259.96/260.17 c | 233976 | 13668 58479 177496 | 2147483647 233976 221 | 0.000 % |
260.66/260.80 c | 234315 | 13668 58479 177496 | 2147483647 234315 221 | 0.000 % |
261.26/261.44 c | 234687 | 13668 58479 177496 | 2147483647 234687 221 | 0.000 % |
261.86/262.06 c | 235097 | 13668 58479 177496 | 2147483647 235097 221 | 0.000 % |
262.66/262.85 c | 235546 | 13668 58479 177496 | 2147483647 235546 221 | 0.000 % |
263.56/263.77 c | 236040 | 13668 58479 177496 | 2147483647 236040 221 | 0.000 % |
264.55/264.75 c | 236583 | 13668 58479 177496 | 2147483647 236583 221 | 0.000 % |
265.65/265.81 c | 237180 | 13668 58479 177496 | 2147483647 237180 221 | 0.000 % |
266.76/266.96 c | 237836 | 13668 58479 177496 | 2147483647 237836 221 | 0.000 % |
268.06/268.22 c | 238556 | 13668 58479 177496 | 2147483647 238556 221 | 0.000 % |
269.46/269.61 c | 239348 | 13668 58479 177496 | 2147483647 239348 221 | 0.000 % |
270.95/271.12 c | 240219 | 13668 58479 177496 | 2147483647 240219 221 | 0.000 % |
272.56/272.73 c | 241179 | 13668 58479 177496 | 2147483647 241179 222 | 0.000 % |
274.35/274.54 c | 242232 | 13668 58479 177496 | 2147483647 242232 222 | 0.000 % |
276.36/276.57 c | 243390 | 13668 58479 177496 | 2147483647 243390 222 | 0.000 % |
278.45/278.66 c | 244663 | 13668 58479 177496 | 2147483647 244663 222 | 0.000 % |
280.85/281.02 c | 246064 | 13668 58479 177496 | 2147483647 246064 222 | 0.000 % |
283.45/283.64 c | 247605 | 13668 58479 177496 | 2147483647 247605 222 | 0.000 % |
286.45/286.64 c | 249302 | 13668 58479 177496 | 2147483647 249302 222 | 0.000 % |
289.65/289.80 c | 251167 | 13668 58479 177496 | 2147483647 251167 223 | 0.000 % |
293.34/293.58 c | 253217 | 13668 58479 177496 | 2147483647 253217 223 | 0.000 % |
297.14/297.33 c | 255470 | 13668 58479 177496 | 2147483647 255470 223 | 0.000 % |
301.33/301.50 c | 257948 | 13668 58479 177496 | 2147483647 257948 224 | 0.000 % |
301.53/301.70 c | 258048 | 13668 58479 177496 | 2147483647 258048 224 | 0.000 % |
301.73/301.99 c | 258160 | 13668 58479 177496 | 2147483647 258160 224 | 0.000 % |
302.03/302.28 c | 258284 | 13668 58479 177496 | 2147483647 258284 224 | 0.000 % |
302.34/302.55 c | 258417 | 13668 58479 177496 | 2147483647 258417 224 | 0.000 % |
302.63/302.86 c | 258564 | 13668 58479 177496 | 2147483647 258564 224 | 0.000 % |
303.03/303.24 c | 258724 | 13668 58479 177496 | 2147483647 258724 224 | 0.000 % |
303.34/303.59 c | 258900 | 13668 58479 177496 | 2147483647 258900 224 | 0.000 % |
303.73/303.99 c | 259094 | 13668 58479 177496 | 2147483647 259094 224 | 0.000 % |
304.23/304.41 c | 259306 | 13668 58479 177496 | 2147483647 259306 224 | 0.000 % |
304.73/304.94 c | 259539 | 13668 58479 177496 | 2147483647 259539 224 | 0.000 % |
305.33/305.54 c | 259795 | 13668 58479 177496 | 2147483647 259795 224 | 0.000 % |
305.93/306.11 c | 260077 | 13668 58479 177496 | 2147483647 260077 224 | 0.000 % |
306.53/306.76 c | 260386 | 13668 58479 177496 | 2147483647 260386 224 | 0.000 % |
307.23/307.43 c | 260725 | 13668 58479 177496 | 2147483647 260725 224 | 0.000 % |
307.94/308.18 c | 261098 | 13668 58479 177496 | 2147483647 261098 224 | 0.000 % |
308.84/309.04 c | 261508 | 13668 58479 177496 | 2147483647 261508 224 | 0.000 % |
309.83/310.00 c | 261957 | 13668 58479 177496 | 2147483647 261957 224 | 0.000 % |
310.73/310.98 c | 262450 | 13668 58479 177496 | 2147483647 262450 224 | 0.000 % |
311.83/312.02 c | 262992 | 13668 58479 177496 | 2147483647 262992 223 | 0.000 % |
312.93/313.18 c | 263589 | 13668 58479 177496 | 2147483647 263589 224 | 0.000 % |
314.33/314.51 c | 264244 | 13668 58479 177496 | 2147483647 264244 224 | 0.000 % |
315.53/315.79 c | 264967 | 13668 58479 177496 | 2147483647 264967 224 | 0.000 % |
317.03/317.23 c | 265759 | 13668 58479 177496 | 2147483647 265759 224 | 0.000 % |
318.63/318.81 c | 266630 | 13668 58479 177496 | 2147483647 266630 224 | 0.000 % |
320.33/320.52 c | 267588 | 13668 58479 177496 | 2147483647 267588 224 | 0.000 % |
322.33/322.54 c | 268641 | 13668 58479 177496 | 2147483647 268641 224 | 0.000 % |
324.53/324.79 c | 269799 | 13668 58479 177496 | 2147483647 269799 224 | 0.000 % |
327.03/327.20 c | 271072 | 13668 58479 177496 | 2147483647 271072 224 | 0.000 % |
329.73/329.95 c | 272474 | 13668 58479 177496 | 2147483647 272474 224 | 0.000 % |
332.52/332.73 c | 274016 | 13668 58479 177496 | 2147483647 274016 225 | 0.000 % |
335.73/335.97 c | 275711 | 13668 58479 177496 | 2147483647 275711 225 | 0.000 % |
339.03/339.24 c | 277574 | 13668 58479 177496 | 2147483647 277574 225 | 0.000 % |
342.81/343.07 c | 279626 | 13668 58479 177496 | 2147483647 279626 225 | 0.000 % |
346.91/347.17 c | 281879 | 13668 58479 177496 | 2147483647 281879 225 | 0.000 % |
351.62/351.81 c | 284357 | 13668 58479 177496 | 2147483647 284357 225 | 0.000 % |
356.42/356.64 c | 287085 | 13668 58479 177496 | 2147483647 287085 226 | 0.000 % |
356.62/356.89 c | 287186 | 13668 58479 177496 | 2147483647 287186 226 | 0.000 % |
356.92/357.18 c | 287296 | 13668 58479 177496 | 2147483647 287296 226 | 0.000 % |
357.22/357.49 c | 287418 | 13668 58479 177496 | 2147483647 287418 226 | 0.000 % |
357.52/357.79 c | 287553 | 13668 58479 177496 | 2147483647 287553 226 | 0.000 % |
357.91/358.18 c | 287699 | 13668 58479 177496 | 2147483647 287699 226 | 0.000 % |
358.32/358.53 c | 287859 | 13668 58479 177496 | 2147483647 287859 226 | 0.000 % |
358.71/358.94 c | 288038 | 13668 58479 177496 | 2147483647 288038 226 | 0.000 % |
359.21/359.41 c | 288231 | 13668 58479 177496 | 2147483647 288231 226 | 0.000 % |
359.61/359.84 c | 288443 | 13668 58479 177496 | 2147483647 288443 226 | 0.000 % |
360.11/360.37 c | 288678 | 13668 58479 177496 | 2147483647 288678 226 | 0.000 % |
360.71/360.94 c | 288936 | 13668 58479 177496 | 2147483647 288936 226 | 0.000 % |
361.31/361.54 c | 289218 | 13668 58479 177496 | 2147483647 289218 226 | 0.000 % |
361.91/362.16 c | 289527 | 13668 58479 177496 | 2147483647 289527 226 | 0.000 % |
362.72/362.96 c | 289866 | 13668 58479 177496 | 2147483647 289866 226 | 0.000 % |
363.61/363.80 c | 290238 | 13668 58479 177496 | 2147483647 290238 225 | 0.000 % |
364.41/364.68 c | 290648 | 13668 58479 177496 | 2147483647 290648 225 | 0.000 % |
365.41/365.68 c | 291097 | 13668 58479 177496 | 2147483647 291097 225 | 0.000 % |
366.51/366.73 c | 291592 | 13668 58479 177496 | 2147483647 291592 225 | 0.000 % |
367.61/367.82 c | 292134 | 13668 58479 177496 | 2147483647 292134 225 | 0.000 % |
368.71/368.99 c | 292730 | 13668 58479 177496 | 2147483647 292730 225 | 0.000 % |
370.11/370.36 c | 293386 | 13668 58479 177496 | 2147483647 293386 225 | 0.000 % |
371.51/371.73 c | 294110 | 13668 58479 177496 | 2147483647 294110 225 | 0.000 % |
373.11/373.30 c | 294904 | 13668 58479 177496 | 2147483647 294904 225 | 0.000 % |
374.91/375.15 c | 295777 | 13668 58479 177496 | 2147483647 295777 225 | 0.000 % |
376.71/376.98 c | 296735 | 13668 58479 177496 | 2147483647 296735 225 | 0.000 % |
378.80/379.01 c | 297789 | 13668 58479 177496 | 2147483647 297789 225 | 0.000 % |
381.01/381.24 c | 298947 | 13668 58479 177496 | 2147483647 298947 225 | 0.000 % |
383.50/383.79 c | 300220 | 13668 58479 177496 | 2147483647 300220 226 | 0.000 % |
386.30/386.55 c | 301622 | 13668 58479 177496 | 2147483647 301622 226 | 0.000 % |
389.29/389.59 c | 303162 | 13668 58479 177496 | 2147483647 303162 226 | 0.000 % |
392.69/392.97 c | 304859 | 13668 58479 177496 | 2147483647 304859 226 | 0.000 % |
396.30/396.54 c | 306722 | 13668 58479 177496 | 2147483647 306722 226 | 0.000 % |
400.29/400.51 c | 308772 | 13668 58479 177496 | 2147483647 308772 226 | 0.000 % |
404.79/405.01 c | 311026 | 13668 58479 177496 | 2147483647 311026 227 | 0.000 % |
409.99/410.24 c | 313504 | 13668 58479 177496 | 2147483647 313504 227 | 0.000 % |
415.49/415.76 c | 316229 | 13668 58479 177496 | 2147483647 316229 227 | 0.000 % |
421.29/421.58 c | 319226 | 13668 58479 177496 | 2147483647 319226 228 | 0.000 % |
421.59/421.84 c | 319327 | 13668 58479 177496 | 2147483647 319327 228 | 0.000 % |
421.89/422.14 c | 319437 | 13668 58479 177496 | 2147483647 319437 228 | 0.000 % |
422.19/422.47 c | 319560 | 13668 58479 177496 | 2147483647 319560 228 | 0.000 % |
422.59/422.82 c | 319695 | 13668 58479 177496 | 2147483647 319695 228 | 0.000 % |
422.99/423.20 c | 319842 | 13668 58479 177496 | 2147483647 319842 228 | 0.000 % |
423.29/423.59 c | 320002 | 13668 58479 177496 | 2147483647 320002 228 | 0.000 % |
423.79/424.09 c | 320179 | 13668 58479 177496 | 2147483647 320179 228 | 0.000 % |
424.29/424.60 c | 320373 | 13668 58479 177496 | 2147483647 320373 228 | 0.000 % |
424.89/425.15 c | 320585 | 13668 58479 177496 | 2147483647 320585 227 | 0.000 % |
425.49/425.78 c | 320819 | 13668 58479 177496 | 2147483647 320819 227 | 0.000 % |
426.18/426.41 c | 321077 | 13668 58479 177496 | 2147483647 321077 227 | 0.000 % |
426.78/427.05 c | 321358 | 13668 58479 177496 | 2147483647 321358 227 | 0.000 % |
427.59/427.81 c | 321667 | 13668 58479 177496 | 2147483647 321667 227 | 0.000 % |
428.38/428.62 c | 322009 | 13668 58479 177496 | 2147483647 322009 227 | 0.000 % |
429.28/429.52 c | 322385 | 13668 58479 177496 | 2147483647 322385 227 | 0.000 % |
430.18/430.43 c | 322795 | 13668 58479 177496 | 2147483647 322795 227 | 0.000 % |
431.18/431.46 c | 323244 | 13668 58479 177496 | 2147483647 323244 227 | 0.000 % |
432.28/432.55 c | 323737 | 13668 58479 177496 | 2147483647 323737 227 | 0.000 % |
433.48/433.73 c | 324280 | 13668 58479 177496 | 2147483647 324280 227 | 0.000 % |
434.88/435.10 c | 324876 | 13668 58479 177496 | 2147483647 324876 227 | 0.000 % |
436.28/436.55 c | 325531 | 13668 58479 177496 | 2147483647 325531 227 | 0.000 % |
437.88/438.19 c | 326252 | 13668 58479 177496 | 2147483647 326252 227 | 0.000 % |
439.57/439.87 c | 327045 | 13668 58479 177496 | 2147483647 327045 227 | 0.000 % |
441.68/441.96 c | 327916 | 13668 58479 177496 | 2147483647 327916 227 | 0.000 % |
443.78/444.06 c | 328876 | 13668 58479 177496 | 2147483647 328876 227 | 0.000 % |
446.27/446.52 c | 329930 | 13668 58479 177496 | 2147483647 329930 227 | 0.000 % |
448.78/449.03 c | 331090 | 13668 58479 177496 | 2147483647 331090 227 | 0.000 % |
451.57/451.88 c | 332363 | 13668 58479 177496 | 2147483647 332363 227 | 0.000 % |
454.67/454.99 c | 333764 | 13668 58479 177496 | 2147483647 333764 227 | 0.000 % |
458.07/458.33 c | 335305 | 13668 58479 177496 | 2147483647 335305 228 | 0.000 % |
461.77/462.08 c | 337002 | 13668 58479 177496 | 2147483647 337002 228 | 0.000 % |
465.87/466.15 c | 338865 | 13668 58479 177496 | 2147483647 338865 228 | 0.000 % |
470.06/470.34 c | 340915 | 13668 58479 177496 | 2147483647 340915 228 | 0.000 % |
474.77/475.08 c | 343170 | 13668 58479 177496 | 2147483647 343170 228 | 0.000 % |
480.16/480.43 c | 345651 | 13668 58479 177496 | 2147483647 345651 228 | 0.000 % |
485.96/486.20 c | 348378 | 13668 58479 177496 | 2147483647 348378 229 | 0.000 % |
492.36/492.66 c | 351375 | 13668 58479 177496 | 2147483647 351375 229 | 0.000 % |
499.35/499.63 c | 354672 | 13668 58479 177496 | 2147483647 354672 230 | 0.000 % |
499.55/499.86 c | 354774 | 13668 58479 177496 | 2147483647 354774 230 | 0.000 % |
499.85/500.17 c | 354885 | 13668 58479 177496 | 2147483647 354885 230 | 0.000 % |
500.26/500.52 c | 355009 | 13668 58479 177496 | 2147483647 355009 230 | 0.000 % |
500.65/500.92 c | 355142 | 13668 58479 177496 | 2147483647 355142 230 | 0.000 % |
501.05/501.34 c | 355289 | 13668 58479 177496 | 2147483647 355289 230 | 0.000 % |
501.55/501.83 c | 355450 | 13668 58479 177496 | 2147483647 355450 230 | 0.000 % |
502.05/502.32 c | 355626 | 13668 58479 177496 | 2147483647 355626 230 | 0.000 % |
502.46/502.78 c | 355820 | 13668 58479 177496 | 2147483647 355820 230 | 0.000 % |
503.05/503.34 c | 356032 | 13668 58479 177496 | 2147483647 356032 230 | 0.000 % |
503.65/503.98 c | 356267 | 13668 58479 177496 | 2147483647 356267 230 | 0.000 % |
504.35/504.62 c | 356526 | 13668 58479 177496 | 2147483647 356526 230 | 0.000 % |
505.15/505.46 c | 356808 | 13668 58479 177496 | 2147483647 356808 230 | 0.000 % |
505.95/506.24 c | 357118 | 13668 58479 177496 | 2147483647 357118 230 | 0.000 % |
506.85/507.13 c | 357458 | 13668 58479 177496 | 2147483647 357458 230 | 0.000 % |
507.75/508.10 c | 357830 | 13668 58479 177496 | 2147483647 357830 230 | 0.000 % |
508.85/509.13 c | 358240 | 13668 58479 177496 | 2147483647 358240 230 | 0.000 % |
509.95/510.24 c | 358690 | 13668 58479 177496 | 2147483647 358690 230 | 0.000 % |
511.15/511.42 c | 359183 | 13668 58479 177496 | 2147483647 359183 230 | 0.000 % |
512.55/512.82 c | 359725 | 13668 58479 177496 | 2147483647 359725 230 | 0.000 % |
514.05/514.30 c | 360321 | 13668 58479 177496 | 2147483647 360321 230 | 0.000 % |
515.55/515.81 c | 360979 | 13668 58479 177496 | 2147483647 360979 230 | 0.000 % |
517.34/517.65 c | 361700 | 13668 58479 177496 | 2147483647 361700 230 | 0.000 % |
519.14/519.50 c | 362495 | 13668 58479 177496 | 2147483647 362495 230 | 0.000 % |
521.25/521.53 c | 363366 | 13668 58479 177496 | 2147483647 363366 230 | 0.000 % |
523.64/523.92 c | 364325 | 13668 58479 177496 | 2147483647 364325 230 | 0.000 % |
525.94/526.29 c | 365380 | 13668 58479 177496 | 2147483647 365380 230 | 0.000 % |
528.74/529.06 c | 366539 | 13668 58479 177496 | 2147483647 366539 230 | 0.000 % |
531.84/532.11 c | 367813 | 13668 58479 177496 | 2147483647 367813 230 | 0.000 % |
535.14/535.40 c | 369213 | 13668 58479 177496 | 2147483647 369213 230 | 0.000 % |
538.53/538.84 c | 370755 | 13668 58479 177496 | 2147483647 370755 230 | 0.000 % |
542.64/542.99 c | 372449 | 13668 58479 177496 | 2147483647 372449 230 | 0.000 % |
547.03/547.30 c | 374315 | 13668 58479 177496 | 2147483647 374315 230 | 0.000 % |
551.93/552.21 c | 376366 | 13668 58479 177496 | 2147483647 376366 230 | 0.000 % |
557.13/557.47 c | 378619 | 13668 58479 177496 | 2147483647 378619 230 | 0.000 % |
562.63/562.92 c | 381099 | 13668 58479 177496 | 2147483647 381099 230 | 0.000 % |
569.02/569.38 c | 383825 | 13668 58479 177496 | 2147483647 383825 231 | 0.000 % |
576.02/576.31 c | 386822 | 13668 58479 177496 | 2147483647 386822 231 | 0.000 % |
583.62/583.96 c | 390119 | 13668 58479 177496 | 2147483647 390119 232 | 0.000 % |
592.11/592.45 c | 393744 | 13668 58479 177496 | 2147483647 393744 232 | 0.000 % |
592.41/592.74 c | 393844 | 13668 58479 177496 | 2147483647 393844 232 | 0.000 % |
592.81/593.10 c | 393955 | 13668 58479 177496 | 2147483647 393955 232 | 0.000 % |
593.21/593.51 c | 394079 | 13668 58479 177496 | 2147483647 394079 232 | 0.000 % |
593.61/593.94 c | 394212 | 13668 58479 177496 | 2147483647 394212 232 | 0.000 % |
594.01/594.35 c | 394358 | 13668 58479 177496 | 2147483647 394358 232 | 0.000 % |
594.51/594.85 c | 394520 | 13668 58479 177496 | 2147483647 394520 232 | 0.000 % |
595.11/595.43 c | 394696 | 13668 58479 177496 | 2147483647 394696 232 | 0.000 % |
595.61/595.97 c | 394890 | 13668 58479 177496 | 2147483647 394890 232 | 0.000 % |
596.31/596.61 c | 395103 | 13668 58479 177496 | 2147483647 395103 232 | 0.000 % |
596.91/597.29 c | 395336 | 13668 58479 177496 | 2147483647 395336 232 | 0.000 % |
597.60/597.93 c | 395593 | 13668 58479 177496 | 2147483647 395593 232 | 0.000 % |
598.51/598.83 c | 395874 | 13668 58479 177496 | 2147483647 395874 232 | 0.000 % |
599.31/599.62 c | 396183 | 13668 58479 177496 | 2147483647 396183 232 | 0.000 % |
600.21/600.58 c | 396523 | 13668 58479 177496 | 2147483647 396523 232 | 0.000 % |
601.31/601.67 c | 396895 | 13668 58479 177496 | 2147483647 396895 232 | 0.000 % |
602.41/602.73 c | 397304 | 13668 58479 177496 | 2147483647 397304 232 | 0.000 % |
603.61/603.95 c | 397754 | 13668 58479 177496 | 2147483647 397754 232 | 0.000 % |
604.80/605.15 c | 398247 | 13668 58479 177496 | 2147483647 398247 232 | 0.000 % |
606.30/606.63 c | 398793 | 13668 58479 177496 | 2147483647 398793 232 | 0.000 % |
607.80/608.18 c | 399393 | 13668 58479 177496 | 2147483647 399393 232 | 0.000 % |
609.50/609.84 c | 400048 | 13668 58479 177496 | 2147483647 400048 232 | 0.000 % |
611.50/611.82 c | 400769 | 13668 58479 177496 | 2147483647 400769 232 | 0.000 % |
613.50/613.85 c | 401562 | 13668 58479 177496 | 2147483647 401562 232 | 0.000 % |
615.60/615.98 c | 402433 | 13668 58479 177496 | 2147483647 402433 232 | 0.000 % |
618.10/618.44 c | 403391 | 13668 58479 177496 | 2147483647 403391 232 | 0.000 % |
620.80/621.16 c | 404444 | 13668 58479 177496 | 2147483647 404444 232 | 0.000 % |
623.79/624.10 c | 405602 | 13668 58479 177496 | 2147483647 405602 232 | 0.000 % |
626.89/627.27 c | 406875 | 13668 58479 177496 | 2147483647 406875 232 | 0.000 % |
630.39/630.72 c | 408276 | 13668 58479 177496 | 2147483647 408276 232 | 0.000 % |
633.99/634.37 c | 409816 | 13668 58479 177496 | 2147483647 409816 232 | 0.000 % |
638.59/638.90 c | 411511 | 13668 58479 177496 | 2147483647 411511 232 | 0.000 % |
642.99/643.39 c | 413374 | 13668 58479 177496 | 2147483647 413374 232 | 0.000 % |
648.39/648.71 c | 415426 | 13668 58479 177496 | 2147483647 415426 232 | 0.000 % |
654.38/654.72 c | 417679 | 13668 58479 177496 | 2147483647 417679 233 | 0.000 % |
660.48/660.84 c | 420157 | 13668 58479 177496 | 2147483647 420157 232 | 0.000 % |
667.47/667.86 c | 422883 | 13668 58479 177496 | 2147483647 422883 233 | 0.000 % |
674.98/675.38 c | 425881 | 13668 58479 177496 | 2147483647 425881 233 | 0.000 % |
683.27/683.66 c | 429178 | 13668 58479 177496 | 2147483647 429178 233 | 0.000 % |
692.58/692.96 c | 432805 | 13668 58479 177496 | 2147483647 432805 234 | 0.000 % |
701.86/702.29 c | 436793 | 13668 58479 177496 | 2147483647 436793 235 | 0.000 % |
702.26/702.64 c | 436894 | 13668 58479 177496 | 2147483647 436894 235 | 0.000 % |
702.56/702.99 c | 437004 | 13668 58479 177496 | 2147483647 437004 235 | 0.000 % |
702.96/703.39 c | 437127 | 13668 58479 177496 | 2147483647 437127 235 | 0.000 % |
703.46/703.89 c | 437262 | 13668 58479 177496 | 2147483647 437262 235 | 0.000 % |
703.95/704.32 c | 437410 | 13668 58479 177496 | 2147483647 437410 235 | 0.000 % |
704.46/704.89 c | 437570 | 13668 58479 177496 | 2147483647 437570 235 | 0.000 % |
705.16/705.53 c | 437746 | 13668 58479 177496 | 2147483647 437746 235 | 0.000 % |
705.77/706.14 c | 437940 | 13668 58479 177496 | 2147483647 437940 235 | 0.000 % |
706.46/706.84 c | 438157 | 13668 58479 177496 | 2147483647 438157 235 | 0.000 % |
707.16/707.54 c | 438390 | 13668 58479 177496 | 2147483647 438390 235 | 0.000 % |
707.86/708.26 c | 438646 | 13668 58479 177496 | 2147483647 438646 235 | 0.000 % |
708.76/709.15 c | 438928 | 13668 58479 177496 | 2147483647 438928 235 | 0.000 % |
709.66/710.04 c | 439241 | 13668 58479 177496 | 2147483647 439241 235 | 0.000 % |
710.66/711.03 c | 439581 | 13668 58479 177496 | 2147483647 439581 235 | 0.000 % |
711.85/712.27 c | 439954 | 13668 58479 177496 | 2147483647 439954 235 | 0.000 % |
713.15/713.56 c | 440363 | 13668 58479 177496 | 2147483647 440363 235 | 0.000 % |
714.45/714.89 c | 440814 | 13668 58479 177496 | 2147483647 440814 234 | 0.000 % |
715.85/716.23 c | 441308 | 13668 58479 177496 | 2147483647 441308 235 | 0.000 % |
717.45/717.83 c | 441850 | 13668 58479 177496 | 2147483647 441850 235 | 0.000 % |
719.25/719.63 c | 442448 | 13668 58479 177496 | 2147483647 442448 234 | 0.000 % |
721.06/721.45 c | 443104 | 13668 58479 177496 | 2147483647 443104 235 | 0.000 % |
723.05/723.47 c | 443824 | 13668 58479 177496 | 2147483647 443824 235 | 0.000 % |
725.25/725.60 c | 444616 | 13668 58479 177496 | 2147483647 444616 234 | 0.000 % |
727.65/728.09 c | 445489 | 13668 58479 177496 | 2147483647 445489 234 | 0.000 % |
730.35/730.75 c | 446447 | 13668 58479 177496 | 2147483647 446447 234 | 0.000 % |
733.05/733.46 c | 447500 | 13668 58479 177496 | 2147483647 447500 235 | 0.000 % |
736.25/736.61 c | 448659 | 13668 58479 177496 | 2147483647 448659 235 | 0.000 % |
739.75/740.14 c | 449932 | 13668 58479 177496 | 2147483647 449932 235 | 0.000 % |
743.74/744.10 c | 451333 | 13668 58479 177496 | 2147483647 451333 235 | 0.000 % |
747.65/748.04 c | 452875 | 13668 58479 177496 | 2147483647 452875 235 | 0.000 % |
752.04/752.42 c | 454570 | 13668 58479 177496 | 2147483647 454570 235 | 0.000 % |
756.94/757.37 c | 456433 | 13668 58479 177496 | 2147483647 456433 235 | 0.000 % |
762.64/763.04 c | 458483 | 13668 58479 177496 | 2147483647 458483 235 | 0.000 % |
768.44/768.80 c | 460737 | 13668 58479 177496 | 2147483647 460737 235 | 0.000 % |
775.24/775.64 c | 463216 | 13668 58479 177496 | 2147483647 463216 235 | 0.000 % |
782.43/782.83 c | 465942 | 13668 58479 177496 | 2147483647 465942 235 | 0.000 % |
790.44/790.84 c | 468940 | 13668 58479 177496 | 2147483647 468940 235 | 0.000 % |
799.33/799.74 c | 472236 | 13668 58479 177496 | 2147483647 472236 236 | 0.000 % |
808.72/809.10 c | 475861 | 13668 58479 177496 | 2147483647 475861 236 | 0.000 % |
818.91/819.40 c | 479848 | 13668 58479 177496 | 2147483647 479848 236 | 0.000 % |
831.21/831.60 c | 484233 | 13668 58479 177496 | 2147483647 484233 236 | 0.000 % |
831.61/832.05 c | 484333 | 13668 58479 177496 | 2147483647 484333 236 | 0.000 % |
832.11/832.51 c | 484444 | 13668 58479 177496 | 2147483647 484444 236 | 0.000 % |
832.61/833.01 c | 484566 | 13668 58479 177496 | 2147483647 484566 236 | 0.000 % |
833.11/833.59 c | 484699 | 13668 58479 177496 | 2147483647 484699 236 | 0.000 % |
833.71/834.11 c | 484847 | 13668 58479 177496 | 2147483647 484847 236 | 0.000 % |
834.41/834.81 c | 485009 | 13668 58479 177496 | 2147483647 485009 236 | 0.000 % |
835.11/835.54 c | 485185 | 13668 58479 177496 | 2147483647 485185 236 | 0.000 % |
835.81/836.23 c | 485379 | 13668 58479 177496 | 2147483647 485379 236 | 0.000 % |
836.51/836.95 c | 485591 | 13668 58479 177496 | 2147483647 485591 236 | 0.000 % |
837.40/837.83 c | 485824 | 13668 58479 177496 | 2147483647 485824 236 | 0.000 % |
838.40/838.86 c | 486080 | 13668 58479 177496 | 2147483647 486080 236 | 0.000 % |
839.40/839.86 c | 486361 | 13668 58479 177496 | 2147483647 486361 236 | 0.000 % |
840.50/840.90 c | 486671 | 13668 58479 177496 | 2147483647 486671 236 | 0.000 % |
841.51/841.99 c | 487010 | 13668 58479 177496 | 2147483647 487010 236 | 0.000 % |
842.91/843.31 c | 487382 | 13668 58479 177496 | 2147483647 487382 236 | 0.000 % |
844.11/844.54 c | 487792 | 13668 58479 177496 | 2147483647 487792 236 | 0.000 % |
845.51/846.00 c | 488241 | 13668 58479 177496 | 2147483647 488241 236 | 0.000 % |
847.20/847.60 c | 488734 | 13668 58479 177496 | 2147483647 488734 236 | 0.000 % |
848.80/849.25 c | 489277 | 13668 58479 177496 | 2147483647 489277 236 | 0.000 % |
850.40/850.87 c | 489875 | 13668 58479 177496 | 2147483647 489875 236 | 0.000 % |
852.40/852.85 c | 490531 | 13668 58479 177496 | 2147483647 490531 236 | 0.000 % |
854.60/855.09 c | 491251 | 13668 58479 177496 | 2147483647 491251 236 | 0.000 % |
857.00/857.40 c | 492043 | 13668 58479 177496 | 2147483647 492043 236 | 0.000 % |
859.70/860.19 c | 492916 | 13668 58479 177496 | 2147483647 492916 236 | 0.000 % |
862.49/862.99 c | 493874 | 13668 58479 177496 | 2147483647 493874 236 | 0.000 % |
865.80/866.21 c | 494927 | 13668 58479 177496 | 2147483647 494927 236 | 0.000 % |
869.10/869.51 c | 496086 | 13668 58479 177496 | 2147483647 496086 236 | 0.000 % |
873.09/873.54 c | 497361 | 13668 58479 177496 | 2147483647 497361 236 | 0.000 % |
877.09/877.53 c | 498761 | 13668 58479 177496 | 2147483647 498761 236 | 0.000 % |
881.58/882.03 c | 500302 | 13668 58479 177496 | 2147483647 500302 236 | 0.000 % |
886.69/887.18 c | 501997 | 13668 58479 177496 | 2147483647 501997 236 | 0.000 % |
892.28/892.80 c | 503861 | 13668 58479 177496 | 2147483647 503861 236 | 0.000 % |
898.18/898.68 c | 505911 | 13668 58479 177496 | 2147483647 505911 236 | 0.000 % |
904.48/904.98 c | 508165 | 13668 58479 177496 | 2147483647 508165 236 | 0.000 % |
911.38/911.90 c | 510644 | 13668 58479 177496 | 2147483647 510644 237 | 0.000 % |
919.37/919.89 c | 513371 | 13668 58479 177496 | 2147483647 513371 237 | 0.000 % |
927.77/928.20 c | 516370 | 13668 58479 177496 | 2147483647 516370 237 | 0.000 % |
936.86/937.31 c | 519667 | 13668 58479 177496 | 2147483647 519667 237 | 0.000 % |
947.46/947.96 c | 523292 | 13668 58479 177496 | 2147483647 523292 238 | 0.000 % |
958.95/959.43 c | 527282 | 13668 58479 177496 | 2147483647 527282 238 | 0.000 % |
971.95/972.47 c | 531667 | 13668 58479 177496 | 2147483647 531667 238 | 0.000 % |
985.94/986.40 c | 536491 | 13668 58479 177496 | 2147483647 536491 239 | 0.000 % |
986.24/986.79 c | 536591 | 13668 58479 177496 | 2147483647 536591 239 | 0.000 % |
986.84/987.34 c | 536702 | 13668 58479 177496 | 2147483647 536702 239 | 0.000 % |
987.24/987.75 c | 536823 | 13668 58479 177496 | 2147483647 536823 239 | 0.000 % |
987.84/988.31 c | 536956 | 13668 58479 177496 | 2147483647 536956 239 | 0.000 % |
988.44/988.93 c | 537103 | 13668 58479 177496 | 2147483647 537103 239 | 0.000 % |
989.04/989.57 c | 537264 | 13668 58479 177496 | 2147483647 537264 239 | 0.000 % |
989.73/990.24 c | 537441 | 13668 58479 177496 | 2147483647 537441 239 | 0.000 % |
990.54/991.02 c | 537635 | 13668 58479 177496 | 2147483647 537635 239 | 0.000 % |
991.34/991.84 c | 537848 | 13668 58479 177496 | 2147483647 537848 239 | 0.000 % |
992.24/992.74 c | 538081 | 13668 58479 177496 | 2147483647 538081 239 | 0.000 % |
993.24/993.74 c | 538338 | 13668 58479 177496 | 2147483647 538338 239 | 0.000 % |
994.24/994.77 c | 538620 | 13668 58479 177496 | 2147483647 538620 239 | 0.000 % |
995.34/995.87 c | 538931 | 13668 58479 177496 | 2147483647 538931 239 | 0.000 % |
996.64/997.15 c | 539272 | 13668 58479 177496 | 2147483647 539272 239 | 0.000 % |
997.94/998.47 c | 539644 | 13668 58479 177496 | 2147483647 539644 239 | 0.000 % |
999.44/999.95 c | 540054 | 13668 58479 177496 | 2147483647 540054 239 | 0.000 % |
1001.13/1001.66 c | 540503 | 13668 58479 177496 | 2147483647 540503 239 | 0.000 % |
1003.03/1003.50 c | 540996 | 13668 58479 177496 | 2147483647 540996 239 | 0.000 % |
1004.94/1005.41 c | 541539 | 13668 58479 177496 | 2147483647 541539 239 | 0.000 % |
1007.14/1007.63 c | 542135 | 13668 58479 177496 | 2147483647 542135 239 | 0.000 % |
1009.14/1009.66 c | 542790 | 13668 58479 177496 | 2147483647 542790 239 | 0.000 % |
1011.73/1012.24 c | 543511 | 13668 58479 177496 | 2147483647 543511 239 | 0.000 % |
1014.64/1015.14 c | 544304 | 13668 58479 177496 | 2147483647 544304 239 | 0.000 % |
1017.43/1017.91 c | 545176 | 13668 58479 177496 | 2147483647 545176 239 | 0.000 % |
1020.51/1021.06 c | 546135 | 13668 58479 177496 | 2147483647 546135 239 | 0.000 % |
1023.81/1024.40 c | 547189 | 13668 58479 177496 | 2147483647 547189 239 | 0.000 % |
1027.91/1028.42 c | 548348 | 13668 58479 177496 | 2147483647 548348 239 | 0.000 % |
1031.71/1032.22 c | 549622 | 13668 58479 177496 | 2147483647 549622 239 | 0.000 % |
1036.00/1036.50 c | 551023 | 13668 58479 177496 | 2147483647 551023 239 | 0.000 % |
1041.20/1041.71 c | 552563 | 13668 58479 177496 | 2147483647 552563 239 | 0.000 % |
1046.80/1047.33 c | 554257 | 13668 58479 177496 | 2147483647 554257 239 | 0.000 % |
1052.60/1053.11 c | 556122 | 13668 58479 177496 | 2147483647 556122 239 | 0.000 % |
1059.00/1059.58 c | 558173 | 13668 58479 177496 | 2147483647 558173 239 | 0.000 % |
1066.49/1067.07 c | 560427 | 13668 58479 177496 | 2147483647 560427 239 | 0.000 % |
1074.39/1074.96 c | 562905 | 13668 58479 177496 | 2147483647 562905 239 | 0.000 % |
1082.68/1083.23 c | 565631 | 13668 58479 177496 | 2147483647 565631 239 | 0.000 % |
1091.78/1092.37 c | 568629 | 13668 58479 177496 | 2147483647 568629 240 | 0.000 % |
1101.78/1102.31 c | 571925 | 13668 58479 177496 | 2147483647 571925 240 | 0.000 % |
1113.37/1113.92 c | 575552 | 13668 58479 177496 | 2147483647 575552 240 | 0.000 % |
1125.96/1126.51 c | 579539 | 13668 58479 177496 | 2147483647 579539 240 | 0.000 % |
1140.16/1140.71 c | 583926 | 13668 58479 177496 | 2147483647 583926 240 | 0.000 % |
1155.04/1155.66 c | 588749 | 13668 58479 177496 | 2147483647 588749 241 | 0.000 % |
1171.64/1172.25 c | 594054 | 13668 58479 177496 | 2147483647 594054 241 | 0.000 % |
1172.14/1172.74 c | 594154 | 13668 58479 177496 | 2147483647 594154 241 | 0.000 % |
1172.64/1173.27 c | 594264 | 13668 58479 177496 | 2147483647 594264 241 | 0.000 % |
1173.23/1173.85 c | 594385 | 13668 58479 177496 | 2147483647 594385 241 | 0.000 % |
1173.83/1174.43 c | 594522 | 13668 58479 177496 | 2147483647 594522 241 | 0.000 % |
1174.53/1175.15 c | 594670 | 13668 58479 177496 | 2147483647 594670 241 | 0.000 % |
1175.24/1175.89 c | 594830 | 13668 58479 177496 | 2147483647 594830 241 | 0.000 % |
1176.13/1176.72 c | 595006 | 13668 58479 177496 | 2147483647 595006 241 | 0.000 % |
1177.03/1177.63 c | 595200 | 13668 58479 177496 | 2147483647 595200 241 | 0.000 % |
1177.93/1178.55 c | 595412 | 13668 58479 177496 | 2147483647 595412 241 | 0.000 % |
1179.03/1179.64 c | 595647 | 13668 58479 177496 | 2147483647 595647 241 | 0.000 % |
1180.13/1180.71 c | 595904 | 13668 58479 177496 | 2147483647 595904 241 | 0.000 % |
1181.23/1181.89 c | 596186 | 13668 58479 177496 | 2147483647 596186 241 | 0.000 % |
1182.54/1183.14 c | 596497 | 13668 58479 177496 | 2147483647 596497 241 | 0.000 % |
1183.84/1184.46 c | 596836 | 13668 58479 177496 | 2147483647 596836 241 | 0.000 % |
1185.24/1185.87 c | 597211 | 13668 58479 177496 | 2147483647 597211 241 | 0.000 % |
1186.83/1187.41 c | 597620 | 13668 58479 177496 | 2147483647 597620 241 | 0.000 % |
1188.63/1189.22 c | 598072 | 13668 58479 177496 | 2147483647 598072 241 | 0.000 % |
1190.73/1191.30 c | 598565 | 13668 58479 177496 | 2147483647 598565 241 | 0.000 % |
1192.83/1193.47 c | 599108 | 13668 58479 177496 | 2147483647 599108 241 | 0.000 % |
1195.14/1195.75 c | 599704 | 13668 58479 177496 | 2147483647 599704 241 | 0.000 % |
1197.63/1198.20 c | 600360 | 13668 58479 177496 | 2147483647 600360 241 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832721-1242786905/watcher-1832721-1242786905 -o /tmp/evaluation-result-1832721-1242786905/solver-1832721-1242786905 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832721-1242786905.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 26840
/proc/meminfo: memFree=1444672/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 306719884 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251279409234 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/26840/statm: 1339 236 196 169 0 50 0
[startup+0.0595131 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 26840
/proc/meminfo: memFree=1444672/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 306719884 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101517 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 26840
/proc/meminfo: memFree=1444672/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 306719884 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30155 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 26840
/proc/meminfo: memFree=1444672/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 5356
[startup+0.701602 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 26840
/proc/meminfo: memFree=1444672/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 5356
[startup+1.50169 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26846
/proc/meminfo: memFree=1437232/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=7696 CPUtime=1.23
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 1750 0 0 0 123 0 0 0 25 0 1 0 306719909 7880704 1736 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 1924 1736 77 171 0 1751 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13052
[startup+3.10189 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26846
/proc/meminfo: memFree=1435376/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=10220 CPUtime=2.83
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 2401 0 0 0 282 1 0 0 25 0 1 0 306719909 10465280 2387 1992294400 134512640 135215339 4294956240 18446744073709551615 134529112 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 2555 2387 77 171 0 2382 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15576
[startup+6.30129 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26846
/proc/meminfo: memFree=1430192/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=14920 CPUtime=6.03
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 3579 0 0 0 600 3 0 0 25 0 1 0 306719909 15278080 3565 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 3730 3565 77 171 0 3557 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20276
[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26846
/proc/meminfo: memFree=1421168/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=23572 CPUtime=12.43
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 5727 0 0 0 1238 5 0 0 25 0 1 0 306719909 24137728 5713 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 5893 5713 77 171 0 5720 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 28928
[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26846
/proc/meminfo: memFree=1404848/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=39392 CPUtime=25.23
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 9675 0 0 0 2512 11 0 0 25 0 1 0 306719909 40337408 9661 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 9848 9661 77 171 0 9675 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 44748
[startup+51.1019 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26846
/proc/meminfo: memFree=1377520/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=66972 CPUtime=50.81
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 16557 0 0 0 5064 17 0 0 25 0 1 0 306719909 68579328 16543 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 16743 16543 77 171 0 16570 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 72328
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26846
/proc/meminfo: memFree=1331568/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=112040 CPUtime=101.99
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 27847 0 0 0 10168 31 0 0 25 0 1 0 306719909 114728960 27833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 28010 27833 77 171 0 27837 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 117396
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26846
/proc/meminfo: memFree=1287344/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=156664 CPUtime=161.97
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 38962 0 0 0 16152 45 0 0 25 0 1 0 306719909 160423936 38948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26846/statm: 39166 38948 77 171 0 38993 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 162020
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26846
/proc/meminfo: memFree=1248240/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=195352 CPUtime=221.94
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 48591 0 0 0 22137 57 0 0 25 0 1 0 306719909 200040448 48577 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 48838 48577 77 171 0 48665 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 200708
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26846
/proc/meminfo: memFree=1213424/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=230208 CPUtime=281.91
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 57327 0 0 0 28126 65 0 0 25 0 1 0 306719909 235732992 57313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 57552 57313 77 171 0 57379 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 235564
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26846
/proc/meminfo: memFree=1180464/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=262548 CPUtime=341.88
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 65460 0 0 0 34115 73 0 0 25 0 1 0 306719909 268849152 65446 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 65637 65446 77 171 0 65464 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 267904
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26846
/proc/meminfo: memFree=1150960/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=292116 CPUtime=401.86
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 72881 0 0 0 40104 82 0 0 25 0 1 0 306719909 299126784 72867 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 73029 72867 77 171 0 72856 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 297472
[startup+462.301 s]
################
# More data... #
################
/proc/26846/statm: 86844 86580 77 171 0 86671 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 352732
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26848
/proc/meminfo: memFree=1068336/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=374304 CPUtime=581.77
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 93346 0 0 0 58075 102 0 0 25 0 1 0 306719909 383287296 93332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 93576 93332 77 171 0 93403 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 379660
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26848
/proc/meminfo: memFree=1044656/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=397668 CPUtime=641.75
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 99191 0 0 0 64066 109 0 0 25 0 1 0 306719909 407212032 99177 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 99417 99177 77 171 0 99244 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 403024
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26848
/proc/meminfo: memFree=1018416/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=424200 CPUtime=701.72
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 105846 0 0 0 70057 115 0 0 25 0 1 0 306719909 434380800 105832 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 106050 105832 77 171 0 105877 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 429556
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26848
/proc/meminfo: memFree=996976/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=444928 CPUtime=761.7
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 111058 0 0 0 76050 120 0 0 25 0 1 0 306719909 455606272 111044 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 111232 111044 77 171 0 111059 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 450284
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26848
/proc/meminfo: memFree=973296/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=469604 CPUtime=821.68
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 117013 0 0 0 82040 128 0 0 25 0 1 0 306719909 480874496 116999 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 117401 116999 77 171 0 117228 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 474960
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26848
/proc/meminfo: memFree=954160/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=488220 CPUtime=881.64
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 121694 0 0 0 88032 132 0 0 25 0 1 0 306719909 499937280 121680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 122055 121680 77 171 0 121882 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 493576
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26848
/proc/meminfo: memFree=931568/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=510796 CPUtime=941.62
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 127371 0 0 0 94024 138 0 0 25 0 1 0 306719909 523055104 127357 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 127699 127357 77 171 0 127526 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 516152
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26848
/proc/meminfo: memFree=908976/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=532972 CPUtime=1001.59
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 132934 0 0 0 100015 144 0 0 25 0 1 0 306719909 545763328 132920 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 133243 132920 77 171 0 133070 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 538328
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26848
/proc/meminfo: memFree=890992/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=551060 CPUtime=1061.55
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 137478 0 0 0 106006 149 0 0 25 0 1 0 306719909 564285440 137464 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26846/statm: 137765 137464 77 171 0 137592 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 556416
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26848
/proc/meminfo: memFree=869744/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=572048 CPUtime=1121.53
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 142725 0 0 0 111997 156 0 0 25 0 1 0 306719909 585777152 142711 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 143012 142711 77 171 0 142839 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 577404
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26848
/proc/meminfo: memFree=850160/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=591588 CPUtime=1181.5
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 147632 0 0 0 117987 163 0 0 25 0 1 0 306719909 605786112 147618 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 147897 147618 77 171 0 147724 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 596944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26848
/proc/meminfo: memFree=845680/2055920 swapFree=4179876/4192956
[pid=26840] ppid=26838 vsize=5356 CPUtime=0.24
/proc/26840/stat : 26840 (SatELiteGTI) S 26838 26840 26058 0 -1 4194304 336 2067 0 0 0 0 23 1 15 0 1 0 306719884 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26840/statm: 1339 239 197 169 0 50 0
[pid=26846] ppid=26840 vsize=595680 CPUtime=1199.79
/proc/26846/stat : 26846 (minisat_static) R 26840 26840 26058 0 -1 4194304 148676 0 0 0 119815 164 0 0 25 0 1 0 306719909 609976320 148662 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26846/statm: 148920 148662 77 171 0 148747 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 601036
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26840 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=235964
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 0.252961
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.03
CPU user time (s): 1198.38
CPU system time (s): 1.65
CPU usage (%): 99.9515
Max. virtual memory (cumulated for all children) (KiB): 601036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.235964
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2403
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= 12
involuntary context switches= 10
runsolver used 1.05484 second user time and 3.38948 second system time
The end
Begin job on node92 at 2009-05-20 04:35:05
IDJOB=1832721
IDBENCH=70324
IDSOLVER=671
FILE ID=node92/1832721-1242786905
PBS_JOBID= 9322307
Free space on /tmp= 65924 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/14000/unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832721-1242786905/watcher-1832721-1242786905 -o /tmp/evaluation-result-1832721-1242786905/solver-1832721-1242786905 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832721-1242786905.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0d3fcd560d811748824b45b279f18880
RANDOM SEED=456179414
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: 1445224 kB
Buffers: 32712 kB
Cached: 521716 kB
SwapCached: 7388 kB
Active: 353216 kB
Inactive: 210080 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1445224 kB
SwapTotal: 4192956 kB
SwapFree: 4179876 kB
Dirty: 2676 kB
Writeback: 0 kB
Mapped: 14048 kB
Slab: 33356 kB
Committed_AS: 792984 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= 65920 MiB
End job on node92 at 2009-05-20 04:55:07