0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 133055 396210 | 39916 0 0 nan | 0.000 % |
0.00/0.98 c | 0 | 132150 561686 | -- 0 -- -- | -- | -905/165476
0.00/0.98 c ==============================================================================
0.00/0.98 c Result : #vars: 1298 #clauses: 132150 #literals: 561686
0.00/0.98 c CPU time: 0.954854 s
0.00/0.98 c ==============================================================================
1.08/1.14 c This is MiniSat 2.0 beta
1.08/1.14 c WARNING: for repeatability, setting FPU to use double precision
1.08/1.14 c ============================[ Problem Statistics ]=============================
1.08/1.14 c | |
1.08/1.14 c | Number of variables: 1298 |
1.08/1.14 c | Number of clauses: 132150 |
1.13/1.22 c | Parsing time: 0.06 s |
1.13/1.22 c ============================[ Search Statistics ]==============================
1.13/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.13/1.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.13/1.22 c ===============================================================================
1.13/1.22 c | 0 | 1298 132150 561686 | 44050 0 nan | 0.000 % |
1.13/1.26 c | 100 | 1298 132150 561686 | 44050 100 66 | 0.000 % |
1.13/1.28 c | 200 | 1298 132150 561686 | 44050 200 63 | 0.000 % |
1.13/1.31 c | 300 | 1298 132150 561686 | 44050 300 68 | 0.000 % |
1.13/1.33 c | 410 | 1298 132150 561686 | 44050 410 69 | 0.000 % |
1.13/1.35 c | 511 | 1298 132150 561686 | 44050 511 72 | 0.000 % |
1.13/1.39 c | 623 | 1298 132150 561686 | 44050 623 77 | 0.000 % |
1.13/1.43 c | 745 | 1298 132150 561686 | 44050 745 79 | 0.000 % |
1.13/1.46 c | 846 | 1298 132150 561686 | 44050 846 80 | 0.000 % |
1.13/1.49 c | 957 | 1298 132150 561686 | 44050 957 81 | 0.000 % |
1.13/1.52 c | 1080 | 1298 132150 561686 | 44050 1080 82 | 0.000 % |
1.13/1.57 c | 1214 | 1298 132150 561686 | 44050 1214 84 | 0.000 % |
1.13/1.59 c | 1314 | 1298 132150 561686 | 44050 1314 85 | 0.000 % |
1.13/1.61 c | 1424 | 1298 132150 561686 | 44050 1424 85 | 0.000 % |
1.13/1.63 c | 1545 | 1298 132150 561686 | 44050 1545 86 | 0.000 % |
1.13/1.68 c | 1678 | 1298 132150 561686 | 44050 1678 87 | 0.000 % |
1.13/1.72 c | 1824 | 1298 132150 561686 | 44050 1824 88 | 0.000 % |
1.13/1.75 c | 1924 | 1298 132150 561686 | 44050 1924 87 | 0.000 % |
1.13/1.77 c | 2035 | 1298 132150 561686 | 44050 2035 88 | 0.000 % |
1.13/1.80 c | 2159 | 1298 132150 561686 | 44050 2159 88 | 0.000 % |
1.13/1.83 c | 2292 | 1298 132150 561686 | 44050 2292 88 | 0.000 % |
1.13/1.86 c | 2438 | 1298 132150 561686 | 44050 2438 88 | 0.000 % |
1.13/1.90 c | 2600 | 1298 132150 561686 | 44050 2600 89 | 0.000 % |
1.13/1.93 c | 2703 | 1298 132150 561686 | 44050 2703 88 | 0.000 % |
1.13/1.94 c | 2813 | 1298 132150 561686 | 44050 2813 88 | 0.000 % |
1.13/1.98 c | 2936 | 1298 132150 561686 | 44050 2936 87 | 0.000 % |
1.13/2.02 c | 3069 | 1298 132150 561686 | 44050 3069 87 | 0.000 % |
1.13/2.05 c | 3216 | 1298 132150 561686 | 44050 3216 86 | 0.000 % |
1.13/2.09 c | 3377 | 1298 132150 561686 | 44050 3377 86 | 0.000 % |
2.08/2.14 c | 3554 | 1298 132150 561686 | 44050 3554 86 | 0.000 % |
2.08/2.18 c | 3654 | 1298 132150 561686 | 44050 3654 87 | 0.000 % |
2.18/2.20 c | 3764 | 1298 132150 561686 | 44050 3764 86 | 0.000 % |
2.18/2.24 c | 3887 | 1298 132150 561686 | 44050 3887 86 | 0.000 % |
2.18/2.28 c | 4021 | 1298 132150 561686 | 44050 4021 86 | 0.000 % |
2.27/2.31 c | 4167 | 1298 132150 561686 | 44050 4167 85 | 0.000 % |
2.27/2.36 c | 4328 | 1298 132150 561686 | 44050 4328 85 | 0.000 % |
2.37/2.41 c | 4505 | 1298 132150 561686 | 44050 4505 85 | 0.000 % |
2.37/2.46 c | 4699 | 1298 132150 561686 | 44050 4699 85 | 0.000 % |
2.37/2.49 c | 4799 | 1298 132150 561686 | 44050 4799 85 | 0.000 % |
2.47/2.52 c | 4909 | 1298 132150 561686 | 44050 4909 85 | 0.000 % |
2.47/2.56 c | 5034 | 1298 132150 561686 | 44050 5034 85 | 0.000 % |
2.57/2.61 c | 5168 | 1298 132150 561686 | 44050 5168 84 | 0.000 % |
2.57/2.66 c | 5317 | 1298 132150 561686 | 44050 5317 85 | 0.000 % |
2.57/2.70 c | 5478 | 1298 132150 561686 | 44050 5478 85 | 0.000 % |
2.67/2.74 c | 5654 | 1298 132150 561686 | 44050 5654 85 | 0.000 % |
2.77/2.81 c | 5847 | 1298 132150 561686 | 44050 5847 85 | 0.000 % |
2.77/2.87 c | 6059 | 1298 132150 561686 | 44050 6059 85 | 0.000 % |
2.87/2.90 c | 6159 | 1298 132150 561686 | 44050 6159 85 | 0.000 % |
2.87/2.94 c | 6269 | 1298 132150 561686 | 44050 6269 85 | 0.000 % |
2.87/2.98 c | 6390 | 1298 132150 561686 | 44050 6390 84 | 0.000 % |
2.97/3.02 c | 6525 | 1298 132150 561686 | 44050 6525 84 | 0.000 % |
2.97/3.08 c | 6671 | 1298 132150 561686 | 44050 6671 84 | 0.000 % |
3.07/3.12 c | 6832 | 1298 132150 561686 | 44050 6832 84 | 0.000 % |
3.07/3.19 c | 7010 | 1298 132150 561686 | 44050 7010 84 | 0.000 % |
3.17/3.26 c | 7203 | 1298 132150 561686 | 44050 7203 85 | 0.000 % |
3.27/3.34 c | 7416 | 1298 132150 561686 | 44050 7416 85 | 0.000 % |
3.37/3.41 c | 7650 | 1298 132150 561686 | 44050 7650 85 | 0.000 % |
3.37/3.46 c | 7753 | 1298 132150 561686 | 44050 7753 85 | 0.000 % |
3.47/3.50 c | 7864 | 1298 132150 561686 | 44050 7864 85 | 0.000 % |
3.47/3.54 c | 7985 | 1298 132150 561686 | 44050 7985 85 | 0.000 % |
3.57/3.60 c | 8118 | 1298 132150 561686 | 44050 8118 85 | 0.000 % |
3.57/3.66 c | 8264 | 1298 132150 561686 | 44050 8264 85 | 0.000 % |
3.57/3.70 c | 8424 | 1298 132150 561686 | 44050 8424 85 | 0.000 % |
3.67/3.75 c | 8601 | 1298 132150 561686 | 44050 8601 85 | 0.000 % |
3.78/3.80 c | 8795 | 1298 132150 561686 | 44050 8795 85 | 0.000 % |
3.78/3.86 c | 9008 | 1298 132150 561686 | 44050 9008 85 | 0.000 % |
3.88/3.97 c | 9241 | 1298 132150 561686 | 44050 9241 85 | 0.000 % |
3.97/4.07 c | 9498 | 1298 132150 561686 | 44050 9498 85 | 0.000 % |
4.07/4.11 c | 9601 | 1298 132150 561686 | 44050 9601 85 | 0.000 % |
4.07/4.14 c | 9711 | 1298 132150 561686 | 44050 9711 85 | 0.000 % |
4.07/4.19 c | 9832 | 1298 132150 561686 | 44050 9832 85 | 0.000 % |
4.17/4.25 c | 9971 | 1298 132150 561686 | 44050 9971 85 | 0.000 % |
4.17/4.30 c | 10117 | 1298 132150 561686 | 2147483647 10117 85 | 0.000 % |
4.28/4.37 c | 10278 | 1298 132150 561686 | 2147483647 10278 85 | 0.000 % |
4.38/4.45 c | 10458 | 1298 132150 561686 | 2147483647 10458 86 | 0.000 % |
4.47/4.53 c | 10651 | 1298 132150 561686 | 2147483647 10651 86 | 0.000 % |
4.57/4.61 c | 10864 | 1298 132150 561686 | 2147483647 10864 86 | 0.000 % |
4.67/4.70 c | 11097 | 1298 132150 561686 | 2147483647 11097 85 | 0.000 % |
4.77/4.82 c | 11353 | 1298 132150 561686 | 2147483647 11353 86 | 0.000 % |
4.87/4.91 c | 11635 | 1298 132150 561686 | 2147483647 11635 85 | 0.000 % |
4.87/4.95 c | 11737 | 1298 132150 561686 | 2147483647 11737 85 | 0.000 % |
4.87/4.99 c | 11848 | 1298 132150 561686 | 2147483647 11848 86 | 0.000 % |
4.97/5.04 c | 11971 | 1298 132150 561686 | 2147483647 11971 86 | 0.000 % |
4.97/5.09 c | 12104 | 1298 132150 561686 | 2147483647 12104 86 | 0.000 % |
5.07/5.16 c | 12251 | 1298 132150 561686 | 2147483647 12251 86 | 0.000 % |
5.17/5.20 c | 12414 | 1298 132150 561686 | 2147483647 12414 86 | 0.000 % |
5.17/5.29 c | 12590 | 1298 132150 561686 | 2147483647 12590 86 | 0.000 % |
5.27/5.40 c | 12784 | 1298 132150 561686 | 2147483647 12784 86 | 0.000 % |
5.37/5.50 c | 12996 | 1298 132150 561686 | 2147483647 12996 86 | 0.000 % |
5.57/5.64 c | 13230 | 1298 132150 561686 | 2147483647 13230 86 | 0.000 % |
5.67/5.76 c | 13486 | 1298 132150 561686 | 2147483647 13486 86 | 0.000 % |
5.77/5.88 c | 13769 | 1298 132150 561686 | 2147483647 13769 86 | 0.001 % |
5.97/6.04 c | 14080 | 1298 132150 561686 | 2147483647 14080 87 | 0.000 % |
5.97/6.08 c | 14180 | 1298 132150 561686 | 2147483647 14180 87 | 0.000 % |
6.07/6.12 c | 14292 | 1298 132150 561686 | 2147483647 14292 87 | 0.000 % |
6.07/6.18 c | 14414 | 1298 132150 561686 | 2147483647 14414 87 | 0.000 % |
6.16/6.25 c | 14549 | 1298 132150 561686 | 2147483647 14549 87 | 0.000 % |
6.26/6.34 c | 14696 | 1298 132150 561686 | 2147483647 14696 87 | 0.000 % |
6.36/6.43 c | 14858 | 1298 132150 561686 | 2147483647 14858 87 | 0.000 % |
6.47/6.51 c | 15037 | 1298 132150 561686 | 2147483647 15037 87 | 0.000 % |
6.57/6.60 c | 15238 | 1298 132150 561686 | 2147483647 15238 87 | 0.000 % |
6.57/6.68 c | 15451 | 1298 132150 561686 | 2147483647 15451 87 | 0.000 % |
6.66/6.79 c | 15685 | 1298 132150 561686 | 2147483647 15685 87 | 0.000 % |
6.76/6.90 c | 15941 | 1298 132150 561686 | 2147483647 15941 87 | 0.000 % |
6.86/6.99 c | 16222 | 1298 132150 561686 | 2147483647 16222 88 | 0.000 % |
6.96/7.09 c | 16533 | 1298 132150 561686 | 2147483647 16533 88 | 0.000 % |
7.16/7.24 c | 16872 | 1298 132150 561686 | 2147483647 16872 88 | 0.000 % |
7.16/7.29 c | 16974 | 1298 132150 561686 | 2147483647 16974 88 | 0.000 % |
7.26/7.33 c | 17085 | 1298 132150 561686 | 2147483647 17085 88 | 0.000 % |
7.26/7.39 c | 17206 | 1298 132150 561686 | 2147483647 17206 88 | 0.000 % |
7.36/7.43 c | 17340 | 1298 132150 561686 | 2147483647 17340 88 | 0.000 % |
7.36/7.47 c | 17486 | 1298 132150 561686 | 2147483647 17486 88 | 0.000 % |
7.46/7.51 c | 17646 | 1298 132150 561686 | 2147483647 17646 88 | 0.000 % |
7.46/7.56 c | 17823 | 1298 132150 561686 | 2147483647 17823 88 | 0.000 % |
7.57/7.66 c | 18016 | 1298 132150 561686 | 2147483647 18016 88 | 0.000 % |
7.67/7.72 c | 18228 | 1298 132150 561686 | 2147483647 18228 88 | 0.000 % |
7.67/7.80 c | 18461 | 1298 132150 561686 | 2147483647 18461 88 | 0.000 % |
7.76/7.86 c | 18717 | 1298 132150 561686 | 2147483647 18717 88 | 0.000 % |
7.86/7.94 c | 18998 | 1298 132150 561686 | 2147483647 18998 88 | 0.000 % |
7.96/8.02 c | 19311 | 1298 132150 561686 | 2147483647 19311 88 | 0.000 % |
8.06/8.12 c | 19650 | 1298 132150 561686 | 2147483647 19650 88 | 0.000 % |
8.16/8.24 c | 20023 | 1298 132150 561686 | 2147483647 20023 88 | 0.000 % |
8.16/8.28 c | 20124 | 1298 132150 561686 | 2147483647 20124 88 | 0.000 % |
8.26/8.32 c | 20236 | 1298 132150 561686 | 2147483647 20236 89 | 0.000 % |
8.26/8.36 c | 20357 | 1298 132150 561686 | 2147483647 20357 89 | 0.000 % |
8.26/8.40 c | 20492 | 1298 132150 561686 | 2147483647 20492 89 | 0.000 % |
8.36/8.44 c | 20638 | 1298 132150 561686 | 2147483647 20638 89 | 0.000 % |
8.36/8.48 c | 20800 | 1298 132150 561686 | 2147483647 20800 89 | 0.000 % |
8.46/8.53 c | 20980 | 1298 132150 561686 | 2147483647 20980 89 | 0.000 % |
8.46/8.58 c | 21174 | 1298 132150 561686 | 2147483647 21174 89 | 0.000 % |
8.56/8.65 c | 21387 | 1298 132150 561686 | 2147483647 21387 89 | 0.000 % |
8.66/8.73 c | 21623 | 1298 132150 561686 | 2147483647 21623 89 | 0.000 % |
8.76/8.83 c | 21879 | 1298 132150 561686 | 2147483647 21879 89 | 0.000 % |
8.86/8.91 c | 22161 | 1298 132150 561686 | 2147483647 22161 89 | 0.000 % |
8.96/9.02 c | 22472 | 1298 132150 561686 | 2147483647 22472 89 | 0.000 % |
9.16/9.23 c | 22811 | 1298 132150 561686 | 2147483647 22811 89 | 0.000 % |
9.26/9.38 c | 23185 | 1298 132150 561686 | 2147483647 23185 89 | 0.000 % |
9.46/9.55 c | 23595 | 1298 132150 561686 | 2147483647 23595 89 | 0.000 % |
9.46/9.58 c | 23696 | 1298 132150 561686 | 2147483647 23696 89 | 0.000 % |
9.56/9.64 c | 23807 | 1298 132150 561686 | 2147483647 23807 89 | 0.000 % |
9.56/9.69 c | 23929 | 1298 132150 561686 | 2147483647 23929 89 | 0.000 % |
9.66/9.76 c | 24063 | 1298 132150 561686 | 2147483647 24063 89 | 0.000 % |
9.76/9.82 c | 24210 | 1298 132150 561686 | 2147483647 24210 89 | 0.000 % |
9.76/9.89 c | 24370 | 1298 132150 561686 | 2147483647 24370 89 | 0.000 % |
9.86/9.97 c | 24546 | 1298 132150 561686 | 2147483647 24546 89 | 0.000 % |
9.96/10.09 c | 24740 | 1298 132150 561686 | 2147483647 24740 89 | 0.000 % |
10.06/10.17 c | 24952 | 1298 132150 561686 | 2147483647 24952 89 | 0.000 % |
10.16/10.29 c | 25185 | 1298 132150 561686 | 2147483647 25185 89 | 0.000 % |
10.36/10.41 c | 25442 | 1298 132150 561686 | 2147483647 25442 89 | 0.000 % |
10.46/10.53 c | 25724 | 1298 132150 561686 | 2147483647 25724 89 | 0.000 % |
10.56/10.63 c | 26033 | 1298 132150 561686 | 2147483647 26033 89 | 0.000 % |
10.76/10.82 c | 26372 | 1298 132150 561686 | 2147483647 26372 89 | 0.000 % |
10.97/11.02 c | 26745 | 1298 132150 561686 | 2147483647 26745 89 | 0.000 % |
11.06/11.20 c | 27154 | 1298 132150 561686 | 2147483647 27154 89 | 0.000 % |
11.36/11.44 c | 27603 | 1298 132150 561686 | 2147483647 27603 90 | 0.000 % |
11.36/11.49 c | 27703 | 1298 132150 561686 | 2147483647 27703 90 | 0.000 % |
11.46/11.55 c | 27813 | 1298 132150 561686 | 2147483647 27813 90 | 0.000 % |
11.56/11.61 c | 27935 | 1298 132150 561686 | 2147483647 27935 90 | 0.000 % |
11.56/11.67 c | 28069 | 1298 132150 561686 | 2147483647 28069 90 | 0.000 % |
11.66/11.75 c | 28216 | 1298 132150 561686 | 2147483647 28216 90 | 0.000 % |
11.76/11.82 c | 28377 | 1298 132150 561686 | 2147483647 28377 90 | 0.000 % |
11.76/11.89 c | 28553 | 1298 132150 561686 | 2147483647 28553 90 | 0.000 % |
11.86/11.99 c | 28746 | 1298 132150 561686 | 2147483647 28746 90 | 0.000 % |
12.07/12.10 c | 28962 | 1298 132150 561686 | 2147483647 28962 90 | 0.000 % |
12.07/12.19 c | 29195 | 1298 132150 561686 | 2147483647 29195 90 | 0.000 % |
12.26/12.33 c | 29452 | 1298 132150 561686 | 2147483647 29452 90 | 0.000 % |
12.36/12.44 c | 29734 | 1298 132150 561686 | 2147483647 29734 90 | 0.000 % |
12.46/12.56 c | 30044 | 1298 132150 561686 | 2147483647 30044 90 | 0.000 % |
12.66/12.75 c | 30383 | 1298 132150 561686 | 2147483647 30383 90 | 0.000 % |
12.76/12.89 c | 30755 | 1298 132150 561686 | 2147483647 30755 90 | 0.000 % |
12.96/13.03 c | 31166 | 1298 132150 561686 | 2147483647 31166 90 | 0.000 % |
13.16/13.26 c | 31615 | 1298 132150 561686 | 2147483647 31615 90 | 0.000 % |
13.46/13.51 c | 32111 | 1298 132150 561686 | 2147483647 32111 90 | 0.000 % |
13.46/13.57 c | 32211 | 1298 132150 561686 | 2147483647 32211 90 | 0.000 % |
13.55/13.67 c | 32324 | 1298 132150 561686 | 2147483647 32324 90 | 0.000 % |
13.65/13.75 c | 32445 | 1298 132150 561686 | 2147483647 32445 90 | 0.000 % |
13.75/13.83 c | 32581 | 1298 132150 561686 | 2147483647 32581 90 | 0.001 % |
13.85/13.91 c | 32731 | 1298 132150 561686 | 2147483647 32731 90 | 0.000 % |
13.95/14.02 c | 32891 | 1298 132150 561686 | 2147483647 32891 90 | 0.000 % |
14.05/14.10 c | 33068 | 1298 132150 561686 | 2147483647 33068 90 | 0.000 % |
14.16/14.22 c | 33261 | 1298 132150 561686 | 2147483647 33261 90 | 0.000 % |
14.26/14.34 c | 33475 | 1298 132150 561686 | 2147483647 33475 90 | 0.000 % |
14.35/14.45 c | 33708 | 1298 132150 561686 | 2147483647 33708 90 | 0.000 % |
14.45/14.59 c | 33965 | 1298 132150 561686 | 2147483647 33965 90 | 0.000 % |
14.65/14.79 c | 34247 | 1298 132150 561686 | 2147483647 34247 90 | 0.000 % |
14.85/14.98 c | 34556 | 1298 132150 561686 | 2147483647 34556 91 | 0.000 % |
15.05/15.18 c | 34895 | 1298 132150 561686 | 2147483647 34895 91 | 0.000 % |
15.36/15.40 c | 35267 | 1298 132150 561686 | 2147483647 35267 91 | 0.000 % |
15.56/15.60 c | 35678 | 1298 132150 561686 | 2147483647 35678 91 | 0.000 % |
15.76/15.80 c | 36129 | 1298 132150 561686 | 2147483647 36129 91 | 0.000 % |
15.86/15.99 c | 36623 | 1298 132150 561686 | 2147483647 36623 91 | 0.000 % |
16.16/16.22 c | 37165 | 1298 132150 561686 | 2147483647 37165 91 | 0.000 % |
16.16/16.27 c | 37267 | 1298 132150 561686 | 2147483647 37267 91 | 0.000 % |
16.26/16.32 c | 37379 | 1298 132150 561686 | 2147483647 37379 91 | 0.000 % |
16.26/16.38 c | 37500 | 1298 132150 561686 | 2147483647 37500 91 | 0.000 % |
16.36/16.45 c | 37633 | 1298 132150 561686 | 2147483647 37633 92 | 0.000 % |
16.46/16.52 c | 37782 | 1298 132150 561686 | 2147483647 37782 92 | 0.000 % |
16.56/16.61 c | 37942 | 1298 132150 561686 | 2147483647 37942 92 | 0.000 % |
16.66/16.71 c | 38119 | 1298 132150 561686 | 2147483647 38119 92 | 0.000 % |
16.66/16.79 c | 38313 | 1298 132150 561686 | 2147483647 38313 92 | 0.000 % |
16.86/16.91 c | 38526 | 1298 132150 561686 | 2147483647 38526 92 | 0.000 % |
16.96/17.05 c | 38761 | 1298 132150 561686 | 2147483647 38761 92 | 0.000 % |
17.05/17.19 c | 39018 | 1298 132150 561686 | 2147483647 39018 92 | 0.000 % |
17.25/17.40 c | 39300 | 1298 132150 561686 | 2147483647 39300 92 | 0.000 % |
17.46/17.58 c | 39610 | 1298 132150 561686 | 2147483647 39610 92 | 0.000 % |
17.75/17.81 c | 39949 | 1298 132150 561686 | 2147483647 39949 92 | 0.000 % |
17.95/18.07 c | 40321 | 1298 132150 561686 | 2147483647 40321 92 | 0.000 % |
18.25/18.33 c | 40731 | 1298 132150 561686 | 2147483647 40731 92 | 0.000 % |
18.55/18.66 c | 41181 | 1298 132150 561686 | 2147483647 41181 92 | 0.000 % |
18.85/18.93 c | 41676 | 1298 132150 561686 | 2147483647 41676 92 | 0.000 % |
19.25/19.31 c | 42218 | 1298 132150 561686 | 2147483647 42218 92 | 0.000 % |
19.65/19.72 c | 42815 | 1298 132150 561686 | 2147483647 42815 92 | 0.000 % |
19.65/19.80 c | 42916 | 1298 132150 561686 | 2147483647 42916 92 | 0.000 % |
19.75/19.88 c | 43028 | 1298 132150 561686 | 2147483647 43028 92 | 0.000 % |
19.85/19.99 c | 43149 | 1298 132150 561686 | 2147483647 43149 92 | 0.000 % |
19.95/20.10 c | 43282 | 1298 132150 561686 | 2147483647 43282 92 | 0.000 % |
20.15/20.22 c | 43428 | 1298 132150 561686 | 2147483647 43428 92 | 0.000 % |
20.25/20.37 c | 43589 | 1298 132150 561686 | 2147483647 43589 92 | 0.000 % |
20.45/20.50 c | 43766 | 1298 132150 561686 | 2147483647 43766 92 | 0.000 % |
20.55/20.68 c | 43959 | 1298 132150 561686 | 2147483647 43959 92 | 0.000 % |
20.75/20.86 c | 44172 | 1298 132150 561686 | 2147483647 44172 92 | 0.000 % |
20.96/21.03 c | 44405 | 1298 132150 561686 | 2147483647 44405 92 | 0.000 % |
21.16/21.27 c | 44665 | 1298 132150 561686 | 2147483647 44665 92 | 0.000 % |
21.36/21.49 c | 44948 | 1298 132150 561686 | 2147483647 44948 92 | 0.000 % |
21.56/21.68 c | 45257 | 1298 132150 561686 | 2147483647 45257 92 | 0.000 % |
21.86/21.93 c | 45597 | 1298 132150 561686 | 2147483647 45597 92 | 0.000 % |
22.05/22.18 c | 45969 | 1298 132150 561686 | 2147483647 45969 92 | 0.000 % |
22.65/22.70 c | 46381 | 1298 132150 561686 | 2147483647 46381 92 | 0.000 % |
23.15/23.23 c | 46830 | 1298 132150 561686 | 2147483647 46830 92 | 0.000 % |
23.55/23.63 c | 47326 | 1298 132150 561686 | 2147483647 47326 92 | 0.000 % |
24.25/24.39 c | 47868 | 1298 132150 561686 | 2147483647 47868 92 | 0.000 % |
24.65/24.73 c | 48466 | 1298 132150 561686 | 2147483647 48466 92 | 0.000 % |
25.65/25.79 c | 49123 | 1298 132150 561686 | 2147483647 49123 93 | 0.000 % |
25.85/25.97 c | 49223 | 1298 132150 561686 | 2147483647 49223 93 | 0.000 % |
26.15/26.21 c | 49333 | 1298 132150 561686 | 2147483647 49333 93 | 0.000 % |
26.25/26.39 c | 49454 | 1298 132150 561686 | 2147483647 49454 93 | 0.000 % |
26.55/26.63 c | 49589 | 1298 132150 561686 | 2147483647 49589 93 | 0.000 % |
26.65/26.75 c | 49736 | 1298 132150 561686 | 2147483647 49736 93 | 0.000 % |
26.95/27.06 c | 49896 | 1298 132150 561686 | 2147483647 49896 93 | 0.000 % |
27.25/27.37 c | 50072 | 1298 132150 561686 | 2147483647 50072 93 | 0.000 % |
27.54/27.67 c | 50265 | 1298 132150 561686 | 2147483647 50265 93 | 0.000 % |
27.84/28.00 c | 50478 | 1298 132150 561686 | 2147483647 50478 93 | 0.000 % |
28.34/28.40 c | 50711 | 1298 132150 561686 | 2147483647 50711 93 | 0.001 % |
28.55/28.61 c | 50967 | 1298 132150 561686 | 2147483647 50967 93 | 0.000 % |
28.75/28.83 c | 51248 | 1298 132150 561686 | 2147483647 51248 93 | 0.000 % |
28.95/29.04 c | 51559 | 1298 132150 561686 | 2147483647 51559 93 | 0.000 % |
29.56/29.66 c | 51898 | 1298 132150 561686 | 2147483647 51898 93 | 0.000 % |
30.15/30.24 c | 52270 | 1298 132150 561686 | 2147483647 52270 93 | 0.000 % |
30.95/31.03 c | 52680 | 1298 132150 561686 | 2147483647 52680 93 | 0.000 % |
31.75/31.83 c | 53129 | 1298 132150 561686 | 2147483647 53129 93 | 0.000 % |
32.55/32.65 c | 53622 | 1298 132150 561686 | 2147483647 53622 93 | 0.000 % |
33.35/33.45 c | 54165 | 1298 132150 561686 | 2147483647 54165 93 | 0.000 % |
34.05/34.12 c | 54761 | 1298 132150 561686 | 2147483647 54761 93 | 0.000 % |
34.75/34.89 c | 55416 | 1298 132150 561686 | 2147483647 55416 93 | 0.000 % |
35.85/35.98 c | 56142 | 1298 132150 561686 | 2147483647 56142 93 | 0.000 % |
36.15/36.22 c | 56245 | 1298 132150 561686 | 2147483647 56245 93 | 0.000 % |
36.25/36.36 c | 56356 | 1298 132150 561686 | 2147483647 56356 93 | 0.000 % |
36.45/36.53 c | 56480 | 1298 132150 561686 | 2147483647 56480 93 | 0.000 % |
36.74/36.85 c | 56613 | 1298 132150 561686 | 2147483647 56613 93 | 0.000 % |
37.04/37.19 c | 56759 | 1298 132150 561686 | 2147483647 56759 93 | 0.000 % |
37.44/37.52 c | 56922 | 1298 132150 561686 | 2147483647 56922 93 | 0.000 % |
37.74/37.87 c | 57099 | 1298 132150 561686 | 2147483647 57099 93 | 0.000 % |
38.24/38.33 c | 57292 | 1298 132150 561686 | 2147483647 57292 93 | 0.000 % |
38.64/38.78 c | 57505 | 1298 132150 561686 | 2147483647 57505 93 | 0.000 % |
39.24/39.37 c | 57739 | 1298 132150 561686 | 2147483647 57739 93 | 0.000 % |
39.84/39.93 c | 57995 | 1298 132150 561686 | 2147483647 57995 93 | 0.000 % |
40.54/40.62 c | 58278 | 1298 132150 561686 | 2147483647 58278 93 | 0.000 % |
41.44/41.57 c | 58587 | 1298 132150 561686 | 2147483647 58587 93 | 0.000 % |
42.44/42.59 c | 58926 | 1298 132150 561686 | 2147483647 58926 93 | 0.000 % |
43.64/43.74 c | 59301 | 1298 132150 561686 | 2147483647 59301 93 | 0.000 % |
44.65/44.73 c | 59712 | 1298 132150 561686 | 2147483647 59712 93 | 0.000 % |
45.75/45.88 c | 60161 | 1298 132150 561686 | 2147483647 60161 93 | 0.000 % |
46.95/47.08 c | 60655 | 1298 132150 561686 | 2147483647 60655 93 | 0.000 % |
48.45/48.51 c | 61197 | 1298 132150 561686 | 2147483647 61197 93 | 0.000 % |
50.04/50.11 c | 61796 | 1298 132150 561686 | 2147483647 61796 93 | 0.000 % |
51.45/51.52 c | 62451 | 1298 132150 561686 | 2147483647 62451 93 | 0.000 % |
53.24/53.34 c | 63171 | 1298 132150 561686 | 2147483647 63171 93 | 0.000 % |
55.04/55.18 c | 63964 | 1298 132150 561686 | 2147483647 63964 93 | 0.000 % |
55.44/55.54 c | 64065 | 1298 132150 561686 | 2147483647 64065 93 | 0.000 % |
55.84/55.92 c | 64175 | 1298 132150 561686 | 2147483647 64175 93 | 0.000 % |
56.24/56.38 c | 64298 | 1298 132150 561686 | 2147483647 64298 93 | 0.000 % |
56.74/56.83 c | 64432 | 1298 132150 561686 | 2147483647 64432 93 | 0.000 % |
57.34/57.41 c | 64578 | 1298 132150 561686 | 2147483647 64578 93 | 0.000 % |
57.74/57.88 c | 64739 | 1298 132150 561686 | 2147483647 64739 93 | 0.000 % |
58.24/58.39 c | 64915 | 1298 132150 561686 | 2147483647 64915 93 | 0.000 % |
59.14/59.22 c | 65109 | 1298 132150 561686 | 2147483647 65109 93 | 0.000 % |
59.84/59.97 c | 65323 | 1298 132150 561686 | 2147483647 65323 93 | 0.000 % |
60.54/60.62 c | 65557 | 1298 132150 561686 | 2147483647 65557 93 | 0.000 % |
61.44/61.52 c | 65814 | 1298 132150 561686 | 2147483647 65814 93 | 0.000 % |
62.34/62.49 c | 66095 | 1298 132150 561686 | 2147483647 66095 93 | 0.000 % |
63.44/63.53 c | 66405 | 1298 132150 561686 | 2147483647 66405 93 | 0.000 % |
64.94/65.05 c | 66744 | 1298 132150 561686 | 2147483647 66744 93 | 0.000 % |
66.13/66.25 c | 67118 | 1298 132150 561686 | 2147483647 67118 93 | 0.000 % |
67.43/67.55 c | 67528 | 1298 132150 561686 | 2147483647 67528 93 | 0.000 % |
68.93/69.04 c | 67982 | 1298 132150 561686 | 2147483647 67982 93 | 0.000 % |
70.34/70.46 c | 68478 | 1298 132150 561686 | 2147483647 68478 93 | 0.000 % |
71.93/72.00 c | 69021 | 1298 132150 561686 | 2147483647 69021 93 | 0.000 % |
73.44/73.54 c | 69617 | 1298 132150 561686 | 2147483647 69617 93 | 0.000 % |
74.64/74.73 c | 70272 | 1298 132150 561686 | 2147483647 70272 93 | 0.000 % |
76.34/76.49 c | 70993 | 1298 132150 561686 | 2147483647 70993 93 | 0.000 % |
78.64/78.77 c | 71785 | 1298 132150 561686 | 2147483647 71785 93 | 0.000 % |
81.34/81.46 c | 72656 | 1298 132150 561686 | 2147483647 72656 93 | 0.000 % |
81.73/81.83 c | 72757 | 1298 132150 561686 | 2147483647 72757 93 | 0.000 % |
82.03/82.12 c | 72868 | 1298 132150 561686 | 2147483647 72868 93 | 0.000 % |
82.23/82.40 c | 72989 | 1298 132150 561686 | 2147483647 72989 93 | 0.000 % |
82.73/82.84 c | 73122 | 1298 132150 561686 | 2147483647 73122 93 | 0.000 % |
83.13/83.29 c | 73269 | 1298 132150 561686 | 2147483647 73269 93 | 0.000 % |
83.73/83.86 c | 73432 | 1298 132150 561686 | 2147483647 73432 93 | 0.000 % |
84.23/84.33 c | 73612 | 1298 132150 561686 | 2147483647 73612 93 | 0.000 % |
84.73/84.84 c | 73805 | 1298 132150 561686 | 2147483647 73805 93 | 0.000 % |
85.33/85.48 c | 74018 | 1298 132150 561686 | 2147483647 74018 93 | 0.000 % |
86.23/86.30 c | 74253 | 1298 132150 561686 | 2147483647 74253 93 | 0.000 % |
87.33/87.46 c | 74509 | 1298 132150 561686 | 2147483647 74509 93 | 0.000 % |
88.63/88.77 c | 74791 | 1298 132150 561686 | 2147483647 74791 93 | 0.000 % |
89.63/89.76 c | 75105 | 1298 132150 561686 | 2147483647 75105 93 | 0.000 % |
90.93/91.07 c | 75445 | 1298 132150 561686 | 2147483647 75445 93 | 0.000 % |
92.03/92.11 c | 75820 | 1298 132150 561686 | 2147483647 75820 93 | 0.000 % |
93.63/93.74 c | 76230 | 1298 132150 561686 | 2147483647 76230 93 | 0.000 % |
95.43/95.51 c | 76680 | 1298 132150 561686 | 2147483647 76680 93 | 0.000 % |
96.83/96.93 c | 77175 | 1298 132150 561686 | 2147483647 77175 93 | 0.000 % |
98.72/98.88 c | 77718 | 1298 132150 561686 | 2147483647 77718 93 | 0.000 % |
101.03/101.16 c | 78319 | 1298 132150 561686 | 2147483647 78319 93 | 0.000 % |
102.62/102.71 c | 78976 | 1298 132150 561686 | 2147483647 78976 93 | 0.000 % |
105.62/105.78 c | 79696 | 1298 132150 561686 | 2147483647 79696 93 | 0.000 % |
108.02/108.14 c | 80489 | 1298 132150 561686 | 2147483647 80489 93 | 0.000 % |
112.32/112.48 c | 81361 | 1298 132150 561686 | 2147483647 81361 93 | 0.000 % |
117.02/117.14 c | 82322 | 1298 132150 561686 | 2147483647 82322 93 | 0.000 % |
117.52/117.62 c | 82422 | 1298 132150 561686 | 2147483647 82422 93 | 0.000 % |
118.11/118.22 c | 82535 | 1298 132150 561686 | 2147483647 82535 93 | 0.000 % |
118.81/118.92 c | 82657 | 1298 132150 561686 | 2147483647 82657 93 | 0.000 % |
119.73/119.82 c | 82790 | 1298 132150 561686 | 2147483647 82790 93 | 0.000 % |
120.62/120.77 c | 82937 | 1298 132150 561686 | 2147483647 82937 93 | 0.000 % |
121.42/121.50 c | 83097 | 1298 132150 561686 | 2147483647 83097 93 | 0.000 % |
122.22/122.34 c | 83275 | 1298 132150 561686 | 2147483647 83275 93 | 0.000 % |
123.12/123.28 c | 83470 | 1298 132150 561686 | 2147483647 83470 93 | 0.000 % |
124.22/124.31 c | 83684 | 1298 132150 561686 | 2147483647 83684 93 | 0.000 % |
125.32/125.43 c | 83917 | 1298 132150 561686 | 2147483647 83917 93 | 0.000 % |
126.42/126.52 c | 84173 | 1298 132150 561686 | 2147483647 84173 93 | 0.000 % |
127.42/127.55 c | 84454 | 1298 132150 561686 | 2147483647 84454 93 | 0.000 % |
128.22/128.37 c | 84765 | 1298 132150 561686 | 2147483647 84765 93 | 0.000 % |
129.52/129.63 c | 85105 | 1298 132150 561686 | 2147483647 85105 93 | 0.000 % |
131.32/131.47 c | 85477 | 1298 132150 561686 | 2147483647 85477 93 | 0.000 % |
133.11/133.29 c | 85886 | 1298 132150 561686 | 2147483647 85886 93 | 0.000 % |
135.12/135.28 c | 86338 | 1298 132150 561686 | 2147483647 86338 93 | 0.000 % |
137.11/137.22 c | 86833 | 1298 132150 561686 | 2147483647 86833 93 | 0.000 % |
140.21/140.36 c | 87377 | 1298 132150 561686 | 2147483647 87377 93 | 0.000 % |
142.81/142.97 c | 87974 | 1298 132150 561686 | 2147483647 87974 93 | 0.000 % |
145.31/145.49 c | 88629 | 1298 132150 561686 | 2147483647 88629 93 | 0.000 % |
148.71/148.85 c | 89349 | 1298 132150 561686 | 2147483647 89349 93 | 0.000 % |
152.10/152.29 c | 90141 | 1298 132150 561686 | 90000 90141 93 | 0.000 % |
156.50/156.62 c | 91012 | 1298 132150 561686 | 90000 73265 94 | 0.000 % |
161.10/161.29 c | 91972 | 1298 132150 561686 | 90000 74225 94 | 0.000 % |
165.31/165.44 c | 93025 | 1298 132150 561686 | 90000 75278 94 | 0.000 % |
165.80/165.98 c | 93125 | 1298 132150 561686 | 90000 75378 94 | 0.000 % |
165.91/166.06 c | 93237 | 1298 132150 561686 | 90000 75490 94 | 0.000 % |
166.60/166.77 c | 93360 | 1298 132150 561686 | 90000 75613 94 | 0.000 % |
168.00/168.14 c | 93493 | 1298 132150 561686 | 90000 75746 94 | 0.000 % |
168.70/168.88 c | 93640 | 1298 132150 561686 | 90000 75893 94 | 0.000 % |
169.40/169.55 c | 93800 | 1298 132150 561686 | 90000 76053 94 | 0.000 % |
170.41/170.56 c | 93976 | 1298 132150 561686 | 90000 76229 94 | 0.000 % |
171.60/171.78 c | 94170 | 1298 132150 561686 | 90000 76423 94 | 0.000 % |
172.30/172.46 c | 94383 | 1298 132150 561686 | 90000 76636 94 | 0.000 % |
173.10/173.22 c | 94616 | 1298 132150 561686 | 90000 76869 94 | 0.000 % |
173.50/173.66 c | 94876 | 1298 132150 561686 | 90000 77129 94 | 0.000 % |
174.70/174.85 c | 95157 | 1298 132150 561686 | 90000 77410 94 | 0.000 % |
175.90/176.07 c | 95469 | 1298 132150 561686 | 90000 77722 94 | 0.000 % |
178.90/179.02 c | 95808 | 1298 132150 561686 | 90000 78061 94 | 0.000 % |
181.00/181.15 c | 96180 | 1298 132150 561686 | 90000 78433 94 | 0.000 % |
183.70/183.84 c | 96589 | 1298 132150 561686 | 90000 78842 94 | 0.000 % |
187.30/187.44 c | 97039 | 1298 132150 561686 | 90000 79292 94 | 0.000 % |
192.69/192.81 c | 97534 | 1298 132150 561686 | 90000 79787 94 | 0.000 % |
198.09/198.20 c | 98079 | 1298 132150 561686 | 90000 80332 94 | 0.000 % |
203.39/203.56 c | 98676 | 1298 132150 561686 | 90000 80929 94 | 0.000 % |
208.69/208.89 c | 99332 | 1298 132150 561686 | 90000 81585 94 | 0.000 % |
214.89/215.01 c | 100052 | 1298 132150 561686 | 82253 82305 94 | 0.000 % |
219.79/219.95 c | 100844 | 1298 132150 561686 | 82253 59674 94 | 0.000 % |
225.48/225.64 c | 101715 | 1298 132150 561686 | 82253 60545 94 | 0.000 % |
232.38/232.59 c | 102673 | 1298 132150 561686 | 82253 61503 94 | 0.000 % |
238.38/238.51 c | 103726 | 1298 132150 561686 | 82253 62556 94 | 0.000 % |
245.78/245.94 c | 104884 | 1298 132150 561686 | 82253 63714 94 | 0.000 % |
246.68/246.82 c | 104987 | 1298 132150 561686 | 82253 63817 94 | 0.000 % |
247.68/247.88 c | 105098 | 1298 132150 561686 | 82253 63928 94 | 0.000 % |
248.68/248.84 c | 105220 | 1298 132150 561686 | 82253 64050 94 | 0.000 % |
249.78/249.90 c | 105354 | 1298 132150 561686 | 82253 64184 94 | 0.000 % |
250.48/250.67 c | 105502 | 1298 132150 561686 | 82253 64332 94 | 0.000 % |
251.28/251.43 c | 105665 | 1298 132150 561686 | 82253 64495 94 | 0.000 % |
252.57/252.77 c | 105841 | 1298 132150 561686 | 82253 64671 94 | 0.000 % |
253.47/253.63 c | 106034 | 1298 132150 561686 | 82253 64864 94 | 0.000 % |
254.98/255.13 c | 106246 | 1298 132150 561686 | 82253 65076 94 | 0.000 % |
255.98/256.16 c | 106479 | 1298 132150 561686 | 82253 65309 94 | 0.000 % |
257.47/257.67 c | 106735 | 1298 132150 561686 | 82253 65565 94 | 0.000 % |
259.07/259.21 c | 107019 | 1298 132150 561686 | 82253 65849 94 | 0.000 % |
260.87/261.08 c | 107328 | 1298 132150 561686 | 82253 66158 94 | 0.000 % |
263.88/264.01 c | 107667 | 1298 132150 561686 | 82253 66497 94 | 0.000 % |
266.77/266.94 c | 108039 | 1298 132150 561686 | 82253 66869 94 | 0.000 % |
271.27/271.44 c | 108449 | 1298 132150 561686 | 82253 67279 94 | 0.000 % |
275.37/275.50 c | 108898 | 1298 132150 561686 | 82253 67728 94 | 0.000 % |
277.37/277.59 c | 109392 | 1298 132150 561686 | 82253 68222 94 | 0.000 % |
278.66/278.81 c | 109935 | 1298 132150 561686 | 82253 68765 94 | 0.000 % |
284.56/284.78 c | 110532 | 1298 132150 561686 | 68830 48041 93 | 0.000 % |
286.97/287.11 c | 111187 | 1298 132150 561686 | 68830 48696 94 | 0.000 % |
291.06/291.29 c | 111908 | 1298 132150 561686 | 68830 49417 94 | 0.000 % |
295.26/295.41 c | 112700 | 1298 132150 561686 | 68830 50209 94 | 0.000 % |
299.96/300.11 c | 113572 | 1298 132150 561686 | 68830 51081 94 | 0.000 % |
305.26/305.42 c | 114533 | 1298 132150 561686 | 68830 52042 94 | 0.000 % |
311.96/312.11 c | 115586 | 1298 132150 561686 | 68830 53095 95 | 0.000 % |
320.15/320.33 c | 116744 | 1298 132150 561686 | 68830 54253 95 | 0.000 % |
326.75/326.95 c | 118018 | 1298 132150 561686 | 68830 55527 95 | 0.000 % |
327.35/327.56 c | 118118 | 1298 132150 561686 | 68830 55627 95 | 0.000 % |
328.25/328.48 c | 118229 | 1298 132150 561686 | 68830 55738 95 | 0.000 % |
328.95/329.19 c | 118350 | 1298 132150 561686 | 68830 55859 95 | 0.000 % |
329.86/330.09 c | 118483 | 1298 132150 561686 | 68830 55992 95 | 0.000 % |
330.95/331.15 c | 118629 | 1298 132150 561686 | 68830 56138 95 | 0.000 % |
331.95/332.11 c | 118790 | 1298 132150 561686 | 68830 56299 95 | 0.000 % |
332.85/333.03 c | 118970 | 1298 132150 561686 | 68830 56479 95 | 0.000 % |
333.85/334.04 c | 119163 | 1298 132150 561686 | 68830 56672 95 | 0.000 % |
334.85/335.05 c | 119376 | 1298 132150 561686 | 68830 56885 95 | 0.000 % |
336.55/336.70 c | 119610 | 1298 132150 561686 | 68830 57119 95 | 0.000 % |
337.75/337.97 c | 119866 | 1298 132150 561686 | 68830 57375 95 | 0.000 % |
339.15/339.38 c | 120148 | 1298 132150 561686 | 57509 57657 95 | 0.000 % |
340.75/340.93 c | 120458 | 1298 132150 561686 | 57509 40287 96 | 0.000 % |
341.75/341.97 c | 120798 | 1298 132150 561686 | 57509 40627 96 | 0.000 % |
342.75/342.98 c | 121171 | 1298 132150 561686 | 57509 41000 96 | 0.000 % |
344.55/344.79 c | 121581 | 1298 132150 561686 | 57509 41410 96 | 0.000 % |
346.44/346.61 c | 122030 | 1298 132150 561686 | 57509 41859 96 | 0.000 % |
348.14/348.36 c | 122523 | 1298 132150 561686 | 57509 42352 96 | 0.000 % |
349.84/350.06 c | 123065 | 1298 132150 561686 | 57509 42894 96 | 0.000 % |
351.54/351.79 c | 123662 | 1298 132150 561686 | 57509 43491 96 | 0.000 % |
354.14/354.37 c | 124319 | 1298 132150 561686 | 57509 44148 96 | 0.000 % |
356.94/357.16 c | 125041 | 1298 132150 561686 | 57509 44870 96 | 0.000 % |
359.64/359.89 c | 125833 | 1298 132150 561686 | 57509 45662 96 | 0.000 % |
363.14/363.38 c | 126705 | 1298 132150 561686 | 57509 46534 96 | 0.000 % |
367.24/367.43 c | 127663 | 1298 132150 561686 | 57509 47492 96 | 0.000 % |
371.13/371.34 c | 128716 | 1298 132150 561686 | 57509 48545 96 | 0.000 % |
375.24/375.46 c | 129875 | 1298 132150 561686 | 57509 49704 96 | 0.000 % |
379.44/379.68 c | 131150 | 1298 132150 561686 | 49831 42102 98 | 0.000 % |
383.04/383.23 c | 132551 | 1298 132150 561686 | 49831 43503 98 | 0.000 % |
383.44/383.69 c | 132651 | 1298 132150 561686 | 49831 43603 98 | 0.000 % |
383.94/384.14 c | 132761 | 1298 132150 561686 | 49831 43713 98 | 0.000 % |
384.24/384.47 c | 132884 | 1298 132150 561686 | 49831 43836 98 | 0.000 % |
384.64/384.80 c | 133017 | 1298 132150 561686 | 49831 43969 98 | 0.000 % |
384.94/385.17 c | 133165 | 1298 132150 561686 | 49831 44117 98 | 0.000 % |
385.44/385.68 c | 133330 | 1298 132150 561686 | 49831 44282 98 | 0.000 % |
386.04/386.28 c | 133508 | 1298 132150 561686 | 49831 44460 98 | 0.000 % |
386.74/386.95 c | 133703 | 1298 132150 561686 | 49831 44655 98 | 0.000 % |
387.34/387.52 c | 133917 | 1298 132150 561686 | 49831 44869 98 | 0.000 % |
388.14/388.31 c | 134151 | 1298 132150 561686 | 49831 45103 98 | 0.000 % |
388.84/389.00 c | 134409 | 1298 132150 561686 | 49831 45361 98 | 0.000 % |
389.44/389.68 c | 134690 | 1298 132150 561686 | 49831 45642 98 | 0.000 % |
390.54/390.75 c | 135000 | 1298 132150 561686 | 49831 45952 98 | 0.000 % |
391.93/392.16 c | 135340 | 1298 132150 561686 | 49831 46292 98 | 0.000 % |
392.84/393.02 c | 135712 | 1298 132150 561686 | 49831 46664 98 | 0.000 % |
393.64/393.88 c | 136122 | 1298 132150 561686 | 49831 47074 98 | 0.000 % |
394.23/394.48 c | 136572 | 1298 132150 561686 | 49831 47524 98 | 0.000 % |
395.74/395.95 c | 137067 | 1298 132150 561686 | 49831 48019 98 | 0.000 % |
397.63/397.87 c | 137609 | 1298 132150 561686 | 49831 48561 98 | 0.000 % |
400.13/400.39 c | 138208 | 1298 132150 561686 | 49831 49160 98 | 0.000 % |
401.53/401.71 c | 138863 | 1298 132150 561686 | 49831 49815 98 | 0.000 % |
403.73/403.94 c | 139583 | 1298 132150 561686 | 49831 45527 98 | 0.000 % |
405.93/406.11 c | 140375 | 1298 132150 561686 | 2147483647 46319 98 | 0.000 % |
408.63/408.88 c | 141246 | 1298 132150 561686 | 2147483647 47190 98 | 0.000 % |
411.63/411.86 c | 142206 | 1298 132150 561686 | 2147483647 48150 98 | 0.000 % |
415.73/415.93 c | 143261 | 1298 132150 561686 | 2147483647 49205 98 | 0.000 % |
418.93/419.15 c | 144420 | 1298 132150 561686 | 2147483647 50364 98 | 0.000 % |
423.12/423.30 c | 145694 | 1298 132150 561686 | 2147483647 51638 98 | 0.000 % |
427.63/427.86 c | 147094 | 1298 132150 561686 | 2147483647 53038 98 | 0.000 % |
431.62/431.85 c | 148635 | 1298 132150 561686 | 2147483647 54579 98 | 0.000 % |
431.92/432.17 c | 148735 | 1298 132150 561686 | 2147483647 54679 98 | 0.000 % |
432.22/432.45 c | 148849 | 1298 132150 561686 | 2147483647 54793 98 | 0.000 % |
432.42/432.69 c | 148974 | 1298 132150 561686 | 2147483647 54918 98 | 0.000 % |
432.82/433.02 c | 149107 | 1298 132150 561686 | 2147483647 55051 98 | 0.000 % |
433.12/433.31 c | 149257 | 1298 132150 561686 | 2147483647 55201 98 | 0.000 % |
433.42/433.69 c | 149418 | 1298 132150 561686 | 2147483647 55362 98 | 0.000 % |
433.92/434.17 c | 149595 | 1298 132150 561686 | 2147483647 55539 98 | 0.000 % |
434.92/435.14 c | 149788 | 1298 132150 561686 | 2147483647 55732 98 | 0.000 % |
435.72/435.91 c | 150000 | 1298 132150 561686 | 2147483647 55944 98 | 0.000 % |
436.52/436.79 c | 150233 | 1298 132150 561686 | 2147483647 56177 98 | 0.000 % |
437.42/437.61 c | 150491 | 1298 132150 561686 | 2147483647 56435 98 | 0.000 % |
438.02/438.24 c | 150773 | 1298 132150 561686 | 2147483647 56717 98 | 0.000 % |
439.22/439.46 c | 151082 | 1298 132150 561686 | 2147483647 57026 98 | 0.000 % |
440.41/440.61 c | 151423 | 1298 132150 561686 | 2147483647 57367 98 | 0.000 % |
441.81/442.07 c | 151795 | 1298 132150 561686 | 2147483647 57739 98 | 0.000 % |
442.91/443.11 c | 152206 | 1298 132150 561686 | 2147483647 58150 98 | 0.000 % |
443.91/444.12 c | 152655 | 1298 132150 561686 | 2147483647 58599 98 | 0.000 % |
445.41/445.63 c | 153149 | 1298 132150 561686 | 2147483647 59093 98 | 0.000 % |
447.61/447.81 c | 153691 | 1298 132150 561686 | 2147483647 59635 98 | 0.000 % |
449.51/449.72 c | 154287 | 1298 132150 561686 | 2147483647 60231 97 | 0.000 % |
452.01/452.20 c | 154942 | 1298 132150 561686 | 2147483647 60886 97 | 0.000 % |
453.81/454.00 c | 155664 | 1298 132150 561686 | 2147483647 61608 97 | 0.000 % |
456.31/456.54 c | 156456 | 1298 132150 561686 | 2147483647 62400 97 | 0.000 % |
459.11/459.31 c | 157327 | 1298 132150 561686 | 2147483647 63271 97 | 0.000 % |
461.81/462.01 c | 158286 | 1298 132150 561686 | 2147483647 64230 97 | 0.000 % |
466.11/466.32 c | 159340 | 1298 132150 561686 | 2147483647 65284 97 | 0.000 % |
468.71/468.91 c | 160498 | 1298 132150 561686 | 2147483647 66442 97 | 0.000 % |
470.81/471.08 c | 161771 | 1298 132150 561686 | 2147483647 67715 97 | 0.000 % |
473.01/473.27 c | 163172 | 1298 132150 561686 | 2147483647 69116 96 | 0.000 % |
475.70/475.90 c | 164714 | 1298 132150 561686 | 2147483647 70658 96 | 0.000 % |
479.00/479.26 c | 166408 | 1298 132150 561686 | 2147483647 72352 96 | 0.000 % |
479.41/479.61 c | 166508 | 1298 132150 561686 | 2147483647 72452 96 | 0.000 % |
479.80/480.05 c | 166618 | 1298 132150 561686 | 2147483647 72562 96 | 0.000 % |
480.70/480.92 c | 166740 | 1298 132150 561686 | 2147483647 72684 96 | 0.000 % |
481.70/481.92 c | 166873 | 1298 132150 561686 | 2147483647 72817 96 | 0.000 % |
482.71/482.99 c | 167022 | 1298 132150 561686 | 2147483647 72966 96 | 0.000 % |
483.00/483.26 c | 167189 | 1298 132150 561686 | 2147483647 73133 96 | 0.000 % |
483.90/484.17 c | 167365 | 1298 132150 561686 | 2147483647 73309 96 | 0.000 % |
485.60/485.81 c | 167559 | 1298 132150 561686 | 2147483647 73503 96 | 0.000 % |
487.10/487.34 c | 167777 | 1298 132150 561686 | 2147483647 73721 96 | 0.000 % |
488.00/488.22 c | 168012 | 1298 132150 561686 | 2147483647 73956 96 | 0.000 % |
489.50/489.72 c | 168268 | 1298 132150 561686 | 2147483647 74212 96 | 0.000 % |
491.80/492.02 c | 168549 | 1298 132150 561686 | 2147483647 74493 96 | 0.000 % |
492.30/492.51 c | 168859 | 1298 132150 561686 | 2147483647 74803 96 | 0.000 % |
494.70/494.99 c | 169198 | 1298 132150 561686 | 2147483647 75142 96 | 0.000 % |
497.80/498.03 c | 169570 | 1298 132150 561686 | 2147483647 75514 97 | 0.000 % |
500.39/500.60 c | 169983 | 1298 132150 561686 | 2147483647 75927 97 | 0.000 % |
505.80/506.06 c | 170432 | 1298 132150 561686 | 75945 76376 97 | 0.000 % |
511.09/511.31 c | 170925 | 1298 132150 561686 | 75945 62007 96 | 0.000 % |
515.79/516.09 c | 171467 | 1298 132150 561686 | 75945 62549 96 | 0.000 % |
519.89/520.18 c | 172063 | 1298 132150 561686 | 75945 63145 96 | 0.000 % |
524.29/524.51 c | 172718 | 1298 132150 561686 | 75945 63800 96 | 0.000 % |
529.48/529.70 c | 173439 | 1298 132150 561686 | 75945 64521 96 | 0.000 % |
534.39/534.61 c | 174231 | 1298 132150 561686 | 75945 65313 96 | 0.000 % |
538.98/539.25 c | 175102 | 1298 132150 561686 | 75945 66184 96 | 0.000 % |
546.28/546.58 c | 176061 | 1298 132150 561686 | 75945 67143 96 | 0.000 % |
552.68/552.99 c | 177115 | 1298 132150 561686 | 75945 68197 96 | 0.000 % |
559.07/559.34 c | 178273 | 1298 132150 561686 | 75945 69355 97 | 0.000 % |
566.47/566.79 c | 179548 | 1298 132150 561686 | 75945 70630 97 | 0.000 % |
575.57/575.80 c | 180948 | 1298 132150 561686 | 71082 54386 95 | 0.000 % |
582.47/582.74 c | 182490 | 1298 132150 561686 | 71082 55928 95 | 0.000 % |
589.67/589.98 c | 184186 | 1298 132150 561686 | 71082 57624 95 | 0.000 % |
596.26/596.56 c | 186050 | 1298 132150 561686 | 71082 59488 95 | 0.000 % |
596.66/596.97 c | 186151 | 1298 132150 561686 | 71082 59589 95 | 0.000 % |
597.16/597.42 c | 186261 | 1298 132150 561686 | 71082 59699 95 | 0.000 % |
597.26/597.50 c | 186383 | 1298 132150 561686 | 71082 59821 95 | 0.000 % |
598.17/598.43 c | 186516 | 1298 132150 561686 | 71082 59954 95 | 0.000 % |
599.06/599.30 c | 186665 | 1298 132150 561686 | 71082 60103 95 | 0.000 % |
600.06/600.33 c | 186827 | 1298 132150 561686 | 71082 60265 95 | 0.000 % |
601.06/601.34 c | 187005 | 1298 132150 561686 | 71082 60443 95 | 0.000 % |
602.46/602.78 c | 187198 | 1298 132150 561686 | 71082 60636 95 | 0.000 % |
603.56/603.83 c | 187412 | 1298 132150 561686 | 71082 60850 95 | 0.000 % |
604.86/605.15 c | 187645 | 1298 132150 561686 | 71082 61083 95 | 0.001 % |
605.96/606.21 c | 187901 | 1298 132150 561686 | 71082 61339 95 | 0.000 % |
607.66/607.93 c | 188183 | 1298 132150 561686 | 71082 61621 95 | 0.000 % |
609.26/609.55 c | 188494 | 1298 132150 561686 | 71082 61932 95 | 0.000 % |
609.96/610.20 c | 188833 | 1298 132150 561686 | 71082 62271 95 | 0.000 % |
610.56/610.86 c | 189208 | 1298 132150 561686 | 71082 62646 95 | 0.000 % |
611.46/611.72 c | 189617 | 1298 132150 561686 | 71082 63055 95 | 0.000 % |
612.36/612.64 c | 190069 | 1298 132150 561686 | 63442 63507 95 | 0.000 % |
614.86/615.17 c | 190562 | 1298 132150 561686 | 63442 52627 94 | 0.000 % |
617.26/617.58 c | 191106 | 1298 132150 561686 | 63442 53171 95 | 0.000 % |
620.35/620.61 c | 191702 | 1298 132150 561686 | 63442 53767 95 | 0.000 % |
622.55/622.89 c | 192358 | 1298 132150 561686 | 63442 54423 95 | 0.000 % |
623.95/624.29 c | 193079 | 1298 132150 561686 | 63442 55144 95 | 0.000 % |
627.65/627.96 c | 193871 | 1298 132150 561686 | 63442 55936 95 | 0.000 % |
632.86/633.15 c | 194742 | 1298 132150 561686 | 63442 56807 95 | 0.000 % |
636.96/637.27 c | 195700 | 1298 132150 561686 | 63442 57765 95 | 0.000 % |
641.96/642.25 c | 196754 | 1298 132150 561686 | 63442 58819 95 | 0.000 % |
646.35/646.67 c | 197912 | 1298 132150 561686 | 63442 59977 95 | 0.000 % |
652.15/652.41 c | 199185 | 1298 132150 561686 | 63442 61250 95 | 0.000 % |
659.05/659.38 c | 200587 | 1298 132150 561686 | 62067 50819 96 | 0.000 % |
664.75/665.05 c | 202128 | 1298 132150 561686 | 62067 52360 96 | 0.000 % |
670.75/671.08 c | 203823 | 1298 132150 561686 | 62067 54055 96 | 0.000 % |
676.25/676.56 c | 205687 | 1298 132150 561686 | 62067 55919 96 | 0.000 % |
683.44/683.77 c | 207736 | 1298 132150 561686 | 62067 57968 96 | 0.000 % |
683.74/684.07 c | 207836 | 1298 132150 561686 | 62067 58068 96 | 0.000 % |
684.24/684.55 c | 207948 | 1298 132150 561686 | 62067 58180 96 | 0.000 % |
684.54/684.83 c | 208070 | 1298 132150 561686 | 62067 58302 96 | 0.000 % |
685.05/685.38 c | 208203 | 1298 132150 561686 | 62067 58435 96 | 0.000 % |
685.64/685.99 c | 208352 | 1298 132150 561686 | 62067 58584 96 | 0.000 % |
686.34/686.67 c | 208512 | 1298 132150 561686 | 62067 58744 96 | 0.000 % |
687.04/687.30 c | 208688 | 1298 132150 561686 | 62067 58920 96 | 0.000 % |
687.64/687.99 c | 208882 | 1298 132150 561686 | 62067 59114 96 | 0.000 % |
688.44/688.75 c | 209098 | 1298 132150 561686 | 62067 59330 96 | 0.000 % |
689.34/689.64 c | 209331 | 1298 132150 561686 | 62067 59563 96 | 0.000 % |
690.34/690.70 c | 209587 | 1298 132150 561686 | 62067 59819 96 | 0.000 % |
691.84/692.16 c | 209868 | 1298 132150 561686 | 62067 60100 96 | 0.000 % |
693.44/693.74 c | 210179 | 1298 132150 561686 | 60232 60411 96 | 0.000 % |
694.74/695.02 c | 210519 | 1298 132150 561686 | 60232 52365 97 | 0.000 % |
695.44/695.75 c | 210893 | 1298 132150 561686 | 60232 52739 97 | 0.000 % |
696.54/696.89 c | 211302 | 1298 132150 561686 | 60232 53148 97 | 0.000 % |
697.74/698.05 c | 211752 | 1298 132150 561686 | 60232 53598 97 | 0.000 % |
698.63/698.94 c | 212248 | 1298 132150 561686 | 60232 54094 97 | 0.000 % |
699.24/699.55 c | 212791 | 1298 132150 561686 | 60232 54637 97 | 0.000 % |
700.44/700.78 c | 213387 | 1298 132150 561686 | 60232 55233 96 | 0.000 % |
701.44/701.78 c | 214046 | 1298 132150 561686 | 60232 55892 96 | 0.000 % |
703.23/703.57 c | 214766 | 1298 132150 561686 | 60232 56612 96 | 0.000 % |
705.13/705.40 c | 215560 | 1298 132150 561686 | 60232 57406 96 | 0.000 % |
706.93/707.23 c | 216431 | 1298 132150 561686 | 60232 58277 96 | 0.000 % |
708.13/708.47 c | 217393 | 1298 132150 561686 | 60232 59239 96 | 0.000 % |
709.23/709.57 c | 218446 | 1298 132150 561686 | 60232 60292 96 | 0.000 % |
710.43/710.75 c | 219607 | 1298 132150 561686 | 60232 55424 96 | 0.000 % |
712.03/712.36 c | 220880 | 1298 132150 561686 | 2147483647 56697 96 | 0.000 % |
716.63/716.90 c | 222283 | 1298 132150 561686 | 2147483647 58100 95 | 0.000 % |
721.63/721.93 c | 223823 | 1298 132150 561686 | 2147483647 59640 95 | 0.000 % |
724.32/724.61 c | 225518 | 1298 132150 561686 | 2147483647 61335 95 | 0.000 % |
735.22/735.58 c | 227381 | 1298 132150 561686 | 2147483647 63198 96 | 0.000 % |
744.02/744.30 c | 229432 | 1298 132150 561686 | 2147483647 65249 96 | 0.000 % |
756.82/757.18 c | 231688 | 1298 132150 561686 | 2147483647 67505 96 | 0.000 % |
757.02/757.38 c | 231790 | 1298 132150 561686 | 2147483647 67607 96 | 0.000 % |
757.92/758.29 c | 231901 | 1298 132150 561686 | 2147483647 67718 96 | 0.000 % |
758.62/758.93 c | 232024 | 1298 132150 561686 | 2147483647 67841 96 | 0.000 % |
759.22/759.56 c | 232157 | 1298 132150 561686 | 2147483647 67974 96 | 0.000 % |
760.12/760.46 c | 232305 | 1298 132150 561686 | 2147483647 68122 96 | 0.000 % |
760.92/761.26 c | 232469 | 1298 132150 561686 | 2147483647 68286 96 | 0.000 % |
761.12/761.45 c | 232645 | 1298 132150 561686 | 2147483647 68462 96 | 0.000 % |
762.62/762.99 c | 232843 | 1298 132150 561686 | 2147483647 68660 96 | 0.000 % |
764.02/764.31 c | 233057 | 1298 132150 561686 | 2147483647 68874 96 | 0.000 % |
765.32/765.61 c | 233291 | 1298 132150 561686 | 2147483647 69108 96 | 0.000 % |
766.91/767.27 c | 233548 | 1298 132150 561686 | 2147483647 69365 96 | 0.000 % |
770.11/770.42 c | 233831 | 1298 132150 561686 | 2147483647 69648 96 | 0.000 % |
772.21/772.55 c | 234140 | 1298 132150 561686 | 2147483647 69957 96 | 0.000 % |
775.12/775.46 c | 234480 | 1298 132150 561686 | 2147483647 70297 96 | 0.000 % |
777.91/778.28 c | 234852 | 1298 132150 561686 | 2147483647 70669 96 | 0.000 % |
781.81/782.14 c | 235262 | 1298 132150 561686 | 2147483647 71079 96 | 0.000 % |
785.41/785.78 c | 235711 | 1298 132150 561686 | 2147483647 71528 96 | 0.000 % |
789.51/789.87 c | 236206 | 1298 132150 561686 | 2147483647 72023 96 | 0.000 % |
794.21/794.52 c | 236748 | 1298 132150 561686 | 2147483647 72565 96 | 0.000 % |
799.20/799.59 c | 237344 | 1298 132150 561686 | 2147483647 73161 96 | 0.000 % |
804.70/805.02 c | 238000 | 1298 132150 561686 | 2147483647 73817 96 | 0.000 % |
808.90/809.25 c | 238720 | 1298 132150 561686 | 2147483647 74537 96 | 0.000 % |
813.00/813.31 c | 239512 | 1298 132150 561686 | 2147483647 75329 96 | 0.000 % |
818.70/819.08 c | 240383 | 1298 132150 561686 | 75817 57502 96 | 0.000 % |
820.60/820.98 c | 241342 | 1298 132150 561686 | 75817 58461 96 | 0.000 % |
823.69/824.03 c | 242396 | 1298 132150 561686 | 75817 59515 96 | 0.000 % |
827.39/827.73 c | 243554 | 1298 132150 561686 | 75817 60673 96 | 0.000 % |
831.99/832.39 c | 244827 | 1298 132150 561686 | 75817 61946 96 | 0.000 % |
837.79/838.14 c | 246228 | 1298 132150 561686 | 75817 63347 96 | 0.000 % |
843.99/844.33 c | 247771 | 1298 132150 561686 | 75817 64890 96 | 0.000 % |
852.99/853.30 c | 249465 | 1298 132150 561686 | 75817 66584 96 | 0.000 % |
860.78/861.20 c | 251328 | 1298 132150 561686 | 67119 57657 96 | 0.000 % |
866.08/866.43 c | 253377 | 1298 132150 561686 | 67119 59706 96 | 0.000 % |
875.28/875.67 c | 255630 | 1298 132150 561686 | 67119 61959 96 | 0.000 % |
884.08/884.48 c | 258110 | 1298 132150 561686 | 67119 64439 96 | 0.000 % |
884.47/884.80 c | 258211 | 1298 132150 561686 | 67119 64540 96 | 0.000 % |
884.67/885.06 c | 258322 | 1298 132150 561686 | 67119 64651 96 | 0.000 % |
885.57/885.95 c | 258443 | 1298 132150 561686 | 67119 64772 96 | 0.000 % |
885.97/886.31 c | 258577 | 1298 132150 561686 | 67119 64906 96 | 0.000 % |
886.77/887.14 c | 258724 | 1298 132150 561686 | 67119 65053 96 | 0.000 % |
887.67/888.03 c | 258884 | 1298 132150 561686 | 67119 65213 96 | 0.000 % |
888.17/888.52 c | 259063 | 1298 132150 561686 | 67119 65392 96 | 0.000 % |
888.77/889.17 c | 259257 | 1298 132150 561686 | 67119 65586 96 | 0.000 % |
889.48/889.85 c | 259469 | 1298 132150 561686 | 67119 65798 96 | 0.000 % |
890.47/890.85 c | 259702 | 1298 132150 561686 | 67119 66031 96 | 0.000 % |
891.37/891.75 c | 259958 | 1298 132150 561686 | 67119 66287 96 | 0.000 % |
893.07/893.40 c | 260240 | 1298 132150 561686 | 66330 66569 96 | 0.000 % |
894.77/895.11 c | 260550 | 1298 132150 561686 | 66330 56932 96 | 0.000 % |
896.17/896.53 c | 260889 | 1298 132150 561686 | 66330 57271 96 | 0.000 % |
897.27/897.68 c | 261262 | 1298 132150 561686 | 66330 57644 96 | 0.000 % |
898.37/898.77 c | 261672 | 1298 132150 561686 | 66330 58054 96 | 0.000 % |
900.37/900.72 c | 262127 | 1298 132150 561686 | 66330 58509 96 | 0.000 % |
901.77/902.19 c | 262624 | 1298 132150 561686 | 66330 59006 96 | 0.000 % |
903.07/903.40 c | 263168 | 1298 132150 561686 | 66330 59550 96 | 0.000 % |
904.07/904.46 c | 263767 | 1298 132150 561686 | 66330 60149 96 | 0.000 % |
905.37/905.73 c | 264422 | 1298 132150 561686 | 66330 60804 96 | 0.000 % |
907.27/907.65 c | 265142 | 1298 132150 561686 | 66330 61524 96 | 0.000 % |
909.57/909.97 c | 265934 | 1298 132150 561686 | 66330 62316 96 | 0.000 % |
910.97/911.39 c | 266805 | 1298 132150 561686 | 66330 63187 96 | 0.000 % |
912.36/912.79 c | 267764 | 1298 132150 561686 | 66330 64146 96 | 0.000 % |
913.67/914.04 c | 268817 | 1298 132150 561686 | 66330 65199 96 | 0.000 % |
915.66/916.01 c | 269975 | 1298 132150 561686 | 66330 66357 96 | 0.000 % |
917.36/917.75 c | 271248 | 1298 132150 561686 | 2147483647 60995 96 | 0.000 % |
919.16/919.51 c | 272649 | 1298 132150 561686 | 2147483647 62396 96 | 0.000 % |
921.06/921.42 c | 274189 | 1298 132150 561686 | 2147483647 63936 96 | 0.000 % |
923.16/923.58 c | 275885 | 1298 132150 561686 | 2147483647 65632 95 | 0.000 % |
927.66/928.07 c | 277749 | 1298 132150 561686 | 2147483647 67496 95 | 0.000 % |
935.56/935.90 c | 279798 | 1298 132150 561686 | 2147483647 69545 95 | 0.000 % |
937.87/938.27 c | 282052 | 1298 132150 561686 | 2147483647 71799 95 | 0.000 % |
949.16/949.59 c | 284532 | 1298 132150 561686 | 2147483647 74279 96 | 0.000 % |
958.35/958.71 c | 287257 | 1298 132150 561686 | 2147483647 77004 96 | 0.000 % |
958.86/959.26 c | 287357 | 1298 132150 561686 | 2147483647 77104 96 | 0.000 % |
959.25/959.62 c | 287467 | 1298 132150 561686 | 2147483647 77214 96 | 0.000 % |
959.45/959.90 c | 287588 | 1298 132150 561686 | 2147483647 77335 96 | 0.000 % |
960.15/960.53 c | 287721 | 1298 132150 561686 | 2147483647 77468 96 | 0.000 % |
960.75/961.17 c | 287867 | 1298 132150 561686 | 2147483647 77614 96 | 0.000 % |
961.45/961.81 c | 288027 | 1298 132150 561686 | 2147483647 77774 96 | 0.000 % |
962.06/962.44 c | 288205 | 1298 132150 561686 | 2147483647 77952 96 | 0.000 % |
962.75/963.13 c | 288398 | 1298 132150 561686 | 2147483647 78145 96 | 0.000 % |
963.85/964.22 c | 288610 | 1298 132150 561686 | 2147483647 78357 96 | 0.000 % |
964.26/964.62 c | 288844 | 1298 132150 561686 | 2147483647 78591 96 | 0.000 % |
965.36/965.76 c | 289103 | 1298 132150 561686 | 2147483647 78850 96 | 0.000 % |
965.85/966.21 c | 289385 | 1298 132150 561686 | 2147483647 79132 96 | 0.000 % |
966.56/966.93 c | 289694 | 1298 132150 561686 | 2147483647 79441 96 | 0.000 % |
967.56/967.94 c | 290033 | 1298 132150 561686 | 79748 79780 96 | 0.000 % |
969.05/969.40 c | 290408 | 1298 132150 561686 | 79748 71445 96 | 0.000 % |
970.15/970.53 c | 290817 | 1298 132150 561686 | 79748 71854 96 | 0.000 % |
970.95/971.32 c | 291267 | 1298 132150 561686 | 79748 72304 96 | 0.000 % |
972.05/972.47 c | 291761 | 1298 132150 561686 | 79748 72798 96 | 0.000 % |
973.35/973.72 c | 292303 | 1298 132150 561686 | 79748 73340 96 | 0.000 % |
975.05/975.48 c | 292899 | 1298 132150 561686 | 79748 73936 96 | 0.000 % |
977.05/977.44 c | 293554 | 1298 132150 561686 | 79748 74591 96 | 0.000 % |
978.75/979.14 c | 294274 | 1298 132150 561686 | 79748 75311 96 | 0.000 % |
980.55/980.94 c | 295066 | 1298 132150 561686 | 79748 76103 96 | 0.000 % |
982.65/983.07 c | 295938 | 1298 132150 561686 | 79748 76975 96 | 0.000 % |
984.15/984.57 c | 296896 | 1298 132150 561686 | 79748 77933 96 | 0.000 % |
986.14/986.51 c | 297949 | 1298 132150 561686 | 79748 78986 96 | 0.000 % |
987.14/987.51 c | 299107 | 1298 132150 561686 | 79748 80144 96 | 0.000 % |
988.74/989.15 c | 300382 | 1298 132150 561686 | 2147483647 73405 95 | 0.000 % |
989.84/990.29 c | 301782 | 1298 132150 561686 | 2147483647 74805 95 | 0.000 % |
991.34/991.72 c | 303322 | 1298 132150 561686 | 2147483647 76345 95 | 0.000 % |
993.14/993.57 c | 305016 | 1298 132150 561686 | 2147483647 78039 95 | 0.000 % |
1000.54/1000.97 c | 306879 | 1298 132150 561686 | 2147483647 79902 95 | 0.000 % |
1008.54/1008.94 c | 308931 | 1298 132150 561686 | 2147483647 81954 95 | 0.000 % |
1019.03/1019.47 c | 311186 | 1298 132150 561686 | 2147483647 84209 94 | 0.000 % |
1024.93/1025.37 c | 313666 | 1298 132150 561686 | 2147483647 86689 94 | 0.000 % |
1036.02/1036.42 c | 316395 | 1298 132150 561686 | 2147483647 89418 94 | 0.000 % |
1048.12/1048.53 c | 319392 | 1298 132150 561686 | 2147483647 92415 94 | 0.000 % |
1048.82/1049.21 c | 319499 | 1298 132150 561686 | 2147483647 92522 94 | 0.000 % |
1049.42/1049.85 c | 319611 | 1298 132150 561686 | 2147483647 92634 94 | 0.000 % |
1049.82/1050.20 c | 319732 | 1298 132150 561686 | 2147483647 92755 94 | 0.000 % |
1050.22/1050.69 c | 319865 | 1298 132150 561686 | 2147483647 92888 94 | 0.000 % |
1050.72/1051.17 c | 320014 | 1298 132150 561686 | 93024 93037 94 | 0.000 % |
1051.62/1052.09 c | 320174 | 1298 132150 561686 | 93024 79036 93 | 0.000 % |
1051.93/1052.38 c | 320352 | 1298 132150 561686 | 93024 79214 93 | 0.000 % |
1052.13/1052.52 c | 320551 | 1298 132150 561686 | 93024 79413 93 | 0.000 % |
1052.53/1052.95 c | 320763 | 1298 132150 561686 | 93024 79625 93 | 0.000 % |
1053.13/1053.55 c | 320996 | 1298 132150 561686 | 93024 79858 93 | 0.000 % |
1053.43/1053.89 c | 321253 | 1298 132150 561686 | 93024 80115 93 | 0.000 % |
1053.83/1054.22 c | 321534 | 1298 132150 561686 | 93024 80396 93 | 0.000 % |
1054.22/1054.68 c | 321845 | 1298 132150 561686 | 93024 80707 93 | 0.000 % |
1054.82/1055.22 c | 322184 | 1298 132150 561686 | 93024 81046 93 | 0.000 % |
1055.32/1055.71 c | 322557 | 1298 132150 561686 | 93024 81419 93 | 0.000 % |
1055.72/1056.16 c | 322969 | 1298 132150 561686 | 93024 81831 93 | 0.000 % |
1056.32/1056.72 c | 323418 | 1298 132150 561686 | 93024 82280 93 | 0.000 % |
1057.02/1057.45 c | 323913 | 1298 132150 561686 | 93024 82775 93 | 0.000 % |
1057.62/1058.06 c | 324455 | 1298 132150 561686 | 93024 83317 92 | 0.000 % |
1058.32/1058.74 c | 325053 | 1298 132150 561686 | 93024 83915 92 | 0.000 % |
1059.12/1059.59 c | 325709 | 1298 132150 561686 | 93024 84571 92 | 0.000 % |
1060.03/1060.47 c | 326429 | 1298 132150 561686 | 93024 85291 92 | 0.000 % |
1061.03/1061.44 c | 327222 | 1298 132150 561686 | 93024 86084 92 | 0.000 % |
1062.13/1062.57 c | 328096 | 1298 132150 561686 | 93024 86958 92 | 0.000 % |
1063.52/1063.92 c | 329055 | 1298 132150 561686 | 93024 87917 92 | 0.000 % |
1065.02/1065.48 c | 330110 | 1298 132150 561686 | 2147483647 88972 92 | 0.000 % |
1066.53/1066.98 c | 331268 | 1298 132150 561686 | 2147483647 90130 92 | 0.000 % |
1067.82/1068.25 c | 332543 | 1298 132150 561686 | 2147483647 91405 92 | 0.000 % |
1068.62/1069.03 c | 333944 | 1298 132150 561686 | 2147483647 92806 92 | 0.000 % |
1069.42/1069.87 c | 335484 | 1298 132150 561686 | 2147483647 94346 92 | 0.000 % |
1070.42/1070.84 c | 337178 | 1298 132150 561686 | 2147483647 96040 92 | 0.000 % |
1071.62/1072.09 c | 339043 | 1298 132150 561686 | 2147483647 97905 93 | 0.000 % |
1087.61/1088.01 c | 341093 | 1298 132150 561686 | 2147483647 99955 93 | 0.000 % |
1115.50/1115.94 c | 343346 | 1298 132150 561686 | 2147483647 102208 93 | 0.000 % |
1140.99/1141.47 c | 345825 | 1298 132150 561686 | 2147483647 104687 93 | 0.000 % |
1160.69/1161.14 c | 348551 | 1298 132150 561686 | 2147483647 107413 94 | 0.000 % |
1182.38/1182.82 c | 351548 | 1298 132150 561686 | 108862 73404 93 | 0.000 % |
1196.28/1196.73 c | 354845 | 1298 132150 561686 | 108862 76701 94 | 0.000 % |
1196.48/1196.97 c | 354950 | 1298 132150 561686 | 108862 76806 94 | 0.000 % |
1197.38/1197.89 c | 355062 | 1298 132150 561686 | 108862 76918 94 | 0.000 % |
1198.28/1198.79 c | 355184 | 1298 132150 561686 | 108862 77040 94 | 0.000 % |
1199.28/1199.74 c | 355317 | 1298 132150 561686 | 108862 77173 94 | 0.000 % |
1199.98/1200.45 c | 355465 | 1298 132150 561686 | 108862 77321 94 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833963-1242826611/watcher-1833963-1242826611 -o /tmp/evaluation-result-1833963-1242826611/solver-1833963-1242826611 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833963-1242826611.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4470
/proc/meminfo: memFree=1902096/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=0
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310687124 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4470/statm: 1339 237 197 169 0 50 0
[startup+0.0152219 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4470
/proc/meminfo: memFree=1902096/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=0
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310687124 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4470/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102229 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4470
/proc/meminfo: memFree=1902096/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=0
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310687124 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4470/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302244 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4470
/proc/meminfo: memFree=1902096/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=0
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310687124 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4470/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701277 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4470
/proc/meminfo: memFree=1902096/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=0
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310687124 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4470/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4475
/proc/meminfo: memFree=1888576/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 5356
[startup+3.10147 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 4476
/proc/meminfo: memFree=1889536/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=10888 CPUtime=1.94
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 2617 0 0 0 193 1 0 0 25 0 1 0 310687239 11149312 2603 1992294400 134512640 135215339 4294956240 18446744073709551615 134538059 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 2722 2604 77 171 0 2549 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16244
[startup+6.30172 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 4476
/proc/meminfo: memFree=1885824/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=14084 CPUtime=5.13
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 3407 0 0 0 511 2 0 0 25 0 1 0 310687239 14422016 3393 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 3521 3393 77 171 0 3348 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19440
[startup+12.7012 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 4476
/proc/meminfo: memFree=1879296/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=20488 CPUtime=11.53
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 5001 0 0 0 1150 3 0 0 25 0 1 0 310687239 20979712 4987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 5122 4987 77 171 0 4949 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 25844
[startup+25.5023 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 4476
/proc/meminfo: memFree=1870720/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=28528 CPUtime=24.32
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 7012 0 0 0 2427 5 0 0 25 0 1 0 310687239 29212672 6998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 7132 6998 77 171 0 6959 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 33884
[startup+51.1023 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 4476
/proc/meminfo: memFree=1865152/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=34268 CPUtime=49.92
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 8409 0 0 0 4985 7 0 0 25 0 1 0 310687239 35090432 8395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 8567 8395 77 171 0 8394 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 39624
[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 4476
/proc/meminfo: memFree=1857984/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=41284 CPUtime=101.1
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 10158 0 0 0 10102 8 0 0 25 0 1 0 310687239 42274816 10144 1992294400 134512640 135215339 4294956240 18446744073709551615 134528669 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 10321 10144 77 171 0 10148 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 46640
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4476
/proc/meminfo: memFree=1853056/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=45956 CPUtime=161.07
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 11346 0 0 0 16098 9 0 0 25 0 1 0 310687239 47058944 11332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 11489 11332 77 171 0 11316 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 51312
[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4476
/proc/meminfo: memFree=1851712/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=47316 CPUtime=221.06
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 11689 0 0 0 22096 10 0 0 25 0 1 0 310687239 48451584 11627 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 11829 11627 77 171 0 11656 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 52672
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4476
/proc/meminfo: memFree=1851648/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=47396 CPUtime=281.04
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 11690 0 0 0 28094 10 0 0 25 0 1 0 310687239 48533504 11628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 11849 11628 77 171 0 11676 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 52752
[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4476
/proc/meminfo: memFree=1851584/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=47396 CPUtime=341.02
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 11690 0 0 0 34092 10 0 0 25 0 1 0 310687239 48533504 11628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 11849 11628 77 171 0 11676 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 52752
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1851392/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=47396 CPUtime=401
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 11698 0 0 0 40089 11 0 0 25 0 1 0 310687239 48533504 11636 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 11849 11636 77 171 0 11676 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 52752
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1851328/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
################
# More data... #
################
/proc/4476/statm: 12181 11920 77 171 0 12008 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 54080
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1849984/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=48724 CPUtime=640.93
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 11983 0 0 0 64081 12 0 0 25 0 1 0 310687239 49893376 11921 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 12181 11921 77 171 0 12008 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 54080
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1849856/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=48724 CPUtime=700.9
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 11984 0 0 0 70078 12 0 0 25 0 1 0 310687239 49893376 11922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 12181 11922 77 171 0 12008 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 54080
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1848960/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=49588 CPUtime=760.89
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 12190 0 0 0 76076 13 0 0 25 0 1 0 310687239 50778112 12128 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 12397 12128 77 171 0 12224 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 54944
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1848896/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=49588 CPUtime=820.86
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 12192 0 0 0 82073 13 0 0 25 0 1 0 310687239 50778112 12130 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 12397 12130 77 171 0 12224 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 54944
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1848768/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=49588 CPUtime=880.85
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 12192 0 0 0 88072 13 0 0 25 0 1 0 310687239 50778112 12130 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 12397 12130 77 171 0 12224 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 54944
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1848256/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=50340 CPUtime=940.83
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 12310 0 0 0 94069 14 0 0 25 0 1 0 310687239 51548160 12248 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 12585 12248 77 171 0 12412 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 55696
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1847552/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=51076 CPUtime=1000.81
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 12463 0 0 0 100067 14 0 0 25 0 1 0 310687239 52301824 12401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 12769 12401 77 171 0 12596 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 56432
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1844224/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=54252 CPUtime=1060.79
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 13265 0 0 0 106064 15 0 0 25 0 1 0 310687239 55554048 13203 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 13563 13203 77 171 0 13390 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 59608
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1838656/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=60280 CPUtime=1120.77
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 14694 0 0 0 112061 16 0 0 25 0 1 0 310687239 61726720 14595 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 15070 14595 77 171 0 14897 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 65636
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1833984/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=64752 CPUtime=1180.75
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 15871 0 0 0 118058 17 0 0 25 0 1 0 310687239 66306048 15733 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 16188 15733 77 171 0 16015 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 70108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1833984/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=64888 CPUtime=1198.95
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 15878 0 0 0 119878 17 0 0 25 0 1 0 310687239 66445312 15740 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 16222 15740 77 171 0 16049 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 70244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4478
/proc/meminfo: memFree=1833984/2055920 swapFree=4180364/4192956
[pid=4470] ppid=4468 vsize=5356 CPUtime=1.13
/proc/4470/stat : 4470 (SatELiteGTI) S 4468 4470 4292 0 -1 4194304 336 3688 0 0 0 0 110 3 16 0 1 0 310687124 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4470/statm: 1339 239 197 169 0 50 0
[pid=4476] ppid=4470 vsize=64888 CPUtime=1198.95
/proc/4476/stat : 4476 (minisat_static) R 4470 4470 4292 0 -1 4194304 15878 0 0 0 119878 17 0 0 25 0 1 0 310687239 66445312 15740 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/4476/statm: 16222 15740 77 171 0 16049 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 70244
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4470 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=109831
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=36994
# CPU time returned by wait4() is 1.14682
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1199.88
CPU system time (s): 0.2
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 70244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.10983
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4024
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 9
runsolver used 1.47477 second user time and 2.97955 second system time
The end
Begin job on node69 at 2009-05-20 15:36:51
IDJOB=1833963
IDBENCH=71100
IDSOLVER=671
FILE ID=node69/1833963-1242826611
PBS_JOBID= 9322530
Free space on /tmp= 66084 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_13_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833963-1242826611/watcher-1833963-1242826611 -o /tmp/evaluation-result-1833963-1242826611/solver-1833963-1242826611 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833963-1242826611.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 604e1311b2fcb3c933399ca7195c63f1
RANDOM SEED=536965357
node69.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: 1902640 kB
Buffers: 19316 kB
Cached: 93712 kB
SwapCached: 6652 kB
Active: 49944 kB
Inactive: 71848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1902640 kB
SwapTotal: 4192956 kB
SwapFree: 4180364 kB
Dirty: 3720 kB
Writeback: 0 kB
Mapped: 13944 kB
Slab: 17444 kB
Committed_AS: 953508 kB
PageTables: 1468 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= 66076 MiB
End job on node69 at 2009-05-20 15:56:53