0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 76775 201350 | 23032 0 0 nan | 0.000 % |
0.00/0.05 c ==============================================================================
0.00/0.05 c Result : #vars: 625 #clauses: 76775 #literals: 201350
0.00/0.05 c CPU time: 0.04 s
0.00/0.05 c ==============================================================================
0.12/0.12 c This is MiniSat 2.0 beta
0.12/0.12 c WARNING: for repeatability, setting FPU to use double precision
0.12/0.12 c ============================[ Problem Statistics ]=============================
0.12/0.12 c | |
0.12/0.12 c | Number of variables: 625 |
0.12/0.12 c | Number of clauses: 76775 |
0.12/0.15 c | Parsing time: 0.03 s |
0.12/0.16 c ============================[ Search Statistics ]==============================
0.12/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.12/0.16 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.12/0.16 c ===============================================================================
0.12/0.16 c | 0 | 625 76775 201350 | 25591 0 nan | 0.000 % |
0.12/0.18 c | 100 | 625 76775 201350 | 25591 100 52 | 0.000 % |
0.12/0.20 c | 200 | 625 76775 201350 | 25591 200 40 | 0.000 % |
0.12/0.21 c | 300 | 625 76775 201350 | 25591 300 32 | 0.015 % |
0.12/0.22 c | 412 | 625 76775 201350 | 25591 412 29 | 0.016 % |
0.12/0.23 c | 513 | 625 76775 201350 | 25591 513 27 | 0.016 % |
0.12/0.25 c | 628 | 625 76775 201350 | 25591 628 36 | 0.001 % |
0.12/0.26 c | 749 | 625 76775 201350 | 25591 749 34 | 0.016 % |
0.12/0.27 c | 854 | 625 76775 201350 | 25591 854 32 | 0.016 % |
0.12/0.29 c | 965 | 625 76775 201350 | 25591 965 31 | 0.016 % |
0.12/0.30 c | 1087 | 625 76775 201350 | 25591 1087 30 | 0.016 % |
0.12/0.32 c | 1220 | 625 76775 201350 | 25591 1220 33 | 0.000 % |
0.12/0.33 c | 1320 | 625 76775 201350 | 25591 1320 32 | 0.016 % |
0.12/0.34 c | 1430 | 625 76775 201350 | 25591 1430 32 | 0.016 % |
0.12/0.35 c | 1553 | 625 76775 201350 | 25591 1553 31 | 0.016 % |
0.12/0.36 c | 1686 | 625 76775 201350 | 25591 1686 33 | 0.000 % |
0.12/0.38 c | 1832 | 625 76775 201350 | 25591 1832 33 | 0.016 % |
0.12/0.39 c | 1934 | 625 76775 201350 | 25591 1934 33 | 0.016 % |
0.12/0.40 c | 2048 | 625 76775 201350 | 25591 2048 32 | 0.016 % |
0.12/0.42 c | 2171 | 625 76775 201350 | 25591 2171 34 | 0.000 % |
0.12/0.43 c | 2305 | 625 76775 201350 | 25591 2305 33 | 0.016 % |
0.12/0.44 c | 2452 | 625 76775 201350 | 25591 2452 33 | 0.015 % |
0.12/0.46 c | 2612 | 625 76775 201350 | 25591 2612 33 | 0.016 % |
0.12/0.47 c | 2712 | 625 76775 201350 | 25591 2712 32 | 0.018 % |
0.12/0.48 c | 2823 | 625 76775 201350 | 25591 2823 32 | 0.018 % |
0.12/0.50 c | 2945 | 625 76775 201350 | 25591 2945 31 | 0.016 % |
0.12/0.52 c | 3078 | 625 76775 201350 | 25591 3078 31 | 0.016 % |
0.12/0.53 c | 3227 | 625 76775 201350 | 25591 3227 34 | 0.000 % |
0.12/0.55 c | 3387 | 625 76775 201350 | 25591 3387 34 | 0.001 % |
0.12/0.57 c | 3566 | 625 76775 201350 | 25591 3566 34 | 0.016 % |
0.12/0.58 c | 3667 | 625 76775 201350 | 25591 3667 34 | 0.000 % |
0.12/0.60 c | 3781 | 625 76775 201350 | 25591 3781 34 | 0.016 % |
0.12/0.61 c | 3902 | 625 76775 201350 | 25591 3902 34 | 0.016 % |
0.12/0.62 c | 4036 | 625 76775 201350 | 25591 4036 33 | 0.000 % |
0.12/0.64 c | 4182 | 625 76775 201350 | 25591 4182 35 | 0.000 % |
0.12/0.66 c | 4343 | 625 76775 201350 | 25591 4343 36 | 0.016 % |
0.12/0.68 c | 4519 | 625 76775 201350 | 25591 4519 35 | 0.000 % |
0.12/0.71 c | 4714 | 625 76775 201350 | 25591 4714 36 | 0.000 % |
0.12/0.72 c | 4814 | 625 76775 201350 | 25591 4814 36 | 0.000 % |
0.12/0.74 c | 4924 | 625 76775 201350 | 25591 4924 36 | 0.016 % |
0.12/0.75 c | 5046 | 625 76775 201350 | 25591 5046 36 | 0.016 % |
0.12/0.77 c | 5180 | 625 76775 201350 | 25591 5180 37 | 0.000 % |
0.12/0.79 c | 5326 | 625 76775 201350 | 25591 5326 37 | 0.015 % |
0.12/0.81 c | 5488 | 625 76775 201350 | 25591 5488 36 | 0.016 % |
0.12/0.83 c | 5664 | 625 76775 201350 | 25591 5664 36 | 0.015 % |
0.12/0.86 c | 5857 | 625 76775 201350 | 25591 5857 36 | 0.015 % |
0.12/0.88 c | 6071 | 625 76775 201350 | 25591 6071 35 | 0.015 % |
0.12/0.89 c | 6172 | 625 76775 201350 | 25591 6172 36 | 0.001 % |
0.12/0.91 c | 6283 | 625 76775 201350 | 25591 6283 36 | 0.015 % |
0.12/0.92 c | 6405 | 625 76775 201350 | 25591 6405 36 | 0.015 % |
0.12/0.94 c | 6538 | 625 76775 201350 | 25591 6538 35 | 0.016 % |
0.12/0.95 c | 6684 | 625 76775 201350 | 25591 6684 36 | 0.000 % |
0.12/0.97 c | 6847 | 625 76775 201350 | 25591 6847 36 | 0.000 % |
0.12/0.99 c | 7023 | 625 76775 201350 | 25591 7023 36 | 0.016 % |
1.02/1.02 c | 7217 | 625 76775 201350 | 25591 7217 37 | 0.000 % |
1.02/1.05 c | 7430 | 625 76775 201350 | 25591 7430 37 | 0.000 % |
1.02/1.09 c | 7664 | 625 76775 201350 | 25591 7664 36 | 0.000 % |
1.02/1.10 c | 7765 | 625 76775 201350 | 25591 7765 36 | 0.016 % |
1.12/1.12 c | 7876 | 625 76775 201350 | 25591 7876 36 | 0.000 % |
1.12/1.14 c | 8000 | 625 76775 201350 | 25591 8000 35 | 0.016 % |
1.12/1.15 c | 8133 | 625 76775 201350 | 25591 8133 36 | 0.000 % |
1.12/1.17 c | 8280 | 625 76775 201350 | 25591 8280 36 | 0.015 % |
1.12/1.20 c | 8442 | 625 76775 201350 | 25591 8442 35 | 0.016 % |
1.22/1.22 c | 8619 | 625 76775 201350 | 25591 8619 35 | 0.016 % |
1.22/1.25 c | 8814 | 625 76775 201350 | 25591 8814 35 | 0.016 % |
1.22/1.28 c | 9026 | 625 76775 201350 | 25591 9026 35 | 0.016 % |
1.22/1.31 c | 9261 | 625 76775 201350 | 25591 9261 36 | 0.000 % |
1.32/1.35 c | 9518 | 625 76775 201350 | 25591 9518 36 | 0.000 % |
1.32/1.36 c | 9621 | 625 76775 201350 | 25591 9621 36 | 0.001 % |
1.32/1.38 c | 9731 | 625 76775 201350 | 25591 9731 36 | 0.016 % |
1.32/1.39 c | 9852 | 625 76775 201350 | 25591 9852 36 | 0.001 % |
1.32/1.41 c | 9985 | 625 76775 201350 | 25591 9985 36 | 0.016 % |
1.42/1.43 c | 10132 | 625 76775 201350 | 2147483647 10132 36 | 0.016 % |
1.42/1.45 c | 10294 | 625 76775 201350 | 2147483647 10294 35 | 0.016 % |
1.42/1.47 c | 10471 | 625 76775 201350 | 2147483647 10471 35 | 0.016 % |
1.42/1.51 c | 10666 | 625 76775 201350 | 2147483647 10666 35 | 0.016 % |
1.52/1.54 c | 10879 | 625 76775 201350 | 2147483647 10879 35 | 0.016 % |
1.52/1.58 c | 11113 | 625 76775 201350 | 2147483647 11113 35 | 0.001 % |
1.62/1.62 c | 11371 | 625 76775 201350 | 2147483647 11371 35 | 0.016 % |
1.62/1.67 c | 11653 | 625 76775 201350 | 2147483647 11653 35 | 0.016 % |
1.62/1.69 c | 11753 | 625 76775 201350 | 2147483647 11753 34 | 0.016 % |
1.62/1.71 c | 11863 | 625 76775 201350 | 2147483647 11863 34 | 0.000 % |
1.72/1.73 c | 11985 | 625 76775 201350 | 2147483647 11985 34 | 0.016 % |
1.72/1.76 c | 12120 | 625 76775 201350 | 2147483647 12120 34 | 0.016 % |
1.72/1.78 c | 12266 | 625 76775 201350 | 2147483647 12266 34 | 0.016 % |
1.72/1.81 c | 12427 | 625 76775 201350 | 2147483647 12427 34 | 0.015 % |
1.82/1.84 c | 12606 | 625 76775 201350 | 2147483647 12606 34 | 0.015 % |
1.82/1.87 c | 12799 | 625 76775 201350 | 2147483647 12799 33 | 0.016 % |
1.82/1.90 c | 13012 | 625 76775 201350 | 2147483647 13012 33 | 0.016 % |
1.92/1.94 c | 13246 | 625 76775 201350 | 2147483647 13246 34 | 0.001 % |
1.92/1.98 c | 13502 | 625 76775 201350 | 2147483647 13502 33 | 0.016 % |
2.02/2.02 c | 13784 | 625 76775 201350 | 2147483647 13784 34 | 0.000 % |
2.02/2.07 c | 14095 | 625 76775 201350 | 2147483647 14095 34 | 0.016 % |
2.02/2.08 c | 14197 | 625 76775 201350 | 2147483647 14197 34 | 0.000 % |
2.02/2.10 c | 14308 | 625 76775 201350 | 2147483647 14308 34 | 0.015 % |
2.12/2.12 c | 14429 | 625 76775 201350 | 2147483647 14429 34 | 0.015 % |
2.12/2.13 c | 14563 | 625 76775 201350 | 2147483647 14563 34 | 0.015 % |
2.12/2.16 c | 14709 | 625 76775 201350 | 2147483647 14709 34 | 0.000 % |
2.12/2.19 c | 14869 | 625 76775 201350 | 2147483647 14869 34 | 0.000 % |
2.22/2.22 c | 15045 | 625 76775 201350 | 2147483647 15045 34 | 0.016 % |
2.22/2.25 c | 15238 | 625 76775 201350 | 2147483647 15238 35 | 0.000 % |
2.22/2.30 c | 15454 | 625 76775 201350 | 2147483647 15454 35 | 0.000 % |
2.32/2.34 c | 15688 | 625 76775 201350 | 2147483647 15688 35 | 0.000 % |
2.32/2.38 c | 15944 | 625 76775 201350 | 2147483647 15944 35 | 0.000 % |
2.42/2.43 c | 16227 | 625 76775 201350 | 2147483647 16227 34 | 0.016 % |
2.42/2.48 c | 16539 | 625 76775 201350 | 2147483647 16539 34 | 0.016 % |
2.52/2.54 c | 16880 | 625 76775 201350 | 2147483647 16880 35 | 0.000 % |
2.52/2.56 c | 16980 | 625 76775 201350 | 2147483647 16980 35 | 0.016 % |
2.52/2.58 c | 17090 | 625 76775 201350 | 2147483647 17090 35 | 0.016 % |
2.52/2.60 c | 17214 | 625 76775 201350 | 2147483647 17214 35 | 0.000 % |
2.62/2.62 c | 17347 | 625 76775 201350 | 2147483647 17347 35 | 0.000 % |
2.62/2.64 c | 17494 | 625 76775 201350 | 2147483647 17494 35 | 0.017 % |
2.62/2.68 c | 17655 | 625 76775 201350 | 2147483647 17655 35 | 0.017 % |
2.62/2.71 c | 17832 | 625 76775 201350 | 2147483647 17832 35 | 0.016 % |
2.72/2.74 c | 18028 | 625 76775 201350 | 2147483647 18028 35 | 0.017 % |
2.72/2.79 c | 18240 | 625 76775 201350 | 2147483647 18240 35 | 0.000 % |
2.82/2.83 c | 18473 | 625 76775 201350 | 2147483647 18473 35 | 0.016 % |
2.82/2.89 c | 18730 | 625 76775 201350 | 2147483647 18730 35 | 0.017 % |
2.92/2.94 c | 19011 | 625 76775 201350 | 2147483647 19011 35 | 0.016 % |
2.92/2.98 c | 19320 | 625 76775 201350 | 2147483647 19320 36 | 0.000 % |
3.02/3.06 c | 19660 | 625 76775 201350 | 2147483647 19660 36 | 0.000 % |
3.12/3.12 c | 20036 | 625 76775 201350 | 2147483647 20036 37 | 0.000 % |
3.12/3.15 c | 20136 | 625 76775 201350 | 2147483647 20136 37 | 0.000 % |
3.12/3.17 c | 20246 | 625 76775 201350 | 2147483647 20246 37 | 0.016 % |
3.12/3.20 c | 20369 | 625 76775 201350 | 2147483647 20369 37 | 0.016 % |
3.22/3.22 c | 20502 | 625 76775 201350 | 2147483647 20502 37 | 0.016 % |
3.22/3.26 c | 20654 | 625 76775 201350 | 2147483647 20654 37 | 0.000 % |
3.22/3.29 c | 20814 | 625 76775 201350 | 2147483647 20814 37 | 0.000 % |
3.32/3.33 c | 20993 | 625 76775 201350 | 2147483647 20993 37 | 0.016 % |
3.32/3.38 c | 21186 | 625 76775 201350 | 2147483647 21186 37 | 0.017 % |
3.42/3.43 c | 21402 | 625 76775 201350 | 2147483647 21402 37 | 0.001 % |
3.42/3.49 c | 21636 | 625 76775 201350 | 2147483647 21636 37 | 0.017 % |
3.52/3.55 c | 21893 | 625 76775 201350 | 2147483647 21893 36 | 0.017 % |
3.62/3.62 c | 22176 | 625 76775 201350 | 2147483647 22176 36 | 0.016 % |
3.62/3.70 c | 22485 | 625 76775 201350 | 2147483647 22485 36 | 0.016 % |
3.72/3.79 c | 22825 | 625 76775 201350 | 2147483647 22825 36 | 0.016 % |
3.82/3.89 c | 23198 | 625 76775 201350 | 2147483647 23198 36 | 0.016 % |
3.92/3.98 c | 23607 | 625 76775 201350 | 2147483647 23607 35 | 0.015 % |
3.92/4.00 c | 23710 | 625 76775 201350 | 2147483647 23710 35 | 0.016 % |
4.02/4.03 c | 23821 | 625 76775 201350 | 2147483647 23821 35 | 0.016 % |
4.02/4.06 c | 23942 | 625 76775 201350 | 2147483647 23942 35 | 0.016 % |
4.02/4.10 c | 24081 | 625 76775 201350 | 2147483647 24081 35 | 0.015 % |
4.12/4.13 c | 24227 | 625 76775 201350 | 2147483647 24227 35 | 0.001 % |
4.12/4.17 c | 24388 | 625 76775 201350 | 2147483647 24388 35 | 0.016 % |
4.12/4.20 c | 24566 | 625 76775 201350 | 2147483647 24566 35 | 0.016 % |
4.22/4.24 c | 24759 | 625 76775 201350 | 2147483647 24759 36 | 0.000 % |
4.22/4.29 c | 24973 | 625 76775 201350 | 2147483647 24973 36 | 0.000 % |
4.32/4.35 c | 25207 | 625 76775 201350 | 2147483647 25207 35 | 0.016 % |
4.32/4.41 c | 25463 | 625 76775 201350 | 2147483647 25463 35 | 0.017 % |
4.42/4.47 c | 25744 | 625 76775 201350 | 2147483647 25744 35 | 0.016 % |
4.52/4.55 c | 26054 | 625 76775 201350 | 2147483647 26054 35 | 0.016 % |
4.62/4.62 c | 26395 | 625 76775 201350 | 2147483647 26395 36 | 0.000 % |
4.72/4.73 c | 26770 | 625 76775 201350 | 2147483647 26770 36 | 0.000 % |
4.82/4.84 c | 27179 | 625 76775 201350 | 2147483647 27179 36 | 0.001 % |
4.92/4.95 c | 27628 | 625 76775 201350 | 2147483647 27628 35 | 0.016 % |
4.92/4.98 c | 27729 | 625 76775 201350 | 2147483647 27729 35 | 0.016 % |
4.92/5.01 c | 27839 | 625 76775 201350 | 2147483647 27839 35 | 0.016 % |
5.02/5.04 c | 27960 | 625 76775 201350 | 2147483647 27960 35 | 0.016 % |
5.02/5.07 c | 28094 | 625 76775 201350 | 2147483647 28094 35 | 0.016 % |
5.02/5.11 c | 28241 | 625 76775 201350 | 2147483647 28241 35 | 0.000 % |
5.12/5.17 c | 28402 | 625 76775 201350 | 2147483647 28402 36 | 0.000 % |
5.22/5.22 c | 28584 | 625 76775 201350 | 2147483647 28584 36 | 0.016 % |
5.22/5.28 c | 28777 | 625 76775 201350 | 2147483647 28777 36 | 0.000 % |
5.32/5.33 c | 28990 | 625 76775 201350 | 2147483647 28990 36 | 0.000 % |
5.32/5.39 c | 29224 | 625 76775 201350 | 2147483647 29224 36 | 0.016 % |
5.42/5.45 c | 29481 | 625 76775 201350 | 2147483647 29481 36 | 0.016 % |
5.52/5.53 c | 29762 | 625 76775 201350 | 2147483647 29762 36 | 0.016 % |
5.62/5.62 c | 30073 | 625 76775 201350 | 2147483647 30073 35 | 0.016 % |
5.62/5.71 c | 30413 | 625 76775 201350 | 2147483647 30413 36 | 0.000 % |
5.72/5.80 c | 30786 | 625 76775 201350 | 2147483647 30786 36 | 0.000 % |
5.92/5.92 c | 31197 | 625 76775 201350 | 2147483647 31197 36 | 0.000 % |
6.02/6.03 c | 31646 | 625 76775 201350 | 2147483647 31646 36 | 0.016 % |
6.12/6.16 c | 32143 | 625 76775 201350 | 2147483647 32143 36 | 0.016 % |
6.12/6.18 c | 32243 | 625 76775 201350 | 2147483647 32243 36 | 0.016 % |
6.22/6.22 c | 32354 | 625 76775 201350 | 2147483647 32354 36 | 0.000 % |
6.22/6.26 c | 32477 | 625 76775 201350 | 2147483647 32477 36 | 0.016 % |
6.22/6.30 c | 32612 | 625 76775 201350 | 2147483647 32612 36 | 0.016 % |
6.32/6.36 c | 32759 | 625 76775 201350 | 2147483647 32759 36 | 0.016 % |
6.32/6.40 c | 32922 | 625 76775 201350 | 2147483647 32922 35 | 0.016 % |
6.42/6.45 c | 33099 | 625 76775 201350 | 2147483647 33099 35 | 0.016 % |
6.52/6.52 c | 33292 | 625 76775 201350 | 2147483647 33292 36 | 0.000 % |
6.52/6.58 c | 33506 | 625 76775 201350 | 2147483647 33506 36 | 0.016 % |
6.62/6.64 c | 33740 | 625 76775 201350 | 2147483647 33740 36 | 0.000 % |
6.72/6.71 c | 34002 | 625 76775 201350 | 2147483647 34002 36 | 0.000 % |
6.72/6.79 c | 34283 | 625 76775 201350 | 2147483647 34283 36 | 0.000 % |
6.82/6.88 c | 34592 | 625 76775 201350 | 2147483647 34592 36 | 0.016 % |
6.92/6.99 c | 34931 | 625 76775 201350 | 2147483647 34931 36 | 0.000 % |
7.12/7.12 c | 35305 | 625 76775 201350 | 2147483647 35305 37 | 0.000 % |
7.22/7.26 c | 35716 | 625 76775 201350 | 2147483647 35716 36 | 0.000 % |
7.32/7.41 c | 36169 | 625 76775 201350 | 2147483647 36169 36 | 0.016 % |
7.52/7.56 c | 36664 | 625 76775 201350 | 2147483647 36664 36 | 0.016 % |
7.72/7.73 c | 37207 | 625 76775 201350 | 2147483647 37207 36 | 0.016 % |
7.72/7.76 c | 37307 | 625 76775 201350 | 2147483647 37307 36 | 0.016 % |
7.72/7.80 c | 37418 | 625 76775 201350 | 2147483647 37418 36 | 0.016 % |
7.82/7.84 c | 37541 | 625 76775 201350 | 2147483647 37541 36 | 0.016 % |
7.82/7.88 c | 37676 | 625 76775 201350 | 2147483647 37676 36 | 0.000 % |
7.92/7.93 c | 37822 | 625 76775 201350 | 2147483647 37822 36 | 0.016 % |
7.92/7.98 c | 37982 | 625 76775 201350 | 2147483647 37982 36 | 0.016 % |
8.02/8.04 c | 38159 | 625 76775 201350 | 2147483647 38159 36 | 0.016 % |
8.02/8.10 c | 38353 | 625 76775 201350 | 2147483647 38353 36 | 0.016 % |
8.12/8.17 c | 38567 | 625 76775 201350 | 2147483647 38567 36 | 0.016 % |
8.22/8.25 c | 38800 | 625 76775 201350 | 2147483647 38800 36 | 0.000 % |
8.32/8.34 c | 39057 | 625 76775 201350 | 2147483647 39057 36 | 0.016 % |
8.42/8.43 c | 39339 | 625 76775 201350 | 2147483647 39339 36 | 0.000 % |
8.52/8.54 c | 39648 | 625 76775 201350 | 2147483647 39648 36 | 0.000 % |
8.62/8.64 c | 39987 | 625 76775 201350 | 2147483647 39987 36 | 0.017 % |
8.72/8.77 c | 40360 | 625 76775 201350 | 2147483647 40360 36 | 0.000 % |
8.92/8.93 c | 40770 | 625 76775 201350 | 2147483647 40770 36 | 0.017 % |
9.02/9.09 c | 41222 | 625 76775 201350 | 2147483647 41222 36 | 0.016 % |
9.22/9.27 c | 41718 | 625 76775 201350 | 2147483647 41718 36 | 0.017 % |
9.42/9.43 c | 42261 | 625 76775 201350 | 2147483647 42261 36 | 0.016 % |
9.62/9.62 c | 42857 | 625 76775 201350 | 2147483647 42857 36 | 0.016 % |
9.62/9.66 c | 42958 | 625 76775 201350 | 2147483647 42958 36 | 0.016 % |
9.62/9.69 c | 43071 | 625 76775 201350 | 2147483647 43071 36 | 0.016 % |
9.72/9.73 c | 43194 | 625 76775 201350 | 2147483647 43194 36 | 0.000 % |
9.72/9.78 c | 43331 | 625 76775 201350 | 2147483647 43331 36 | 0.000 % |
9.82/9.83 c | 43479 | 625 76775 201350 | 2147483647 43479 36 | 0.016 % |
9.82/9.89 c | 43639 | 625 76775 201350 | 2147483647 43639 36 | 0.016 % |
9.92/9.95 c | 43815 | 625 76775 201350 | 2147483647 43815 36 | 0.016 % |
10.02/10.02 c | 44009 | 625 76775 201350 | 2147483647 44009 36 | 0.016 % |
10.02/10.08 c | 44223 | 625 76775 201350 | 2147483647 44223 36 | 0.000 % |
10.12/10.16 c | 44456 | 625 76775 201350 | 2147483647 44456 36 | 0.016 % |
10.22/10.26 c | 44713 | 625 76775 201350 | 2147483647 44713 36 | 0.001 % |
10.32/10.38 c | 44997 | 625 76775 201350 | 2147483647 44997 36 | 0.016 % |
10.42/10.51 c | 45306 | 625 76775 201350 | 2147483647 45306 36 | 0.017 % |
10.62/10.65 c | 45647 | 625 76775 201350 | 2147483647 45647 36 | 0.017 % |
10.72/10.79 c | 46022 | 625 76775 201350 | 2147483647 46022 35 | 0.016 % |
10.92/10.95 c | 46431 | 625 76775 201350 | 2147483647 46431 36 | 0.000 % |
11.12/11.14 c | 46880 | 625 76775 201350 | 2147483647 46880 36 | 0.016 % |
11.32/11.37 c | 47373 | 625 76775 201350 | 2147483647 47373 35 | 0.016 % |
11.52/11.57 c | 47919 | 625 76775 201350 | 2147483647 47919 35 | 0.016 % |
11.72/11.80 c | 48517 | 625 76775 201350 | 2147483647 48517 35 | 0.016 % |
12.02/12.06 c | 49173 | 625 76775 201350 | 2147483647 49173 36 | 0.000 % |
12.02/12.09 c | 49273 | 625 76775 201350 | 2147483647 49273 36 | 0.001 % |
12.12/12.14 c | 49385 | 625 76775 201350 | 2147483647 49385 36 | 0.016 % |
12.12/12.20 c | 49508 | 625 76775 201350 | 2147483647 49508 36 | 0.017 % |
12.22/12.25 c | 49643 | 625 76775 201350 | 2147483647 49643 36 | 0.000 % |
12.32/12.32 c | 49790 | 625 76775 201350 | 2147483647 49790 36 | 0.015 % |
12.32/12.40 c | 49958 | 625 76775 201350 | 2147483647 49958 36 | 0.016 % |
12.42/12.49 c | 50134 | 625 76775 201350 | 2147483647 50134 36 | 0.015 % |
12.52/12.58 c | 50330 | 625 76775 201350 | 2147483647 50330 36 | 0.000 % |
12.62/12.67 c | 50543 | 625 76775 201350 | 2147483647 50543 36 | 0.016 % |
12.72/12.76 c | 50778 | 625 76775 201350 | 2147483647 50778 36 | 0.001 % |
12.82/12.88 c | 51034 | 625 76775 201350 | 2147483647 51034 36 | 0.000 % |
12.92/12.99 c | 51315 | 625 76775 201350 | 2147483647 51315 36 | 0.000 % |
13.12/13.13 c | 51629 | 625 76775 201350 | 2147483647 51629 36 | 0.000 % |
13.22/13.29 c | 51968 | 625 76775 201350 | 2147483647 51968 36 | 0.016 % |
13.42/13.46 c | 52340 | 625 76775 201350 | 2147483647 52340 36 | 0.018 % |
13.62/13.65 c | 52749 | 625 76775 201350 | 2147483647 52749 36 | 0.018 % |
13.82/13.86 c | 53202 | 625 76775 201350 | 2147483647 53202 36 | 0.017 % |
14.12/14.12 c | 53695 | 625 76775 201350 | 2147483647 53695 36 | 0.017 % |
14.32/14.37 c | 54238 | 625 76775 201350 | 2147483647 54238 36 | 0.015 % |
14.62/14.62 c | 54835 | 625 76775 201350 | 2147483647 54835 36 | 0.016 % |
14.82/14.88 c | 55490 | 625 76775 201350 | 2147483647 55490 36 | 0.016 % |
15.12/15.17 c | 56211 | 625 76775 201350 | 2147483647 56211 36 | 0.016 % |
15.22/15.22 c | 56312 | 625 76775 201350 | 2147483647 56312 36 | 0.016 % |
15.22/15.27 c | 56423 | 625 76775 201350 | 2147483647 56423 36 | 0.016 % |
15.32/15.33 c | 56545 | 625 76775 201350 | 2147483647 56545 36 | 0.016 % |
15.32/15.38 c | 56678 | 625 76775 201350 | 2147483647 56678 36 | 0.001 % |
15.42/15.44 c | 56825 | 625 76775 201350 | 2147483647 56825 36 | 0.000 % |
15.42/15.51 c | 56986 | 625 76775 201350 | 2147483647 56986 36 | 0.016 % |
15.52/15.58 c | 57163 | 625 76775 201350 | 2147483647 57163 36 | 0.017 % |
15.62/15.67 c | 57356 | 625 76775 201350 | 2147483647 57356 36 | 0.016 % |
15.72/15.77 c | 57572 | 625 76775 201350 | 2147483647 57572 36 | 0.016 % |
15.82/15.86 c | 57806 | 625 76775 201350 | 2147483647 57806 36 | 0.000 % |
15.92/15.99 c | 58065 | 625 76775 201350 | 2147483647 58065 36 | 0.016 % |
16.12/16.11 c | 58348 | 625 76775 201350 | 2147483647 58348 37 | 0.000 % |
16.22/16.29 c | 58657 | 625 76775 201350 | 2147483647 58657 37 | 0.000 % |
16.42/16.47 c | 58998 | 625 76775 201350 | 2147483647 58998 37 | 0.016 % |
16.62/16.69 c | 59373 | 625 76775 201350 | 2147483647 59373 37 | 0.016 % |
16.92/16.94 c | 59784 | 625 76775 201350 | 2147483647 59784 37 | 0.016 % |
17.22/17.23 c | 60236 | 625 76775 201350 | 2147483647 60236 37 | 0.016 % |
17.42/17.49 c | 60730 | 625 76775 201350 | 2147483647 60730 37 | 0.016 % |
17.72/17.77 c | 61272 | 625 76775 201350 | 2147483647 61272 37 | 0.000 % |
18.02/18.06 c | 61868 | 625 76775 201350 | 2147483647 61868 37 | 0.016 % |
18.42/18.42 c | 62523 | 625 76775 201350 | 2147483647 62523 37 | 0.000 % |
18.72/18.77 c | 63243 | 625 76775 201350 | 2147483647 63243 37 | 0.000 % |
19.12/19.14 c | 64035 | 625 76775 201350 | 2147483647 64035 37 | 0.000 % |
19.12/19.20 c | 64135 | 625 76775 201350 | 2147483647 64135 37 | 0.000 % |
19.22/19.27 c | 64246 | 625 76775 201350 | 2147483647 64246 37 | 0.000 % |
19.32/19.33 c | 64368 | 625 76775 201350 | 2147483647 64368 37 | 0.001 % |
19.32/19.40 c | 64503 | 625 76775 201350 | 2147483647 64503 37 | 0.017 % |
19.42/19.47 c | 64649 | 625 76775 201350 | 2147483647 64649 37 | 0.000 % |
19.52/19.56 c | 64809 | 625 76775 201350 | 2147483647 64809 37 | 0.000 % |
19.62/19.68 c | 64986 | 625 76775 201350 | 2147483647 64986 37 | 0.016 % |
19.72/19.81 c | 65180 | 625 76775 201350 | 2147483647 65180 37 | 0.016 % |
19.92/19.93 c | 65393 | 625 76775 201350 | 2147483647 65393 37 | 0.000 % |
20.02/20.09 c | 65627 | 625 76775 201350 | 2147483647 65627 37 | 0.016 % |
20.22/20.23 c | 65885 | 625 76775 201350 | 2147483647 65885 37 | 0.016 % |
20.32/20.39 c | 66167 | 625 76775 201350 | 2147483647 66167 37 | 0.016 % |
20.52/20.54 c | 66476 | 625 76775 201350 | 2147483647 66476 37 | 0.016 % |
20.72/20.73 c | 66816 | 625 76775 201350 | 2147483647 66816 37 | 0.016 % |
20.92/20.96 c | 67188 | 625 76775 201350 | 2147483647 67188 37 | 0.016 % |
21.12/21.19 c | 67597 | 625 76775 201350 | 2147483647 67597 37 | 0.016 % |
21.42/21.43 c | 68048 | 625 76775 201350 | 2147483647 68048 37 | 0.000 % |
21.62/21.70 c | 68542 | 625 76775 201350 | 2147483647 68542 37 | 0.000 % |
22.02/22.01 c | 69085 | 625 76775 201350 | 2147483647 69085 38 | 0.000 % |
22.32/22.36 c | 69683 | 625 76775 201350 | 2147483647 69683 38 | 0.000 % |
22.72/22.76 c | 70342 | 625 76775 201350 | 2147483647 70342 38 | 0.000 % |
23.12/23.20 c | 71064 | 625 76775 201350 | 2147483647 71064 38 | 0.016 % |
23.62/23.69 c | 71860 | 625 76775 201350 | 2147483647 71860 38 | 0.000 % |
24.22/24.26 c | 72731 | 625 76775 201350 | 2147483647 72731 38 | 0.000 % |
24.32/24.32 c | 72833 | 625 76775 201350 | 2147483647 72833 38 | 0.015 % |
24.32/24.38 c | 72944 | 625 76775 201350 | 2147483647 72944 38 | 0.016 % |
24.42/24.46 c | 73068 | 625 76775 201350 | 2147483647 73068 38 | 0.016 % |
24.52/24.52 c | 73201 | 625 76775 201350 | 2147483647 73201 38 | 0.001 % |
24.52/24.60 c | 73347 | 625 76775 201350 | 2147483647 73347 38 | 0.001 % |
24.62/24.68 c | 73507 | 625 76775 201350 | 2147483647 73507 38 | 0.016 % |
24.72/24.79 c | 73683 | 625 76775 201350 | 2147483647 73683 38 | 0.000 % |
24.92/24.91 c | 73876 | 625 76775 201350 | 2147483647 73876 38 | 0.028 % |
25.02/25.06 c | 74089 | 625 76775 201350 | 2147483647 74089 38 | 0.015 % |
25.12/25.19 c | 74325 | 625 76775 201350 | 2147483647 74325 38 | 0.001 % |
25.32/25.35 c | 74582 | 625 76775 201350 | 2147483647 74582 39 | 0.000 % |
25.52/25.55 c | 74863 | 625 76775 201350 | 2147483647 74863 39 | 0.000 % |
25.72/25.78 c | 75172 | 625 76775 201350 | 2147483647 75172 39 | 0.016 % |
26.02/26.01 c | 75513 | 625 76775 201350 | 2147483647 75513 39 | 0.016 % |
26.22/26.25 c | 75885 | 625 76775 201350 | 2147483647 75885 39 | 0.000 % |
26.42/26.47 c | 76294 | 625 76775 201350 | 2147483647 76294 39 | 0.000 % |
26.72/26.75 c | 76743 | 625 76775 201350 | 2147483647 76743 39 | 0.015 % |
27.02/27.10 c | 77237 | 625 76775 201350 | 2147483647 77237 39 | 0.015 % |
27.42/27.49 c | 77779 | 625 76775 201350 | 2147483647 77779 39 | 0.015 % |
27.82/27.84 c | 78377 | 625 76775 201350 | 2147483647 78377 39 | 0.016 % |
28.22/28.24 c | 79034 | 625 76775 201350 | 2147483647 79034 38 | 0.016 % |
28.62/28.65 c | 79755 | 625 76775 201350 | 2147483647 79755 39 | 0.001 % |
29.12/29.19 c | 80547 | 625 76775 201350 | 2147483647 80547 39 | 0.016 % |
29.82/29.85 c | 81418 | 625 76775 201350 | 2147483647 81418 39 | 0.000 % |
30.52/30.58 c | 82379 | 625 76775 201350 | 2147483647 82379 39 | 0.001 % |
30.62/30.66 c | 82479 | 625 76775 201350 | 2147483647 82479 39 | 0.016 % |
30.72/30.74 c | 82589 | 625 76775 201350 | 2147483647 82589 39 | 0.016 % |
30.72/30.81 c | 82710 | 625 76775 201350 | 2147483647 82710 39 | 0.000 % |
30.83/30.89 c | 82846 | 625 76775 201350 | 2147483647 82846 39 | 0.000 % |
31.02/31.02 c | 82992 | 625 76775 201350 | 2147483647 82992 39 | 0.016 % |
31.12/31.15 c | 83153 | 625 76775 201350 | 2147483647 83153 39 | 0.016 % |
31.22/31.28 c | 83331 | 625 76775 201350 | 2147483647 83331 39 | 0.016 % |
31.42/31.42 c | 83527 | 625 76775 201350 | 2147483647 83527 39 | 0.016 % |
31.52/31.60 c | 83741 | 625 76775 201350 | 2147483647 83741 39 | 0.000 % |
31.72/31.73 c | 83975 | 625 76775 201350 | 2147483647 83975 39 | 0.000 % |
31.82/31.90 c | 84231 | 625 76775 201350 | 2147483647 84231 39 | 0.016 % |
32.02/32.09 c | 84514 | 625 76775 201350 | 2147483647 84514 39 | 0.016 % |
32.32/32.36 c | 84823 | 625 76775 201350 | 2147483647 84823 39 | 0.000 % |
32.52/32.60 c | 85163 | 625 76775 201350 | 2147483647 85163 39 | 0.001 % |
32.92/32.93 c | 85537 | 625 76775 201350 | 2147483647 85537 39 | 0.015 % |
33.22/33.21 c | 85946 | 625 76775 201350 | 2147483647 85946 39 | 0.001 % |
33.52/33.53 c | 86395 | 625 76775 201350 | 2147483647 86395 39 | 0.000 % |
33.92/33.93 c | 86891 | 625 76775 201350 | 2147483647 86891 39 | 0.016 % |
34.32/34.32 c | 87433 | 625 76775 201350 | 2147483647 87433 39 | 0.016 % |
34.72/34.80 c | 88029 | 625 76775 201350 | 2147483647 88029 39 | 0.016 % |
35.12/35.20 c | 88684 | 625 76775 201350 | 2147483647 88684 39 | 0.000 % |
35.82/35.81 c | 89410 | 625 76775 201350 | 2147483647 89410 39 | 0.016 % |
36.42/36.49 c | 90203 | 625 76775 201350 | 90001 90203 39 | 0.000 % |
37.22/37.25 c | 91077 | 625 76775 201350 | 90001 81735 39 | 0.016 % |
37.92/37.91 c | 92035 | 625 76775 201350 | 90001 82693 40 | 0.000 % |
38.72/38.75 c | 93090 | 625 76775 201350 | 90001 83748 40 | 0.000 % |
38.82/38.84 c | 93191 | 625 76775 201350 | 90001 83849 40 | 0.000 % |
38.92/38.94 c | 93304 | 625 76775 201350 | 90001 83962 40 | 0.000 % |
39.02/39.03 c | 93425 | 625 76775 201350 | 90001 84083 40 | 0.001 % |
39.12/39.15 c | 93563 | 625 76775 201350 | 90001 84221 40 | 0.015 % |
39.22/39.28 c | 93709 | 625 76775 201350 | 90001 84367 40 | 0.001 % |
39.32/39.40 c | 93871 | 625 76775 201350 | 90001 84529 40 | 0.000 % |
39.52/39.55 c | 94048 | 625 76775 201350 | 90001 84706 40 | 0.016 % |
39.63/39.71 c | 94241 | 625 76775 201350 | 90001 84899 40 | 0.000 % |
39.82/39.88 c | 94453 | 625 76775 201350 | 90001 85111 40 | 0.016 % |
40.02/40.08 c | 94686 | 625 76775 201350 | 90001 85344 40 | 0.016 % |
40.22/40.28 c | 94942 | 625 76775 201350 | 90001 85600 40 | 0.016 % |
40.52/40.53 c | 95223 | 624 76535 200728 | 90001 85880 40 | 0.176 % |
40.73/40.80 c | 95532 | 624 76535 200728 | 90001 86189 40 | 0.176 % |
41.02/41.03 c | 95871 | 624 76535 200728 | 90001 86528 40 | 0.160 % |
41.32/41.35 c | 96243 | 624 76535 200728 | 90001 86900 40 | 0.160 % |
41.62/41.70 c | 96653 | 624 76535 200728 | 90001 87310 40 | 0.160 % |
42.02/42.10 c | 97110 | 624 76535 200728 | 90001 87767 40 | 0.176 % |
42.42/42.49 c | 97605 | 624 76535 200728 | 90001 88262 40 | 0.176 % |
42.93/42.94 c | 98150 | 624 76535 200728 | 90001 88807 40 | 0.176 % |
43.42/43.48 c | 98747 | 624 76535 200728 | 90001 89404 40 | 0.176 % |
44.03/44.03 c | 99403 | 624 76535 200728 | 90001 90060 40 | 0.160 % |
44.72/44.72 c | 100123 | 624 76535 200728 | 80055 70616 40 | 0.178 % |
45.22/45.30 c | 100915 | 624 76535 200728 | 80055 71408 40 | 0.160 % |
45.92/45.96 c | 101789 | 624 76535 200728 | 80055 72282 40 | 0.160 % |
46.62/46.64 c | 102747 | 624 76535 200728 | 80055 73240 40 | 0.175 % |
47.33/47.36 c | 103800 | 624 76535 200728 | 80055 74293 40 | 0.160 % |
48.12/48.11 c | 104958 | 624 76535 200728 | 80055 75451 40 | 0.177 % |
48.12/48.17 c | 105059 | 624 76535 200728 | 80055 75552 40 | 0.177 % |
48.22/48.26 c | 105169 | 624 76535 200728 | 80055 75662 40 | 0.160 % |
48.32/48.35 c | 105292 | 624 76535 200728 | 80055 75785 40 | 0.160 % |
48.43/48.45 c | 105428 | 624 76535 200728 | 80055 75921 40 | 0.175 % |
48.52/48.54 c | 105575 | 624 76535 200728 | 80055 76068 40 | 0.160 % |
48.62/48.63 c | 105736 | 624 76535 200728 | 80055 76229 40 | 0.160 % |
48.72/48.73 c | 105917 | 624 76535 200728 | 80055 76410 40 | 0.160 % |
48.82/48.85 c | 106111 | 624 76535 200728 | 80055 76604 40 | 0.176 % |
49.02/49.02 c | 106323 | 624 76535 200728 | 80055 76816 40 | 0.161 % |
49.12/49.18 c | 106557 | 624 76535 200728 | 80055 77050 40 | 0.176 % |
49.32/49.36 c | 106814 | 624 76535 200728 | 80055 77307 40 | 0.160 % |
49.62/49.63 c | 107097 | 624 76535 200728 | 80055 77590 40 | 0.176 % |
49.82/49.87 c | 107409 | 624 76535 200728 | 80055 77902 40 | 0.160 % |
50.12/50.17 c | 107749 | 624 76535 200728 | 80055 78242 40 | 0.177 % |
50.42/50.46 c | 108123 | 624 76535 200728 | 80055 78616 40 | 0.177 % |
50.72/50.75 c | 108534 | 624 76535 200728 | 80055 79027 40 | 0.177 % |
51.12/51.13 c | 108983 | 624 76535 200728 | 80055 79476 40 | 0.160 % |
51.42/51.45 c | 109477 | 624 76535 200728 | 80055 79970 40 | 0.176 % |
51.92/51.94 c | 110023 | 624 76535 200728 | 71659 71681 40 | 0.188 % |
52.32/52.34 c | 110621 | 624 76535 200728 | 71659 64413 41 | 0.161 % |
52.72/52.73 c | 111276 | 624 76535 200728 | 71659 65068 41 | 0.160 % |
53.12/53.19 c | 111998 | 624 76535 200728 | 71659 65790 41 | 0.176 % |
53.62/53.69 c | 112792 | 624 76535 200728 | 71659 66584 41 | 0.176 % |
54.32/54.32 c | 113664 | 624 76535 200728 | 71659 67456 40 | 0.175 % |
54.92/54.98 c | 114625 | 624 76535 200728 | 71659 68417 40 | 0.176 % |
55.72/55.76 c | 115681 | 624 76535 200728 | 71659 69472 40 | 0.336 % |
56.72/56.72 c | 116839 | 624 76535 200728 | 71659 70630 40 | 0.336 % |
57.72/57.76 c | 118112 | 624 76535 200728 | 71659 71903 40 | 0.320 % |
57.82/57.88 c | 118212 | 624 76535 200728 | 71659 64813 39 | 0.336 % |
57.92/57.96 c | 118322 | 624 76535 200728 | 71659 64923 39 | 0.336 % |
58.02/58.06 c | 118450 | 624 76535 200728 | 71659 65051 39 | 0.336 % |
58.12/58.18 c | 118584 | 624 76535 200728 | 71659 65185 39 | 0.336 % |
58.22/58.26 c | 118733 | 624 76535 200728 | 71659 65334 39 | 0.320 % |
58.33/58.36 c | 118893 | 624 76535 200728 | 71659 65494 39 | 0.336 % |
58.42/58.49 c | 119070 | 624 76535 200728 | 71659 65671 39 | 0.336 % |
58.62/58.63 c | 119263 | 624 76535 200728 | 71659 65864 39 | 0.320 % |
58.72/58.76 c | 119475 | 624 76535 200728 | 71659 66076 39 | 0.335 % |
58.92/58.92 c | 119708 | 624 76535 200728 | 71659 66309 39 | 0.320 % |
59.02/59.10 c | 119964 | 624 76535 200728 | 71659 66565 39 | 0.335 % |
59.32/59.33 c | 120251 | 624 76535 200728 | 2147483647 66852 39 | 0.336 % |
59.52/59.55 c | 120561 | 624 76535 200728 | 2147483647 67162 39 | 0.336 % |
59.82/59.83 c | 120901 | 624 76535 200728 | 2147483647 67502 39 | 0.320 % |
60.02/60.09 c | 121273 | 624 76535 200728 | 2147483647 67874 39 | 0.321 % |
60.32/60.40 c | 121691 | 624 76535 200728 | 2147483647 68292 39 | 0.336 % |
60.62/60.71 c | 122140 | 624 76535 200728 | 2147483647 68741 39 | 0.337 % |
60.92/61.00 c | 122635 | 624 76535 200728 | 2147483647 69236 39 | 0.320 % |
61.32/61.36 c | 123177 | 624 76535 200728 | 2147483647 69778 39 | 0.336 % |
61.72/61.80 c | 123775 | 624 76535 200728 | 2147483647 70376 39 | 0.336 % |
62.22/62.26 c | 124431 | 624 76535 200728 | 2147483647 71032 39 | 0.336 % |
62.62/62.69 c | 125151 | 624 76535 200728 | 2147483647 71752 39 | 0.336 % |
63.22/63.24 c | 125943 | 624 76535 200728 | 2147483647 72544 39 | 0.320 % |
63.83/63.89 c | 126818 | 624 76535 200728 | 2147483647 73419 39 | 0.336 % |
64.63/64.62 c | 127776 | 624 76535 200728 | 2147483647 74377 39 | 0.337 % |
65.43/65.44 c | 128831 | 624 76535 200728 | 2147483647 75432 38 | 0.337 % |
66.33/66.34 c | 129989 | 624 76535 200728 | 2147483647 76590 38 | 0.338 % |
67.33/67.36 c | 131265 | 623 76292 200096 | 2147483647 77850 38 | 0.338 % |
68.33/68.32 c | 132667 | 623 76292 200096 | 2147483647 79252 38 | 0.336 % |
68.33/68.41 c | 132767 | 623 76292 200096 | 2147483647 79352 38 | 0.336 % |
68.43/68.50 c | 132878 | 623 76292 200096 | 2147483647 79463 38 | 0.335 % |
68.53/68.59 c | 132999 | 623 76292 200096 | 2147483647 79584 38 | 0.320 % |
68.63/68.70 c | 133132 | 623 76292 200096 | 2147483647 79717 38 | 0.336 % |
68.83/68.82 c | 133278 | 623 76292 200096 | 2147483647 79863 38 | 0.336 % |
68.93/68.94 c | 133438 | 623 76292 200096 | 2147483647 80023 38 | 0.335 % |
69.03/69.08 c | 133614 | 623 76292 200096 | 2147483647 80199 38 | 0.335 % |
69.23/69.24 c | 133808 | 623 76292 200096 | 2147483647 80393 38 | 0.336 % |
69.43/69.44 c | 134022 | 623 76292 200096 | 2147483647 80607 38 | 0.336 % |
69.63/69.63 c | 134258 | 623 76292 200096 | 2147483647 80843 38 | 0.320 % |
69.83/69.85 c | 134515 | 623 76292 200096 | 2147483647 81100 38 | 0.336 % |
70.03/70.03 c | 134799 | 623 76292 200096 | 2147483647 81384 38 | 0.320 % |
70.23/70.29 c | 135108 | 623 76292 200096 | 2147483647 81693 38 | 0.336 % |
70.53/70.56 c | 135448 | 623 76292 200096 | 2147483647 82033 38 | 0.336 % |
70.83/70.91 c | 135825 | 623 76292 200096 | 2147483647 82410 38 | 0.336 % |
71.23/71.25 c | 136235 | 623 76292 200096 | 2147483647 82820 38 | 0.320 % |
71.53/71.55 c | 136686 | 623 76292 200096 | 2147483647 83271 38 | 0.336 % |
71.83/71.89 c | 137179 | 623 76292 200096 | 2147483647 83764 38 | 0.336 % |
72.33/72.34 c | 137723 | 623 76292 200096 | 2147483647 84308 38 | 0.335 % |
72.83/72.83 c | 138320 | 623 76292 200096 | 2147483647 84905 38 | 0.335 % |
73.33/73.37 c | 138980 | 623 76292 200096 | 2147483647 85565 38 | 0.335 % |
73.93/73.94 c | 139702 | 623 76292 200096 | 2147483647 86287 38 | 0.336 % |
74.63/74.71 c | 140495 | 623 76292 200096 | 86588 77203 36 | 0.320 % |
75.33/75.37 c | 141366 | 623 76292 200096 | 86588 78074 36 | 0.337 % |
75.93/75.99 c | 142324 | 623 76292 200096 | 86588 79032 36 | 0.337 % |
76.73/76.77 c | 143377 | 623 76292 200096 | 86588 80085 36 | 0.338 % |
77.63/77.66 c | 144538 | 623 76292 200096 | 86588 81246 36 | 0.338 % |
78.53/78.53 c | 145813 | 623 76292 200096 | 86588 82521 37 | 0.320 % |
79.53/79.55 c | 147214 | 623 76292 200096 | 86588 83922 37 | 0.336 % |
80.73/80.79 c | 148755 | 623 76292 200096 | 86588 85463 37 | 0.336 % |
80.83/80.88 c | 148857 | 623 76292 200096 | 86588 85565 37 | 0.335 % |
80.93/80.97 c | 148967 | 623 76292 200096 | 86588 85675 37 | 0.335 % |
81.03/81.06 c | 149089 | 623 76292 200096 | 86588 85797 37 | 0.335 % |
81.13/81.17 c | 149222 | 623 76292 200096 | 86588 85930 37 | 0.321 % |
81.23/81.27 c | 149369 | 623 76292 200096 | 86588 86077 37 | 0.320 % |
81.33/81.40 c | 149531 | 623 76292 200096 | 86588 86239 37 | 0.335 % |
81.53/81.53 c | 149707 | 623 76292 200096 | 86588 86415 37 | 0.320 % |
81.63/81.66 c | 149900 | 623 76292 200096 | 86588 86608 37 | 0.336 % |
81.83/81.88 c | 150113 | 623 76292 200096 | 77044 77153 36 | 0.336 % |
82.13/82.12 c | 150347 | 623 76292 200096 | 77044 68760 35 | 0.336 % |
82.23/82.28 c | 150605 | 623 76292 200096 | 77044 69018 35 | 0.337 % |
82.43/82.46 c | 150888 | 623 76292 200096 | 77044 69301 34 | 0.337 % |
82.63/82.66 c | 151197 | 623 76292 200096 | 77044 69610 34 | 0.336 % |
82.83/82.91 c | 151538 | 623 76292 200096 | 77044 69951 34 | 0.336 % |
83.13/83.12 c | 151913 | 623 76292 200096 | 77044 70326 35 | 0.320 % |
83.33/83.36 c | 152322 | 623 76292 200096 | 77044 70735 35 | 0.320 % |
83.63/83.63 c | 152775 | 623 76292 200096 | 77044 71188 35 | 0.335 % |
83.93/83.93 c | 153268 | 623 76292 200096 | 77044 71681 35 | 0.335 % |
84.23/84.29 c | 153810 | 623 76292 200096 | 77044 72223 35 | 0.336 % |
84.73/84.74 c | 154408 | 623 76292 200096 | 77044 72821 35 | 0.336 % |
85.13/85.18 c | 155063 | 623 76292 200096 | 77044 73476 35 | 0.337 % |
85.63/85.69 c | 155784 | 623 76292 200096 | 77044 74197 35 | 0.321 % |
86.23/86.28 c | 156576 | 623 76292 200096 | 77044 74989 35 | 0.335 % |
86.83/86.87 c | 157448 | 623 76292 200096 | 77044 75861 36 | 0.320 % |
87.53/87.57 c | 158408 | 623 76292 200096 | 77044 76821 36 | 0.336 % |
88.23/88.27 c | 159461 | 623 76292 200096 | 77044 70136 35 | 0.336 % |
88.93/89.01 c | 160619 | 623 76292 200096 | 2147483647 71294 35 | 0.336 % |
89.93/89.97 c | 161893 | 623 76292 200096 | 2147483647 72568 34 | 0.336 % |
90.93/91.01 c | 163296 | 623 76292 200096 | 2147483647 73971 34 | 0.336 % |
92.23/92.23 c | 164836 | 623 76292 200096 | 2147483647 75511 34 | 0.336 % |
93.53/93.53 c | 166532 | 623 76292 200096 | 2147483647 77207 34 | 0.339 % |
93.53/93.60 c | 166632 | 623 76292 200096 | 2147483647 77307 34 | 0.320 % |
93.63/93.69 c | 166742 | 623 76292 200096 | 2147483647 77417 34 | 0.336 % |
93.73/93.79 c | 166865 | 623 76292 200096 | 2147483647 77540 34 | 0.336 % |
93.83/93.90 c | 166998 | 623 76292 200096 | 2147483647 77673 34 | 0.336 % |
94.03/94.02 c | 167145 | 623 76292 200096 | 2147483647 77820 34 | 0.336 % |
94.13/94.13 c | 167305 | 623 76292 200096 | 2147483647 77980 34 | 0.336 % |
94.23/94.27 c | 167483 | 623 76292 200096 | 2147483647 78158 34 | 0.337 % |
94.43/94.43 c | 167678 | 623 76292 200096 | 2147483647 78353 34 | 0.337 % |
94.53/94.58 c | 167890 | 623 76292 200096 | 2147483647 78565 34 | 0.336 % |
94.73/94.75 c | 168123 | 623 76292 200096 | 2147483647 78798 34 | 0.336 % |
94.83/94.89 c | 168379 | 623 76292 200096 | 2147483647 79054 34 | 0.336 % |
95.03/95.10 c | 168664 | 623 76292 200096 | 2147483647 79339 34 | 0.336 % |
95.33/95.36 c | 168975 | 623 76292 200096 | 2147483647 79650 34 | 0.337 % |
95.53/95.58 c | 169314 | 623 76292 200096 | 2147483647 79989 34 | 0.336 % |
95.83/95.83 c | 169687 | 623 76292 200096 | 2147483647 80362 34 | 0.336 % |
96.23/96.24 c | 170096 | 623 76292 200096 | 2147483647 80771 34 | 0.337 % |
96.53/96.55 c | 170545 | 623 76292 200096 | 2147483647 81220 34 | 0.320 % |
96.83/96.87 c | 171038 | 623 76292 200096 | 2147483647 81713 35 | 0.320 % |
97.23/97.30 c | 171584 | 623 76292 200096 | 2147483647 82259 35 | 0.320 % |
97.83/97.82 c | 172183 | 623 76292 200096 | 2147483647 82858 35 | 0.320 % |
98.33/98.34 c | 172838 | 623 76292 200096 | 2147483647 83513 35 | 0.321 % |
98.93/98.96 c | 173558 | 623 76292 200096 | 2147483647 84233 35 | 0.335 % |
99.53/99.60 c | 174350 | 623 76292 200096 | 2147483647 85025 36 | 0.320 % |
100.32/100.37 c | 175221 | 623 76292 200096 | 2147483647 85896 35 | 0.336 % |
101.12/101.15 c | 176179 | 623 76292 200096 | 2147483647 86854 35 | 0.336 % |
102.02/102.05 c | 177233 | 623 76292 200096 | 2147483647 87908 35 | 0.337 % |
102.92/102.93 c | 178395 | 623 76292 200096 | 2147483647 89070 35 | 0.338 % |
103.92/103.93 c | 179670 | 623 76292 200096 | 2147483647 90345 35 | 0.339 % |
105.12/105.19 c | 181070 | 623 76292 200096 | 90676 79974 34 | 0.336 % |
106.42/106.41 c | 182611 | 623 76292 200096 | 90676 81515 35 | 0.320 % |
107.62/107.69 c | 184305 | 623 76292 200096 | 90676 83209 35 | 0.336 % |
109.42/109.44 c | 186168 | 623 76292 200096 | 90676 85072 35 | 0.320 % |
109.52/109.55 c | 186268 | 623 76292 200096 | 90676 85172 35 | 0.336 % |
109.62/109.66 c | 186379 | 623 76292 200096 | 90676 85283 35 | 0.337 % |
109.72/109.76 c | 186500 | 623 76292 200096 | 90676 85404 35 | 0.337 % |
109.82/109.87 c | 186639 | 623 76292 200096 | 90676 85543 35 | 0.320 % |
109.92/109.97 c | 186786 | 623 76292 200096 | 90676 85690 35 | 0.320 % |
110.12/110.11 c | 186947 | 623 76292 200096 | 90676 85851 35 | 0.336 % |
110.22/110.27 c | 187126 | 623 76292 200096 | 90676 86030 35 | 0.336 % |
110.42/110.42 c | 187320 | 623 76292 200096 | 90676 86224 35 | 0.336 % |
110.52/110.60 c | 187534 | 623 76292 200096 | 90676 86438 35 | 0.336 % |
110.72/110.80 c | 187767 | 623 76292 200096 | 90676 86671 35 | 0.320 % |
110.92/111.00 c | 188024 | 623 76292 200096 | 90676 86928 36 | 0.336 % |
111.22/111.24 c | 188305 | 623 76292 200096 | 90676 87209 36 | 0.320 % |
111.42/111.49 c | 188615 | 623 76292 200096 | 90676 87519 36 | 0.336 % |
111.72/111.79 c | 188955 | 623 76292 200096 | 90676 87859 36 | 0.336 % |
112.12/112.13 c | 189327 | 623 76292 200096 | 90676 88231 36 | 0.336 % |
112.52/112.52 c | 189739 | 623 76292 200096 | 90676 88643 36 | 0.336 % |
112.82/112.85 c | 190188 | 623 76292 200096 | 88904 89092 36 | 0.335 % |
113.33/113.31 c | 190681 | 623 76292 200096 | 88904 77168 36 | 0.320 % |
113.72/113.70 c | 191231 | 623 76292 200096 | 88904 77718 36 | 0.320 % |
114.12/114.13 c | 191827 | 623 76292 200096 | 88904 78314 36 | 0.335 % |
114.72/114.72 c | 192482 | 623 76292 200096 | 88904 78969 36 | 0.336 % |
115.32/115.40 c | 193202 | 623 76292 200096 | 88904 79689 36 | 0.336 % |
116.12/116.12 c | 193998 | 623 76292 200096 | 88904 80485 36 | 0.336 % |
116.82/116.85 c | 194869 | 623 76292 200096 | 88904 81356 36 | 0.336 % |
117.62/117.71 c | 195830 | 623 76292 200096 | 88904 82317 36 | 0.337 % |
118.62/118.64 c | 196885 | 623 76292 200096 | 88904 83372 36 | 0.337 % |
119.72/119.78 c | 198048 | 623 76292 200096 | 88904 84535 37 | 0.337 % |
120.92/120.95 c | 199322 | 623 76292 200096 | 88904 85809 37 | 0.321 % |
122.32/122.34 c | 200722 | 623 76292 200096 | 86491 73490 38 | 0.336 % |
123.82/123.81 c | 202263 | 623 76292 200096 | 86491 75031 38 | 0.336 % |
125.52/125.60 c | 203959 | 623 76292 200096 | 86491 76727 38 | 0.336 % |
127.22/127.27 c | 205822 | 623 76292 200096 | 86491 78590 38 | 0.336 % |
129.02/129.09 c | 207871 | 623 76292 200096 | 86491 80639 38 | 0.336 % |
129.22/129.20 c | 207973 | 623 76292 200096 | 86491 80741 38 | 0.336 % |
129.32/129.31 c | 208083 | 623 76292 200096 | 86491 80851 38 | 0.337 % |
129.42/129.42 c | 208204 | 623 76292 200096 | 86491 80972 38 | 0.320 % |
129.52/129.53 c | 208341 | 623 76292 200096 | 86491 81109 38 | 0.321 % |
129.62/129.67 c | 208489 | 623 76292 200096 | 86491 81257 38 | 0.321 % |
129.83/129.81 c | 208649 | 623 76292 200096 | 86491 81417 38 | 0.336 % |
129.92/129.98 c | 208828 | 623 76292 200096 | 86491 81596 38 | 0.336 % |
130.12/130.18 c | 209024 | 623 76292 200096 | 86491 81792 38 | 0.336 % |
130.32/130.38 c | 209237 | 623 76292 200096 | 86491 82005 38 | 0.320 % |
130.62/130.61 c | 209471 | 623 76292 200096 | 86491 82239 38 | 0.336 % |
130.82/130.88 c | 209728 | 623 76292 200096 | 86491 82496 38 | 0.320 % |
131.22/131.23 c | 210014 | 623 76292 200096 | 82769 82782 38 | 0.337 % |
131.52/131.58 c | 210323 | 623 76292 200096 | 82769 68514 37 | 0.320 % |
131.82/131.87 c | 210669 | 623 76292 200096 | 82769 68860 37 | 0.320 % |
132.12/132.14 c | 211041 | 623 76292 200096 | 82769 69232 37 | 0.336 % |
132.42/132.46 c | 211451 | 623 76292 200096 | 82769 69642 37 | 0.320 % |
132.82/132.82 c | 211904 | 623 76292 200096 | 82769 70095 37 | 0.320 % |
133.22/133.25 c | 212399 | 623 76292 200096 | 82769 70590 37 | 0.337 % |
133.72/133.76 c | 212941 | 623 76292 200096 | 82769 71132 37 | 0.336 % |
134.32/134.34 c | 213537 | 623 76292 200096 | 82769 71728 37 | 0.337 % |
134.82/134.88 c | 214193 | 623 76292 200096 | 82769 72384 37 | 0.320 % |
135.42/135.49 c | 214913 | 623 76292 200096 | 82769 73104 37 | 0.320 % |
136.12/136.19 c | 215705 | 623 76292 200096 | 82769 73896 37 | 0.320 % |
136.82/136.89 c | 216576 | 623 76292 200096 | 82769 74767 37 | 0.337 % |
137.62/137.62 c | 217536 | 623 76292 200096 | 82769 75727 38 | 0.320 % |
138.52/138.53 c | 218593 | 623 76292 200096 | 82769 76784 39 | 0.320 % |
139.62/139.65 c | 219751 | 623 76292 200096 | 82769 77942 39 | 0.320 % |
140.83/140.82 c | 221026 | 623 76292 200096 | 78192 66433 39 | 0.335 % |
141.82/141.90 c | 222429 | 623 76292 200096 | 78192 67836 40 | 0.320 % |
143.32/143.37 c | 223969 | 623 76292 200096 | 78192 69376 41 | 0.320 % |
145.12/145.15 c | 225664 | 623 76292 200096 | 78192 71071 41 | 0.320 % |
146.93/146.93 c | 227527 | 623 76292 200096 | 78192 72934 41 | 0.335 % |
148.73/148.76 c | 229576 | 623 76292 200096 | 78192 74983 42 | 0.320 % |
151.03/151.10 c | 231830 | 623 76292 200096 | 75407 63414 42 | 0.320 % |
151.23/151.22 c | 231933 | 623 76292 200096 | 75407 63517 42 | 0.336 % |
151.33/151.33 c | 232044 | 623 76292 200096 | 75407 63628 42 | 0.335 % |
151.43/151.43 c | 232166 | 623 76292 200096 | 75407 63750 43 | 0.320 % |
151.53/151.57 c | 232302 | 623 76292 200096 | 75407 63886 43 | 0.320 % |
151.63/151.69 c | 232448 | 623 76292 200096 | 75407 64032 43 | 0.336 % |
151.83/151.81 c | 232612 | 623 76292 200096 | 75407 64196 43 | 0.320 % |
151.93/151.97 c | 232789 | 623 76292 200096 | 75407 64373 43 | 0.336 % |
152.13/152.12 c | 232982 | 623 76292 200096 | 75407 64566 43 | 0.335 % |
152.33/152.34 c | 233196 | 623 76292 200096 | 75407 64780 43 | 0.335 % |
152.53/152.51 c | 233430 | 623 76292 200096 | 75407 65014 43 | 0.336 % |
152.73/152.74 c | 233693 | 623 76292 200096 | 75407 65277 42 | 0.335 % |
152.93/152.98 c | 233979 | 623 76292 200096 | 75407 65563 42 | 0.336 % |
153.23/153.22 c | 234291 | 623 76292 200096 | 75407 65875 42 | 0.336 % |
153.43/153.47 c | 234630 | 623 76292 200096 | 75407 66214 42 | 0.337 % |
153.73/153.81 c | 235002 | 623 76292 200096 | 75407 66586 42 | 0.337 % |
154.23/154.21 c | 235412 | 623 76292 200096 | 75407 66996 43 | 0.320 % |
154.63/154.66 c | 235863 | 623 76292 200096 | 75407 67447 42 | 0.336 % |
155.13/155.11 c | 236356 | 623 76292 200096 | 75407 67940 42 | 0.336 % |
155.53/155.56 c | 236899 | 623 76292 200096 | 75407 68483 42 | 0.336 % |
156.03/156.09 c | 237495 | 623 76292 200096 | 75407 69079 42 | 0.337 % |
156.63/156.69 c | 238152 | 623 76292 200096 | 75407 69736 42 | 0.336 % |
157.33/157.38 c | 238873 | 623 76292 200096 | 75407 70457 42 | 0.336 % |
158.13/158.20 c | 239667 | 623 76292 200096 | 75407 71251 42 | 0.337 % |
159.13/159.13 c | 240538 | 623 76292 200096 | 71585 59010 42 | 0.336 % |
159.93/160.00 c | 241496 | 623 76292 200096 | 71585 59968 43 | 0.320 % |
160.93/160.92 c | 242549 | 623 76292 200096 | 71585 61021 43 | 0.320 % |
162.03/162.06 c | 243709 | 623 76292 200096 | 71585 62181 44 | 0.320 % |
163.13/163.20 c | 244986 | 623 76292 200096 | 71585 63458 44 | 0.336 % |
164.73/164.74 c | 246387 | 623 76292 200096 | 71585 64859 43 | 0.336 % |
166.43/166.41 c | 247927 | 623 76292 200096 | 71585 66399 43 | 0.337 % |
168.23/168.25 c | 249622 | 623 76292 200096 | 71585 68094 43 | 0.337 % |
170.33/170.38 c | 251488 | 623 76292 200096 | 68472 56835 43 | 0.337 % |
172.13/172.13 c | 253539 | 623 76292 200096 | 68472 58886 43 | 0.336 % |
174.03/174.06 c | 255792 | 623 76292 200096 | 68472 61139 44 | 0.320 % |
176.43/176.44 c | 258270 | 623 76292 200096 | 68472 63617 44 | 0.320 % |
176.53/176.53 c | 258371 | 623 76292 200096 | 68472 63718 44 | 0.320 % |
176.63/176.62 c | 258483 | 623 76292 200096 | 68472 63830 44 | 0.335 % |
176.73/176.72 c | 258604 | 623 76292 200096 | 68472 63951 44 | 0.335 % |
176.83/176.84 c | 258741 | 623 76292 200096 | 68472 64088 44 | 0.335 % |
176.93/176.97 c | 258887 | 623 76292 200096 | 68472 64234 44 | 0.336 % |
177.13/177.14 c | 259048 | 623 76292 200096 | 68472 64395 44 | 0.320 % |
177.33/177.31 c | 259224 | 623 76292 200096 | 68472 64571 44 | 0.320 % |
177.53/177.53 c | 259419 | 623 76292 200096 | 68472 64766 44 | 0.336 % |
177.73/177.79 c | 259635 | 623 76292 200096 | 68472 64982 44 | 0.336 % |
178.03/178.05 c | 259869 | 623 76292 200096 | 68472 65216 44 | 0.336 % |
178.23/178.29 c | 260125 | 623 76292 200096 | 65347 65472 44 | 0.336 % |
178.63/178.61 c | 260408 | 623 76292 200096 | 65347 53802 42 | 0.336 % |
178.83/178.86 c | 260717 | 623 76292 200096 | 65347 54111 41 | 0.335 % |
179.13/179.19 c | 261057 | 623 76292 200096 | 65347 54451 41 | 0.337 % |
179.43/179.49 c | 261429 | 623 76292 200096 | 65347 54823 42 | 0.320 % |
179.93/179.91 c | 261839 | 623 76292 200096 | 65347 55233 42 | 0.336 % |
180.23/180.29 c | 262289 | 623 76292 200096 | 65347 55683 42 | 0.337 % |
180.73/180.76 c | 262783 | 623 76292 200096 | 65347 56177 42 | 0.320 % |
181.23/181.29 c | 263326 | 623 76292 200096 | 65347 56720 42 | 0.337 % |
181.73/181.79 c | 263926 | 623 76292 200096 | 65347 57320 41 | 0.336 % |
182.33/182.35 c | 264584 | 623 76292 200096 | 65347 57978 41 | 0.336 % |
182.93/182.97 c | 265305 | 623 76292 200096 | 65347 58699 42 | 0.320 % |
183.63/183.65 c | 266097 | 623 76292 200096 | 65347 59491 42 | 0.336 % |
184.43/184.43 c | 266968 | 623 76292 200096 | 65347 60362 42 | 0.320 % |
185.33/185.38 c | 267926 | 623 76292 200096 | 65347 61320 42 | 0.320 % |
186.33/186.32 c | 268979 | 623 76292 200096 | 65347 62373 42 | 0.336 % |
187.33/187.40 c | 270137 | 623 76292 200096 | 63396 63531 42 | 0.337 % |
188.53/188.56 c | 271413 | 623 76292 200096 | 63396 54015 37 | 0.337 % |
189.63/189.70 c | 272814 | 623 76292 200096 | 63396 55416 37 | 0.338 % |
191.03/191.03 c | 274354 | 623 76292 200096 | 63396 56956 37 | 0.338 % |
192.43/192.49 c | 276048 | 623 76292 200096 | 63396 58650 37 | 0.338 % |
193.83/193.90 c | 277913 | 623 76292 200096 | 63396 60515 39 | 0.320 % |
195.73/195.73 c | 279964 | 623 76292 200096 | 63396 62566 39 | 0.321 % |
197.63/197.68 c | 282217 | 623 76292 200096 | 62605 55118 38 | 0.320 % |
199.93/199.90 c | 284699 | 623 76292 200096 | 62605 57600 38 | 0.338 % |
202.63/202.63 c | 287425 | 623 76292 200096 | 62605 60326 38 | 0.338 % |
202.73/202.73 c | 287525 | 623 76292 200096 | 62605 60426 38 | 0.338 % |
202.83/202.83 c | 287635 | 623 76292 200096 | 62605 60536 38 | 0.320 % |
202.93/202.93 c | 287757 | 623 76292 200096 | 62605 60658 38 | 0.320 % |
203.03/203.03 c | 287890 | 623 76292 200096 | 62605 60791 38 | 0.337 % |
203.13/203.18 c | 288037 | 623 76292 200096 | 62605 60938 38 | 0.321 % |
203.23/203.29 c | 288197 | 623 76292 200096 | 62605 61098 39 | 0.320 % |
203.43/203.46 c | 288375 | 623 76292 200096 | 62605 61276 39 | 0.336 % |
203.63/203.61 c | 288568 | 623 76292 200096 | 62605 61469 39 | 0.321 % |
203.83/203.82 c | 288780 | 623 76292 200096 | 62605 61681 39 | 0.320 % |
204.03/204.01 c | 289013 | 623 76292 200096 | 62605 61914 39 | 0.321 % |
204.23/204.22 c | 289269 | 623 76292 200096 | 62605 62170 39 | 0.320 % |
204.53/204.55 c | 289550 | 623 76292 200096 | 62605 62451 39 | 0.321 % |
204.83/204.81 c | 289859 | 623 76292 200096 | 62605 62760 39 | 0.320 % |
205.13/205.13 c | 290201 | 623 76292 200096 | 53301 53499 38 | 0.321 % |
205.43/205.42 c | 290575 | 623 76292 200096 | 53301 45803 37 | 0.336 % |
205.74/205.72 c | 290984 | 623 76292 200096 | 53301 46212 37 | 0.320 % |
206.03/206.00 c | 291434 | 623 76292 200096 | 53301 46662 37 | 0.320 % |
206.33/206.38 c | 291929 | 623 76292 200096 | 53301 47157 37 | 0.321 % |
206.73/206.80 c | 292471 | 623 76292 200096 | 53301 47699 37 | 0.336 % |
207.33/207.31 c | 293073 | 623 76292 200096 | 53301 48301 37 | 0.336 % |
207.73/207.80 c | 293728 | 623 76292 200096 | 53301 48956 38 | 0.320 % |
208.33/208.35 c | 294450 | 623 76292 200096 | 53301 49678 38 | 0.321 % |
208.93/209.00 c | 295247 | 623 76292 200096 | 53301 50475 38 | 0.337 % |
209.63/209.70 c | 296121 | 623 76292 200096 | 53301 51349 38 | 0.320 % |
210.43/210.43 c | 297082 | 623 76292 200096 | 53301 52310 38 | 0.337 % |
211.24/211.23 c | 298137 | 623 76292 200096 | 53301 53365 39 | 0.320 % |
212.03/212.06 c | 299296 | 623 76292 200096 | 53301 48026 39 | 0.320 % |
213.03/213.07 c | 300571 | 623 76292 200096 | 48732 43434 40 | 0.336 % |
214.23/214.25 c | 301972 | 623 76292 200096 | 48732 44835 40 | 0.320 % |
215.64/215.65 c | 303514 | 623 76292 200096 | 48732 46377 40 | 0.320 % |
216.74/216.79 c | 305208 | 623 76292 200096 | 48732 48071 42 | 0.320 % |
218.33/218.36 c | 307073 | 623 76292 200096 | 48732 43758 41 | 0.320 % |
220.13/220.13 c | 309122 | 623 76292 200096 | 48732 45807 42 | 0.320 % |
222.13/222.19 c | 311376 | 623 76292 200096 | 46685 42029 42 | 0.320 % |
224.23/224.23 c | 313854 | 623 76292 200096 | 46685 44507 42 | 0.337 % |
226.33/226.38 c | 316581 | 623 76292 200096 | 46685 41170 41 | 0.337 % |
228.53/228.56 c | 319578 | 623 76292 200096 | 46685 44167 44 | 0.320 % |
228.64/228.65 c | 319678 | 623 76292 200096 | 46685 44267 44 | 0.320 % |
228.74/228.75 c | 319788 | 623 76292 200096 | 46685 44377 44 | 0.320 % |
228.84/228.82 c | 319911 | 623 76292 200096 | 46685 44500 44 | 0.320 % |
228.84/228.90 c | 320045 | 623 76292 200096 | 44590 44634 44 | 0.320 % |
229.04/229.05 c | 320193 | 623 76292 200096 | 44590 38991 43 | 0.320 % |
229.14/229.18 c | 320353 | 623 76292 200096 | 44590 39151 43 | 0.320 % |
229.24/229.30 c | 320531 | 623 76292 200096 | 44590 39329 43 | 0.338 % |
229.44/229.47 c | 320724 | 623 76292 200096 | 44590 39522 43 | 0.320 % |
229.54/229.61 c | 320936 | 623 76292 200096 | 44590 39734 43 | 0.336 % |
229.74/229.77 c | 321169 | 623 76292 200096 | 44590 39967 43 | 0.336 % |
229.94/229.95 c | 321425 | 623 76292 200096 | 44590 40223 43 | 0.336 % |
230.14/230.17 c | 321706 | 623 76292 200096 | 44590 40504 43 | 0.337 % |
230.34/230.38 c | 322016 | 623 76292 200096 | 44590 40814 43 | 0.336 % |
230.64/230.62 c | 322356 | 623 76292 200096 | 44590 41154 43 | 0.321 % |
230.84/230.89 c | 322729 | 623 76292 200096 | 44590 41527 43 | 0.339 % |
231.24/231.21 c | 323140 | 623 76292 200096 | 44590 41938 43 | 0.339 % |
231.64/231.62 c | 323590 | 623 76292 200096 | 44590 42388 43 | 0.339 % |
231.94/232.00 c | 324086 | 623 76292 200096 | 44590 42884 43 | 0.320 % |
232.54/232.53 c | 324629 | 623 76292 200096 | 44590 43427 44 | 0.320 % |
233.04/233.07 c | 325226 | 623 76292 200096 | 44590 44024 44 | 0.320 % |
233.64/233.71 c | 325881 | 623 76292 200096 | 44590 44679 43 | 0.336 % |
234.24/234.29 c | 326601 | 623 76292 200096 | 44590 40124 42 | 0.336 % |
234.84/234.87 c | 327395 | 623 76292 200096 | 44590 40918 41 | 0.336 % |
235.64/235.62 c | 328266 | 623 76292 200096 | 44590 41789 42 | 0.336 % |
236.44/236.45 c | 329226 | 623 76292 200096 | 44590 42749 42 | 0.336 % |
237.24/237.23 c | 330279 | 623 76292 200096 | 43523 38983 39 | 0.337 % |
238.04/238.03 c | 331438 | 623 76292 200096 | 43523 40142 39 | 0.338 % |
238.94/238.99 c | 332720 | 623 76292 200096 | 43523 41424 39 | 0.339 % |
240.04/240.02 c | 334120 | 623 76292 200096 | 43523 42824 38 | 0.340 % |
241.24/241.27 c | 335661 | 623 76292 200096 | 43523 39985 36 | 0.321 % |
242.34/242.36 c | 337356 | 623 76292 200096 | 43523 41680 36 | 0.336 % |
243.54/243.57 c | 339219 | 623 76292 200096 | 43523 43543 36 | 0.336 % |
245.04/245.06 c | 341268 | 623 76292 200096 | 2147483647 41238 36 | 0.336 % |
246.74/246.72 c | 343524 | 623 76292 200096 | 2147483647 43494 36 | 0.336 % |
248.24/248.23 c | 346004 | 623 76292 200096 | 2147483647 45974 38 | 0.321 % |
250.24/250.27 c | 348730 | 623 76292 200096 | 2147483647 48700 40 | 0.321 % |
252.44/252.45 c | 351728 | 623 76292 200096 | 2147483647 51698 40 | 0.321 % |
254.94/254.92 c | 355024 | 623 76292 200096 | 2147483647 54994 40 | 0.337 % |
254.94/255.01 c | 355124 | 623 76292 200096 | 2147483647 55094 40 | 0.320 % |
255.14/255.16 c | 355234 | 623 76292 200096 | 2147483647 55204 40 | 0.321 % |
255.24/255.25 c | 355359 | 623 76292 200096 | 2147483647 55329 40 | 0.337 % |
255.34/255.38 c | 355492 | 623 76292 200096 | 2147483647 55462 40 | 0.336 % |
255.54/255.54 c | 355643 | 623 76292 200096 | 2147483647 55613 40 | 0.336 % |
255.64/255.69 c | 355805 | 623 76292 200096 | 2147483647 55775 40 | 0.337 % |
255.84/255.83 c | 355982 | 623 76292 200096 | 2147483647 55952 40 | 0.337 % |
255.94/255.96 c | 356178 | 623 76292 200096 | 2147483647 56148 40 | 0.337 % |
256.14/256.14 c | 356393 | 623 76292 200096 | 2147483647 56363 40 | 0.337 % |
256.34/256.31 c | 356635 | 623 76292 200096 | 2147483647 56605 40 | 0.336 % |
256.54/256.53 c | 356893 | 623 76292 200096 | 2147483647 56863 40 | 0.336 % |
256.74/256.77 c | 357175 | 623 76292 200096 | 2147483647 57145 39 | 0.338 % |
256.94/256.97 c | 357486 | 623 76292 200096 | 2147483647 57456 39 | 0.338 % |
257.24/257.26 c | 357829 | 623 76292 200096 | 2147483647 57799 39 | 0.337 % |
257.54/257.56 c | 358201 | 623 76292 200096 | 2147483647 58171 39 | 0.337 % |
257.84/257.89 c | 358613 | 623 76292 200096 | 2147483647 58583 39 | 0.320 % |
258.34/258.32 c | 359064 | 623 76292 200096 | 2147483647 59034 39 | 0.337 % |
258.64/258.70 c | 359558 | 623 76292 200096 | 2147483647 59528 39 | 0.321 % |
259.14/259.12 c | 360100 | 623 76292 200096 | 59972 60070 40 | 0.320 % |
259.64/259.61 c | 360698 | 623 76292 200096 | 59972 52973 37 | 0.336 % |
260.14/260.11 c | 361354 | 623 76292 200096 | 59972 53629 37 | 0.336 % |
260.64/260.66 c | 362074 | 623 76292 200096 | 59972 54349 37 | 0.336 % |
261.34/261.38 c | 362870 | 623 76292 200096 | 59972 55145 38 | 0.320 % |
262.04/262.04 c | 363743 | 623 76292 200096 | 59972 56018 38 | 0.320 % |
262.94/262.96 c | 364702 | 623 76292 200096 | 59972 56977 38 | 0.336 % |
263.84/263.85 c | 365755 | 623 76292 200096 | 59972 58030 38 | 0.321 % |
264.84/264.87 c | 366913 | 623 76292 200096 | 59972 59188 38 | 0.321 % |
266.04/266.09 c | 368186 | 623 76292 200096 | 59972 52003 38 | 0.336 % |
267.44/267.43 c | 369587 | 623 76292 200096 | 59972 53404 38 | 0.337 % |
268.64/268.67 c | 371129 | 623 76292 200096 | 53817 47117 40 | 0.320 % |
270.04/270.07 c | 372825 | 623 76292 200096 | 53817 48813 39 | 0.338 % |
271.64/271.67 c | 374689 | 623 76292 200096 | 53817 50677 39 | 0.338 % |
273.44/273.46 c | 376738 | 623 76292 200096 | 53817 52726 39 | 0.338 % |
275.54/275.56 c | 378992 | 622 76046 199454 | 53817 39365 37 | 0.497 % |
277.14/277.15 c | 381470 | 622 76046 199454 | 40374 36435 34 | 0.497 % |
279.04/279.03 c | 384196 | 622 76046 199454 | 40374 39161 35 | 0.496 % |
281.14/281.12 c | 387195 | 622 76046 199454 | 40374 38098 34 | 0.497 % |
283.24/283.26 c | 390492 | 622 76046 199454 | 2147483647 37339 34 | 0.497 % |
285.74/285.72 c | 394117 | 622 76046 199454 | 2147483647 40964 34 | 0.497 % |
285.74/285.79 c | 394220 | 622 76046 199454 | 2147483647 41067 34 | 0.481 % |
285.84/285.88 c | 394330 | 622 76046 199454 | 2147483647 41177 34 | 0.481 % |
285.94/285.97 c | 394455 | 622 76046 199454 | 2147483647 41302 34 | 0.498 % |
286.05/286.08 c | 394590 | 622 76046 199454 | 2147483647 41437 34 | 0.497 % |
286.14/286.17 c | 394736 | 622 76046 199454 | 2147483647 41583 34 | 0.480 % |
286.24/286.27 c | 394899 | 622 76046 199454 | 2147483647 41746 34 | 0.480 % |
286.34/286.40 c | 395080 | 622 76046 199454 | 2147483647 41927 34 | 0.496 % |
286.54/286.53 c | 395273 | 622 76046 199454 | 2147483647 42120 34 | 0.480 % |
286.64/286.70 c | 395485 | 622 76046 199454 | 2147483647 42332 34 | 0.497 % |
286.84/286.86 c | 395718 | 622 76046 199454 | 2147483647 42565 34 | 0.497 % |
287.04/287.05 c | 395978 | 622 76046 199454 | 2147483647 42825 34 | 0.497 % |
287.24/287.26 c | 396262 | 622 76046 199454 | 2147483647 43109 34 | 0.481 % |
287.44/287.46 c | 396572 | 622 76046 199454 | 2147483647 43419 34 | 0.498 % |
287.74/287.72 c | 396911 | 622 76046 199454 | 2147483647 43758 35 | 0.480 % |
287.94/287.97 c | 397285 | 622 76046 199454 | 2147483647 44132 34 | 0.497 % |
288.14/288.21 c | 397695 | 622 76046 199454 | 2147483647 44542 34 | 0.497 % |
288.44/288.47 c | 398144 | 622 76046 199454 | 2147483647 44991 34 | 0.498 % |
288.64/288.68 c | 398638 | 622 76046 199454 | 2147483647 45485 34 | 0.481 % |
289.04/289.08 c | 399183 | 622 76046 199454 | 2147483647 46030 34 | 0.480 % |
289.44/289.50 c | 399781 | 622 76046 199454 | 2147483647 46628 34 | 0.497 % |
289.94/290.00 c | 400437 | 622 76046 199454 | 2147483647 47284 34 | 0.496 % |
290.54/290.55 c | 401158 | 622 76046 199454 | 2147483647 48005 34 | 0.496 % |
291.04/291.04 c | 401950 | 622 76046 199454 | 2147483647 48797 35 | 0.496 % |
291.74/291.76 c | 402821 | 622 76046 199454 | 2147483647 49668 35 | 0.480 % |
292.54/292.53 c | 403781 | 622 76046 199454 | 2147483647 50628 35 | 0.497 % |
293.44/293.43 c | 404839 | 622 76046 199454 | 2147483647 51686 35 | 0.497 % |
294.44/294.45 c | 405999 | 622 76046 199454 | 2147483647 52846 34 | 0.500 % |
295.24/295.26 c | 407273 | 622 76046 199454 | 2147483647 54120 34 | 0.497 % |
296.34/296.35 c | 408673 | 622 76046 199454 | 2147483647 55520 34 | 0.498 % |
297.54/297.53 c | 410214 | 619 75318 197560 | 56256 56469 34 | 0.976 % |
298.74/298.78 c | 411912 | 619 75318 197560 | 56256 52063 32 | 0.961 % |
300.04/300.08 c | 413775 | 619 75318 197560 | 56256 53926 32 | 0.976 % |
301.45/301.43 c | 415825 | 619 75318 197560 | 56256 55976 32 | 0.979 % |
303.14/303.12 c | 418079 | 619 75318 197560 | 56256 52405 31 | 0.977 % |
305.04/305.01 c | 420558 | 619 75318 197560 | 54326 49103 32 | 0.960 % |
307.14/307.19 c | 423283 | 619 75318 197560 | 54326 51828 33 | 0.961 % |
309.64/309.66 c | 426280 | 619 75318 197560 | 54326 48016 33 | 0.977 % |
312.55/312.54 c | 429577 | 619 75318 197560 | 54326 51313 34 | 0.961 % |
315.45/315.43 c | 433204 | 619 75318 197560 | 51736 48341 36 | 0.960 % |
318.65/318.63 c | 437191 | 619 75318 197560 | 51736 46190 36 | 0.977 % |
318.65/318.71 c | 437291 | 619 75318 197560 | 51736 46290 36 | 0.978 % |
318.75/318.78 c | 437401 | 619 75318 197560 | 51736 46400 36 | 0.960 % |
318.85/318.87 c | 437523 | 619 75318 197560 | 51736 46522 36 | 0.977 % |
318.95/319.00 c | 437656 | 619 75318 197560 | 51736 46655 36 | 0.960 % |
319.15/319.14 c | 437803 | 619 75318 197560 | 51736 46802 36 | 0.961 % |
319.25/319.24 c | 437964 | 619 75318 197560 | 51736 46963 36 | 0.977 % |
319.35/319.37 c | 438140 | 619 75318 197560 | 51736 47139 36 | 0.978 % |
319.55/319.52 c | 438335 | 619 75318 197560 | 51736 47334 36 | 0.978 % |
319.65/319.69 c | 438548 | 619 75318 197560 | 51736 47547 36 | 0.960 % |
319.85/319.83 c | 438782 | 619 75318 197560 | 51736 47781 36 | 0.960 % |
320.05/320.04 c | 439041 | 619 75318 197560 | 51736 48040 36 | 0.960 % |
320.25/320.26 c | 439324 | 619 75318 197560 | 51736 48323 36 | 0.960 % |
320.45/320.48 c | 439633 | 619 75318 197560 | 51736 48632 36 | 0.978 % |
320.75/320.77 c | 439972 | 619 75318 197560 | 51736 48971 36 | 0.976 % |
321.15/321.16 c | 440344 | 619 75318 197560 | 49000 43149 37 | 0.977 % |
321.45/321.47 c | 440757 | 619 75318 197560 | 49000 43562 37 | 0.975 % |
321.75/321.79 c | 441207 | 619 75318 197560 | 49000 44012 37 | 0.976 % |
322.15/322.13 c | 441700 | 619 75318 197560 | 49000 44505 37 | 0.976 % |
322.45/322.50 c | 442243 | 619 75318 197560 | 49000 45048 37 | 0.976 % |
322.95/322.99 c | 442839 | 619 75318 197560 | 49000 45644 37 | 0.960 % |
323.65/323.62 c | 443495 | 619 75318 197560 | 49000 46300 37 | 0.976 % |
324.15/324.12 c | 444215 | 619 75318 197560 | 49000 47020 37 | 0.978 % |
324.75/324.73 c | 445007 | 619 75318 197560 | 49000 47812 37 | 0.979 % |
325.35/325.41 c | 445879 | 619 75318 197560 | 49000 48684 38 | 0.960 % |
326.15/326.20 c | 446839 | 619 75318 197560 | 49000 43566 38 | 0.960 % |
327.15/327.14 c | 447893 | 619 75318 197560 | 49000 44620 38 | 0.977 % |
328.05/328.09 c | 449053 | 619 75318 197560 | 49000 45780 38 | 0.960 % |
329.05/329.02 c | 450331 | 619 75318 197560 | 46730 41145 37 | 0.961 % |
330.05/330.10 c | 451732 | 619 75318 197560 | 46730 42546 37 | 0.961 % |
331.15/331.20 c | 453273 | 619 75318 197560 | 46730 44087 38 | 0.977 % |
332.75/332.76 c | 454968 | 619 75318 197560 | 46730 45782 38 | 0.977 % |
334.45/334.42 c | 456833 | 619 75318 197560 | 46730 41781 37 | 0.977 % |
336.15/336.15 c | 458882 | 619 75318 197560 | 46730 43830 37 | 0.977 % |
337.75/337.73 c | 461135 | 619 75318 197560 | 44953 40546 35 | 0.960 % |
339.45/339.49 c | 463614 | 619 75318 197560 | 44953 43025 34 | 0.960 % |
341.65/341.63 c | 466339 | 618 75075 196925 | 44953 41947 36 | 1.120 % |
343.45/343.51 c | 469336 | 618 75075 196925 | 44953 44944 37 | 1.138 % |
345.65/345.66 c | 472632 | 618 75075 196925 | 2147483647 43723 37 | 1.138 % |
348.15/348.17 c | 476257 | 617 75075 196925 | 2147483647 47347 38 | 1.441 % |
351.45/351.45 c | 480247 | 617 75075 196925 | 51090 51337 40 | 1.441 % |
355.35/355.32 c | 484632 | 616 74594 195671 | 51090 48287 40 | 1.456 % |
355.45/355.44 c | 484733 | 616 74594 195671 | 51090 48388 40 | 1.456 % |
355.55/355.56 c | 484843 | 616 74594 195671 | 51090 48498 40 | 1.456 % |
355.65/355.68 c | 484964 | 616 74594 195671 | 51090 48619 40 | 1.456 % |
355.75/355.80 c | 485101 | 616 74594 195671 | 51090 48756 40 | 1.456 % |
355.95/355.93 c | 485250 | 616 74594 195671 | 51090 48905 39 | 1.456 % |
356.05/356.08 c | 485410 | 616 74594 195671 | 51090 49065 39 | 1.457 % |
356.25/356.22 c | 485586 | 616 74594 195671 | 51090 49241 39 | 1.456 % |
356.35/356.39 c | 485779 | 616 74594 195671 | 51090 49434 40 | 1.440 % |
356.55/356.56 c | 485991 | 616 74594 195671 | 51090 49646 40 | 1.440 % |
356.75/356.78 c | 486226 | 616 74594 195671 | 51090 49881 40 | 1.441 % |
356.95/356.99 c | 486484 | 616 74594 195671 | 51090 50139 40 | 1.458 % |
357.15/357.21 c | 486766 | 616 74594 195671 | 51090 50421 40 | 1.456 % |
357.45/357.46 c | 487075 | 616 74594 195671 | 51090 50730 40 | 1.458 % |
357.75/357.75 c | 487416 | 616 74594 195671 | 51090 51071 40 | 1.441 % |
358.15/358.14 c | 487789 | 616 74594 195671 | 51090 44107 40 | 1.441 % |
358.55/358.51 c | 488200 | 616 74594 195671 | 51090 44518 40 | 1.441 % |
358.85/358.83 c | 488649 | 616 74594 195671 | 51090 44967 39 | 1.457 % |
359.05/359.10 c | 489144 | 616 74594 195671 | 51090 45462 39 | 1.457 % |
359.45/359.48 c | 489686 | 616 74594 195671 | 51090 46004 39 | 1.440 % |
360.05/360.05 c | 490286 | 616 74594 195671 | 46318 40197 37 | 1.456 % |
360.55/360.51 c | 490941 | 616 74594 195671 | 46318 40852 37 | 1.441 % |
361.05/361.08 c | 491663 | 616 74594 195671 | 46318 41574 37 | 1.456 % |
361.75/361.72 c | 492455 | 616 74594 195671 | 46318 42366 37 | 1.456 % |
362.45/362.49 c | 493326 | 616 74594 195671 | 46318 43237 37 | 1.458 % |
363.35/363.32 c | 494285 | 616 74594 195671 | 46318 44196 37 | 1.458 % |
364.35/364.32 c | 495342 | 616 74594 195671 | 46318 45253 37 | 1.458 % |
365.15/365.15 c | 496502 | 616 74594 195671 | 46318 46413 37 | 1.440 % |
366.05/366.04 c | 497776 | 616 74594 195671 | 46318 42006 38 | 1.440 % |
367.25/367.22 c | 499176 | 616 74594 195671 | 46318 43406 38 | 1.440 % |
368.35/368.38 c | 500716 | 616 74594 195671 | 44231 39730 36 | 1.440 % |
369.66/369.68 c | 502410 | 616 74594 195671 | 44231 41424 36 | 1.441 % |
371.05/371.02 c | 504276 | 616 74594 195671 | 44231 43290 36 | 1.458 % |
372.65/372.63 c | 506328 | 616 74594 195671 | 44231 40896 33 | 1.459 % |
374.25/374.27 c | 508583 | 615 74357 195050 | 44231 40034 33 | 1.601 % |
376.15/376.11 c | 511063 | 615 74357 195050 | 2147483647 42514 35 | 1.600 % |
378.15/378.17 c | 513789 | 615 74357 195050 | 2147483647 45240 37 | 1.601 % |
379.25/379.27 c ===============================================================================
379.25/379.27 c restarts : 899
379.25/379.27 c conflicts : 515189 (1359 /sec)
379.25/379.27 c decisions : 933530 (1.14 % random) (2463 /sec)
379.25/379.27 c propagations : 55317090 (145940 /sec)
379.25/379.27 c conflict literals : 21900379 (43.25 % deleted)
379.25/379.27 c Memory used : 24.10 MB
379.25/379.27 c CPU time : 379.04 s
379.25/379.27 c
379.25/379.27 s SATISFIABLE
379.25/379.28 s SATISFIABLE
379.25/379.28 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 294 -295 -296 -297 -298 -299 -300 -301 -302 -303 304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 548 -549 -550 551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 0
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820578-1242455658/watcher-1820578-1242455658 -o /tmp/evaluation-result-1820578-1242455658/solver-1820578-1242455658 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820578-1242455658.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 2625
/proc/meminfo: memFree=1200056/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2412 CPUtime=0
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1010066843 2469888 276 4294967295 134512640 135169312 3217123168 3217121704 3085192942 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2625/statm: 603 276 235 161 0 42 0
[pid=2630] ppid=2625 vsize=956 CPUtime=0
/proc/2630/stat : 2630 (SatELite_releas) R 2625 2625 20977 0 -1 4202496 129 0 0 0 0 0 0 0 25 0 1 0 1010066843 978944 64 4294967295 134512640 135223648 3218835712 3218834308 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2630/statm: 239 64 46 174 0 64 0
[startup+0.098553 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 2625
/proc/meminfo: memFree=1200056/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2412 CPUtime=0
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1010066843 2469888 276 4294967295 134512640 135169312 3217123168 3217121704 3085192942 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2625/statm: 603 276 235 161 0 42 0
[pid=2630] ppid=2625 vsize=5344 CPUtime=0.1
/proc/2630/stat : 2630 (SatELite_releas) R 2625 2625 20977 0 -1 4202496 1192 0 0 0 9 1 0 0 25 0 1 0 1010066843 5472256 1127 4294967295 134512640 135223648 3218835712 3218832332 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2630/statm: 1336 1127 72 174 0 1161 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7756
[startup+0.118551 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 2625
/proc/meminfo: memFree=1200056/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2412 CPUtime=0
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1010066843 2469888 276 4294967295 134512640 135169312 3217123168 3217121704 3085192942 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2625/statm: 603 276 235 161 0 42 0
[pid=2630] ppid=2625 vsize=5344 CPUtime=0.12
/proc/2630/stat : 2630 (SatELite_releas) R 2625 2625 20977 0 -1 4202496 1192 0 0 0 11 1 0 0 25 0 1 0 1010066843 5472256 1127 4294967295 134512640 135223648 3218835712 3218832332 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2630/statm: 1336 1127 72 174 0 1161 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 7756
[startup+0.318531 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 2625
/proc/meminfo: memFree=1200056/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 2416
[startup+0.718493 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 2625
/proc/meminfo: memFree=1200056/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 2416
[startup+1.51841 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2632
/proc/meminfo: memFree=1193824/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=6840 CPUtime=1.4
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 1634 0 0 0 139 1 0 0 25 0 1 0 1010066855 7004160 1569 4294967295 134512640 135215339 3220636432 3220634720 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 1710 1569 73 172 0 1537 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9256
[startup+3.11826 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2632
/proc/meminfo: memFree=1192584/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=8532 CPUtime=3
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 2060 0 0 0 298 2 0 0 25 0 1 0 1010066855 8736768 1995 4294967295 134512640 135215339 3220636432 3220634720 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 2133 1995 73 172 0 1960 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10948
[startup+6.31794 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2821
/proc/meminfo: memFree=1189668/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=10808 CPUtime=6.2
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 2612 0 0 0 617 3 0 0 25 0 1 0 1010066855 11067392 2547 4294967295 134512640 135215339 3220636432 3220634720 134528814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 2702 2547 73 172 0 2529 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 13224
[startup+12.7173 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2821
/proc/meminfo: memFree=1186168/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=14188 CPUtime=12.6
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 3452 0 0 0 1255 5 0 0 25 0 1 0 1010066855 14528512 3387 4294967295 134512640 135215339 3220636432 3220634720 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 3547 3387 73 172 0 3374 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 16604
[startup+25.5161 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2823
/proc/meminfo: memFree=1180900/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=19324 CPUtime=25.4
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 4744 0 0 0 2534 6 0 0 25 0 1 0 1010066855 19787776 4679 4294967295 134512640 135215339 3220636432 3220634720 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 4831 4679 73 172 0 4658 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 21740
[startup+51.1135 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2825
/proc/meminfo: memFree=1176964/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=22888 CPUtime=51
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 5658 0 0 0 5094 6 0 0 25 0 1 0 1010066855 23437312 5593 4294967295 134512640 135215339 3220636432 3220634720 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 5722 5593 73 172 0 5549 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 25304
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3013
/proc/meminfo: memFree=1176576/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=23024 CPUtime=102.2
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 5693 0 0 0 10214 6 0 0 25 0 1 0 1010066855 23576576 5628 4294967295 134512640 135215339 3220636432 3220634720 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 5756 5628 73 172 0 5583 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 25440
[startup+162.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3202
/proc/meminfo: memFree=1176492/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=23296 CPUtime=162.21
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 5756 0 0 0 16215 6 0 0 25 0 1 0 1010066855 23855104 5691 4294967295 134512640 135215339 3220636432 3220634720 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 5824 5691 73 172 0 5651 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 25712
[startup+222.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3403
/proc/meminfo: memFree=1175988/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=23832 CPUtime=222.21
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 5876 0 0 0 22215 6 0 0 25 0 1 0 1010066855 24403968 5811 4294967295 134512640 135215339 3220636432 3220634720 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 5958 5811 73 172 0 5785 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 26248
[startup+282.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3610
/proc/meminfo: memFree=1175616/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=24240 CPUtime=282.22
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 5985 0 0 0 28214 8 0 0 25 0 1 0 1010066855 24821760 5920 4294967295 134512640 135215339 3220636432 3220634720 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 6060 5920 73 172 0 5887 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 26656
[startup+342.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3797
/proc/meminfo: memFree=1174980/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=24524 CPUtime=342.23
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 6044 0 0 0 34209 14 0 0 25 0 1 0 1010066855 25112576 5979 4294967295 134512640 135215339 3220636432 3220634720 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 6131 5979 73 172 0 5958 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 26940
Solver just ended. Dumping a history of the last processes samples
[startup+358.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3801
/proc/meminfo: memFree=1174732/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=24676 CPUtime=358.23
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 6085 0 0 0 35808 15 0 0 25 0 1 0 1010066855 25268224 6020 4294967295 134512640 135215339 3220636432 3220634720 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 6169 6020 73 172 0 5996 0
Current children cumulated CPU time (s) 358.35
Current children cumulated vsize (KiB) 27092
[startup+371.112 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3985
/proc/meminfo: memFree=1174752/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=24676 CPUtime=371.03
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 6085 0 0 0 37088 15 0 0 25 0 1 0 1010066855 25268224 6020 4294967295 134512640 135215339 3220636432 3220634720 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 6169 6020 73 172 0 5996 0
Current children cumulated CPU time (s) 371.15
Current children cumulated vsize (KiB) 27092
[startup+374.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3985
/proc/meminfo: memFree=1174752/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=24676 CPUtime=374.23
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 6089 0 0 0 37408 15 0 0 25 0 1 0 1010066855 25268224 6024 4294967295 134512640 135215339 3220636432 3220634720 134528811 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 6169 6024 73 172 0 5996 0
Current children cumulated CPU time (s) 374.35
Current children cumulated vsize (KiB) 27092
[startup+377.511 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3985
/proc/meminfo: memFree=1174784/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=24676 CPUtime=377.43
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 6096 0 0 0 37728 15 0 0 25 0 1 0 1010066855 25268224 6031 4294967295 134512640 135215339 3220636432 3220634720 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 6169 6031 73 172 0 5996 0
Current children cumulated CPU time (s) 377.55
Current children cumulated vsize (KiB) 27092
[startup+378.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3985
/proc/meminfo: memFree=1174816/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=24676 CPUtime=378.23
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 6096 0 0 0 37808 15 0 0 25 0 1 0 1010066855 25268224 6031 4294967295 134512640 135215339 3220636432 3220634720 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 6169 6031 73 172 0 5996 0
Current children cumulated CPU time (s) 378.35
Current children cumulated vsize (KiB) 27092
[startup+378.711 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3985
/proc/meminfo: memFree=1174816/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=24676 CPUtime=378.63
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 6096 0 0 0 37848 15 0 0 25 0 1 0 1010066855 25268224 6031 4294967295 134512640 135215339 3220636432 3220634720 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 6169 6031 73 172 0 5996 0
Current children cumulated CPU time (s) 378.75
Current children cumulated vsize (KiB) 27092
[startup+379.111 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3985
/proc/meminfo: memFree=1174816/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=24676 CPUtime=379.03
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 6096 0 0 0 37888 15 0 0 25 0 1 0 1010066855 25268224 6031 4294967295 134512640 135215339 3220636432 3220634720 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 6169 6031 73 172 0 5996 0
Current children cumulated CPU time (s) 379.15
Current children cumulated vsize (KiB) 27092
[startup+379.211 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3985
/proc/meminfo: memFree=1174816/2074464 swapFree=1951868/1959888
[pid=2625] ppid=2623 vsize=2416 CPUtime=0.12
/proc/2625/stat : 2625 (SatELiteGTI) S 2623 2625 20977 0 -1 4194304 385 1837 0 0 0 0 11 1 24 0 1 0 1010066843 2473984 277 4294967295 134512640 135169312 3217123168 3217119384 3085192942 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2625/statm: 604 277 235 161 0 43 0
[pid=2632] ppid=2625 vsize=24676 CPUtime=379.13
/proc/2632/stat : 2632 (minisat_static) R 2625 2625 20977 0 -1 4202496 6096 0 0 0 37898 15 0 0 25 0 1 0 1010066855 25268224 6031 4294967295 134512640 135215339 3220636432 3220634720 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2632/statm: 6169 6031 73 172 0 5996 0
Current children cumulated CPU time (s) 379.25
Current children cumulated vsize (KiB) 27092
Child status: 10
Real time (s): 379.284
CPU time (s): 379.32
CPU user time (s): 379.15
CPU system time (s): 0.17
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 27092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 379.15
system time used= 0.17
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8786
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= 27
involuntary context switches= 1106
runsolver used 0.02 second user time and 0.03 second system time
The end
Begin job on tipi10 at 2009-05-16 08:34:18
IDJOB=1820578
IDBENCH=20485
IDSOLVER=657
FILE ID=tipi10/1820578-1242455658
PBS_JOBID=
Free space on /tmp= 5406 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_25.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820578-1242455658/watcher-1820578-1242455658 -o /tmp/evaluation-result-1820578-1242455658/solver-1820578-1242455658 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820578-1242455658.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c5b44b10975f50cd32d40650a6a22d18
RANDOM SEED= 428144712
Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1200444 kB
Buffers: 33492 kB
Cached: 739668 kB
SwapCached: 2896 kB
Active: 378700 kB
Inactive: 404540 kB
HighTotal: 1178688 kB
HighFree: 430272 kB
LowTotal: 895776 kB
LowFree: 770172 kB
SwapTotal: 1959888 kB
SwapFree: 1951868 kB
Dirty: 2740 kB
Writeback: 8 kB
AnonPages: 9384 kB
Mapped: 3248 kB
Slab: 82028 kB
PageTables: 500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90588 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 5406 MiB
End job on tipi10 at 2009-05-16 08:40:37