0.00/0.00 c Parsing...
0.01/0.05 c ==============================================================================
0.01/0.05 c | | ORIGINAL | LEARNT | |
0.01/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.01/0.05 c ==============================================================================
0.01/0.05 c | 0 | 76775 201350 | 23032 0 0 nan | 0.000 % |
0.01/0.05 c ==============================================================================
0.01/0.05 c Result : #vars: 625 #clauses: 76775 #literals: 201350
0.01/0.05 c CPU time: 0.038994 s
0.01/0.05 c ==============================================================================
0.09/0.11 c This is MiniSat 2.0 beta
0.09/0.11 c WARNING: for repeatability, setting FPU to use double precision
0.09/0.11 c ============================[ Problem Statistics ]=============================
0.09/0.11 c | |
0.09/0.11 c | Number of variables: 625 |
0.09/0.12 c | Number of clauses: 76775 |
0.09/0.15 c | Parsing time: 0.03 s |
0.09/0.15 c ============================[ Search Statistics ]==============================
0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.09/0.15 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.09/0.15 c ===============================================================================
0.09/0.15 c | 0 | 625 76775 201350 | 25591 0 nan | 0.000 % |
0.09/0.17 c | 100 | 625 76775 201350 | 25591 100 52 | 0.000 % |
0.09/0.18 c | 200 | 625 76775 201350 | 25591 200 40 | 0.000 % |
0.09/0.19 c | 300 | 625 76775 201350 | 25591 300 32 | 0.015 % |
0.10/0.20 c | 412 | 625 76775 201350 | 25591 412 29 | 0.016 % |
0.10/0.21 c | 513 | 625 76775 201350 | 25591 513 27 | 0.016 % |
0.10/0.22 c | 628 | 625 76775 201350 | 25591 628 36 | 0.001 % |
0.10/0.24 c | 749 | 625 76775 201350 | 25591 749 34 | 0.016 % |
0.10/0.25 c | 854 | 625 76775 201350 | 25591 854 32 | 0.016 % |
0.10/0.26 c | 965 | 625 76775 201350 | 25591 965 31 | 0.016 % |
0.10/0.27 c | 1087 | 625 76775 201350 | 25591 1087 30 | 0.016 % |
0.10/0.28 c | 1220 | 625 76775 201350 | 25591 1220 33 | 0.000 % |
0.10/0.29 c | 1320 | 625 76775 201350 | 25591 1320 32 | 0.016 % |
0.10/0.30 c | 1430 | 625 76775 201350 | 25591 1430 32 | 0.016 % |
0.10/0.32 c | 1553 | 625 76775 201350 | 25591 1553 31 | 0.016 % |
0.10/0.33 c | 1686 | 625 76775 201350 | 25591 1686 33 | 0.000 % |
0.10/0.34 c | 1832 | 625 76775 201350 | 25591 1832 33 | 0.016 % |
0.10/0.35 c | 1934 | 625 76775 201350 | 25591 1934 33 | 0.016 % |
0.10/0.36 c | 2048 | 625 76775 201350 | 25591 2048 32 | 0.016 % |
0.10/0.37 c | 2171 | 625 76775 201350 | 25591 2171 34 | 0.000 % |
0.10/0.38 c | 2305 | 625 76775 201350 | 25591 2305 33 | 0.016 % |
0.10/0.40 c | 2452 | 625 76775 201350 | 25591 2452 33 | 0.015 % |
0.10/0.41 c | 2612 | 625 76775 201350 | 25591 2612 33 | 0.016 % |
0.10/0.42 c | 2712 | 625 76775 201350 | 25591 2712 32 | 0.018 % |
0.10/0.43 c | 2823 | 625 76775 201350 | 25591 2823 32 | 0.018 % |
0.10/0.45 c | 2945 | 625 76775 201350 | 25591 2945 31 | 0.016 % |
0.10/0.46 c | 3078 | 625 76775 201350 | 25591 3078 31 | 0.016 % |
0.10/0.47 c | 3227 | 625 76775 201350 | 25591 3227 34 | 0.000 % |
0.10/0.49 c | 3387 | 625 76775 201350 | 25591 3387 34 | 0.001 % |
0.10/0.51 c | 3566 | 625 76775 201350 | 25591 3566 34 | 0.016 % |
0.10/0.52 c | 3667 | 625 76775 201350 | 25591 3667 34 | 0.000 % |
0.10/0.53 c | 3781 | 625 76775 201350 | 25591 3781 34 | 0.016 % |
0.10/0.54 c | 3902 | 625 76775 201350 | 25591 3902 34 | 0.016 % |
0.10/0.56 c | 4036 | 625 76775 201350 | 25591 4036 33 | 0.000 % |
0.10/0.57 c | 4182 | 625 76775 201350 | 25591 4182 35 | 0.000 % |
0.10/0.59 c | 4343 | 625 76775 201350 | 25591 4343 36 | 0.016 % |
0.10/0.61 c | 4519 | 625 76775 201350 | 25591 4519 35 | 0.000 % |
0.10/0.63 c | 4714 | 625 76775 201350 | 25591 4714 36 | 0.000 % |
0.10/0.64 c | 4814 | 625 76775 201350 | 25591 4814 36 | 0.000 % |
0.10/0.65 c | 4924 | 625 76775 201350 | 25591 4924 36 | 0.016 % |
0.10/0.67 c | 5046 | 625 76775 201350 | 25591 5046 36 | 0.016 % |
0.10/0.68 c | 5180 | 625 76775 201350 | 25591 5180 37 | 0.000 % |
0.10/0.70 c | 5326 | 625 76775 201350 | 25591 5326 37 | 0.015 % |
0.10/0.72 c | 5488 | 625 76775 201350 | 25591 5488 36 | 0.016 % |
0.10/0.74 c | 5664 | 625 76775 201350 | 25591 5664 36 | 0.015 % |
0.10/0.76 c | 5857 | 625 76775 201350 | 25591 5857 36 | 0.015 % |
0.10/0.79 c | 6071 | 625 76775 201350 | 25591 6071 35 | 0.015 % |
0.10/0.80 c | 6172 | 625 76775 201350 | 25591 6172 36 | 0.001 % |
0.10/0.81 c | 6283 | 625 76775 201350 | 25591 6283 36 | 0.015 % |
0.10/0.83 c | 6405 | 625 76775 201350 | 25591 6405 36 | 0.015 % |
0.10/0.84 c | 6538 | 625 76775 201350 | 25591 6538 35 | 0.016 % |
0.10/0.86 c | 6684 | 625 76775 201350 | 25591 6684 36 | 0.000 % |
0.10/0.88 c | 6847 | 625 76775 201350 | 25591 6847 36 | 0.000 % |
0.10/0.90 c | 7023 | 625 76775 201350 | 25591 7023 36 | 0.016 % |
0.10/0.92 c | 7217 | 625 76775 201350 | 25591 7217 37 | 0.000 % |
0.10/0.95 c | 7430 | 625 76775 201350 | 25591 7430 37 | 0.000 % |
0.10/0.99 c | 7664 | 625 76775 201350 | 25591 7664 36 | 0.000 % |
0.97/1.00 c | 7765 | 625 76775 201350 | 25591 7765 36 | 0.016 % |
0.97/1.02 c | 7876 | 625 76775 201350 | 25591 7876 36 | 0.000 % |
0.97/1.04 c | 8000 | 625 76775 201350 | 25591 8000 35 | 0.016 % |
0.97/1.06 c | 8133 | 625 76775 201350 | 25591 8133 36 | 0.000 % |
0.97/1.08 c | 8280 | 625 76775 201350 | 25591 8280 36 | 0.015 % |
1.07/1.10 c | 8442 | 625 76775 201350 | 25591 8442 35 | 0.016 % |
1.07/1.13 c | 8619 | 625 76775 201350 | 25591 8619 35 | 0.016 % |
1.07/1.16 c | 8814 | 625 76775 201350 | 25591 8814 35 | 0.016 % |
1.07/1.19 c | 9026 | 625 76775 201350 | 25591 9026 35 | 0.016 % |
1.17/1.22 c | 9261 | 625 76775 201350 | 25591 9261 36 | 0.000 % |
1.17/1.25 c | 9518 | 625 76775 201350 | 25591 9518 36 | 0.000 % |
1.17/1.27 c | 9621 | 625 76775 201350 | 25591 9621 36 | 0.001 % |
1.17/1.28 c | 9731 | 625 76775 201350 | 25591 9731 36 | 0.016 % |
1.17/1.29 c | 9852 | 625 76775 201350 | 25591 9852 36 | 0.001 % |
1.27/1.31 c | 9985 | 625 76775 201350 | 25591 9985 36 | 0.016 % |
1.27/1.33 c | 10132 | 625 76775 201350 | 2147483647 10132 36 | 0.016 % |
1.27/1.35 c | 10294 | 625 76775 201350 | 2147483647 10294 35 | 0.016 % |
1.27/1.38 c | 10471 | 625 76775 201350 | 2147483647 10471 35 | 0.016 % |
1.37/1.41 c | 10666 | 625 76775 201350 | 2147483647 10666 35 | 0.016 % |
1.37/1.45 c | 10879 | 625 76775 201350 | 2147483647 10879 35 | 0.016 % |
1.37/1.49 c | 11113 | 625 76775 201350 | 2147483647 11113 35 | 0.001 % |
1.47/1.53 c | 11371 | 625 76775 201350 | 2147483647 11371 35 | 0.016 % |
1.47/1.58 c | 11653 | 625 76775 201350 | 2147483647 11653 35 | 0.016 % |
1.57/1.60 c | 11753 | 625 76775 201350 | 2147483647 11753 34 | 0.016 % |
1.57/1.62 c | 11863 | 625 76775 201350 | 2147483647 11863 34 | 0.000 % |
1.57/1.64 c | 11985 | 625 76775 201350 | 2147483647 11985 34 | 0.016 % |
1.57/1.67 c | 12120 | 625 76775 201350 | 2147483647 12120 34 | 0.016 % |
1.57/1.69 c | 12266 | 625 76775 201350 | 2147483647 12266 34 | 0.016 % |
1.67/1.72 c | 12427 | 625 76775 201350 | 2147483647 12427 34 | 0.015 % |
1.67/1.75 c | 12606 | 625 76775 201350 | 2147483647 12606 34 | 0.015 % |
1.67/1.78 c | 12799 | 625 76775 201350 | 2147483647 12799 33 | 0.016 % |
1.77/1.81 c | 13012 | 625 76775 201350 | 2147483647 13012 33 | 0.016 % |
1.77/1.85 c | 13246 | 625 76775 201350 | 2147483647 13246 34 | 0.001 % |
1.77/1.89 c | 13502 | 625 76775 201350 | 2147483647 13502 33 | 0.016 % |
1.87/1.93 c | 13784 | 625 76775 201350 | 2147483647 13784 34 | 0.000 % |
1.87/1.98 c | 14095 | 625 76775 201350 | 2147483647 14095 34 | 0.016 % |
1.87/1.99 c | 14197 | 625 76775 201350 | 2147483647 14197 34 | 0.000 % |
1.97/2.01 c | 14308 | 625 76775 201350 | 2147483647 14308 34 | 0.015 % |
1.97/2.03 c | 14429 | 625 76775 201350 | 2147483647 14429 34 | 0.015 % |
1.97/2.05 c | 14563 | 625 76775 201350 | 2147483647 14563 34 | 0.015 % |
1.97/2.07 c | 14709 | 625 76775 201350 | 2147483647 14709 34 | 0.000 % |
2.07/2.10 c | 14869 | 625 76775 201350 | 2147483647 14869 34 | 0.000 % |
2.07/2.13 c | 15045 | 625 76775 201350 | 2147483647 15045 34 | 0.016 % |
2.07/2.17 c | 15238 | 625 76775 201350 | 2147483647 15238 35 | 0.000 % |
2.17/2.21 c | 15454 | 625 76775 201350 | 2147483647 15454 35 | 0.000 % |
2.17/2.25 c | 15688 | 625 76775 201350 | 2147483647 15688 35 | 0.000 % |
2.27/2.30 c | 15944 | 625 76775 201350 | 2147483647 15944 35 | 0.000 % |
2.27/2.35 c | 16227 | 625 76775 201350 | 2147483647 16227 34 | 0.016 % |
2.27/2.39 c | 16539 | 625 76775 201350 | 2147483647 16539 34 | 0.016 % |
2.37/2.45 c | 16880 | 625 76775 201350 | 2147483647 16880 35 | 0.000 % |
2.37/2.47 c | 16980 | 625 76775 201350 | 2147483647 16980 35 | 0.016 % |
2.37/2.49 c | 17090 | 625 76775 201350 | 2147483647 17090 35 | 0.016 % |
2.47/2.51 c | 17214 | 625 76775 201350 | 2147483647 17214 35 | 0.000 % |
2.47/2.53 c | 17347 | 625 76775 201350 | 2147483647 17347 35 | 0.000 % |
2.47/2.56 c | 17494 | 625 76775 201350 | 2147483647 17494 35 | 0.017 % |
2.47/2.59 c | 17655 | 625 76775 201350 | 2147483647 17655 35 | 0.017 % |
2.57/2.63 c | 17832 | 625 76775 201350 | 2147483647 17832 35 | 0.016 % |
2.57/2.66 c | 18028 | 625 76775 201350 | 2147483647 18028 35 | 0.017 % |
2.67/2.70 c | 18240 | 625 76775 201350 | 2147483647 18240 35 | 0.000 % |
2.67/2.75 c | 18473 | 625 76775 201350 | 2147483647 18473 35 | 0.016 % |
2.77/2.81 c | 18730 | 625 76775 201350 | 2147483647 18730 35 | 0.017 % |
2.77/2.86 c | 19011 | 625 76775 201350 | 2147483647 19011 35 | 0.016 % |
2.87/2.90 c | 19320 | 625 76775 201350 | 2147483647 19320 36 | 0.000 % |
2.87/2.98 c | 19660 | 625 76775 201350 | 2147483647 19660 36 | 0.000 % |
2.97/3.04 c | 20036 | 625 76775 201350 | 2147483647 20036 37 | 0.000 % |
2.97/3.06 c | 20136 | 625 76775 201350 | 2147483647 20136 37 | 0.000 % |
2.97/3.09 c | 20246 | 625 76775 201350 | 2147483647 20246 37 | 0.016 % |
3.07/3.12 c | 20369 | 625 76775 201350 | 2147483647 20369 37 | 0.016 % |
3.07/3.14 c | 20502 | 625 76775 201350 | 2147483647 20502 37 | 0.016 % |
3.07/3.18 c | 20654 | 625 76775 201350 | 2147483647 20654 37 | 0.000 % |
3.17/3.21 c | 20814 | 625 76775 201350 | 2147483647 20814 37 | 0.000 % |
3.17/3.25 c | 20993 | 625 76775 201350 | 2147483647 20993 37 | 0.016 % |
3.17/3.30 c | 21186 | 625 76775 201350 | 2147483647 21186 37 | 0.017 % |
3.27/3.35 c | 21402 | 625 76775 201350 | 2147483647 21402 37 | 0.001 % |
3.36/3.41 c | 21636 | 625 76775 201350 | 2147483647 21636 37 | 0.017 % |
3.36/3.47 c | 21893 | 625 76775 201350 | 2147483647 21893 36 | 0.017 % |
3.46/3.53 c | 22176 | 625 76775 201350 | 2147483647 22176 36 | 0.016 % |
3.56/3.62 c | 22485 | 625 76775 201350 | 2147483647 22485 36 | 0.016 % |
3.66/3.71 c | 22825 | 625 76775 201350 | 2147483647 22825 36 | 0.016 % |
3.76/3.80 c | 23198 | 625 76775 201350 | 2147483647 23198 36 | 0.016 % |
3.76/3.89 c | 23607 | 625 76775 201350 | 2147483647 23607 35 | 0.015 % |
3.86/3.92 c | 23710 | 625 76775 201350 | 2147483647 23710 35 | 0.016 % |
3.86/3.95 c | 23821 | 625 76775 201350 | 2147483647 23821 35 | 0.016 % |
3.86/3.98 c | 23942 | 625 76775 201350 | 2147483647 23942 35 | 0.016 % |
3.96/4.01 c | 24081 | 625 76775 201350 | 2147483647 24081 35 | 0.015 % |
3.96/4.05 c | 24227 | 625 76775 201350 | 2147483647 24227 35 | 0.001 % |
3.96/4.08 c | 24388 | 625 76775 201350 | 2147483647 24388 35 | 0.016 % |
4.06/4.12 c | 24566 | 625 76775 201350 | 2147483647 24566 35 | 0.016 % |
4.06/4.16 c | 24759 | 625 76775 201350 | 2147483647 24759 36 | 0.000 % |
4.16/4.21 c | 24973 | 625 76775 201350 | 2147483647 24973 36 | 0.000 % |
4.16/4.26 c | 25207 | 625 76775 201350 | 2147483647 25207 35 | 0.016 % |
4.27/4.33 c | 25463 | 625 76775 201350 | 2147483647 25463 35 | 0.017 % |
4.27/4.39 c | 25744 | 625 76775 201350 | 2147483647 25744 35 | 0.016 % |
4.37/4.47 c | 26054 | 625 76775 201350 | 2147483647 26054 35 | 0.016 % |
4.46/4.54 c | 26395 | 625 76775 201350 | 2147483647 26395 36 | 0.000 % |
4.56/4.65 c | 26770 | 625 76775 201350 | 2147483647 26770 36 | 0.000 % |
4.66/4.76 c | 27179 | 625 76775 201350 | 2147483647 27179 36 | 0.001 % |
4.76/4.88 c | 27628 | 625 76775 201350 | 2147483647 27628 35 | 0.016 % |
4.86/4.90 c | 27729 | 625 76775 201350 | 2147483647 27729 35 | 0.016 % |
4.86/4.93 c | 27839 | 625 76775 201350 | 2147483647 27839 35 | 0.016 % |
4.86/4.96 c | 27960 | 625 76775 201350 | 2147483647 27960 35 | 0.016 % |
4.86/4.99 c | 28094 | 625 76775 201350 | 2147483647 28094 35 | 0.016 % |
4.96/5.03 c | 28241 | 625 76775 201350 | 2147483647 28241 35 | 0.000 % |
4.96/5.09 c | 28402 | 625 76775 201350 | 2147483647 28402 36 | 0.000 % |
5.06/5.15 c | 28584 | 625 76775 201350 | 2147483647 28584 36 | 0.016 % |
5.16/5.20 c | 28777 | 625 76775 201350 | 2147483647 28777 36 | 0.000 % |
5.16/5.25 c | 28990 | 625 76775 201350 | 2147483647 28990 36 | 0.000 % |
5.26/5.31 c | 29224 | 625 76775 201350 | 2147483647 29224 36 | 0.016 % |
5.26/5.37 c | 29481 | 625 76775 201350 | 2147483647 29481 36 | 0.016 % |
5.36/5.45 c | 29762 | 625 76775 201350 | 2147483647 29762 36 | 0.016 % |
5.46/5.54 c | 30073 | 625 76775 201350 | 2147483647 30073 35 | 0.016 % |
5.56/5.63 c | 30413 | 625 76775 201350 | 2147483647 30413 36 | 0.000 % |
5.66/5.72 c | 30786 | 625 76775 201350 | 2147483647 30786 36 | 0.000 % |
5.76/5.84 c | 31197 | 625 76775 201350 | 2147483647 31197 36 | 0.000 % |
5.86/5.95 c | 31646 | 625 76775 201350 | 2147483647 31646 36 | 0.016 % |
5.96/6.08 c | 32143 | 625 76775 201350 | 2147483647 32143 36 | 0.016 % |
6.06/6.11 c | 32243 | 625 76775 201350 | 2147483647 32243 36 | 0.016 % |
6.06/6.14 c | 32354 | 625 76775 201350 | 2147483647 32354 36 | 0.000 % |
6.06/6.18 c | 32477 | 625 76775 201350 | 2147483647 32477 36 | 0.016 % |
6.16/6.22 c | 32612 | 625 76775 201350 | 2147483647 32612 36 | 0.016 % |
6.16/6.28 c | 32759 | 625 76775 201350 | 2147483647 32759 36 | 0.016 % |
6.26/6.32 c | 32922 | 625 76775 201350 | 2147483647 32922 35 | 0.016 % |
6.26/6.37 c | 33099 | 625 76775 201350 | 2147483647 33099 35 | 0.016 % |
6.37/6.43 c | 33292 | 625 76775 201350 | 2147483647 33292 36 | 0.000 % |
6.37/6.50 c | 33506 | 625 76775 201350 | 2147483647 33506 36 | 0.016 % |
6.47/6.56 c | 33740 | 625 76775 201350 | 2147483647 33740 36 | 0.000 % |
6.57/6.63 c | 34002 | 625 76775 201350 | 2147483647 34002 36 | 0.000 % |
6.67/6.71 c | 34283 | 625 76775 201350 | 2147483647 34283 36 | 0.000 % |
6.77/6.80 c | 34592 | 625 76775 201350 | 2147483647 34592 36 | 0.016 % |
6.87/6.90 c | 34931 | 625 76775 201350 | 2147483647 34931 36 | 0.000 % |
6.97/7.04 c | 35305 | 625 76775 201350 | 2147483647 35305 37 | 0.000 % |
7.07/7.18 c | 35716 | 625 76775 201350 | 2147483647 35716 36 | 0.000 % |
7.27/7.33 c | 36169 | 625 76775 201350 | 2147483647 36169 36 | 0.016 % |
7.37/7.48 c | 36664 | 625 76775 201350 | 2147483647 36664 36 | 0.016 % |
7.57/7.64 c | 37207 | 625 76775 201350 | 2147483647 37207 36 | 0.016 % |
7.57/7.67 c | 37307 | 625 76775 201350 | 2147483647 37307 36 | 0.016 % |
7.67/7.71 c | 37418 | 625 76775 201350 | 2147483647 37418 36 | 0.016 % |
7.67/7.75 c | 37541 | 625 76775 201350 | 2147483647 37541 36 | 0.016 % |
7.77/7.80 c | 37676 | 625 76775 201350 | 2147483647 37676 36 | 0.000 % |
7.77/7.84 c | 37822 | 625 76775 201350 | 2147483647 37822 36 | 0.016 % |
7.77/7.89 c | 37982 | 625 76775 201350 | 2147483647 37982 36 | 0.016 % |
7.87/7.95 c | 38159 | 625 76775 201350 | 2147483647 38159 36 | 0.016 % |
7.97/8.01 c | 38353 | 625 76775 201350 | 2147483647 38353 36 | 0.016 % |
7.97/8.08 c | 38567 | 625 76775 201350 | 2147483647 38567 36 | 0.016 % |
8.07/8.16 c | 38800 | 625 76775 201350 | 2147483647 38800 36 | 0.000 % |
8.16/8.25 c | 39057 | 625 76775 201350 | 2147483647 39057 36 | 0.016 % |
8.26/8.33 c | 39339 | 625 76775 201350 | 2147483647 39339 36 | 0.000 % |
8.36/8.44 c | 39648 | 625 76775 201350 | 2147483647 39648 36 | 0.000 % |
8.46/8.54 c | 39987 | 625 76775 201350 | 2147483647 39987 36 | 0.017 % |
8.56/8.67 c | 40360 | 625 76775 201350 | 2147483647 40360 36 | 0.000 % |
8.77/8.83 c | 40770 | 625 76775 201350 | 2147483647 40770 36 | 0.017 % |
8.86/8.99 c | 41222 | 625 76775 201350 | 2147483647 41222 36 | 0.016 % |
9.06/9.17 c | 41718 | 625 76775 201350 | 2147483647 41718 36 | 0.017 % |
9.26/9.33 c | 42261 | 625 76775 201350 | 2147483647 42261 36 | 0.016 % |
9.46/9.51 c | 42857 | 625 76775 201350 | 2147483647 42857 36 | 0.016 % |
9.46/9.55 c | 42958 | 625 76775 201350 | 2147483647 42958 36 | 0.016 % |
9.46/9.59 c | 43071 | 625 76775 201350 | 2147483647 43071 36 | 0.016 % |
9.56/9.63 c | 43194 | 625 76775 201350 | 2147483647 43194 36 | 0.000 % |
9.56/9.67 c | 43331 | 625 76775 201350 | 2147483647 43331 36 | 0.000 % |
9.66/9.73 c | 43479 | 625 76775 201350 | 2147483647 43479 36 | 0.016 % |
9.66/9.79 c | 43639 | 625 76775 201350 | 2147483647 43639 36 | 0.016 % |
9.76/9.85 c | 43815 | 625 76775 201350 | 2147483647 43815 36 | 0.016 % |
9.86/9.91 c | 44009 | 625 76775 201350 | 2147483647 44009 36 | 0.016 % |
9.86/9.98 c | 44223 | 625 76775 201350 | 2147483647 44223 36 | 0.000 % |
9.96/10.05 c | 44456 | 625 76775 201350 | 2147483647 44456 36 | 0.016 % |
10.06/10.15 c | 44713 | 625 76775 201350 | 2147483647 44713 36 | 0.001 % |
10.16/10.27 c | 44997 | 625 76775 201350 | 2147483647 44997 36 | 0.016 % |
10.36/10.40 c | 45306 | 625 76775 201350 | 2147483647 45306 36 | 0.017 % |
10.46/10.53 c | 45647 | 625 76775 201350 | 2147483647 45647 36 | 0.017 % |
10.56/10.67 c | 46022 | 625 76775 201350 | 2147483647 46022 35 | 0.016 % |
10.76/10.83 c | 46431 | 625 76775 201350 | 2147483647 46431 36 | 0.000 % |
10.96/11.02 c | 46880 | 625 76775 201350 | 2147483647 46880 36 | 0.016 % |
11.16/11.24 c | 47373 | 625 76775 201350 | 2147483647 47373 35 | 0.016 % |
11.36/11.43 c | 47919 | 625 76775 201350 | 2147483647 47919 35 | 0.016 % |
11.56/11.66 c | 48517 | 625 76775 201350 | 2147483647 48517 35 | 0.016 % |
11.86/11.92 c | 49173 | 625 76775 201350 | 2147483647 49173 36 | 0.000 % |
11.86/11.96 c | 49273 | 625 76775 201350 | 2147483647 49273 36 | 0.001 % |
11.96/12.00 c | 49385 | 625 76775 201350 | 2147483647 49385 36 | 0.016 % |
11.96/12.06 c | 49508 | 625 76775 201350 | 2147483647 49508 36 | 0.017 % |
12.06/12.11 c | 49643 | 625 76775 201350 | 2147483647 49643 36 | 0.000 % |
12.06/12.17 c | 49790 | 625 76775 201350 | 2147483647 49790 36 | 0.015 % |
12.16/12.26 c | 49958 | 625 76775 201350 | 2147483647 49958 36 | 0.016 % |
12.26/12.34 c | 50134 | 625 76775 201350 | 2147483647 50134 36 | 0.015 % |
12.36/12.43 c | 50330 | 625 76775 201350 | 2147483647 50330 36 | 0.000 % |
12.46/12.52 c | 50543 | 625 76775 201350 | 2147483647 50543 36 | 0.016 % |
12.56/12.62 c | 50778 | 625 76775 201350 | 2147483647 50778 36 | 0.001 % |
12.66/12.73 c | 51034 | 625 76775 201350 | 2147483647 51034 36 | 0.000 % |
12.76/12.83 c | 51315 | 625 76775 201350 | 2147483647 51315 36 | 0.000 % |
12.85/12.97 c | 51629 | 625 76775 201350 | 2147483647 51629 36 | 0.000 % |
13.06/13.13 c | 51968 | 625 76775 201350 | 2147483647 51968 36 | 0.016 % |
13.25/13.30 c | 52340 | 625 76775 201350 | 2147483647 52340 36 | 0.018 % |
13.35/13.49 c | 52749 | 625 76775 201350 | 2147483647 52749 36 | 0.018 % |
13.65/13.70 c | 53202 | 625 76775 201350 | 2147483647 53202 36 | 0.017 % |
13.85/13.96 c | 53695 | 625 76775 201350 | 2147483647 53695 36 | 0.017 % |
14.15/14.21 c | 54238 | 625 76775 201350 | 2147483647 54238 36 | 0.015 % |
14.35/14.45 c | 54835 | 625 76775 201350 | 2147483647 54835 36 | 0.016 % |
14.65/14.71 c | 55490 | 625 76775 201350 | 2147483647 55490 36 | 0.016 % |
14.86/15.00 c | 56211 | 625 76775 201350 | 2147483647 56211 36 | 0.016 % |
14.96/15.04 c | 56312 | 625 76775 201350 | 2147483647 56312 36 | 0.016 % |
14.96/15.10 c | 56423 | 625 76775 201350 | 2147483647 56423 36 | 0.016 % |
15.06/15.15 c | 56545 | 625 76775 201350 | 2147483647 56545 36 | 0.016 % |
15.16/15.20 c | 56678 | 625 76775 201350 | 2147483647 56678 36 | 0.001 % |
15.16/15.26 c | 56825 | 625 76775 201350 | 2147483647 56825 36 | 0.000 % |
15.26/15.33 c | 56986 | 625 76775 201350 | 2147483647 56986 36 | 0.016 % |
15.26/15.40 c | 57163 | 625 76775 201350 | 2147483647 57163 36 | 0.017 % |
15.36/15.48 c | 57356 | 625 76775 201350 | 2147483647 57356 36 | 0.016 % |
15.46/15.58 c | 57572 | 625 76775 201350 | 2147483647 57572 36 | 0.016 % |
15.55/15.68 c | 57806 | 625 76775 201350 | 2147483647 57806 36 | 0.000 % |
15.75/15.80 c | 58065 | 625 76775 201350 | 2147483647 58065 36 | 0.016 % |
15.85/15.92 c | 58348 | 625 76775 201350 | 2147483647 58348 37 | 0.000 % |
15.95/16.09 c | 58657 | 625 76775 201350 | 2147483647 58657 37 | 0.000 % |
16.15/16.26 c | 58998 | 625 76775 201350 | 2147483647 58998 37 | 0.016 % |
16.36/16.49 c | 59373 | 625 76775 201350 | 2147483647 59373 37 | 0.016 % |
16.65/16.73 c | 59784 | 625 76775 201350 | 2147483647 59784 37 | 0.016 % |
16.95/17.01 c | 60236 | 625 76775 201350 | 2147483647 60236 37 | 0.016 % |
17.15/17.27 c | 60730 | 625 76775 201350 | 2147483647 60730 37 | 0.016 % |
17.46/17.54 c | 61272 | 625 76775 201350 | 2147483647 61272 37 | 0.000 % |
17.75/17.83 c | 61868 | 625 76775 201350 | 2147483647 61868 37 | 0.016 % |
18.05/18.18 c | 62523 | 625 76775 201350 | 2147483647 62523 37 | 0.000 % |
18.45/18.52 c | 63243 | 625 76775 201350 | 2147483647 63243 37 | 0.000 % |
18.85/18.90 c | 64035 | 625 76775 201350 | 2147483647 64035 37 | 0.000 % |
18.85/18.96 c | 64135 | 625 76775 201350 | 2147483647 64135 37 | 0.000 % |
18.95/19.02 c | 64246 | 625 76775 201350 | 2147483647 64246 37 | 0.000 % |
18.95/19.09 c | 64368 | 625 76775 201350 | 2147483647 64368 37 | 0.001 % |
19.05/19.15 c | 64503 | 625 76775 201350 | 2147483647 64503 37 | 0.017 % |
19.15/19.23 c | 64649 | 625 76775 201350 | 2147483647 64649 37 | 0.000 % |
19.25/19.32 c | 64809 | 625 76775 201350 | 2147483647 64809 37 | 0.000 % |
19.35/19.44 c | 64986 | 625 76775 201350 | 2147483647 64986 37 | 0.016 % |
19.45/19.57 c | 65180 | 625 76775 201350 | 2147483647 65180 37 | 0.016 % |
19.65/19.70 c | 65393 | 625 76775 201350 | 2147483647 65393 37 | 0.000 % |
19.75/19.86 c | 65627 | 625 76775 201350 | 2147483647 65627 37 | 0.016 % |
19.94/20.00 c | 65885 | 625 76775 201350 | 2147483647 65885 37 | 0.016 % |
20.04/20.16 c | 66167 | 625 76775 201350 | 2147483647 66167 37 | 0.016 % |
20.24/20.31 c | 66476 | 625 76775 201350 | 2147483647 66476 37 | 0.016 % |
20.44/20.51 c | 66816 | 625 76775 201350 | 2147483647 66816 37 | 0.016 % |
20.64/20.74 c | 67188 | 625 76775 201350 | 2147483647 67188 37 | 0.016 % |
20.85/20.98 c | 67597 | 625 76775 201350 | 2147483647 67597 37 | 0.016 % |
21.14/21.22 c | 68048 | 625 76775 201350 | 2147483647 68048 37 | 0.000 % |
21.34/21.49 c | 68542 | 625 76775 201350 | 2147483647 68542 37 | 0.000 % |
21.74/21.80 c | 69085 | 625 76775 201350 | 2147483647 69085 38 | 0.000 % |
22.04/22.14 c | 69683 | 625 76775 201350 | 2147483647 69683 38 | 0.000 % |
22.44/22.54 c | 70342 | 625 76775 201350 | 2147483647 70342 38 | 0.000 % |
22.84/22.98 c | 71064 | 625 76775 201350 | 2147483647 71064 38 | 0.016 % |
23.34/23.47 c | 71860 | 625 76775 201350 | 2147483647 71860 38 | 0.000 % |
23.94/24.02 c | 72731 | 625 76775 201350 | 2147483647 72731 38 | 0.000 % |
23.94/24.08 c | 72833 | 625 76775 201350 | 2147483647 72833 38 | 0.015 % |
24.04/24.14 c | 72944 | 625 76775 201350 | 2147483647 72944 38 | 0.016 % |
24.14/24.22 c | 73068 | 625 76775 201350 | 2147483647 73068 38 | 0.016 % |
24.14/24.29 c | 73201 | 625 76775 201350 | 2147483647 73201 38 | 0.001 % |
24.24/24.36 c | 73347 | 625 76775 201350 | 2147483647 73347 38 | 0.001 % |
24.34/24.44 c | 73507 | 625 76775 201350 | 2147483647 73507 38 | 0.016 % |
24.44/24.55 c | 73683 | 625 76775 201350 | 2147483647 73683 38 | 0.000 % |
24.54/24.68 c | 73876 | 625 76775 201350 | 2147483647 73876 38 | 0.028 % |
24.74/24.82 c | 74089 | 625 76775 201350 | 2147483647 74089 38 | 0.015 % |
24.84/24.95 c | 74325 | 625 76775 201350 | 2147483647 74325 38 | 0.001 % |
25.05/25.11 c | 74582 | 625 76775 201350 | 2147483647 74582 39 | 0.000 % |
25.25/25.31 c | 74863 | 625 76775 201350 | 2147483647 74863 39 | 0.000 % |
25.45/25.55 c | 75172 | 625 76775 201350 | 2147483647 75172 39 | 0.016 % |
25.65/25.79 c | 75513 | 625 76775 201350 | 2147483647 75513 39 | 0.016 % |
25.94/26.02 c | 75885 | 625 76775 201350 | 2147483647 75885 39 | 0.000 % |
26.14/26.24 c | 76294 | 625 76775 201350 | 2147483647 76294 39 | 0.000 % |
26.44/26.51 c | 76743 | 625 76775 201350 | 2147483647 76743 39 | 0.015 % |
26.74/26.86 c | 77237 | 625 76775 201350 | 2147483647 77237 39 | 0.015 % |
27.14/27.25 c | 77779 | 625 76775 201350 | 2147483647 77779 39 | 0.015 % |
27.54/27.60 c | 78377 | 625 76775 201350 | 2147483647 78377 39 | 0.016 % |
27.84/28.00 c | 79034 | 625 76775 201350 | 2147483647 79034 38 | 0.016 % |
28.34/28.41 c | 79755 | 625 76775 201350 | 2147483647 79755 39 | 0.001 % |
28.84/28.94 c | 80547 | 625 76775 201350 | 2147483647 80547 39 | 0.016 % |
29.43/29.59 c | 81418 | 625 76775 201350 | 2147483647 81418 39 | 0.000 % |
30.24/30.31 c | 82379 | 625 76775 201350 | 2147483647 82379 39 | 0.001 % |
30.24/30.39 c | 82479 | 625 76775 201350 | 2147483647 82479 39 | 0.016 % |
30.34/30.47 c | 82589 | 625 76775 201350 | 2147483647 82589 39 | 0.016 % |
30.44/30.53 c | 82710 | 625 76775 201350 | 2147483647 82710 39 | 0.000 % |
30.54/30.62 c | 82846 | 625 76775 201350 | 2147483647 82846 39 | 0.000 % |
30.65/30.74 c | 82992 | 625 76775 201350 | 2147483647 82992 39 | 0.016 % |
30.75/30.88 c | 83153 | 625 76775 201350 | 2147483647 83153 39 | 0.016 % |
30.94/31.01 c | 83331 | 625 76775 201350 | 2147483647 83331 39 | 0.016 % |
31.04/31.15 c | 83527 | 625 76775 201350 | 2147483647 83527 39 | 0.016 % |
31.24/31.33 c | 83741 | 625 76775 201350 | 2147483647 83741 39 | 0.000 % |
31.34/31.46 c | 83975 | 625 76775 201350 | 2147483647 83975 39 | 0.000 % |
31.54/31.63 c | 84231 | 625 76775 201350 | 2147483647 84231 39 | 0.016 % |
31.75/31.82 c | 84514 | 625 76775 201350 | 2147483647 84514 39 | 0.016 % |
31.94/32.08 c | 84823 | 625 76775 201350 | 2147483647 84823 39 | 0.000 % |
32.24/32.33 c | 85163 | 625 76775 201350 | 2147483647 85163 39 | 0.001 % |
32.54/32.66 c | 85537 | 625 76775 201350 | 2147483647 85537 39 | 0.015 % |
32.84/32.94 c | 85946 | 625 76775 201350 | 2147483647 85946 39 | 0.001 % |
33.14/33.25 c | 86395 | 625 76775 201350 | 2147483647 86395 39 | 0.000 % |
33.54/33.65 c | 86891 | 625 76775 201350 | 2147483647 86891 39 | 0.016 % |
33.94/34.03 c | 87433 | 625 76775 201350 | 2147483647 87433 39 | 0.016 % |
34.34/34.50 c | 88029 | 625 76775 201350 | 2147483647 88029 39 | 0.016 % |
34.84/34.90 c | 88684 | 625 76775 201350 | 2147483647 88684 39 | 0.000 % |
35.44/35.51 c | 89410 | 625 76775 201350 | 2147483647 89410 39 | 0.016 % |
36.04/36.17 c | 90203 | 625 76775 201350 | 90001 90203 39 | 0.000 % |
36.84/36.92 c | 91077 | 625 76775 201350 | 90001 81735 39 | 0.016 % |
37.44/37.59 c | 92035 | 625 76775 201350 | 90001 82693 40 | 0.000 % |
38.34/38.43 c | 93090 | 625 76775 201350 | 90001 83748 40 | 0.000 % |
38.44/38.52 c | 93191 | 625 76775 201350 | 90001 83849 40 | 0.000 % |
38.53/38.63 c | 93304 | 625 76775 201350 | 90001 83962 40 | 0.000 % |
38.63/38.71 c | 93425 | 625 76775 201350 | 90001 84083 40 | 0.001 % |
38.73/38.83 c | 93563 | 625 76775 201350 | 90001 84221 40 | 0.015 % |
38.83/38.96 c | 93709 | 625 76775 201350 | 90001 84367 40 | 0.001 % |
38.93/39.09 c | 93871 | 625 76775 201350 | 90001 84529 40 | 0.000 % |
39.13/39.24 c | 94048 | 625 76775 201350 | 90001 84706 40 | 0.016 % |
39.33/39.40 c | 94241 | 625 76775 201350 | 90001 84899 40 | 0.000 % |
39.43/39.58 c | 94453 | 625 76775 201350 | 90001 85111 40 | 0.016 % |
39.63/39.78 c | 94686 | 625 76775 201350 | 90001 85344 40 | 0.016 % |
39.83/39.98 c | 94942 | 625 76775 201350 | 90001 85600 40 | 0.016 % |
40.13/40.24 c | 95223 | 624 76535 200728 | 90001 85880 40 | 0.176 % |
40.43/40.51 c | 95532 | 624 76535 200728 | 90001 86189 40 | 0.176 % |
40.63/40.74 c | 95871 | 624 76535 200728 | 90001 86528 40 | 0.160 % |
40.93/41.06 c | 96243 | 624 76535 200728 | 90001 86900 40 | 0.160 % |
41.33/41.42 c | 96653 | 624 76535 200728 | 90001 87310 40 | 0.160 % |
41.73/41.82 c | 97110 | 624 76535 200728 | 90001 87767 40 | 0.176 % |
42.13/42.20 c | 97605 | 624 76535 200728 | 90001 88262 40 | 0.176 % |
42.53/42.66 c | 98150 | 624 76535 200728 | 90001 88807 40 | 0.176 % |
43.03/43.20 c | 98747 | 624 76535 200728 | 90001 89404 40 | 0.176 % |
43.63/43.74 c | 99403 | 624 76535 200728 | 90001 90060 40 | 0.160 % |
44.33/44.42 c | 100123 | 624 76535 200728 | 80055 70616 40 | 0.178 % |
44.93/45.02 c | 100915 | 624 76535 200728 | 80055 71408 40 | 0.160 % |
45.53/45.68 c | 101789 | 624 76535 200728 | 80055 72282 40 | 0.160 % |
46.23/46.37 c | 102747 | 624 76535 200728 | 80055 73240 40 | 0.175 % |
46.93/47.08 c | 103800 | 624 76535 200728 | 80055 74293 40 | 0.160 % |
47.73/47.83 c | 104958 | 624 76535 200728 | 80055 75451 40 | 0.177 % |
47.73/47.89 c | 105059 | 624 76535 200728 | 80055 75552 40 | 0.177 % |
47.83/47.98 c | 105169 | 624 76535 200728 | 80055 75662 40 | 0.160 % |
47.92/48.07 c | 105292 | 624 76535 200728 | 80055 75785 40 | 0.160 % |
48.02/48.16 c | 105428 | 624 76535 200728 | 80055 75921 40 | 0.175 % |
48.12/48.26 c | 105575 | 624 76535 200728 | 80055 76068 40 | 0.160 % |
48.23/48.35 c | 105736 | 624 76535 200728 | 80055 76229 40 | 0.160 % |
48.33/48.45 c | 105917 | 624 76535 200728 | 80055 76410 40 | 0.160 % |
48.42/48.57 c | 106111 | 624 76535 200728 | 80055 76604 40 | 0.176 % |
48.62/48.74 c | 106323 | 624 76535 200728 | 80055 76816 40 | 0.161 % |
48.82/48.91 c | 106557 | 624 76535 200728 | 80055 77050 40 | 0.176 % |
48.92/49.08 c | 106814 | 624 76535 200728 | 80055 77307 40 | 0.160 % |
49.22/49.35 c | 107097 | 624 76535 200728 | 80055 77590 40 | 0.176 % |
49.52/49.60 c | 107409 | 624 76535 200728 | 80055 77902 40 | 0.160 % |
49.82/49.90 c | 107749 | 624 76535 200728 | 80055 78242 40 | 0.177 % |
50.02/50.19 c | 108123 | 624 76535 200728 | 80055 78616 40 | 0.177 % |
50.32/50.49 c | 108534 | 624 76535 200728 | 80055 79027 40 | 0.177 % |
50.72/50.86 c | 108983 | 624 76535 200728 | 80055 79476 40 | 0.160 % |
51.02/51.18 c | 109477 | 624 76535 200728 | 80055 79970 40 | 0.176 % |
51.52/51.66 c | 110023 | 624 76535 200728 | 71659 71681 40 | 0.188 % |
51.92/52.07 c | 110621 | 624 76535 200728 | 71659 64413 41 | 0.161 % |
52.32/52.45 c | 111276 | 624 76535 200728 | 71659 65068 41 | 0.160 % |
52.82/52.91 c | 111998 | 624 76535 200728 | 71659 65790 41 | 0.176 % |
53.32/53.40 c | 112792 | 624 76535 200728 | 71659 66584 41 | 0.176 % |
53.92/54.03 c | 113664 | 624 76535 200728 | 71659 67456 40 | 0.175 % |
54.52/54.68 c | 114625 | 624 76535 200728 | 71659 68417 40 | 0.176 % |
55.32/55.48 c | 115681 | 624 76535 200728 | 71659 69472 40 | 0.336 % |
56.32/56.45 c | 116839 | 624 76535 200728 | 71659 70630 40 | 0.336 % |
57.42/57.50 c | 118112 | 624 76535 200728 | 71659 71903 40 | 0.320 % |
57.52/57.62 c | 118212 | 624 76535 200728 | 71659 64813 39 | 0.336 % |
57.52/57.70 c | 118322 | 624 76535 200728 | 71659 64923 39 | 0.336 % |
57.72/57.80 c | 118450 | 624 76535 200728 | 71659 65051 39 | 0.336 % |
57.82/57.92 c | 118584 | 624 76535 200728 | 71659 65185 39 | 0.336 % |
57.92/58.00 c | 118733 | 624 76535 200728 | 71659 65334 39 | 0.320 % |
58.02/58.11 c | 118893 | 624 76535 200728 | 71659 65494 39 | 0.336 % |
58.12/58.25 c | 119070 | 624 76535 200728 | 71659 65671 39 | 0.336 % |
58.22/58.38 c | 119263 | 624 76535 200728 | 71659 65864 39 | 0.320 % |
58.42/58.51 c | 119475 | 624 76535 200728 | 71659 66076 39 | 0.335 % |
58.52/58.67 c | 119708 | 624 76535 200728 | 71659 66309 39 | 0.320 % |
58.72/58.86 c | 119964 | 624 76535 200728 | 71659 66565 39 | 0.335 % |
59.02/59.10 c | 120251 | 624 76535 200728 | 2147483647 66852 39 | 0.336 % |
59.22/59.32 c | 120561 | 624 76535 200728 | 2147483647 67162 39 | 0.336 % |
59.51/59.60 c | 120901 | 624 76535 200728 | 2147483647 67502 39 | 0.320 % |
59.71/59.87 c | 121273 | 624 76535 200728 | 2147483647 67874 39 | 0.321 % |
60.01/60.17 c | 121691 | 624 76535 200728 | 2147483647 68292 39 | 0.336 % |
60.32/60.48 c | 122140 | 624 76535 200728 | 2147483647 68741 39 | 0.337 % |
60.61/60.78 c | 122635 | 624 76535 200728 | 2147483647 69236 39 | 0.320 % |
61.01/61.15 c | 123177 | 624 76535 200728 | 2147483647 69778 39 | 0.336 % |
61.42/61.58 c | 123775 | 624 76535 200728 | 2147483647 70376 39 | 0.336 % |
61.91/62.04 c | 124431 | 624 76535 200728 | 2147483647 71032 39 | 0.336 % |
62.31/62.46 c | 125151 | 624 76535 200728 | 2147483647 71752 39 | 0.336 % |
62.91/63.02 c | 125943 | 624 76535 200728 | 2147483647 72544 39 | 0.320 % |
63.51/63.67 c | 126818 | 624 76535 200728 | 2147483647 73419 39 | 0.336 % |
64.31/64.42 c | 127776 | 624 76535 200728 | 2147483647 74377 39 | 0.337 % |
65.11/65.24 c | 128831 | 624 76535 200728 | 2147483647 75432 38 | 0.337 % |
66.01/66.14 c | 129989 | 624 76535 200728 | 2147483647 76590 38 | 0.338 % |
67.01/67.17 c | 131265 | 623 76292 200096 | 2147483647 77850 38 | 0.338 % |
68.01/68.11 c | 132667 | 623 76292 200096 | 2147483647 79252 38 | 0.336 % |
68.11/68.20 c | 132767 | 623 76292 200096 | 2147483647 79352 38 | 0.336 % |
68.11/68.29 c | 132878 | 623 76292 200096 | 2147483647 79463 38 | 0.335 % |
68.21/68.37 c | 132999 | 623 76292 200096 | 2147483647 79584 38 | 0.320 % |
68.31/68.48 c | 133132 | 623 76292 200096 | 2147483647 79717 38 | 0.336 % |
68.41/68.59 c | 133278 | 623 76292 200096 | 2147483647 79863 38 | 0.336 % |
68.61/68.71 c | 133438 | 623 76292 200096 | 2147483647 80023 38 | 0.335 % |
68.71/68.85 c | 133614 | 623 76292 200096 | 2147483647 80199 38 | 0.335 % |
68.91/69.01 c | 133808 | 623 76292 200096 | 2147483647 80393 38 | 0.336 % |
69.11/69.20 c | 134022 | 623 76292 200096 | 2147483647 80607 38 | 0.336 % |
69.21/69.39 c | 134258 | 623 76292 200096 | 2147483647 80843 38 | 0.320 % |
69.51/69.61 c | 134515 | 623 76292 200096 | 2147483647 81100 38 | 0.336 % |
69.61/69.79 c | 134799 | 623 76292 200096 | 2147483647 81384 38 | 0.320 % |
69.91/70.05 c | 135108 | 623 76292 200096 | 2147483647 81693 38 | 0.336 % |
70.21/70.32 c | 135448 | 623 76292 200096 | 2147483647 82033 38 | 0.336 % |
70.51/70.67 c | 135825 | 623 76292 200096 | 2147483647 82410 38 | 0.336 % |
70.92/71.01 c | 136235 | 623 76292 200096 | 2147483647 82820 38 | 0.320 % |
71.22/71.31 c | 136686 | 623 76292 200096 | 2147483647 83271 38 | 0.336 % |
71.52/71.65 c | 137179 | 623 76292 200096 | 2147483647 83764 38 | 0.336 % |
71.92/72.09 c | 137723 | 623 76292 200096 | 2147483647 84308 38 | 0.335 % |
72.42/72.58 c | 138320 | 623 76292 200096 | 2147483647 84905 38 | 0.335 % |
73.02/73.12 c | 138980 | 623 76292 200096 | 2147483647 85565 38 | 0.335 % |
73.52/73.69 c | 139702 | 623 76292 200096 | 2147483647 86287 38 | 0.336 % |
74.31/74.44 c | 140495 | 623 76292 200096 | 86588 77203 36 | 0.320 % |
75.01/75.10 c | 141366 | 623 76292 200096 | 86588 78074 36 | 0.337 % |
75.61/75.71 c | 142324 | 623 76292 200096 | 86588 79032 36 | 0.337 % |
76.31/76.48 c | 143377 | 623 76292 200096 | 86588 80085 36 | 0.338 % |
77.21/77.35 c | 144538 | 623 76292 200096 | 86588 81246 36 | 0.338 % |
78.11/78.21 c | 145813 | 623 76292 200096 | 86588 82521 37 | 0.320 % |
79.12/79.23 c | 147214 | 623 76292 200096 | 86588 83922 37 | 0.336 % |
80.31/80.45 c | 148755 | 623 76292 200096 | 86588 85463 37 | 0.336 % |
80.41/80.55 c | 148857 | 623 76292 200096 | 86588 85565 37 | 0.335 % |
80.51/80.63 c | 148967 | 623 76292 200096 | 86588 85675 37 | 0.335 % |
80.61/80.72 c | 149089 | 623 76292 200096 | 86588 85797 37 | 0.335 % |
80.71/80.83 c | 149222 | 623 76292 200096 | 86588 85930 37 | 0.321 % |
80.81/80.93 c | 149369 | 623 76292 200096 | 86588 86077 37 | 0.320 % |
80.91/81.06 c | 149531 | 623 76292 200096 | 86588 86239 37 | 0.335 % |
81.01/81.19 c | 149707 | 623 76292 200096 | 86588 86415 37 | 0.320 % |
81.22/81.33 c | 149900 | 623 76292 200096 | 86588 86608 37 | 0.336 % |
81.41/81.55 c | 150113 | 623 76292 200096 | 77044 77153 36 | 0.336 % |
81.61/81.78 c | 150347 | 623 76292 200096 | 77044 68760 35 | 0.336 % |
81.81/81.95 c | 150605 | 623 76292 200096 | 77044 69018 35 | 0.337 % |
82.01/82.13 c | 150888 | 623 76292 200096 | 77044 69301 34 | 0.337 % |
82.21/82.33 c | 151197 | 623 76292 200096 | 77044 69610 34 | 0.336 % |
82.41/82.58 c | 151538 | 623 76292 200096 | 77044 69951 34 | 0.336 % |
82.61/82.79 c | 151913 | 623 76292 200096 | 77044 70326 35 | 0.320 % |
82.91/83.03 c | 152322 | 623 76292 200096 | 77044 70735 35 | 0.320 % |
83.21/83.30 c | 152775 | 623 76292 200096 | 77044 71188 35 | 0.335 % |
83.51/83.60 c | 153268 | 623 76292 200096 | 77044 71681 35 | 0.335 % |
83.81/83.97 c | 153810 | 623 76292 200096 | 77044 72223 35 | 0.336 % |
84.31/84.42 c | 154408 | 623 76292 200096 | 77044 72821 35 | 0.336 % |
84.71/84.86 c | 155063 | 623 76292 200096 | 77044 73476 35 | 0.337 % |
85.21/85.37 c | 155784 | 623 76292 200096 | 77044 74197 35 | 0.321 % |
85.81/85.97 c | 156576 | 623 76292 200096 | 77044 74989 35 | 0.335 % |
86.41/86.57 c | 157448 | 623 76292 200096 | 77044 75861 36 | 0.320 % |
87.11/87.27 c | 158408 | 623 76292 200096 | 77044 76821 36 | 0.336 % |
87.81/87.97 c | 159461 | 623 76292 200096 | 77044 70136 35 | 0.336 % |
88.60/88.70 c | 160619 | 623 76292 200096 | 2147483647 71294 35 | 0.336 % |
89.50/89.65 c | 161893 | 623 76292 200096 | 2147483647 72568 34 | 0.336 % |
90.51/90.68 c | 163296 | 623 76292 200096 | 2147483647 73971 34 | 0.336 % |
91.70/91.89 c | 164836 | 623 76292 200096 | 2147483647 75511 34 | 0.336 % |
93.00/93.17 c | 166532 | 623 76292 200096 | 2147483647 77207 34 | 0.339 % |
93.10/93.24 c | 166632 | 623 76292 200096 | 2147483647 77307 34 | 0.320 % |
93.20/93.33 c | 166742 | 623 76292 200096 | 2147483647 77417 34 | 0.336 % |
93.31/93.43 c | 166865 | 623 76292 200096 | 2147483647 77540 34 | 0.336 % |
93.40/93.53 c | 166998 | 623 76292 200096 | 2147483647 77673 34 | 0.336 % |
93.50/93.65 c | 167145 | 623 76292 200096 | 2147483647 77820 34 | 0.336 % |
93.60/93.76 c | 167305 | 623 76292 200096 | 2147483647 77980 34 | 0.336 % |
93.80/93.90 c | 167483 | 623 76292 200096 | 2147483647 78158 34 | 0.337 % |
93.90/94.05 c | 167678 | 623 76292 200096 | 2147483647 78353 34 | 0.337 % |
94.10/94.20 c | 167890 | 623 76292 200096 | 2147483647 78565 34 | 0.336 % |
94.20/94.38 c | 168123 | 623 76292 200096 | 2147483647 78798 34 | 0.336 % |
94.40/94.52 c | 168379 | 623 76292 200096 | 2147483647 79054 34 | 0.336 % |
94.60/94.74 c | 168664 | 623 76292 200096 | 2147483647 79339 34 | 0.336 % |
94.80/95.00 c | 168975 | 623 76292 200096 | 2147483647 79650 34 | 0.337 % |
95.10/95.22 c | 169314 | 623 76292 200096 | 2147483647 79989 34 | 0.336 % |
95.30/95.47 c | 169687 | 623 76292 200096 | 2147483647 80362 34 | 0.336 % |
95.70/95.88 c | 170096 | 623 76292 200096 | 2147483647 80771 34 | 0.337 % |
96.00/96.19 c | 170545 | 623 76292 200096 | 2147483647 81220 34 | 0.320 % |
96.40/96.52 c | 171038 | 623 76292 200096 | 2147483647 81713 35 | 0.320 % |
96.80/96.93 c | 171584 | 623 76292 200096 | 2147483647 82259 35 | 0.320 % |
97.30/97.46 c | 172183 | 623 76292 200096 | 2147483647 82858 35 | 0.320 % |
97.80/97.98 c | 172838 | 623 76292 200096 | 2147483647 83513 35 | 0.321 % |
98.50/98.60 c | 173558 | 623 76292 200096 | 2147483647 84233 35 | 0.335 % |
99.10/99.25 c | 174350 | 623 76292 200096 | 2147483647 85025 36 | 0.320 % |
99.90/100.03 c | 175221 | 623 76292 200096 | 2147483647 85896 35 | 0.336 % |
100.69/100.82 c | 176179 | 623 76292 200096 | 2147483647 86854 35 | 0.336 % |
101.59/101.74 c | 177233 | 623 76292 200096 | 2147483647 87908 35 | 0.337 % |
102.49/102.62 c | 178395 | 623 76292 200096 | 2147483647 89070 35 | 0.338 % |
103.49/103.62 c | 179670 | 623 76292 200096 | 2147483647 90345 35 | 0.339 % |
104.69/104.88 c | 181070 | 623 76292 200096 | 90676 79974 34 | 0.336 % |
105.99/106.11 c | 182611 | 623 76292 200096 | 90676 81515 35 | 0.320 % |
107.19/107.38 c | 184305 | 623 76292 200096 | 90676 83209 35 | 0.336 % |
108.99/109.10 c | 186168 | 623 76292 200096 | 90676 85072 35 | 0.320 % |
109.09/109.21 c | 186268 | 623 76292 200096 | 90676 85172 35 | 0.336 % |
109.19/109.32 c | 186379 | 623 76292 200096 | 90676 85283 35 | 0.337 % |
109.29/109.42 c | 186500 | 623 76292 200096 | 90676 85404 35 | 0.337 % |
109.39/109.52 c | 186639 | 623 76292 200096 | 90676 85543 35 | 0.320 % |
109.49/109.62 c | 186786 | 623 76292 200096 | 90676 85690 35 | 0.320 % |
109.59/109.76 c | 186947 | 623 76292 200096 | 90676 85851 35 | 0.336 % |
109.80/109.92 c | 187126 | 623 76292 200096 | 90676 86030 35 | 0.336 % |
109.90/110.07 c | 187320 | 623 76292 200096 | 90676 86224 35 | 0.336 % |
110.09/110.25 c | 187534 | 623 76292 200096 | 90676 86438 35 | 0.336 % |
110.29/110.44 c | 187767 | 623 76292 200096 | 90676 86671 35 | 0.320 % |
110.49/110.65 c | 188024 | 623 76292 200096 | 90676 86928 36 | 0.336 % |
110.69/110.89 c | 188305 | 623 76292 200096 | 90676 87209 36 | 0.320 % |
110.99/111.14 c | 188615 | 623 76292 200096 | 90676 87519 36 | 0.336 % |
111.29/111.44 c | 188955 | 623 76292 200096 | 90676 87859 36 | 0.336 % |
111.59/111.78 c | 189327 | 623 76292 200096 | 90676 88231 36 | 0.336 % |
111.99/112.16 c | 189739 | 623 76292 200096 | 90676 88643 36 | 0.336 % |
112.29/112.50 c | 190188 | 623 76292 200096 | 88904 89092 36 | 0.335 % |
112.79/112.95 c | 190681 | 623 76292 200096 | 88904 77168 36 | 0.320 % |
113.19/113.33 c | 191231 | 623 76292 200096 | 88904 77718 36 | 0.320 % |
113.59/113.76 c | 191827 | 623 76292 200096 | 88904 78314 36 | 0.335 % |
114.19/114.33 c | 192482 | 623 76292 200096 | 88904 78969 36 | 0.336 % |
114.89/115.01 c | 193202 | 623 76292 200096 | 88904 79689 36 | 0.336 % |
115.59/115.73 c | 193998 | 623 76292 200096 | 88904 80485 36 | 0.336 % |
116.29/116.44 c | 194869 | 623 76292 200096 | 88904 81356 36 | 0.336 % |
117.08/117.28 c | 195830 | 623 76292 200096 | 88904 82317 36 | 0.337 % |
118.08/118.22 c | 196885 | 623 76292 200096 | 88904 83372 36 | 0.337 % |
119.18/119.36 c | 198048 | 623 76292 200096 | 88904 84535 37 | 0.337 % |
120.38/120.54 c | 199322 | 623 76292 200096 | 88904 85809 37 | 0.321 % |
121.78/121.92 c | 200722 | 623 76292 200096 | 86491 73490 38 | 0.336 % |
123.28/123.40 c | 202263 | 623 76292 200096 | 86491 75031 38 | 0.336 % |
124.98/125.18 c | 203959 | 623 76292 200096 | 86491 76727 38 | 0.336 % |
126.68/126.83 c | 205822 | 623 76292 200096 | 86491 78590 38 | 0.336 % |
128.48/128.63 c | 207871 | 623 76292 200096 | 86491 80639 38 | 0.336 % |
128.58/128.74 c | 207973 | 623 76292 200096 | 86491 80741 38 | 0.336 % |
128.68/128.85 c | 208083 | 623 76292 200096 | 86491 80851 38 | 0.337 % |
128.78/128.95 c | 208204 | 623 76292 200096 | 86491 80972 38 | 0.320 % |
128.88/129.07 c | 208341 | 623 76292 200096 | 86491 81109 38 | 0.321 % |
129.08/129.22 c | 208489 | 623 76292 200096 | 86491 81257 38 | 0.321 % |
129.18/129.36 c | 208649 | 623 76292 200096 | 86491 81417 38 | 0.336 % |
129.38/129.54 c | 208828 | 623 76292 200096 | 86491 81596 38 | 0.336 % |
129.58/129.73 c | 209024 | 623 76292 200096 | 86491 81792 38 | 0.336 % |
129.78/129.94 c | 209237 | 623 76292 200096 | 86491 82005 38 | 0.320 % |
129.98/130.17 c | 209471 | 623 76292 200096 | 86491 82239 38 | 0.336 % |
130.28/130.45 c | 209728 | 623 76292 200096 | 86491 82496 38 | 0.320 % |
130.68/130.80 c | 210014 | 623 76292 200096 | 82769 82782 38 | 0.337 % |
130.98/131.15 c | 210323 | 623 76292 200096 | 82769 68514 37 | 0.320 % |
131.28/131.44 c | 210669 | 623 76292 200096 | 82769 68860 37 | 0.320 % |
131.58/131.71 c | 211041 | 623 76292 200096 | 82769 69232 37 | 0.336 % |
131.88/132.03 c | 211451 | 623 76292 200096 | 82769 69642 37 | 0.320 % |
132.18/132.38 c | 211904 | 623 76292 200096 | 82769 70095 37 | 0.320 % |
132.68/132.82 c | 212399 | 623 76292 200096 | 82769 70590 37 | 0.337 % |
133.18/133.32 c | 212941 | 623 76292 200096 | 82769 71132 37 | 0.336 % |
133.78/133.90 c | 213537 | 623 76292 200096 | 82769 71728 37 | 0.337 % |
134.28/134.45 c | 214193 | 623 76292 200096 | 82769 72384 37 | 0.320 % |
134.87/135.05 c | 214913 | 623 76292 200096 | 82769 73104 37 | 0.320 % |
135.57/135.75 c | 215705 | 623 76292 200096 | 82769 73896 37 | 0.320 % |
136.28/136.45 c | 216576 | 623 76292 200096 | 82769 74767 37 | 0.337 % |
136.97/137.17 c | 217536 | 623 76292 200096 | 82769 75727 38 | 0.320 % |
137.87/138.07 c | 218593 | 623 76292 200096 | 82769 76784 39 | 0.320 % |
139.07/139.21 c | 219751 | 623 76292 200096 | 82769 77942 39 | 0.320 % |
140.17/140.39 c | 221026 | 623 76292 200096 | 78192 66433 39 | 0.335 % |
141.27/141.48 c | 222429 | 623 76292 200096 | 78192 67836 40 | 0.320 % |
142.78/142.97 c | 223969 | 623 76292 200096 | 78192 69376 41 | 0.320 % |
144.57/144.77 c | 225664 | 623 76292 200096 | 78192 71071 41 | 0.320 % |
146.37/146.56 c | 227527 | 623 76292 200096 | 78192 72934 41 | 0.335 % |
148.17/148.39 c | 229576 | 623 76292 200096 | 78192 74983 42 | 0.320 % |
150.57/150.76 c | 231830 | 623 76292 200096 | 75407 63414 42 | 0.320 % |
150.67/150.88 c | 231933 | 623 76292 200096 | 75407 63517 42 | 0.336 % |
150.77/150.99 c | 232044 | 623 76292 200096 | 75407 63628 42 | 0.335 % |
150.87/151.09 c | 232166 | 623 76292 200096 | 75407 63750 43 | 0.320 % |
151.07/151.22 c | 232302 | 623 76292 200096 | 75407 63886 43 | 0.320 % |
151.17/151.34 c | 232448 | 623 76292 200096 | 75407 64032 43 | 0.336 % |
151.27/151.47 c | 232612 | 623 76292 200096 | 75407 64196 43 | 0.320 % |
151.47/151.62 c | 232789 | 623 76292 200096 | 75407 64373 43 | 0.336 % |
151.57/151.78 c | 232982 | 623 76292 200096 | 75407 64566 43 | 0.335 % |
151.77/151.99 c | 233196 | 623 76292 200096 | 75407 64780 43 | 0.335 % |
151.97/152.16 c | 233430 | 623 76292 200096 | 75407 65014 43 | 0.336 % |
152.17/152.38 c | 233693 | 623 76292 200096 | 75407 65277 42 | 0.335 % |
152.47/152.62 c | 233979 | 623 76292 200096 | 75407 65563 42 | 0.336 % |
152.67/152.86 c | 234291 | 623 76292 200096 | 75407 65875 42 | 0.336 % |
152.97/153.10 c | 234630 | 623 76292 200096 | 75407 66214 42 | 0.337 % |
153.27/153.44 c | 235002 | 623 76292 200096 | 75407 66586 42 | 0.337 % |
153.67/153.84 c | 235412 | 623 76292 200096 | 75407 66996 43 | 0.320 % |
154.07/154.29 c | 235863 | 623 76292 200096 | 75407 67447 42 | 0.336 % |
154.57/154.75 c | 236356 | 623 76292 200096 | 75407 67940 42 | 0.336 % |
154.97/155.20 c | 236899 | 623 76292 200096 | 75407 68483 42 | 0.336 % |
155.57/155.73 c | 237495 | 623 76292 200096 | 75407 69079 42 | 0.337 % |
156.17/156.33 c | 238152 | 623 76292 200096 | 75407 69736 42 | 0.336 % |
156.87/157.03 c | 238873 | 623 76292 200096 | 75407 70457 42 | 0.336 % |
157.67/157.85 c | 239667 | 623 76292 200096 | 75407 71251 42 | 0.337 % |
158.57/158.78 c | 240538 | 623 76292 200096 | 71585 59010 42 | 0.336 % |
159.46/159.65 c | 241496 | 623 76292 200096 | 71585 59968 43 | 0.320 % |
160.37/160.59 c | 242549 | 623 76292 200096 | 71585 61021 43 | 0.320 % |
161.57/161.75 c | 243709 | 623 76292 200096 | 71585 62181 44 | 0.320 % |
162.76/162.90 c | 244986 | 623 76292 200096 | 71585 63458 44 | 0.336 % |
164.26/164.47 c | 246387 | 623 76292 200096 | 71585 64859 43 | 0.336 % |
165.97/166.16 c | 247927 | 623 76292 200096 | 71585 66399 43 | 0.337 % |
167.86/168.04 c | 249622 | 623 76292 200096 | 71585 68094 43 | 0.337 % |
169.96/170.15 c | 251488 | 623 76292 200096 | 68472 56835 43 | 0.337 % |
171.66/171.85 c | 253539 | 623 76292 200096 | 68472 58886 43 | 0.336 % |
173.66/173.80 c | 255792 | 623 76292 200096 | 68472 61139 44 | 0.320 % |
175.96/176.16 c | 258270 | 623 76292 200096 | 68472 63617 44 | 0.320 % |
176.06/176.25 c | 258371 | 623 76292 200096 | 68472 63718 44 | 0.320 % |
176.16/176.34 c | 258483 | 623 76292 200096 | 68472 63830 44 | 0.335 % |
176.26/176.45 c | 258604 | 623 76292 200096 | 68472 63951 44 | 0.335 % |
176.36/176.56 c | 258741 | 623 76292 200096 | 68472 64088 44 | 0.335 % |
176.46/176.69 c | 258887 | 623 76292 200096 | 68472 64234 44 | 0.336 % |
176.65/176.86 c | 259048 | 623 76292 200096 | 68472 64395 44 | 0.320 % |
176.86/177.04 c | 259224 | 623 76292 200096 | 68472 64571 44 | 0.320 % |
177.05/177.25 c | 259419 | 623 76292 200096 | 68472 64766 44 | 0.336 % |
177.35/177.52 c | 259635 | 623 76292 200096 | 68472 64982 44 | 0.336 % |
177.55/177.78 c | 259869 | 623 76292 200096 | 68472 65216 44 | 0.336 % |
177.85/178.02 c | 260125 | 623 76292 200096 | 65347 65472 44 | 0.336 % |
178.15/178.34 c | 260408 | 623 76292 200096 | 65347 53802 42 | 0.336 % |
178.35/178.59 c | 260717 | 623 76292 200096 | 65347 54111 41 | 0.335 % |
178.75/178.93 c | 261057 | 623 76292 200096 | 65347 54451 41 | 0.337 % |
179.06/179.22 c | 261429 | 623 76292 200096 | 65347 54823 42 | 0.320 % |
179.45/179.65 c | 261839 | 623 76292 200096 | 65347 55233 42 | 0.336 % |
179.85/180.04 c | 262289 | 623 76292 200096 | 65347 55683 42 | 0.337 % |
180.35/180.51 c | 262783 | 623 76292 200096 | 65347 56177 42 | 0.320 % |
180.85/181.05 c | 263326 | 623 76292 200096 | 65347 56720 42 | 0.337 % |
181.36/181.55 c | 263926 | 623 76292 200096 | 65347 57320 41 | 0.336 % |
181.95/182.12 c | 264584 | 623 76292 200096 | 65347 57978 41 | 0.336 % |
182.55/182.74 c | 265305 | 623 76292 200096 | 65347 58699 42 | 0.320 % |
183.25/183.41 c | 266097 | 623 76292 200096 | 65347 59491 42 | 0.336 % |
184.05/184.21 c | 266968 | 623 76292 200096 | 65347 60362 42 | 0.320 % |
184.95/185.16 c | 267926 | 623 76292 200096 | 65347 61320 42 | 0.320 % |
185.95/186.10 c | 268979 | 623 76292 200096 | 65347 62373 42 | 0.336 % |
186.95/187.18 c | 270137 | 623 76292 200096 | 63396 63531 42 | 0.337 % |
188.15/188.33 c | 271413 | 623 76292 200096 | 63396 54015 37 | 0.337 % |
189.25/189.44 c | 272814 | 623 76292 200096 | 63396 55416 37 | 0.338 % |
190.55/190.75 c | 274354 | 623 76292 200096 | 63396 56956 37 | 0.338 % |
191.95/192.17 c | 276048 | 623 76292 200096 | 63396 58650 37 | 0.338 % |
193.35/193.57 c | 277913 | 623 76292 200096 | 63396 60515 39 | 0.320 % |
195.15/195.37 c | 279964 | 623 76292 200096 | 63396 62566 39 | 0.321 % |
197.05/197.28 c | 282217 | 623 76292 200096 | 62605 55118 38 | 0.320 % |
199.35/199.50 c | 284699 | 623 76292 200096 | 62605 57600 38 | 0.338 % |
202.05/202.20 c | 287425 | 623 76292 200096 | 62605 60326 38 | 0.338 % |
202.05/202.30 c | 287525 | 623 76292 200096 | 62605 60426 38 | 0.338 % |
202.15/202.40 c | 287635 | 623 76292 200096 | 62605 60536 38 | 0.320 % |
202.35/202.50 c | 287757 | 623 76292 200096 | 62605 60658 38 | 0.320 % |
202.45/202.61 c | 287890 | 623 76292 200096 | 62605 60791 38 | 0.337 % |
202.55/202.75 c | 288037 | 623 76292 200096 | 62605 60938 38 | 0.321 % |
202.65/202.86 c | 288197 | 623 76292 200096 | 62605 61098 39 | 0.320 % |
202.85/203.03 c | 288375 | 623 76292 200096 | 62605 61276 39 | 0.336 % |
202.95/203.19 c | 288568 | 623 76292 200096 | 62605 61469 39 | 0.321 % |
203.15/203.40 c | 288780 | 623 76292 200096 | 62605 61681 39 | 0.320 % |
203.36/203.58 c | 289013 | 623 76292 200096 | 62605 61914 39 | 0.321 % |
203.65/203.81 c | 289269 | 623 76292 200096 | 62605 62170 39 | 0.320 % |
203.95/204.14 c | 289550 | 623 76292 200096 | 62605 62451 39 | 0.321 % |
204.25/204.40 c | 289859 | 623 76292 200096 | 62605 62760 39 | 0.320 % |
204.55/204.72 c | 290201 | 623 76292 200096 | 53301 53499 38 | 0.321 % |
204.85/205.02 c | 290575 | 623 76292 200096 | 53301 45803 37 | 0.336 % |
205.15/205.31 c | 290984 | 623 76292 200096 | 53301 46212 37 | 0.320 % |
205.35/205.60 c | 291434 | 623 76292 200096 | 53301 46662 37 | 0.320 % |
205.75/205.97 c | 291929 | 623 76292 200096 | 53301 47157 37 | 0.321 % |
206.15/206.39 c | 292471 | 623 76292 200096 | 53301 47699 37 | 0.336 % |
206.75/206.90 c | 293073 | 623 76292 200096 | 53301 48301 37 | 0.336 % |
207.25/207.40 c | 293728 | 623 76292 200096 | 53301 48956 38 | 0.320 % |
207.75/207.94 c | 294450 | 623 76292 200096 | 53301 49678 38 | 0.321 % |
208.35/208.58 c | 295247 | 623 76292 200096 | 53301 50475 38 | 0.337 % |
209.05/209.27 c | 296121 | 623 76292 200096 | 53301 51349 38 | 0.320 % |
209.75/209.99 c | 297082 | 623 76292 200096 | 53301 52310 38 | 0.337 % |
210.55/210.77 c | 298137 | 623 76292 200096 | 53301 53365 39 | 0.320 % |
211.35/211.59 c | 299296 | 623 76292 200096 | 53301 48026 39 | 0.320 % |
212.45/212.60 c | 300571 | 623 76292 200096 | 48732 43434 40 | 0.336 % |
213.55/213.76 c | 301972 | 623 76292 200096 | 48732 44835 40 | 0.320 % |
214.94/215.14 c | 303514 | 623 76292 200096 | 48732 46377 40 | 0.320 % |
216.04/216.26 c | 305208 | 623 76292 200096 | 48732 48071 42 | 0.320 % |
217.65/217.80 c | 307073 | 623 76292 200096 | 48732 43758 41 | 0.320 % |
219.34/219.58 c | 309122 | 623 76292 200096 | 48732 45807 42 | 0.320 % |
221.44/221.62 c | 311376 | 623 76292 200096 | 46685 42029 42 | 0.320 % |
223.44/223.65 c | 313854 | 623 76292 200096 | 46685 44507 42 | 0.337 % |
225.54/225.77 c | 316581 | 623 76292 200096 | 46685 41170 41 | 0.337 % |
227.74/227.95 c | 319578 | 623 76292 200096 | 46685 44167 44 | 0.320 % |
227.84/228.04 c | 319678 | 623 76292 200096 | 46685 44267 44 | 0.320 % |
227.94/228.13 c | 319788 | 623 76292 200096 | 46685 44377 44 | 0.320 % |
228.04/228.20 c | 319911 | 623 76292 200096 | 46685 44500 44 | 0.320 % |
228.04/228.29 c | 320045 | 623 76292 200096 | 44590 44634 44 | 0.320 % |
228.24/228.44 c | 320193 | 623 76292 200096 | 44590 38991 43 | 0.320 % |
228.34/228.57 c | 320353 | 623 76292 200096 | 44590 39151 43 | 0.320 % |
228.44/228.69 c | 320531 | 623 76292 200096 | 44590 39329 43 | 0.338 % |
228.65/228.85 c | 320724 | 623 76292 200096 | 44590 39522 43 | 0.320 % |
228.74/228.99 c | 320936 | 623 76292 200096 | 44590 39734 43 | 0.336 % |
228.94/229.15 c | 321169 | 623 76292 200096 | 44590 39967 43 | 0.336 % |
229.14/229.32 c | 321425 | 623 76292 200096 | 44590 40223 43 | 0.336 % |
229.34/229.53 c | 321706 | 623 76292 200096 | 44590 40504 43 | 0.337 % |
229.54/229.74 c | 322016 | 623 76292 200096 | 44590 40814 43 | 0.336 % |
229.75/229.97 c | 322356 | 623 76292 200096 | 44590 41154 43 | 0.321 % |
230.04/230.24 c | 322729 | 623 76292 200096 | 44590 41527 43 | 0.339 % |
230.34/230.55 c | 323140 | 623 76292 200096 | 44590 41938 43 | 0.339 % |
230.74/230.94 c | 323590 | 623 76292 200096 | 44590 42388 43 | 0.339 % |
231.14/231.32 c | 324086 | 623 76292 200096 | 44590 42884 43 | 0.320 % |
231.64/231.83 c | 324629 | 623 76292 200096 | 44590 43427 44 | 0.320 % |
232.14/232.36 c | 325226 | 623 76292 200096 | 44590 44024 44 | 0.320 % |
232.74/232.98 c | 325881 | 623 76292 200096 | 44590 44679 43 | 0.336 % |
233.34/233.54 c | 326601 | 623 76292 200096 | 44590 40124 42 | 0.336 % |
233.94/234.12 c | 327395 | 623 76292 200096 | 44590 40918 41 | 0.336 % |
234.64/234.86 c | 328266 | 623 76292 200096 | 44590 41789 42 | 0.336 % |
235.44/235.67 c | 329226 | 623 76292 200096 | 44590 42749 42 | 0.336 % |
236.24/236.44 c | 330279 | 623 76292 200096 | 43523 38983 39 | 0.337 % |
237.04/237.21 c | 331438 | 623 76292 200096 | 43523 40142 39 | 0.338 % |
237.94/238.13 c | 332720 | 623 76292 200096 | 43523 41424 39 | 0.339 % |
238.94/239.15 c | 334120 | 623 76292 200096 | 43523 42824 38 | 0.340 % |
240.14/240.38 c | 335661 | 623 76292 200096 | 43523 39985 36 | 0.321 % |
241.24/241.45 c | 337356 | 623 76292 200096 | 43523 41680 36 | 0.336 % |
242.44/242.64 c | 339219 | 623 76292 200096 | 43523 43543 36 | 0.336 % |
243.94/244.13 c | 341268 | 623 76292 200096 | 2147483647 41238 36 | 0.336 % |
245.53/245.78 c | 343524 | 623 76292 200096 | 2147483647 43494 36 | 0.336 % |
247.03/247.27 c | 346004 | 623 76292 200096 | 2147483647 45974 38 | 0.321 % |
249.03/249.25 c | 348730 | 623 76292 200096 | 2147483647 48700 40 | 0.321 % |
251.14/251.39 c | 351728 | 623 76292 200096 | 2147483647 51698 40 | 0.321 % |
253.64/253.82 c | 355024 | 623 76292 200096 | 2147483647 54994 40 | 0.337 % |
253.74/253.91 c | 355124 | 623 76292 200096 | 2147483647 55094 40 | 0.320 % |
253.84/254.05 c | 355234 | 623 76292 200096 | 2147483647 55204 40 | 0.321 % |
253.94/254.14 c | 355359 | 623 76292 200096 | 2147483647 55329 40 | 0.337 % |
254.04/254.27 c | 355492 | 623 76292 200096 | 2147483647 55462 40 | 0.336 % |
254.24/254.43 c | 355643 | 623 76292 200096 | 2147483647 55613 40 | 0.336 % |
254.34/254.57 c | 355805 | 623 76292 200096 | 2147483647 55775 40 | 0.337 % |
254.54/254.71 c | 355982 | 623 76292 200096 | 2147483647 55952 40 | 0.337 % |
254.64/254.84 c | 356178 | 623 76292 200096 | 2147483647 56148 40 | 0.337 % |
254.84/255.01 c | 356393 | 623 76292 200096 | 2147483647 56363 40 | 0.337 % |
254.94/255.18 c | 356635 | 623 76292 200096 | 2147483647 56605 40 | 0.336 % |
255.14/255.39 c | 356893 | 623 76292 200096 | 2147483647 56863 40 | 0.336 % |
255.44/255.63 c | 357175 | 623 76292 200096 | 2147483647 57145 39 | 0.338 % |
255.64/255.83 c | 357486 | 623 76292 200096 | 2147483647 57456 39 | 0.338 % |
255.94/256.12 c | 357829 | 623 76292 200096 | 2147483647 57799 39 | 0.337 % |
256.24/256.41 c | 358201 | 623 76292 200096 | 2147483647 58171 39 | 0.337 % |
256.54/256.73 c | 358613 | 623 76292 200096 | 2147483647 58583 39 | 0.320 % |
256.94/257.15 c | 359064 | 623 76292 200096 | 2147483647 59034 39 | 0.337 % |
257.34/257.51 c | 359558 | 623 76292 200096 | 2147483647 59528 39 | 0.321 % |
257.74/257.93 c | 360100 | 623 76292 200096 | 59972 60070 40 | 0.320 % |
258.24/258.41 c | 360698 | 623 76292 200096 | 59972 52973 37 | 0.336 % |
258.74/258.91 c | 361354 | 623 76292 200096 | 59972 53629 37 | 0.336 % |
259.24/259.45 c | 362074 | 623 76292 200096 | 59972 54349 37 | 0.336 % |
259.94/260.18 c | 362870 | 623 76292 200096 | 59972 55145 38 | 0.320 % |
260.64/260.84 c | 363743 | 623 76292 200096 | 59972 56018 38 | 0.320 % |
261.54/261.75 c | 364702 | 623 76292 200096 | 59972 56977 38 | 0.336 % |
262.44/262.62 c | 365755 | 623 76292 200096 | 59972 58030 38 | 0.321 % |
263.43/263.66 c | 366913 | 623 76292 200096 | 59972 59188 38 | 0.321 % |
264.63/264.87 c | 368186 | 623 76292 200096 | 59972 52003 38 | 0.336 % |
265.94/266.19 c | 369587 | 623 76292 200096 | 59972 53404 38 | 0.337 % |
267.23/267.43 c | 371129 | 623 76292 200096 | 53817 47117 40 | 0.320 % |
268.63/268.81 c | 372825 | 623 76292 200096 | 53817 48813 39 | 0.338 % |
270.13/270.38 c | 374689 | 623 76292 200096 | 53817 50677 39 | 0.338 % |
271.93/272.13 c | 376738 | 623 76292 200096 | 53817 52726 39 | 0.338 % |
274.03/274.20 c | 378992 | 622 76046 199454 | 53817 39365 37 | 0.497 % |
275.53/275.76 c | 381470 | 622 76046 199454 | 40374 36435 34 | 0.497 % |
277.33/277.59 c | 384196 | 622 76046 199454 | 40374 39161 35 | 0.496 % |
279.43/279.65 c | 387195 | 622 76046 199454 | 40374 38098 34 | 0.497 % |
281.53/281.75 c | 390492 | 622 76046 199454 | 2147483647 37339 34 | 0.497 % |
283.93/284.18 c | 394117 | 622 76046 199454 | 2147483647 40964 34 | 0.497 % |
284.03/284.25 c | 394220 | 622 76046 199454 | 2147483647 41067 34 | 0.481 % |
284.13/284.33 c | 394330 | 622 76046 199454 | 2147483647 41177 34 | 0.481 % |
284.22/284.42 c | 394455 | 622 76046 199454 | 2147483647 41302 34 | 0.498 % |
284.32/284.53 c | 394590 | 622 76046 199454 | 2147483647 41437 34 | 0.497 % |
284.42/284.62 c | 394736 | 622 76046 199454 | 2147483647 41583 34 | 0.480 % |
284.52/284.72 c | 394899 | 622 76046 199454 | 2147483647 41746 34 | 0.480 % |
284.63/284.84 c | 395080 | 622 76046 199454 | 2147483647 41927 34 | 0.496 % |
284.73/284.97 c | 395273 | 622 76046 199454 | 2147483647 42120 34 | 0.480 % |
284.92/285.14 c | 395485 | 622 76046 199454 | 2147483647 42332 34 | 0.497 % |
285.12/285.30 c | 395718 | 622 76046 199454 | 2147483647 42565 34 | 0.497 % |
285.22/285.49 c | 395978 | 622 76046 199454 | 2147483647 42825 34 | 0.497 % |
285.52/285.70 c | 396262 | 622 76046 199454 | 2147483647 43109 34 | 0.481 % |
285.62/285.90 c | 396572 | 622 76046 199454 | 2147483647 43419 34 | 0.498 % |
285.92/286.15 c | 396911 | 622 76046 199454 | 2147483647 43758 35 | 0.480 % |
286.22/286.41 c | 397285 | 622 76046 199454 | 2147483647 44132 34 | 0.497 % |
286.42/286.65 c | 397695 | 622 76046 199454 | 2147483647 44542 34 | 0.497 % |
286.72/286.90 c | 398144 | 622 76046 199454 | 2147483647 44991 34 | 0.498 % |
286.93/287.11 c | 398638 | 622 76046 199454 | 2147483647 45485 34 | 0.481 % |
287.32/287.51 c | 399183 | 622 76046 199454 | 2147483647 46030 34 | 0.480 % |
287.72/287.93 c | 399781 | 622 76046 199454 | 2147483647 46628 34 | 0.497 % |
288.22/288.42 c | 400437 | 622 76046 199454 | 2147483647 47284 34 | 0.496 % |
288.72/288.95 c | 401158 | 622 76046 199454 | 2147483647 48005 34 | 0.496 % |
289.22/289.44 c | 401950 | 622 76046 199454 | 2147483647 48797 35 | 0.496 % |
289.92/290.14 c | 402821 | 622 76046 199454 | 2147483647 49668 35 | 0.480 % |
290.72/290.90 c | 403781 | 622 76046 199454 | 2147483647 50628 35 | 0.497 % |
291.52/291.78 c | 404839 | 622 76046 199454 | 2147483647 51686 35 | 0.497 % |
292.52/292.78 c | 405999 | 622 76046 199454 | 2147483647 52846 34 | 0.500 % |
293.32/293.59 c | 407273 | 622 76046 199454 | 2147483647 54120 34 | 0.497 % |
294.42/294.66 c | 408673 | 622 76046 199454 | 2147483647 55520 34 | 0.498 % |
295.62/295.82 c | 410214 | 619 75318 197560 | 56256 56469 34 | 0.976 % |
296.82/297.04 c | 411912 | 619 75318 197560 | 56256 52063 32 | 0.961 % |
298.13/298.33 c | 413775 | 619 75318 197560 | 56256 53926 32 | 0.976 % |
299.43/299.66 c | 415825 | 619 75318 197560 | 56256 55976 32 | 0.979 % |
301.13/301.35 c | 418079 | 619 75318 197560 | 56256 52405 31 | 0.977 % |
303.03/303.24 c | 420558 | 619 75318 197560 | 54326 49103 32 | 0.960 % |
305.23/305.43 c | 423283 | 619 75318 197560 | 54326 51828 33 | 0.961 % |
307.63/307.89 c | 426280 | 619 75318 197560 | 54326 48016 33 | 0.977 % |
310.52/310.75 c | 429577 | 619 75318 197560 | 54326 51313 34 | 0.961 % |
313.42/313.60 c | 433204 | 619 75318 197560 | 51736 48341 36 | 0.960 % |
316.53/316.78 c | 437191 | 619 75318 197560 | 51736 46190 36 | 0.977 % |
316.63/316.86 c | 437291 | 619 75318 197560 | 51736 46290 36 | 0.978 % |
316.72/316.93 c | 437401 | 619 75318 197560 | 51736 46400 36 | 0.960 % |
316.82/317.02 c | 437523 | 619 75318 197560 | 51736 46522 36 | 0.977 % |
316.92/317.15 c | 437656 | 619 75318 197560 | 51736 46655 36 | 0.960 % |
317.02/317.29 c | 437803 | 619 75318 197560 | 51736 46802 36 | 0.961 % |
317.12/317.39 c | 437964 | 619 75318 197560 | 51736 46963 36 | 0.977 % |
317.32/317.51 c | 438140 | 619 75318 197560 | 51736 47139 36 | 0.978 % |
317.42/317.66 c | 438335 | 619 75318 197560 | 51736 47334 36 | 0.978 % |
317.63/317.83 c | 438548 | 619 75318 197560 | 51736 47547 36 | 0.960 % |
317.73/317.97 c | 438782 | 619 75318 197560 | 51736 47781 36 | 0.960 % |
317.92/318.18 c | 439041 | 619 75318 197560 | 51736 48040 36 | 0.960 % |
318.22/318.40 c | 439324 | 619 75318 197560 | 51736 48323 36 | 0.960 % |
318.42/318.63 c | 439633 | 619 75318 197560 | 51736 48632 36 | 0.978 % |
318.73/318.92 c | 439972 | 619 75318 197560 | 51736 48971 36 | 0.976 % |
319.12/319.32 c | 440344 | 619 75318 197560 | 49000 43149 37 | 0.977 % |
319.42/319.63 c | 440757 | 619 75318 197560 | 49000 43562 37 | 0.975 % |
319.72/319.95 c | 441207 | 619 75318 197560 | 49000 44012 37 | 0.976 % |
320.12/320.30 c | 441700 | 619 75318 197560 | 49000 44505 37 | 0.976 % |
320.42/320.66 c | 442243 | 619 75318 197560 | 49000 45048 37 | 0.976 % |
320.93/321.16 c | 442839 | 619 75318 197560 | 49000 45644 37 | 0.960 % |
321.62/321.80 c | 443495 | 619 75318 197560 | 49000 46300 37 | 0.976 % |
322.03/322.30 c | 444215 | 619 75318 197560 | 49000 47020 37 | 0.978 % |
322.62/322.90 c | 445007 | 619 75318 197560 | 49000 47812 37 | 0.979 % |
323.32/323.56 c | 445879 | 619 75318 197560 | 49000 48684 38 | 0.960 % |
324.12/324.36 c | 446839 | 619 75318 197560 | 49000 43566 38 | 0.960 % |
325.12/325.30 c | 447893 | 619 75318 197560 | 49000 44620 38 | 0.977 % |
326.02/326.25 c | 449053 | 619 75318 197560 | 49000 45780 38 | 0.960 % |
326.92/327.17 c | 450331 | 619 75318 197560 | 46730 41145 37 | 0.961 % |
328.02/328.25 c | 451732 | 619 75318 197560 | 46730 42546 37 | 0.961 % |
329.12/329.33 c | 453273 | 619 75318 197560 | 46730 44087 38 | 0.977 % |
330.62/330.87 c | 454968 | 619 75318 197560 | 46730 45782 38 | 0.977 % |
332.32/332.52 c | 456833 | 619 75318 197560 | 46730 41781 37 | 0.977 % |
334.02/334.22 c | 458882 | 619 75318 197560 | 46730 43830 37 | 0.977 % |
335.51/335.74 c | 461135 | 619 75318 197560 | 44953 40546 35 | 0.960 % |
337.21/337.45 c | 463614 | 619 75318 197560 | 44953 43025 34 | 0.960 % |
339.31/339.53 c | 466339 | 618 75075 196925 | 44953 41947 36 | 1.120 % |
341.11/341.35 c | 469336 | 618 75075 196925 | 44953 44944 37 | 1.138 % |
343.21/343.46 c | 472632 | 618 75075 196925 | 2147483647 43723 37 | 1.138 % |
345.71/345.93 c | 476257 | 617 75075 196925 | 2147483647 47347 38 | 1.441 % |
348.91/349.19 c | 480247 | 617 75075 196925 | 51090 51337 40 | 1.441 % |
352.81/353.01 c | 484632 | 616 74594 195671 | 51090 48287 40 | 1.456 % |
352.91/353.13 c | 484733 | 616 74594 195671 | 51090 48388 40 | 1.456 % |
353.01/353.24 c | 484843 | 616 74594 195671 | 51090 48498 40 | 1.456 % |
353.11/353.36 c | 484964 | 616 74594 195671 | 51090 48619 40 | 1.456 % |
353.21/353.48 c | 485101 | 616 74594 195671 | 51090 48756 40 | 1.456 % |
353.41/353.61 c | 485250 | 616 74594 195671 | 51090 48905 39 | 1.456 % |
353.51/353.76 c | 485410 | 616 74594 195671 | 51090 49065 39 | 1.457 % |
353.61/353.89 c | 485586 | 616 74594 195671 | 51090 49241 39 | 1.456 % |
353.81/354.06 c | 485779 | 616 74594 195671 | 51090 49434 40 | 1.440 % |
354.01/354.24 c | 485991 | 616 74594 195671 | 51090 49646 40 | 1.440 % |
354.21/354.46 c | 486226 | 616 74594 195671 | 51090 49881 40 | 1.441 % |
354.41/354.67 c | 486484 | 616 74594 195671 | 51090 50139 40 | 1.458 % |
354.61/354.88 c | 486766 | 616 74594 195671 | 51090 50421 40 | 1.456 % |
354.91/355.14 c | 487075 | 616 74594 195671 | 51090 50730 40 | 1.458 % |
355.21/355.42 c | 487416 | 616 74594 195671 | 51090 51071 40 | 1.441 % |
355.61/355.81 c | 487789 | 616 74594 195671 | 51090 44107 40 | 1.441 % |
355.91/356.18 c | 488200 | 616 74594 195671 | 51090 44518 40 | 1.441 % |
356.21/356.49 c | 488649 | 616 74594 195671 | 51090 44967 39 | 1.457 % |
356.51/356.75 c | 489144 | 616 74594 195671 | 51090 45462 39 | 1.457 % |
356.91/357.12 c | 489686 | 616 74594 195671 | 51090 46004 39 | 1.440 % |
357.41/357.70 c | 490286 | 616 74594 195671 | 46318 40197 37 | 1.456 % |
357.90/358.14 c | 490941 | 616 74594 195671 | 46318 40852 37 | 1.441 % |
358.50/358.71 c | 491663 | 616 74594 195671 | 46318 41574 37 | 1.456 % |
359.10/359.33 c | 492455 | 616 74594 195671 | 46318 42366 37 | 1.456 % |
359.80/360.09 c | 493326 | 616 74594 195671 | 46318 43237 37 | 1.458 % |
360.70/360.91 c | 494285 | 616 74594 195671 | 46318 44196 37 | 1.458 % |
361.61/361.90 c | 495342 | 616 74594 195671 | 46318 45253 37 | 1.458 % |
362.50/362.71 c | 496502 | 616 74594 195671 | 46318 46413 37 | 1.440 % |
363.40/363.60 c | 497776 | 616 74594 195671 | 46318 42006 38 | 1.440 % |
364.50/364.77 c | 499176 | 616 74594 195671 | 46318 43406 38 | 1.440 % |
365.70/365.93 c | 500716 | 616 74594 195671 | 44231 39730 36 | 1.440 % |
367.00/367.22 c | 502410 | 616 74594 195671 | 44231 41424 36 | 1.441 % |
368.31/368.55 c | 504276 | 616 74594 195671 | 44231 43290 36 | 1.458 % |
369.90/370.11 c | 506328 | 616 74594 195671 | 44231 40896 33 | 1.459 % |
371.40/371.70 c | 508583 | 615 74357 195050 | 44231 40034 33 | 1.601 % |
373.30/373.51 c | 511063 | 615 74357 195050 | 2147483647 42514 35 | 1.600 % |
375.31/375.52 c | 513789 | 615 74357 195050 | 2147483647 45240 37 | 1.601 % |
376.31/376.59 c ===============================================================================
376.31/376.59 c restarts : 899
376.31/376.59 c conflicts : 515189 (1369 /sec)
376.31/376.59 c decisions : 933530 (1.14 % random) (2481 /sec)
376.31/376.59 c propagations : 55317090 (147038 /sec)
376.31/376.59 c conflict literals : 21900379 (43.25 % deleted)
376.31/376.59 c Memory used : 24.21 MB
376.31/376.59 c CPU time : 376.209 s
376.31/376.59 c
376.31/376.59 s SATISFIABLE
376.40/376.60 s SATISFIABLE
376.40/376.60 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:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832101-1242769154/watcher-1832101-1242769154 -o /tmp/evaluation-result-1832101-1242769154/solver-1832101-1242769154 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832101-1242769154.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.94 0.98 0.95 3/64 11268
/proc/meminfo: memFree=1982752/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304943288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11268/statm: 1339 237 197 169 0 50 0
[pid=11272] ppid=11268 vsize=1004 CPUtime=0
/proc/11272/stat : 11272 (SatELite_releas) R 11268 11268 11148 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 304943289 1028096 113 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/11272/statm: 251 114 49 173 0 76 0
[startup+0.026145 s]
/proc/loadavg: 0.94 0.98 0.95 3/64 11268
/proc/meminfo: memFree=1982752/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304943288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11268/statm: 1339 237 197 169 0 50 0
[pid=11272] ppid=11268 vsize=2628 CPUtime=0.01
/proc/11272/stat : 11272 (SatELite_releas) R 11268 11268 11148 0 -1 4194304 489 0 0 0 1 0 0 0 18 0 1 0 304943289 2691072 475 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/11272/statm: 657 475 49 173 0 482 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7984
[startup+0.101264 s]
/proc/loadavg: 0.94 0.98 0.95 3/64 11268
/proc/meminfo: memFree=1982752/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304943288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11268/statm: 1339 237 197 169 0 50 0
[pid=11272] ppid=11268 vsize=5264 CPUtime=0.09
/proc/11272/stat : 11272 (SatELite_releas) R 11268 11268 11148 0 -1 4194304 1144 0 0 0 8 1 0 0 18 0 1 0 304943289 5390336 1130 1992294400 134512640 135223648 4294956128 18446744073709551615 134833105 0 0 4096 3 0 0 0 17 1 0 0
/proc/11272/statm: 1316 1130 75 173 0 1141 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10620
[startup+0.301178 s]
/proc/loadavg: 0.94 0.98 0.95 3/64 11268
/proc/meminfo: memFree=1982752/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+0.701222 s]
/proc/loadavg: 0.94 0.98 0.95 3/64 11268
/proc/meminfo: memFree=1982752/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+1.5013 s]
/proc/loadavg: 0.94 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1975824/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=6840 CPUtime=1.37
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 1605 0 0 0 136 1 0 0 25 0 1 0 304943300 7004160 1591 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 1710 1591 77 171 0 1537 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12196
[startup+3.10146 s]
/proc/loadavg: 0.95 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1974608/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=8660 CPUtime=2.97
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 2032 0 0 0 296 1 0 0 25 0 1 0 304943300 8867840 2018 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 2165 2018 77 171 0 1992 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14016
[startup+6.30178 s]
/proc/loadavg: 0.95 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1971856/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=10804 CPUtime=6.16
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 2572 0 0 0 615 1 0 0 25 0 1 0 304943300 11063296 2558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 2701 2558 77 171 0 2528 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16160
[startup+12.7024 s]
/proc/loadavg: 0.95 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1968080/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=14184 CPUtime=12.56
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 3422 0 0 0 1254 2 0 0 25 0 1 0 304943300 14524416 3408 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 3546 3408 77 171 0 3373 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19540
[startup+25.5017 s]
/proc/loadavg: 0.96 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1962704/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=19320 CPUtime=25.35
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 4711 0 0 0 2531 4 0 0 25 0 1 0 304943300 19783680 4697 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 4830 4697 77 171 0 4657 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 24676
[startup+51.1013 s]
/proc/loadavg: 0.97 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1959120/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=22884 CPUtime=50.92
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 5611 0 0 0 5087 5 0 0 25 0 1 0 304943300 23433216 5597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 5721 5597 77 171 0 5548 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 28240
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1958928/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=23020 CPUtime=102.1
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 5646 0 0 0 10204 6 0 0 25 0 1 0 304943300 23572480 5632 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 5755 5632 77 171 0 5582 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 28376
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1958544/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=23292 CPUtime=162.06
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 5712 0 0 0 16200 6 0 0 25 0 1 0 304943300 23851008 5698 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 5823 5698 77 171 0 5650 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 28648
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11274
/proc/meminfo: memFree=1957968/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=23832 CPUtime=222.04
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 5826 0 0 0 22197 7 0 0 25 0 1 0 304943300 24403968 5812 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 5958 5812 77 171 0 5785 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 29188
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1957264/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24248 CPUtime=282.03
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 5932 0 0 0 28195 8 0 0 25 0 1 0 304943300 24829952 5918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6062 5918 77 171 0 5889 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 29604
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1957072/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24524 CPUtime=342.01
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 5992 0 0 0 34192 9 0 0 25 0 1 0 304943300 25112576 5978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6131 5978 77 171 0 5958 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 29880
Solver just ended. Dumping a history of the last processes samples
[startup+358.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956880/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24656 CPUtime=358
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6033 0 0 0 35791 9 0 0 25 0 1 0 304943300 25247744 6019 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6164 6019 77 171 0 5991 0
Current children cumulated CPU time (s) 358.1
Current children cumulated vsize (KiB) 30012
[startup+364.701 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956880/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24656 CPUtime=364.4
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6033 0 0 0 36431 9 0 0 25 0 1 0 304943300 25247744 6019 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6164 6019 77 171 0 5991 0
Current children cumulated CPU time (s) 364.5
Current children cumulated vsize (KiB) 30012
[startup+371.102 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956880/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24656 CPUtime=370.8
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6040 0 0 0 37071 9 0 0 25 0 1 0 304943300 25247744 6026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6164 6026 77 171 0 5991 0
Current children cumulated CPU time (s) 370.9
Current children cumulated vsize (KiB) 30012
[startup+374.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956816/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24656 CPUtime=374
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6047 0 0 0 37391 9 0 0 25 0 1 0 304943300 25247744 6033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6164 6033 77 171 0 5991 0
Current children cumulated CPU time (s) 374.1
Current children cumulated vsize (KiB) 30012
[startup+375.901 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956816/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24792 CPUtime=375.61
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6051 0 0 0 37551 10 0 0 25 0 1 0 304943300 25387008 6037 1992294400 134512640 135215339 4294956240 18446744073709551615 134719036 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6198 6037 77 171 0 6025 0
Current children cumulated CPU time (s) 375.71
Current children cumulated vsize (KiB) 30148
[startup+376.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956816/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24792 CPUtime=376.01
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6051 0 0 0 37591 10 0 0 25 0 1 0 304943300 25387008 6037 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6198 6037 77 171 0 6025 0
Current children cumulated CPU time (s) 376.11
Current children cumulated vsize (KiB) 30148
[startup+376.501 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956816/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=24792 CPUtime=376.21
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194304 6051 0 0 0 37611 10 0 0 25 0 1 0 304943300 25387008 6037 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 6198 6037 77 171 0 6025 0
Current children cumulated CPU time (s) 376.31
Current children cumulated vsize (KiB) 30148
[startup+376.602 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 11276
/proc/meminfo: memFree=1956816/2055920 swapFree=4180276/4192956
[pid=11268] ppid=11266 vsize=5356 CPUtime=0.1
/proc/11268/stat : 11268 (SatELiteGTI) S 11266 11268 11148 0 -1 4194304 336 1395 0 0 0 0 9 1 16 0 1 0 304943288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11268/statm: 1339 239 197 169 0 50 0
[pid=11274] ppid=11268 vsize=0 CPUtime=376.3
/proc/11274/stat : 11274 (minisat_static) R 11268 11268 11148 0 -1 4194308 6058 0 0 0 37620 10 0 0 25 0 1 0 304943300 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/11274/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 376.4
Current children cumulated vsize (KiB) 5356
Child status: 10
Real time (s): 376.61
CPU time (s): 376.441
CPU user time (s): 376.312
CPU system time (s): 0.12898
CPU usage (%): 99.955
Max. virtual memory (cumulated for all children) (KiB): 30148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 376.312
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8088
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= 49
involuntary context switches= 1842
runsolver used 0.476927 second user time and 0.990849 second system time
The end
Begin job on node45 at 2009-05-19 23:39:14
IDJOB=1832101
IDBENCH=20485
IDSOLVER=671
FILE ID=node45/1832101-1242769154
PBS_JOBID= 9322255
Free space on /tmp= 66376 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_25.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832101-1242769154/watcher-1832101-1242769154 -o /tmp/evaluation-result-1832101-1242769154/solver-1832101-1242769154 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832101-1242769154.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c5b44b10975f50cd32d40650a6a22d18
RANDOM SEED=1339385833
node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1983168 kB
Buffers: 6960 kB
Cached: 30984 kB
SwapCached: 6868 kB
Active: 18580 kB
Inactive: 28168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1983168 kB
SwapTotal: 4192956 kB
SwapFree: 4180276 kB
Dirty: 2892 kB
Writeback: 0 kB
Mapped: 13948 kB
Slab: 11996 kB
Committed_AS: 1003520 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66376 MiB
End job on node45 at 2009-05-19 23:45:31