0.00/0.00 c Parsing...
0.00/0.14 c ==============================================================================
0.00/0.14 c | | ORIGINAL | LEARNT | |
0.00/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.14 c ==============================================================================
0.00/0.14 c | 0 | 181871 470932 | 54561 0 0 nan | 0.000 % |
1.38/1.46 c | 0 | 98030 321620 | -- 0 -- -- | -- | -83841/-149312
1.38/1.46 c ==============================================================================
1.38/1.46 c Result : #vars: 17506 #clauses: 98030 #literals: 321620
1.38/1.46 c CPU time: 1.40878 s
1.38/1.46 c ==============================================================================
1.48/1.57 c This is MiniSat 2.0 beta
1.48/1.57 c WARNING: for repeatability, setting FPU to use double precision
1.48/1.57 c ============================[ Problem Statistics ]=============================
1.48/1.57 c | |
1.48/1.58 c | Number of variables: 17506 |
1.48/1.58 c | Number of clauses: 98030 |
1.56/1.64 c | Parsing time: 0.05 s |
1.56/1.64 c ============================[ Search Statistics ]==============================
1.56/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.56/1.64 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.56/1.64 c ===============================================================================
1.56/1.64 c | 0 | 17506 98030 321620 | 32676 0 nan | 0.000 % |
1.56/1.67 c | 100 | 17506 98030 321620 | 32676 100 16 | 0.001 % |
1.56/1.79 c | 202 | 17506 98030 321620 | 32676 202 38 | 0.000 % |
1.56/1.81 c | 302 | 17506 98030 321620 | 32676 302 39 | 0.000 % |
1.56/1.90 c | 413 | 17506 98030 321620 | 32676 413 35 | 0.000 % |
1.56/1.95 c | 513 | 17505 97517 320527 | 32676 511 32 | 0.006 % |
1.56/1.97 c | 626 | 17505 97517 320527 | 32676 624 32 | 0.006 % |
1.56/2.06 c | 747 | 17505 97517 320527 | 32676 745 30 | 0.006 % |
2.18/2.21 c | 849 | 17505 97517 320527 | 32676 847 36 | 0.006 % |
2.28/2.38 c | 959 | 17505 97517 320527 | 32676 957 37 | 0.006 % |
2.38/2.45 c | 1081 | 17505 97517 320527 | 32676 1079 35 | 0.006 % |
2.38/2.49 c | 1214 | 17505 97517 320527 | 32676 1212 36 | 0.006 % |
2.48/2.57 c | 1314 | 17505 97517 320527 | 32676 1312 36 | 0.006 % |
2.58/2.60 c | 1424 | 17505 97517 320527 | 32676 1422 34 | 0.006 % |
2.58/2.65 c | 1546 | 17505 97517 320527 | 32676 1544 36 | 0.006 % |
2.58/2.68 c | 1679 | 17505 97517 320527 | 32676 1677 38 | 0.006 % |
2.78/2.86 c | 1825 | 17505 97517 320527 | 32676 1823 40 | 0.006 % |
2.88/2.94 c | 1925 | 17505 97517 320527 | 32676 1923 39 | 0.006 % |
2.88/2.96 c | 2038 | 17505 97517 320527 | 32676 2036 39 | 0.006 % |
3.07/3.11 c | 2160 | 17505 97517 320527 | 32676 2158 39 | 0.006 % |
3.18/3.26 c | 2294 | 17505 97517 320527 | 32676 2292 40 | 0.006 % |
3.37/3.41 c | 2440 | 17505 97517 320527 | 32676 2438 39 | 0.006 % |
3.47/3.55 c | 2603 | 17505 97517 320527 | 32676 2601 39 | 0.006 % |
3.47/3.57 c | 2703 | 17505 97517 320527 | 32676 2701 38 | 0.007 % |
3.57/3.66 c | 2813 | 17505 97517 320527 | 32676 2811 39 | 0.006 % |
3.67/3.71 c | 2937 | 17505 97517 320527 | 32676 2935 38 | 0.006 % |
3.87/3.90 c | 3071 | 17505 97517 320527 | 32676 3069 39 | 0.006 % |
3.87/3.93 c | 3222 | 17505 97517 320527 | 32676 3220 41 | 0.006 % |
3.97/4.05 c | 3382 | 17505 97517 320527 | 32676 3380 40 | 0.006 % |
4.07/4.11 c | 3560 | 17505 97517 320527 | 32676 3558 40 | 0.006 % |
4.07/4.13 c | 3662 | 17505 97517 320527 | 32676 3660 40 | 0.006 % |
4.28/4.34 c | 3772 | 17505 97517 320527 | 32676 3770 41 | 0.006 % |
4.38/4.42 c | 3894 | 17505 97517 320527 | 32676 3892 41 | 0.006 % |
4.47/4.50 c | 4027 | 17505 97517 320527 | 32676 4025 40 | 0.006 % |
4.47/4.57 c | 4173 | 17505 97517 320527 | 32676 4171 40 | 0.007 % |
4.57/4.65 c | 4336 | 17505 97517 320527 | 32676 4334 40 | 0.006 % |
4.67/4.71 c | 4512 | 17505 97517 320527 | 32676 4510 41 | 0.006 % |
4.67/4.78 c | 4705 | 17505 97517 320527 | 32676 4703 40 | 0.006 % |
4.77/4.87 c | 4805 | 17505 97517 320527 | 32676 4803 40 | 0.006 % |
4.77/4.89 c | 4915 | 17505 97517 320527 | 32676 4913 40 | 0.006 % |
4.97/5.04 c | 5039 | 17505 97517 320527 | 32676 5037 43 | 0.006 % |
5.07/5.10 c | 5172 | 17505 97517 320527 | 32676 5170 44 | 0.007 % |
5.07/5.17 c | 5318 | 17505 97517 320527 | 32676 5316 44 | 0.006 % |
5.17/5.24 c | 5478 | 17505 97517 320527 | 32676 5476 45 | 0.006 % |
5.27/5.36 c | 5655 | 17505 97517 320527 | 32676 5653 44 | 0.006 % |
5.38/5.42 c | 5848 | 17505 97517 320527 | 32676 5846 45 | 0.006 % |
5.48/5.53 c | 6061 | 17505 97517 320527 | 32676 6059 46 | 0.006 % |
5.48/5.60 c | 6162 | 17505 97517 320527 | 32676 6160 46 | 0.006 % |
5.57/5.69 c | 6276 | 17505 97517 320527 | 32676 6274 45 | 0.007 % |
5.67/5.76 c | 6398 | 17505 97517 320527 | 32676 6396 46 | 0.006 % |
5.87/6.00 c | 6531 | 17505 97517 320527 | 32676 6529 46 | 0.006 % |
5.97/6.03 c | 6677 | 17505 97517 320527 | 32676 6675 46 | 0.007 % |
6.17/6.23 c | 6837 | 17505 97517 320527 | 32676 6835 47 | 0.006 % |
6.27/6.32 c | 7014 | 17505 97517 320527 | 32676 7012 47 | 0.006 % |
6.37/6.49 c | 7207 | 17505 97517 320527 | 32676 7205 48 | 0.006 % |
6.67/6.72 c | 7419 | 17505 97517 320527 | 32676 7417 48 | 0.006 % |
6.77/6.86 c | 7654 | 17505 97517 320527 | 32676 7652 47 | 0.006 % |
6.87/6.93 c | 7754 | 17505 97517 320527 | 32676 7752 47 | 0.006 % |
6.87/6.96 c | 7864 | 17505 97517 320527 | 32676 7862 47 | 0.006 % |
7.07/7.16 c | 7986 | 17505 97517 320527 | 32676 7984 47 | 0.007 % |
7.17/7.20 c | 8120 | 17505 97517 320527 | 32676 8118 48 | 0.006 % |
7.27/7.33 c | 8266 | 17505 97517 320527 | 32676 8264 48 | 0.006 % |
7.37/7.44 c | 8427 | 17505 97517 320527 | 32676 8425 48 | 0.006 % |
7.67/7.71 c | 8604 | 17505 97517 320527 | 32676 8602 50 | 0.006 % |
7.87/7.97 c | 8797 | 17505 97517 320527 | 32676 8795 51 | 0.006 % |
7.97/8.08 c | 9014 | 17505 97517 320527 | 32676 9012 51 | 0.006 % |
8.07/8.18 c | 9247 | 17505 97517 320527 | 32676 9245 51 | 0.006 % |
8.57/8.62 c | 9504 | 17505 97517 320527 | 32676 9502 52 | 0.006 % |
8.57/8.65 c | 9606 | 17505 97517 320527 | 32676 9604 52 | 0.006 % |
8.67/8.77 c | 9716 | 17505 97517 320527 | 32676 9714 51 | 0.006 % |
8.67/8.80 c | 9837 | 17505 97517 320527 | 32676 9835 51 | 0.006 % |
8.77/8.89 c | 9970 | 17505 97517 320527 | 32676 9968 51 | 0.006 % |
9.07/9.14 c | 10116 | 17505 97517 320527 | 2147483647 10114 51 | 0.006 % |
9.27/9.38 c | 10276 | 17505 97517 320527 | 2147483647 10274 51 | 0.006 % |
9.37/9.43 c | 10453 | 17505 97517 320527 | 2147483647 10451 50 | 0.006 % |
9.57/9.67 c | 10647 | 17505 97517 320527 | 2147483647 10645 50 | 0.006 % |
9.67/9.77 c | 10859 | 17505 97517 320527 | 2147483647 10857 50 | 0.006 % |
9.87/9.93 c | 11093 | 17505 97517 320527 | 2147483647 11091 49 | 0.006 % |
10.07/10.12 c | 11351 | 17505 97517 320527 | 2147483647 11349 50 | 0.007 % |
10.37/10.42 c | 11632 | 17505 97517 320527 | 2147483647 11630 49 | 0.006 % |
10.57/10.62 c | 11733 | 17505 97517 320527 | 2147483647 11731 49 | 0.006 % |
10.57/10.67 c | 11843 | 17505 97517 320527 | 2147483647 11841 49 | 0.006 % |
10.67/10.75 c | 11964 | 17505 97517 320527 | 2147483647 11962 49 | 0.006 % |
10.67/10.77 c | 12097 | 17505 97517 320527 | 2147483647 12095 49 | 0.006 % |
10.77/10.88 c | 12243 | 17505 97517 320527 | 2147483647 12241 49 | 0.006 % |
11.07/11.14 c | 12404 | 17505 97517 320527 | 2147483647 12402 50 | 0.006 % |
11.07/11.19 c | 12582 | 17505 97517 320527 | 2147483647 12580 50 | 0.007 % |
11.17/11.26 c | 12775 | 17505 97517 320527 | 2147483647 12773 50 | 0.006 % |
11.27/11.37 c | 12987 | 17505 97517 320527 | 2147483647 12985 51 | 0.006 % |
11.57/11.67 c | 13222 | 17505 97517 320527 | 2147483647 13220 51 | 0.006 % |
11.77/11.89 c | 13479 | 17505 97517 320527 | 2147483647 13477 52 | 0.006 % |
12.17/12.20 c | 13760 | 17505 97517 320527 | 2147483647 13758 52 | 0.006 % |
12.37/12.47 c | 14069 | 17505 97517 320527 | 2147483647 14067 54 | 0.006 % |
12.47/12.57 c | 14169 | 17505 97517 320527 | 2147483647 14167 54 | 0.006 % |
12.57/12.63 c | 14279 | 17505 97517 320527 | 2147483647 14277 54 | 0.007 % |
12.67/12.76 c | 14401 | 17505 97517 320527 | 2147483647 14399 54 | 0.007 % |
12.77/12.83 c | 14534 | 17505 97517 320527 | 2147483647 14532 54 | 0.007 % |
12.97/13.10 c | 14681 | 17505 97517 320527 | 2147483647 14679 54 | 0.006 % |
13.08/13.16 c | 14841 | 17505 97517 320527 | 2147483647 14839 54 | 0.007 % |
13.47/13.51 c | 15018 | 17505 97517 320527 | 2147483647 15016 54 | 0.006 % |
13.47/13.60 c | 15211 | 17505 97517 320527 | 2147483647 15209 54 | 0.007 % |
13.57/13.65 c | 15424 | 17505 97517 320527 | 2147483647 15422 54 | 0.006 % |
13.87/13.90 c | 15657 | 17505 97517 320527 | 2147483647 15655 54 | 0.006 % |
13.97/14.09 c | 15913 | 17505 97517 320527 | 2147483647 15911 54 | 0.006 % |
14.47/14.52 c | 16194 | 17505 97517 320527 | 2147483647 16192 54 | 0.006 % |
14.77/14.87 c | 16504 | 17505 97517 320527 | 2147483647 16502 54 | 0.006 % |
15.17/15.24 c | 16844 | 17505 97517 320527 | 2147483647 16842 55 | 0.006 % |
15.28/15.34 c | 16945 | 17505 97517 320527 | 2147483647 16943 55 | 0.006 % |
15.47/15.58 c | 17055 | 17505 97517 320527 | 2147483647 17053 55 | 0.006 % |
15.57/15.62 c | 17177 | 17505 97517 320527 | 2147483647 17175 55 | 0.006 % |
15.57/15.67 c | 17310 | 17505 97517 320527 | 2147483647 17308 55 | 0.006 % |
15.77/15.85 c | 17457 | 17505 97517 320527 | 2147483647 17455 55 | 0.006 % |
15.87/15.98 c | 17617 | 17505 97517 320527 | 2147483647 17615 55 | 0.006 % |
16.07/16.12 c | 17795 | 17505 97517 320527 | 2147483647 17793 55 | 0.006 % |
16.27/16.32 c | 17988 | 17505 97517 320527 | 2147483647 17986 55 | 0.006 % |
16.47/16.51 c | 18200 | 17505 97517 320527 | 2147483647 18198 54 | 0.006 % |
16.87/16.99 c | 18436 | 17502 97501 320489 | 2147483647 18428 54 | 0.023 % |
17.17/17.22 c | 18693 | 17502 97501 320489 | 2147483647 18685 54 | 0.023 % |
17.27/17.37 c | 18976 | 17502 97501 320489 | 2147483647 18968 55 | 0.023 % |
17.77/17.81 c | 19285 | 17502 97501 320489 | 2147483647 19277 55 | 0.023 % |
18.07/18.15 c | 19626 | 17502 97501 320489 | 2147483647 19618 55 | 0.023 % |
18.37/18.40 c | 19998 | 17502 97501 320489 | 2147483647 19990 55 | 0.023 % |
18.57/18.60 c | 20098 | 17502 97501 320489 | 2147483647 20090 56 | 0.023 % |
18.57/18.66 c | 20208 | 17502 97501 320489 | 2147483647 20200 56 | 0.024 % |
18.87/18.97 c | 20331 | 17502 97501 320489 | 2147483647 20323 56 | 0.023 % |
18.97/19.07 c | 20466 | 17502 97501 320489 | 2147483647 20458 56 | 0.023 % |
19.07/19.16 c | 20612 | 17502 97501 320489 | 2147483647 20604 56 | 0.023 % |
19.17/19.29 c | 20772 | 17502 97501 320489 | 2147483647 20764 55 | 0.023 % |
19.37/19.47 c | 20948 | 17502 97501 320489 | 2147483647 20940 55 | 0.023 % |
19.47/19.53 c | 21142 | 17502 97501 320489 | 2147483647 21134 55 | 0.023 % |
19.67/19.76 c | 21355 | 17502 97501 320489 | 2147483647 21347 55 | 0.023 % |
19.97/20.01 c | 21589 | 17502 97501 320489 | 2147483647 21581 55 | 0.023 % |
20.37/20.46 c | 21846 | 17502 97501 320489 | 2147483647 21838 55 | 0.023 % |
20.57/20.61 c | 22128 | 17502 97501 320489 | 2147483647 22120 56 | 0.023 % |
20.87/20.93 c | 22437 | 17502 97501 320489 | 2147483647 22429 55 | 0.023 % |
21.37/21.45 c | 22777 | 17502 97501 320489 | 2147483647 22769 55 | 0.024 % |
21.67/21.76 c | 23150 | 17502 97501 320489 | 2147483647 23142 55 | 0.023 % |
22.06/22.19 c | 23560 | 17502 97501 320489 | 2147483647 23552 55 | 0.023 % |
22.26/22.38 c | 23661 | 17502 97501 320489 | 2147483647 23653 55 | 0.023 % |
22.46/22.52 c | 23771 | 17502 97501 320489 | 2147483647 23763 55 | 0.023 % |
22.66/22.73 c | 23893 | 17502 97501 320489 | 2147483647 23885 55 | 0.023 % |
22.76/22.86 c | 24028 | 17502 97501 320489 | 2147483647 24020 55 | 0.023 % |
22.86/22.90 c | 24174 | 17502 97501 320489 | 2147483647 24166 55 | 0.023 % |
22.97/23.02 c | 24334 | 17502 97501 320489 | 2147483647 24326 55 | 0.023 % |
23.26/23.31 c | 24511 | 17502 97501 320489 | 2147483647 24503 55 | 0.023 % |
23.36/23.42 c | 24706 | 17502 97501 320489 | 2147483647 24698 55 | 0.024 % |
23.56/23.62 c | 24920 | 17502 97501 320489 | 2147483647 24912 55 | 0.023 % |
23.86/23.90 c | 25153 | 17502 97501 320489 | 2147483647 25145 55 | 0.024 % |
24.17/24.25 c | 25409 | 17502 97501 320489 | 2147483647 25401 55 | 0.023 % |
24.36/24.49 c | 25691 | 17502 97501 320489 | 2147483647 25683 56 | 0.023 % |
24.66/24.70 c | 26000 | 17502 97501 320489 | 2147483647 25992 56 | 0.023 % |
24.96/25.06 c | 26339 | 17502 97501 320489 | 2147483647 26331 56 | 0.023 % |
25.36/25.42 c | 26711 | 17502 97501 320489 | 2147483647 26703 55 | 0.023 % |
25.56/25.62 c | 27120 | 17502 97501 320489 | 2147483647 27112 56 | 0.023 % |
26.36/26.44 c | 27569 | 17502 97501 320489 | 2147483647 27561 56 | 0.023 % |
26.55/26.64 c | 27669 | 17502 97501 320489 | 2147483647 27661 56 | 0.023 % |
26.55/26.68 c | 27781 | 17502 97501 320489 | 2147483647 27773 56 | 0.023 % |
26.86/26.94 c | 27902 | 17502 97501 320489 | 2147483647 27894 56 | 0.023 % |
27.16/27.30 c | 28036 | 17502 97501 320489 | 2147483647 28028 56 | 0.023 % |
27.26/27.38 c | 28182 | 17502 97501 320489 | 2147483647 28174 56 | 0.023 % |
27.46/27.51 c | 28342 | 17502 97501 320489 | 2147483647 28334 56 | 0.023 % |
27.66/27.77 c | 28518 | 17502 97501 320489 | 2147483647 28510 56 | 0.023 % |
27.86/27.92 c | 28711 | 17502 97501 320489 | 2147483647 28703 56 | 0.023 % |
27.96/28.05 c | 28923 | 17502 97501 320489 | 2147483647 28915 56 | 0.024 % |
28.16/28.28 c | 29156 | 17502 97501 320489 | 2147483647 29148 56 | 0.023 % |
28.46/28.57 c | 29413 | 17502 97501 320489 | 2147483647 29405 57 | 0.023 % |
28.86/28.93 c | 29695 | 17502 97501 320489 | 2147483647 29687 57 | 0.023 % |
28.96/29.08 c | 30004 | 17502 97501 320489 | 2147483647 29996 57 | 0.023 % |
29.46/29.59 c | 30343 | 17502 97501 320489 | 2147483647 30335 57 | 0.023 % |
29.86/29.96 c | 30715 | 17502 97501 320489 | 2147483647 30707 58 | 0.023 % |
30.46/30.52 c | 31124 | 17502 97501 320489 | 2147483647 31116 58 | 0.023 % |
31.06/31.13 c | 31575 | 17502 97501 320489 | 2147483647 31567 59 | 0.023 % |
31.85/31.97 c | 32068 | 17502 97501 320489 | 2147483647 32060 60 | 0.023 % |
32.05/32.16 c | 32168 | 17502 97501 320489 | 2147483647 32160 60 | 0.023 % |
32.15/32.27 c | 32279 | 17502 97501 320489 | 2147483647 32271 60 | 0.023 % |
32.35/32.47 c | 32400 | 17502 97501 320489 | 2147483647 32392 59 | 0.023 % |
32.45/32.53 c | 32533 | 17502 97501 320489 | 2147483647 32525 59 | 0.023 % |
32.55/32.68 c | 32679 | 17502 97501 320489 | 2147483647 32671 59 | 0.023 % |
32.75/32.80 c | 32840 | 17502 97501 320489 | 2147483647 32832 59 | 0.023 % |
32.75/32.90 c | 33017 | 17502 97501 320489 | 2147483647 33009 59 | 0.023 % |
32.95/33.07 c | 33214 | 17502 97501 320489 | 2147483647 33206 60 | 0.023 % |
33.35/33.43 c | 33427 | 17502 97501 320489 | 2147483647 33419 60 | 0.023 % |
33.75/33.89 c | 33660 | 17502 97501 320489 | 2147483647 33652 60 | 0.023 % |
33.95/34.06 c | 33916 | 17502 97501 320489 | 2147483647 33908 60 | 0.023 % |
34.15/34.28 c | 34197 | 17502 97501 320489 | 2147483647 34189 61 | 0.023 % |
34.35/34.42 c | 34506 | 17502 97501 320489 | 2147483647 34498 61 | 0.023 % |
34.64/34.77 c | 34845 | 17502 97501 320489 | 2147483647 34837 61 | 0.023 % |
35.05/35.19 c | 35218 | 17502 97501 320489 | 2147483647 35210 62 | 0.023 % |
35.34/35.47 c | 35627 | 17502 97501 320489 | 2147483647 35619 62 | 0.023 % |
35.84/35.93 c | 36076 | 17502 97501 320489 | 2147483647 36068 62 | 0.023 % |
36.64/36.71 c | 36570 | 17502 97501 320489 | 2147483647 36562 62 | 0.023 % |
37.34/37.43 c | 37113 | 17502 97501 320489 | 2147483647 37105 62 | 0.023 % |
37.44/37.52 c | 37214 | 17502 97501 320489 | 2147483647 37206 62 | 0.023 % |
37.64/37.72 c | 37324 | 17502 97501 320489 | 2147483647 37316 62 | 0.023 % |
37.84/37.95 c | 37448 | 17502 97501 320489 | 2147483647 37440 62 | 0.023 % |
37.94/38.02 c | 37582 | 17502 97501 320489 | 2147483647 37574 62 | 0.023 % |
38.14/38.28 c | 37730 | 17502 97501 320489 | 2147483647 37722 62 | 0.023 % |
38.34/38.44 c | 37890 | 17502 97501 320489 | 2147483647 37882 62 | 0.023 % |
38.44/38.56 c | 38068 | 17502 97501 320489 | 2147483647 38060 62 | 0.023 % |
38.75/38.86 c | 38261 | 17502 97501 320489 | 2147483647 38253 62 | 0.023 % |
38.95/39.00 c | 38474 | 17502 97501 320489 | 2147483647 38466 62 | 0.023 % |
39.15/39.28 c | 38709 | 17502 97501 320489 | 2147483647 38701 62 | 0.023 % |
39.35/39.47 c | 38965 | 17502 97501 320489 | 2147483647 38957 62 | 0.023 % |
39.75/39.86 c | 39246 | 17502 97501 320489 | 2147483647 39238 62 | 0.023 % |
40.04/40.10 c | 39555 | 17502 97501 320489 | 2147483647 39547 62 | 0.023 % |
40.84/40.91 c | 39894 | 17502 97501 320489 | 2147483647 39886 62 | 0.023 % |
41.14/41.24 c | 40267 | 17502 97501 320489 | 2147483647 40259 62 | 0.023 % |
41.84/41.91 c | 40676 | 17502 97501 320489 | 2147483647 40668 62 | 0.023 % |
42.24/42.31 c | 41128 | 17502 97501 320489 | 2147483647 41120 63 | 0.023 % |
43.04/43.17 c | 41622 | 17502 97501 320489 | 2147483647 41614 63 | 0.023 % |
43.44/43.50 c | 42164 | 17502 97501 320489 | 2147483647 42156 64 | 0.023 % |
44.24/44.35 c | 42761 | 17502 97501 320489 | 2147483647 42753 64 | 0.023 % |
44.54/44.61 c | 42862 | 17502 97501 320489 | 2147483647 42854 64 | 0.023 % |
44.64/44.78 c | 42972 | 17502 97501 320489 | 2147483647 42964 64 | 0.023 % |
44.84/44.97 c | 43095 | 17502 97501 320489 | 2147483647 43087 64 | 0.023 % |
45.05/45.19 c | 43229 | 17502 97501 320489 | 2147483647 43221 64 | 0.023 % |
45.44/45.58 c | 43378 | 17502 97501 320489 | 2147483647 43370 64 | 0.023 % |
45.84/45.95 c | 43539 | 17502 97501 320489 | 2147483647 43531 64 | 0.023 % |
46.04/46.15 c | 43715 | 17502 97501 320489 | 2147483647 43707 64 | 0.024 % |
46.14/46.29 c | 43908 | 17502 97501 320489 | 2147483647 43900 64 | 0.024 % |
46.34/46.43 c | 44121 | 17502 97501 320489 | 2147483647 44113 65 | 0.023 % |
46.64/46.78 c | 44357 | 17502 97501 320489 | 2147483647 44349 65 | 0.023 % |
46.94/47.03 c | 44613 | 17502 97501 320489 | 2147483647 44605 65 | 0.023 % |
47.24/47.39 c | 44895 | 17502 97501 320489 | 2147483647 44887 65 | 0.023 % |
47.54/47.70 c | 45207 | 17502 97501 320489 | 2147483647 45199 65 | 0.023 % |
47.94/48.00 c | 45547 | 17502 97501 320489 | 2147483647 45539 64 | 0.023 % |
48.74/48.83 c | 45923 | 17502 97501 320489 | 2147483647 45915 64 | 0.024 % |
49.34/49.46 c | 46335 | 17502 97501 320489 | 2147483647 46327 64 | 0.023 % |
50.04/50.13 c | 46785 | 17502 97501 320489 | 2147483647 46777 64 | 0.023 % |
50.24/50.39 c | 47279 | 17502 97501 320489 | 2147483647 47271 65 | 0.023 % |
50.94/51.06 c | 47827 | 17502 97501 320489 | 2147483647 47819 65 | 0.023 % |
51.74/51.86 c | 48423 | 17502 97501 320489 | 2147483647 48415 65 | 0.023 % |
52.34/52.41 c | 49078 | 17502 97501 320489 | 2147483647 49070 65 | 0.023 % |
52.44/52.57 c | 49178 | 17502 97501 320489 | 2147483647 49170 65 | 0.023 % |
52.65/52.77 c | 49289 | 17502 97501 320489 | 2147483647 49281 65 | 0.023 % |
52.94/53.02 c | 49411 | 17502 97501 320489 | 2147483647 49403 65 | 0.023 % |
53.04/53.12 c | 49544 | 17502 97501 320489 | 2147483647 49536 65 | 0.023 % |
53.34/53.46 c | 49691 | 17502 97501 320489 | 2147483647 49683 65 | 0.023 % |
53.54/53.62 c | 49852 | 17502 97501 320489 | 2147483647 49844 65 | 0.023 % |
53.85/53.91 c | 50031 | 17502 97501 320489 | 2147483647 50023 65 | 0.023 % |
54.24/54.36 c | 50224 | 17502 97501 320489 | 2147483647 50216 65 | 0.023 % |
54.54/54.67 c | 50436 | 17502 97501 320489 | 2147483647 50428 65 | 0.023 % |
54.95/55.09 c | 50669 | 17502 97501 320489 | 2147483647 50661 65 | 0.023 % |
55.24/55.31 c | 50925 | 17502 97501 320489 | 2147483647 50917 65 | 0.023 % |
55.64/55.76 c | 51208 | 17502 97501 320489 | 2147483647 51200 65 | 0.023 % |
56.34/56.43 c | 51520 | 17502 97501 320489 | 2147483647 51512 65 | 0.023 % |
57.14/57.26 c | 51859 | 17502 97501 320489 | 2147483647 51851 65 | 0.023 % |
57.54/57.66 c | 52233 | 17502 97501 320489 | 2147483647 52225 65 | 0.023 % |
58.04/58.16 c | 52642 | 17502 97501 320489 | 2147483647 52634 65 | 0.023 % |
59.04/59.16 c | 53091 | 17502 97501 320489 | 2147483647 53083 65 | 0.023 % |
59.74/59.84 c | 53585 | 17502 97501 320489 | 2147483647 53577 65 | 0.023 % |
60.64/60.72 c | 54127 | 17502 97501 320489 | 2147483647 54119 65 | 0.023 % |
62.04/62.19 c | 54723 | 17502 97501 320489 | 2147483647 54715 65 | 0.023 % |
62.64/62.80 c | 55378 | 17502 97501 320489 | 2147483647 55370 65 | 0.023 % |
63.24/63.39 c | 56099 | 17502 97501 320489 | 2147483647 56091 64 | 0.023 % |
63.54/63.62 c | 56201 | 17502 97501 320489 | 2147483647 56193 64 | 0.024 % |
63.74/63.83 c | 56312 | 17502 97501 320489 | 2147483647 56304 64 | 0.024 % |
63.94/64.02 c | 56433 | 17502 97501 320489 | 2147483647 56425 64 | 0.023 % |
64.04/64.10 c | 56566 | 17502 97501 320489 | 2147483647 56558 64 | 0.023 % |
64.33/64.45 c | 56713 | 17502 97501 320489 | 2147483647 56705 65 | 0.023 % |
64.53/64.69 c | 56873 | 17502 97501 320489 | 2147483647 56865 65 | 0.023 % |
64.93/65.08 c | 57049 | 17502 97501 320489 | 2147483647 57041 65 | 0.023 % |
65.53/65.62 c | 57242 | 17502 97501 320489 | 2147483647 57234 65 | 0.023 % |
65.84/65.97 c | 57454 | 17502 97501 320489 | 2147483647 57446 65 | 0.024 % |
66.03/66.15 c | 57687 | 17502 97501 320489 | 2147483647 57679 65 | 0.023 % |
66.43/66.53 c | 57943 | 17502 97501 320489 | 2147483647 57935 65 | 0.023 % |
66.73/66.84 c | 58224 | 17502 97501 320489 | 2147483647 58216 64 | 0.023 % |
67.04/67.12 c | 58534 | 17502 97501 320489 | 2147483647 58526 65 | 0.023 % |
67.54/67.61 c | 58875 | 17501 97431 320326 | 2147483647 58743 65 | 0.029 % |
67.84/67.94 c | 59249 | 17501 97431 320326 | 2147483647 59117 65 | 0.029 % |
68.54/68.64 c | 59658 | 17501 97431 320326 | 2147483647 59526 65 | 0.029 % |
68.94/69.03 c | 60107 | 17501 97431 320326 | 2147483647 59975 65 | 0.029 % |
69.34/69.45 c | 60603 | 17501 97431 320326 | 2147483647 60471 65 | 0.029 % |
70.14/70.21 c | 61145 | 17501 97431 320326 | 2147483647 61013 65 | 0.029 % |
70.84/70.93 c | 61743 | 17501 97431 320326 | 2147483647 61611 65 | 0.029 % |
71.43/71.60 c | 62399 | 17501 97431 320326 | 2147483647 62267 65 | 0.029 % |
72.33/72.47 c | 63120 | 17501 97431 320326 | 2147483647 62988 65 | 0.029 % |
73.13/73.30 c | 63913 | 17501 97431 320326 | 2147483647 63781 65 | 0.029 % |
73.43/73.58 c | 64013 | 17501 97431 320326 | 2147483647 63881 65 | 0.029 % |
73.63/73.73 c | 64125 | 17501 97431 320326 | 2147483647 63993 65 | 0.029 % |
73.73/73.85 c | 64247 | 17501 97431 320326 | 2147483647 64115 65 | 0.029 % |
73.93/74.03 c | 64380 | 17501 97431 320326 | 2147483647 64248 65 | 0.029 % |
74.32/74.45 c | 64528 | 17501 97431 320326 | 2147483647 64396 65 | 0.029 % |
74.52/74.65 c | 64692 | 17501 97431 320326 | 2147483647 64560 65 | 0.030 % |
74.73/74.84 c | 64872 | 17501 97431 320326 | 2147483647 64740 65 | 0.029 % |
74.92/75.05 c | 65066 | 17501 97431 320326 | 2147483647 64934 65 | 0.029 % |
75.42/75.53 c | 65279 | 17501 97431 320326 | 2147483647 65147 65 | 0.029 % |
75.73/75.86 c | 65512 | 17501 97431 320326 | 2147483647 65380 65 | 0.029 % |
76.22/76.34 c | 65769 | 17501 97431 320326 | 2147483647 65637 65 | 0.029 % |
76.62/76.74 c | 66052 | 17501 97431 320326 | 2147483647 65920 65 | 0.029 % |
77.12/77.23 c | 66361 | 17501 97431 320326 | 2147483647 66229 65 | 0.029 % |
77.42/77.54 c | 66700 | 17501 97431 320326 | 2147483647 66568 65 | 0.029 % |
77.93/78.05 c | 67073 | 17501 97431 320326 | 2147483647 66941 65 | 0.029 % |
78.52/78.69 c | 67482 | 17501 97431 320326 | 2147483647 67350 65 | 0.029 % |
79.42/79.56 c | 67933 | 17501 97431 320326 | 2147483647 67801 65 | 0.029 % |
80.02/80.10 c | 68426 | 17501 97431 320326 | 2147483647 68294 65 | 0.029 % |
80.72/80.80 c | 68969 | 17501 97431 320326 | 2147483647 68837 65 | 0.029 % |
81.52/81.63 c | 69567 | 17501 97431 320326 | 2147483647 69435 65 | 0.029 % |
82.82/82.91 c | 70223 | 17501 97431 320326 | 2147483647 70091 66 | 0.029 % |
84.02/84.15 c | 70943 | 17501 97431 320326 | 2147483647 70811 66 | 0.029 % |
85.03/85.17 c | 71737 | 17501 97431 320326 | 2147483647 71605 66 | 0.029 % |
86.13/86.27 c | 72610 | 17501 97431 320326 | 2147483647 72478 66 | 0.029 % |
86.43/86.51 c | 72712 | 17501 97431 320326 | 2147483647 72580 66 | 0.029 % |
86.53/86.65 c | 72822 | 17501 97431 320326 | 2147483647 72690 66 | 0.029 % |
86.73/86.87 c | 72945 | 17501 97431 320326 | 2147483647 72813 66 | 0.029 % |
86.93/87.07 c | 73078 | 17501 97431 320326 | 2147483647 72946 66 | 0.029 % |
87.13/87.21 c | 73225 | 17501 97431 320326 | 2147483647 73093 66 | 0.030 % |
87.43/87.50 c | 73386 | 17501 97431 320326 | 2147483647 73254 66 | 0.029 % |
87.63/87.73 c | 73564 | 17501 97431 320326 | 2147483647 73432 66 | 0.030 % |
87.83/87.91 c | 73757 | 17501 97431 320326 | 2147483647 73625 66 | 0.030 % |
88.23/88.32 c | 73970 | 17501 97431 320326 | 2147483647 73838 66 | 0.029 % |
88.72/88.88 c | 74206 | 17501 97431 320326 | 2147483647 74074 66 | 0.029 % |
89.22/89.30 c | 74462 | 17501 97431 320326 | 2147483647 74330 66 | 0.029 % |
89.92/90.04 c | 74743 | 17501 97431 320326 | 2147483647 74611 66 | 0.029 % |
90.32/90.40 c | 75052 | 17501 97431 320326 | 2147483647 74920 66 | 0.029 % |
90.72/90.84 c | 75391 | 17501 97431 320326 | 2147483647 75259 66 | 0.029 % |
91.23/91.32 c | 75764 | 17501 97431 320326 | 2147483647 75632 66 | 0.029 % |
91.82/91.90 c | 76173 | 17501 97431 320326 | 2147483647 76041 66 | 0.029 % |
92.33/92.43 c | 76623 | 17501 97431 320326 | 2147483647 76491 66 | 0.029 % |
93.02/93.18 c | 77116 | 17501 97431 320326 | 2147483647 76984 66 | 0.029 % |
93.92/94.01 c | 77658 | 17501 97431 320326 | 2147483647 77526 66 | 0.029 % |
94.52/94.66 c | 78255 | 17501 97431 320326 | 2147483647 78123 66 | 0.029 % |
95.82/95.92 c | 78910 | 17501 97431 320326 | 2147483647 78778 66 | 0.029 % |
96.82/96.94 c | 79631 | 17501 97431 320326 | 2147483647 79499 66 | 0.029 % |
97.82/97.95 c | 80423 | 17501 97431 320326 | 2147483647 80291 66 | 0.029 % |
99.02/99.10 c | 81296 | 17501 97431 320326 | 2147483647 81164 66 | 0.029 % |
100.52/100.61 c | 82255 | 17501 97431 320326 | 2147483647 82123 66 | 0.029 % |
100.82/100.90 c | 82357 | 17501 97431 320326 | 2147483647 82225 66 | 0.029 % |
100.92/101.08 c | 82468 | 17501 97431 320326 | 2147483647 82336 66 | 0.029 % |
101.32/101.43 c | 82595 | 17501 97431 320326 | 2147483647 82463 66 | 0.029 % |
101.52/101.62 c | 82728 | 17501 97431 320326 | 2147483647 82596 66 | 0.029 % |
101.82/101.96 c | 82875 | 17501 97431 320326 | 2147483647 82743 66 | 0.029 % |
102.12/102.23 c | 83035 | 17501 97431 320326 | 2147483647 82903 66 | 0.029 % |
102.52/102.64 c | 83214 | 17501 97431 320326 | 2147483647 83082 66 | 0.029 % |
102.82/102.93 c | 83407 | 17501 97431 320326 | 2147483647 83275 66 | 0.029 % |
103.22/103.31 c | 83621 | 17501 97431 320326 | 2147483647 83489 66 | 0.029 % |
103.62/103.73 c | 83855 | 17501 97431 320326 | 2147483647 83723 66 | 0.029 % |
103.82/103.95 c | 84112 | 17501 97431 320326 | 2147483647 83980 66 | 0.029 % |
104.02/104.19 c | 84395 | 17501 97431 320326 | 2147483647 84263 66 | 0.029 % |
104.72/104.88 c | 84704 | 17501 97431 320326 | 2147483647 84572 66 | 0.029 % |
105.22/105.39 c | 85043 | 17501 97431 320326 | 2147483647 84911 66 | 0.029 % |
105.72/105.80 c | 85415 | 17501 97431 320326 | 2147483647 85283 66 | 0.029 % |
106.31/106.49 c | 85824 | 17501 97431 320326 | 2147483647 85692 66 | 0.029 % |
107.12/107.28 c | 86273 | 17501 97431 320326 | 2147483647 86141 66 | 0.029 % |
107.92/108.01 c | 86767 | 17501 97431 320326 | 2147483647 86635 66 | 0.029 % |
108.92/109.09 c | 87309 | 17501 97431 320326 | 2147483647 87177 66 | 0.029 % |
109.52/109.69 c | 87905 | 17501 97431 320326 | 2147483647 87773 67 | 0.029 % |
110.52/110.62 c | 88561 | 17501 97431 320326 | 2147483647 88429 67 | 0.029 % |
111.72/111.88 c | 89283 | 17501 97431 320326 | 2147483647 89151 67 | 0.029 % |
113.31/113.48 c | 90076 | 17501 97431 320326 | 2147483647 89944 67 | 0.029 % |
114.41/114.57 c | 90947 | 17501 97431 320326 | 2147483647 90815 67 | 0.029 % |
116.11/116.24 c | 91905 | 17501 97431 320326 | 2147483647 91773 67 | 0.029 % |
117.21/117.31 c | 92958 | 17501 97431 320326 | 2147483647 92826 67 | 0.029 % |
117.31/117.46 c | 93059 | 17501 97431 320326 | 2147483647 92927 67 | 0.029 % |
117.52/117.60 c | 93172 | 17501 97431 320326 | 2147483647 93040 67 | 0.029 % |
117.71/117.84 c | 93293 | 17501 97431 320326 | 2147483647 93161 67 | 0.029 % |
117.91/118.02 c | 93426 | 17501 97431 320326 | 2147483647 93294 67 | 0.029 % |
118.11/118.22 c | 93574 | 17501 97431 320326 | 2147483647 93442 67 | 0.029 % |
118.41/118.57 c | 93737 | 17501 97431 320326 | 2147483647 93605 67 | 0.029 % |
118.81/118.95 c | 93913 | 17501 97431 320326 | 2147483647 93781 67 | 0.029 % |
119.41/119.53 c | 94107 | 17501 97431 320326 | 2147483647 93975 67 | 0.029 % |
119.72/119.84 c | 94319 | 17501 97431 320326 | 2147483647 94187 67 | 0.029 % |
120.01/120.16 c | 94552 | 17501 97431 320326 | 2147483647 94420 67 | 0.029 % |
120.51/120.69 c | 94808 | 17501 97431 320326 | 2147483647 94676 67 | 0.029 % |
120.92/121.09 c | 95092 | 17501 97431 320326 | 2147483647 94960 67 | 0.029 % |
121.61/121.75 c | 95403 | 17501 97431 320326 | 2147483647 95271 67 | 0.029 % |
122.31/122.43 c | 95742 | 17501 97431 320326 | 2147483647 95610 67 | 0.029 % |
123.02/123.11 c | 96116 | 17501 97431 320326 | 2147483647 95984 67 | 0.029 % |
124.01/124.16 c | 96529 | 17501 97431 320326 | 2147483647 96397 67 | 0.029 % |
124.81/124.94 c | 96979 | 17501 97431 320326 | 2147483647 96847 67 | 0.029 % |
125.61/125.76 c | 97473 | 17501 97431 320326 | 2147483647 97341 67 | 0.029 % |
126.41/126.57 c | 98016 | 17501 97431 320326 | 2147483647 97884 67 | 0.029 % |
127.51/127.62 c | 98612 | 17501 97431 320326 | 2147483647 98480 67 | 0.029 % |
128.71/128.88 c | 99268 | 17501 97431 320326 | 2147483647 99136 67 | 0.029 % |
130.21/130.33 c | 99989 | 17501 97431 320326 | 2147483647 99857 66 | 0.029 % |
131.41/131.54 c | 100782 | 17501 97431 320326 | 2147483647 100650 66 | 0.029 % |
132.81/132.90 c | 101653 | 17501 97431 320326 | 2147483647 101521 66 | 0.029 % |
133.81/133.97 c | 102612 | 17501 97431 320326 | 2147483647 102480 66 | 0.029 % |
134.90/135.00 c | 103666 | 17501 97431 320326 | 2147483647 103534 66 | 0.029 % |
136.61/136.76 c | 104824 | 17501 97431 320326 | 2147483647 104692 67 | 0.029 % |
136.81/136.96 c | 104926 | 17501 97431 320326 | 2147483647 104794 67 | 0.029 % |
137.01/137.14 c | 105039 | 17501 97431 320326 | 2147483647 104907 67 | 0.029 % |
137.61/137.70 c | 105161 | 17347 95126 314009 | 2147483647 93399 69 | 0.908 % |
137.81/137.98 c | 105295 | 17347 95126 314009 | 2147483647 93533 69 | 0.908 % |
138.11/138.24 c | 105441 | 17347 95126 314009 | 2147483647 93679 69 | 0.908 % |
138.41/138.57 c | 105602 | 17347 95126 314009 | 2147483647 93840 69 | 0.908 % |
138.71/138.86 c | 105778 | 17347 95126 314009 | 2147483647 94016 69 | 0.908 % |
139.11/139.21 c | 105971 | 17347 95126 314009 | 2147483647 94209 69 | 0.908 % |
139.52/139.62 c | 106184 | 17347 95126 314009 | 2147483647 94422 69 | 0.908 % |
139.91/140.01 c | 106417 | 17347 95126 314009 | 2147483647 94655 69 | 0.908 % |
140.31/140.42 c | 106673 | 17347 95126 314009 | 2147483647 94911 69 | 0.908 % |
140.71/140.85 c | 106955 | 17347 95126 314009 | 2147483647 95193 69 | 0.908 % |
141.41/141.54 c | 107264 | 17347 95126 314009 | 2147483647 95502 68 | 0.908 % |
142.21/142.32 c | 107607 | 17347 95126 314009 | 2147483647 95845 68 | 0.908 % |
142.81/142.98 c | 107980 | 17347 95126 314009 | 2147483647 96218 68 | 0.908 % |
143.41/143.54 c | 108389 | 17347 95126 314009 | 2147483647 96626 69 | 0.914 % |
144.21/144.32 c | 108838 | 17347 95126 314009 | 2147483647 97075 69 | 0.914 % |
144.91/145.00 c | 109333 | 17347 95126 314009 | 2147483647 97570 69 | 0.914 % |
145.71/145.80 c | 109875 | 17347 95126 314009 | 2147483647 98112 69 | 0.914 % |
146.61/146.79 c | 110472 | 17347 95126 314009 | 2147483647 98709 69 | 0.914 % |
147.71/147.81 c | 111128 | 17347 95126 314009 | 2147483647 99365 69 | 0.914 % |
149.01/149.18 c | 111848 | 17347 95126 314009 | 2147483647 100085 68 | 0.914 % |
150.01/150.12 c | 112641 | 17347 95126 314009 | 2147483647 100878 68 | 0.914 % |
151.71/151.88 c | 113514 | 17347 95126 314009 | 2147483647 101751 69 | 0.914 % |
153.60/153.72 c | 114472 | 17347 95126 314009 | 2147483647 102709 69 | 0.914 % |
155.60/155.75 c | 115527 | 17346 95118 313983 | 2147483647 103764 69 | 0.914 % |
158.00/158.14 c | 116686 | 17346 95118 313983 | 2147483647 104923 69 | 0.914 % |
161.00/161.13 c | 117959 | 17346 95118 313983 | 2147483647 106196 69 | 0.914 % |
161.20/161.33 c | 118060 | 17346 95118 313983 | 2147483647 106297 69 | 0.914 % |
161.40/161.52 c | 118172 | 17346 95118 313983 | 2147483647 106409 69 | 0.914 % |
161.80/161.93 c | 118293 | 17346 95118 313983 | 2147483647 106530 69 | 0.914 % |
162.10/162.23 c | 118426 | 17346 95118 313983 | 2147483647 106663 69 | 0.914 % |
162.50/162.64 c | 118572 | 17346 95118 313983 | 2147483647 106809 69 | 0.914 % |
162.80/162.97 c | 118732 | 17346 95118 313983 | 2147483647 106969 69 | 0.914 % |
163.20/163.31 c | 118909 | 17346 95118 313983 | 2147483647 107146 69 | 0.914 % |
163.70/163.82 c | 119102 | 17346 95118 313983 | 2147483647 107339 69 | 0.914 % |
164.10/164.23 c | 119314 | 17346 95118 313983 | 2147483647 107551 69 | 0.914 % |
164.50/164.61 c | 119547 | 17346 95118 313983 | 2147483647 107784 69 | 0.914 % |
165.10/165.23 c | 119803 | 17346 95118 313983 | 2147483647 108040 69 | 0.914 % |
165.60/165.71 c | 120084 | 17346 95118 313983 | 2147483647 108321 69 | 0.914 % |
166.29/166.40 c | 120394 | 17346 95118 313983 | 2147483647 108631 69 | 0.914 % |
167.00/167.19 c | 120735 | 17346 95118 313983 | 2147483647 108972 69 | 0.914 % |
167.69/167.87 c | 121110 | 17346 95118 313983 | 2147483647 109347 69 | 0.914 % |
168.89/169.05 c | 121519 | 17346 95118 313983 | 2147483647 109756 69 | 0.914 % |
169.89/170.09 c | 121968 | 17346 95118 313983 | 2147483647 110205 69 | 0.914 % |
171.09/171.23 c | 122464 | 17346 95118 313983 | 2147483647 110701 69 | 0.914 % |
171.79/171.92 c | 123008 | 17346 95118 313983 | 2147483647 111245 69 | 0.914 % |
173.49/173.61 c | 123605 | 17346 95118 313983 | 2147483647 111842 69 | 0.914 % |
174.60/174.76 c | 124260 | 17346 95118 313983 | 2147483647 112497 69 | 0.914 % |
176.49/176.61 c | 124980 | 17346 95118 313983 | 2147483647 113217 69 | 0.914 % |
177.89/178.02 c | 125772 | 17346 95118 313983 | 2147483647 114009 69 | 0.914 % |
180.09/180.24 c | 126644 | 17346 95118 313983 | 2147483647 114881 69 | 0.914 % |
181.79/181.93 c | 127603 | 17346 95118 313983 | 2147483647 115840 69 | 0.914 % |
183.79/183.96 c | 128657 | 17346 95118 313983 | 2147483647 116894 69 | 0.914 % |
185.79/185.93 c | 129815 | 17346 95118 313983 | 2147483647 118052 69 | 0.914 % |
188.59/188.74 c | 131090 | 17346 95118 313983 | 2147483647 119327 70 | 0.914 % |
191.20/191.40 c | 132491 | 17346 95118 313983 | 2147483647 120728 70 | 0.914 % |
191.39/191.57 c | 132593 | 17346 95118 313983 | 2147483647 120830 69 | 0.914 % |
191.69/191.89 c | 132703 | 17346 95118 313983 | 2147483647 120940 69 | 0.914 % |
191.99/192.11 c | 132824 | 17346 95118 313983 | 2147483647 121061 69 | 0.914 % |
192.19/192.31 c | 132958 | 17346 95118 313983 | 2147483647 121195 69 | 0.914 % |
192.40/192.60 c | 133105 | 17346 95118 313983 | 2147483647 121342 69 | 0.914 % |
192.79/192.98 c | 133266 | 17346 95118 313983 | 2147483647 121503 69 | 0.914 % |
193.19/193.31 c | 133442 | 17346 95118 313983 | 2147483647 121679 69 | 0.914 % |
193.49/193.66 c | 133635 | 17346 95118 313983 | 2147483647 121872 69 | 0.914 % |
193.89/194.01 c | 133848 | 17346 95118 313983 | 2147483647 122085 69 | 0.914 % |
194.39/194.54 c | 134082 | 17346 95118 313983 | 2147483647 122319 69 | 0.914 % |
195.09/195.27 c | 134338 | 17346 95118 313983 | 2147483647 122575 69 | 0.914 % |
195.69/195.82 c | 134620 | 17346 95118 313983 | 2147483647 122857 69 | 0.914 % |
196.39/196.51 c | 134929 | 17346 95118 313983 | 2147483647 123166 69 | 0.914 % |
197.19/197.39 c | 135268 | 17346 95118 313983 | 2147483647 123505 69 | 0.914 % |
198.09/198.25 c | 135641 | 17346 95118 313983 | 2147483647 123878 69 | 0.914 % |
199.09/199.23 c | 136050 | 17346 95118 313983 | 2147483647 124287 69 | 0.914 % |
200.18/200.39 c | 136499 | 17346 95118 313983 | 2147483647 124736 69 | 0.914 % |
201.58/201.77 c | 136994 | 17346 95118 313983 | 2147483647 125231 69 | 0.914 % |
203.08/203.24 c | 137536 | 17346 95118 313983 | 2147483647 125773 69 | 0.914 % |
204.98/205.15 c | 138132 | 17346 95118 313983 | 2147483647 126369 69 | 0.914 % |
206.58/206.79 c | 138788 | 17346 95118 313983 | 2147483647 127025 69 | 0.914 % |
208.37/208.59 c | 139509 | 17346 95118 313983 | 2147483647 127746 69 | 0.914 % |
210.37/210.56 c | 140301 | 17346 95118 313983 | 2147483647 128538 69 | 0.914 % |
211.97/212.18 c | 141173 | 17346 95118 313983 | 2147483647 129410 69 | 0.914 % |
214.37/214.58 c | 142131 | 17346 95118 313983 | 2147483647 130368 69 | 0.914 % |
216.47/216.64 c | 143185 | 17346 95118 313983 | 2147483647 131422 69 | 0.914 % |
218.57/218.73 c | 144343 | 17346 95118 313983 | 2147483647 132580 69 | 0.914 % |
221.28/221.40 c | 145617 | 17346 95118 313983 | 2147483647 133854 69 | 0.914 % |
224.38/224.58 c | 147021 | 17346 95118 313983 | 2147483647 135258 69 | 0.914 % |
227.97/228.17 c | 148561 | 17346 95118 313983 | 2147483647 136798 69 | 0.914 % |
228.37/228.50 c | 148662 | 17346 95118 313983 | 2147483647 136899 69 | 0.914 % |
228.58/228.71 c | 148772 | 17346 95118 313983 | 2147483647 137009 69 | 0.914 % |
228.77/228.92 c | 148894 | 17346 95118 313983 | 2147483647 137131 69 | 0.914 % |
229.07/229.30 c | 149028 | 17346 95118 313983 | 2147483647 137265 69 | 0.914 % |
229.68/229.86 c | 149174 | 17346 95118 313983 | 2147483647 137411 69 | 0.914 % |
230.07/230.26 c | 149335 | 17346 95118 313983 | 2147483647 137572 69 | 0.914 % |
230.57/230.74 c | 149513 | 17346 95118 313983 | 2147483647 137750 69 | 0.914 % |
230.97/231.19 c | 149707 | 17346 95118 313983 | 2147483647 137944 69 | 0.914 % |
231.57/231.71 c | 149921 | 17346 95118 313983 | 2147483647 138158 69 | 0.914 % |
231.98/232.16 c | 150154 | 17346 95118 313983 | 138237 138391 69 | 0.914 % |
232.57/232.76 c | 150411 | 17346 95118 313983 | 138237 138648 68 | 0.914 % |
233.97/234.20 c | 150695 | 17346 95118 313983 | 138237 116341 65 | 0.914 % |
234.87/235.02 c | 151004 | 17346 95118 313983 | 138237 116650 65 | 0.914 % |
235.57/235.75 c | 151343 | 17346 95118 313983 | 138237 116989 65 | 0.914 % |
236.38/236.57 c | 151715 | 17346 95118 313983 | 138237 117361 65 | 0.914 % |
237.17/237.38 c | 152124 | 17346 95118 313983 | 138237 117770 65 | 0.914 % |
238.17/238.34 c | 152573 | 17346 95118 313983 | 138237 118219 65 | 0.914 % |
239.47/239.69 c | 153066 | 17346 95118 313983 | 138237 118712 65 | 0.914 % |
240.57/240.77 c | 153610 | 17346 95118 313983 | 138237 119256 65 | 0.914 % |
242.47/242.67 c | 154207 | 17346 95118 313983 | 138237 119853 65 | 0.914 % |
243.97/244.13 c | 154863 | 17346 95118 313983 | 138237 120509 65 | 0.914 % |
245.67/245.87 c | 155583 | 17346 95118 313983 | 138237 121229 65 | 0.914 % |
247.87/248.01 c | 156376 | 17346 95118 313983 | 138237 122022 65 | 0.914 % |
249.47/249.69 c | 157249 | 17346 95118 313983 | 138237 122895 65 | 0.914 % |
251.86/252.02 c | 158212 | 17346 95118 313983 | 138237 123858 65 | 0.914 % |
254.16/254.36 c | 159265 | 17346 95118 313983 | 138237 124911 64 | 0.914 % |
256.86/257.09 c | 160424 | 17346 95118 313983 | 125646 126070 64 | 0.914 % |
260.06/260.27 c | 161697 | 17346 95118 313983 | 125646 110932 63 | 0.914 % |
263.46/263.62 c | 163098 | 17346 95118 313983 | 125646 112333 63 | 0.914 % |
265.96/266.12 c | 164639 | 17346 95118 313983 | 125646 113874 63 | 0.914 % |
269.36/269.59 c | 166335 | 17346 95118 313983 | 125646 115570 63 | 0.914 % |
269.65/269.81 c | 166435 | 17346 95118 313983 | 125646 115670 63 | 0.914 % |
269.85/270.07 c | 166545 | 17346 95118 313983 | 125646 115780 63 | 0.914 % |
270.25/270.45 c | 166666 | 17346 95118 313983 | 125646 115901 63 | 0.914 % |
270.55/270.75 c | 166802 | 17346 95118 313983 | 125646 116037 63 | 0.914 % |
270.85/271.03 c | 166950 | 17346 95118 313983 | 125646 116185 63 | 0.914 % |
271.15/271.35 c | 167110 | 17346 95118 313983 | 125646 116345 63 | 0.914 % |
271.56/271.79 c | 167288 | 17346 95118 313983 | 125646 116523 63 | 0.914 % |
271.95/272.18 c | 167482 | 17346 95118 313983 | 125646 116717 63 | 0.914 % |
272.45/272.68 c | 167696 | 17346 95118 313983 | 125646 116931 63 | 0.914 % |
272.95/273.11 c | 167931 | 17346 95118 313983 | 125646 117166 63 | 0.914 % |
273.55/273.72 c | 168188 | 17346 95118 313983 | 125646 117423 63 | 0.914 % |
274.05/274.22 c | 168469 | 17346 95118 313983 | 125646 117704 63 | 0.914 % |
274.65/274.88 c | 168779 | 17346 95118 313983 | 125646 118014 63 | 0.914 % |
275.35/275.56 c | 169120 | 17346 95118 313983 | 125646 118355 63 | 0.914 % |
276.05/276.29 c | 169492 | 17346 95118 313983 | 125646 118727 63 | 0.914 % |
276.96/277.16 c | 169903 | 17346 95118 313983 | 125646 119138 62 | 0.914 % |
277.95/278.19 c | 170352 | 17346 95118 313983 | 119236 119587 62 | 0.914 % |
279.55/279.77 c | 170848 | 17346 95118 313983 | 119236 95869 60 | 0.914 % |
280.85/281.06 c | 171391 | 17346 95118 313983 | 119236 96412 60 | 0.914 % |
282.25/282.50 c | 171989 | 17346 95118 313983 | 119236 97010 60 | 0.914 % |
283.75/283.90 c | 172644 | 17346 95118 313983 | 119236 97665 60 | 0.914 % |
285.05/285.21 c | 173366 | 17346 95118 313983 | 119236 98387 60 | 0.914 % |
286.65/286.80 c | 174158 | 17346 95118 313983 | 119236 99179 60 | 0.914 % |
288.05/288.28 c | 175029 | 17346 95118 313983 | 119236 100050 60 | 0.914 % |
289.65/289.88 c | 175987 | 17346 95118 313983 | 119236 101008 60 | 0.914 % |
291.65/291.88 c | 177040 | 17346 95118 313983 | 119236 102061 60 | 0.914 % |
293.95/294.16 c | 178198 | 17346 95118 313983 | 119236 103219 60 | 0.914 % |
296.64/296.80 c | 179472 | 17346 95118 313983 | 119236 104493 60 | 0.914 % |
299.04/299.21 c | 180873 | 17346 95118 313983 | 105021 105894 60 | 0.914 % |
302.64/302.85 c | 182415 | 17346 95118 313983 | 105021 84051 56 | 0.914 % |
306.34/306.55 c | 184110 | 17346 95118 313983 | 105021 85746 56 | 0.914 % |
310.34/310.59 c | 185975 | 17346 95118 313983 | 105021 87611 56 | 0.914 % |
310.54/310.79 c | 186075 | 17346 95118 313983 | 105021 87711 56 | 0.914 % |
310.84/311.05 c | 186190 | 17346 95118 313983 | 105021 87826 56 | 0.914 % |
311.14/311.31 c | 186316 | 17346 95118 313983 | 105021 87952 56 | 0.914 % |
311.43/311.64 c | 186449 | 17346 95118 313983 | 105021 88085 56 | 0.914 % |
311.73/311.92 c | 186597 | 17346 95118 313983 | 105021 88233 56 | 0.914 % |
312.03/312.20 c | 186757 | 17346 95118 313983 | 105021 88393 56 | 0.914 % |
312.43/312.69 c | 186934 | 17346 95118 313983 | 105021 88570 56 | 0.914 % |
312.93/313.15 c | 187127 | 17346 95118 313983 | 105021 88763 55 | 0.914 % |
313.43/313.61 c | 187342 | 17346 95118 313983 | 105021 88978 56 | 0.914 % |
313.73/313.97 c | 187577 | 17346 95118 313983 | 105021 89213 56 | 0.914 % |
314.44/314.65 c | 187833 | 17346 95118 313983 | 105021 89469 56 | 0.914 % |
315.13/315.31 c | 188114 | 17346 95118 313983 | 105021 89750 56 | 0.914 % |
315.83/316.04 c | 188423 | 17346 95118 313983 | 105021 90059 56 | 0.914 % |
316.33/316.57 c | 188765 | 17346 95118 313983 | 105021 90401 56 | 0.914 % |
316.93/317.18 c | 189137 | 17346 95118 313983 | 105021 90773 55 | 0.914 % |
317.93/318.17 c | 189549 | 17346 95118 313983 | 105021 91185 56 | 0.914 % |
318.74/318.97 c | 189998 | 17346 95118 313983 | 105021 91634 56 | 0.914 % |
319.53/319.79 c | 190492 | 17346 95118 313983 | 2147483647 92128 55 | 0.914 % |
320.73/320.94 c | 191034 | 17346 95118 313983 | 2147483647 92670 55 | 0.914 % |
321.83/322.03 c | 191630 | 17346 95118 313983 | 2147483647 93266 55 | 0.914 % |
323.13/323.37 c | 192287 | 17346 95118 313983 | 2147483647 93923 55 | 0.914 % |
324.53/324.74 c | 193008 | 17346 95118 313983 | 2147483647 94644 56 | 0.914 % |
325.93/326.15 c | 193801 | 17346 95118 313983 | 2147483647 95437 55 | 0.914 % |
327.63/327.85 c | 194673 | 17346 95118 313983 | 2147483647 96309 55 | 0.914 % |
330.03/330.28 c | 195631 | 17346 95118 313983 | 2147483647 97267 55 | 0.914 % |
332.43/332.65 c | 196686 | 17346 95118 313983 | 2147483647 98322 55 | 0.914 % |
336.43/336.67 c | 197846 | 17345 94521 312732 | 2147483647 58515 57 | 0.920 % |
338.43/338.61 c | 199120 | 17345 94521 312732 | 2147483647 59789 57 | 0.920 % |
340.32/340.58 c | 200520 | 17345 94521 312732 | 2147483647 61189 57 | 0.920 % |
342.12/342.39 c | 202061 | 17345 94521 312732 | 2147483647 62730 57 | 0.920 % |
344.91/345.13 c | 203756 | 17345 94521 312732 | 2147483647 64425 57 | 0.920 % |
348.41/348.68 c | 205620 | 17345 94521 312732 | 2147483647 66289 58 | 0.920 % |
351.60/351.87 c | 207669 | 17345 94521 312732 | 2147483647 68338 58 | 0.920 % |
351.81/352.02 c | 207771 | 17345 94521 312732 | 2147483647 68440 58 | 0.920 % |
352.00/352.21 c | 207881 | 17345 94521 312732 | 2147483647 68550 58 | 0.920 % |
352.10/352.40 c | 208003 | 17345 94521 312732 | 2147483647 68672 58 | 0.920 % |
352.50/352.76 c | 208139 | 17345 94521 312732 | 2147483647 68808 58 | 0.920 % |
352.70/352.93 c | 208285 | 17345 94521 312732 | 2147483647 68954 58 | 0.920 % |
353.10/353.38 c | 208448 | 17345 94521 312732 | 2147483647 69117 58 | 0.920 % |
353.40/353.62 c | 208625 | 17345 94521 312732 | 2147483647 69294 58 | 0.920 % |
353.70/353.94 c | 208818 | 17345 94521 312732 | 2147483647 69487 58 | 0.920 % |
354.10/354.31 c | 209030 | 17345 94521 312732 | 2147483647 69699 58 | 0.920 % |
354.50/354.74 c | 209264 | 17345 94521 312732 | 2147483647 69933 58 | 0.920 % |
355.00/355.22 c | 209522 | 17345 94521 312732 | 2147483647 70191 58 | 0.920 % |
355.50/355.75 c | 209804 | 17345 94521 312732 | 2147483647 70473 58 | 0.920 % |
356.20/356.48 c | 210113 | 17345 94521 312732 | 2147483647 70782 58 | 0.920 % |
356.90/357.18 c | 210453 | 17345 94521 312732 | 2147483647 71122 58 | 0.920 % |
357.40/357.67 c | 210827 | 17345 94521 312732 | 2147483647 71496 58 | 0.920 % |
358.00/358.27 c | 211236 | 17345 94521 312732 | 2147483647 71905 58 | 0.920 % |
358.70/358.91 c | 211685 | 17345 94521 312732 | 2147483647 72354 58 | 0.920 % |
359.20/359.50 c | 212178 | 17345 94521 312732 | 2147483647 72847 58 | 0.921 % |
360.00/360.24 c | 212720 | 17345 94521 312732 | 2147483647 73389 58 | 0.920 % |
360.80/361.05 c | 213316 | 17345 94521 312732 | 2147483647 73985 58 | 0.920 % |
362.20/362.47 c | 213971 | 17345 94521 312732 | 2147483647 74640 58 | 0.920 % |
363.60/363.83 c | 214693 | 17345 94521 312732 | 2147483647 75362 58 | 0.920 % |
364.80/365.07 c | 215485 | 17345 94521 312732 | 2147483647 76154 58 | 0.920 % |
366.60/366.81 c | 216356 | 17345 94521 312732 | 2147483647 77025 59 | 0.920 % |
368.40/368.68 c | 217318 | 17345 94521 312732 | 2147483647 77987 59 | 0.920 % |
370.80/371.09 c | 218372 | 17345 94521 312732 | 2147483647 79041 59 | 0.920 % |
373.20/373.41 c | 219530 | 17345 94521 312732 | 2147483647 80199 59 | 0.920 % |
376.00/376.27 c | 220807 | 17345 94521 312732 | 2147483647 81476 59 | 0.920 % |
378.49/378.80 c | 222207 | 17345 94521 312732 | 2147483647 82876 59 | 0.920 % |
381.89/382.14 c | 223748 | 17345 94521 312732 | 2147483647 84417 59 | 0.920 % |
384.59/384.82 c | 225443 | 17345 94521 312732 | 2147483647 86112 59 | 0.920 % |
388.48/388.70 c | 227307 | 17345 94521 312732 | 2147483647 87976 59 | 0.920 % |
391.98/392.29 c | 229357 | 17345 94521 312732 | 2147483647 90026 60 | 0.920 % |
395.79/396.04 c | 231610 | 17345 94521 312732 | 2147483647 92279 60 | 0.920 % |
395.98/396.22 c | 231712 | 17345 94521 312732 | 2147483647 92381 60 | 0.920 % |
396.18/396.40 c | 231824 | 17345 94521 312732 | 2147483647 92493 60 | 0.920 % |
396.28/396.59 c | 231946 | 17345 94521 312732 | 2147483647 92615 60 | 0.920 % |
396.58/396.86 c | 232079 | 17345 94521 312732 | 2147483647 92748 60 | 0.920 % |
396.98/397.23 c | 232225 | 17345 94521 312732 | 2147483647 92894 60 | 0.920 % |
397.28/397.57 c | 232385 | 17345 94521 312732 | 2147483647 93054 60 | 0.920 % |
397.78/398.05 c | 232561 | 17345 94521 312732 | 2147483647 93230 60 | 0.920 % |
398.48/398.71 c | 232754 | 17345 94521 312732 | 2147483647 93423 60 | 0.920 % |
398.98/399.23 c | 232967 | 17345 94521 312732 | 2147483647 93636 60 | 0.920 % |
399.58/399.89 c | 233203 | 17345 94521 312732 | 2147483647 93872 60 | 0.920 % |
400.28/400.55 c | 233459 | 17345 94521 312732 | 2147483647 94128 60 | 0.920 % |
400.88/401.17 c | 233742 | 17345 94521 312732 | 2147483647 94411 60 | 0.920 % |
401.48/401.77 c | 234051 | 17345 94521 312732 | 2147483647 94720 60 | 0.920 % |
402.28/402.57 c | 234391 | 17345 94521 312732 | 2147483647 95060 60 | 0.920 % |
403.08/403.37 c | 234763 | 17345 94521 312732 | 2147483647 95432 60 | 0.920 % |
403.78/404.04 c | 235172 | 17345 94521 312732 | 2147483647 95841 60 | 0.920 % |
404.88/405.10 c | 235621 | 17345 94521 312732 | 2147483647 96290 60 | 0.920 % |
405.98/406.28 c | 236114 | 17345 94521 312732 | 2147483647 96783 60 | 0.920 % |
407.18/407.49 c | 236656 | 17345 94521 312732 | 2147483647 97325 59 | 0.920 % |
408.58/408.89 c | 237253 | 17345 94521 312732 | 2147483647 97922 59 | 0.920 % |
409.88/410.14 c | 237908 | 17345 94521 312732 | 2147483647 98577 59 | 0.920 % |
411.38/411.62 c | 238628 | 17345 94521 312732 | 2147483647 99297 59 | 0.920 % |
412.98/413.28 c | 239420 | 17345 94521 312732 | 2147483647 100089 60 | 0.920 % |
414.78/415.00 c | 240291 | 17345 94521 312732 | 100669 100960 60 | 0.920 % |
416.68/416.94 c | 241249 | 17345 94521 312732 | 100669 86967 58 | 0.920 % |
418.97/419.25 c | 242302 | 17345 94521 312732 | 100669 88020 58 | 0.920 % |
420.57/420.89 c | 243460 | 17345 94521 312732 | 100669 89178 58 | 0.920 % |
422.97/423.23 c | 244733 | 17345 94521 312732 | 100669 90451 58 | 0.920 % |
425.38/425.67 c | 246134 | 17345 94521 312732 | 100669 91852 58 | 0.920 % |
428.37/428.67 c | 247674 | 17345 94521 312732 | 100669 93392 58 | 0.920 % |
432.26/432.57 c | 249368 | 17345 94521 312732 | 100669 95086 58 | 0.920 % |
436.47/436.76 c | 251233 | 17345 94521 312732 | 95719 96951 58 | 0.920 % |
440.56/440.81 c | 253283 | 17345 94521 312732 | 95719 78860 56 | 0.920 % |
444.56/444.83 c | 255537 | 17345 94521 312732 | 95719 81114 56 | 0.920 % |
448.86/449.17 c | 258016 | 17345 94521 312732 | 95719 83593 56 | 0.920 % |
449.06/449.35 c | 258116 | 17345 94521 312732 | 95719 83693 56 | 0.920 % |
449.16/449.49 c | 258228 | 17345 94521 312732 | 95719 83805 56 | 0.920 % |
449.36/449.69 c | 258349 | 17345 94521 312732 | 95719 83926 56 | 0.920 % |
449.76/450.06 c | 258485 | 17345 94521 312732 | 95719 84062 56 | 0.920 % |
450.06/450.35 c | 258631 | 17345 94521 312732 | 95719 84208 56 | 0.920 % |
450.46/450.73 c | 258793 | 17345 94521 312732 | 95719 84370 56 | 0.920 % |
450.76/451.09 c | 258969 | 17345 94521 312732 | 95719 84546 56 | 0.920 % |
451.26/451.58 c | 259162 | 17345 94521 312732 | 95719 84739 56 | 0.920 % |
451.86/452.18 c | 259375 | 17345 94521 312732 | 95719 84952 56 | 0.920 % |
452.56/452.87 c | 259608 | 17345 94521 312732 | 95719 85185 56 | 0.920 % |
453.16/453.42 c | 259864 | 17345 94521 312732 | 95719 85441 56 | 0.920 % |
453.76/454.02 c | 260146 | 17345 94521 312732 | 85578 85723 56 | 0.920 % |
454.26/454.54 c | 260456 | 17345 94521 312732 | 85578 86033 56 | 0.920 % |
455.26/455.52 c | 260797 | 17345 94521 312732 | 85578 71628 54 | 0.920 % |
456.16/456.42 c | 261173 | 17345 94521 312732 | 85578 72004 54 | 0.920 % |
456.76/457.04 c | 261582 | 17345 94521 312732 | 85578 72413 54 | 0.920 % |
457.56/457.85 c | 262031 | 17345 94521 312732 | 85578 72862 54 | 0.920 % |
458.56/458.86 c | 262524 | 17345 94521 312732 | 85578 73355 54 | 0.920 % |
459.66/459.90 c | 263066 | 17345 94521 312732 | 85578 73897 54 | 0.920 % |
460.86/461.10 c | 263662 | 17345 94521 312732 | 85578 74493 54 | 0.920 % |
461.96/462.22 c | 264319 | 17345 94521 312732 | 85578 75150 54 | 0.920 % |
463.45/463.77 c | 265039 | 17345 94521 312732 | 85578 75870 54 | 0.920 % |
464.55/464.82 c | 265831 | 17345 94521 312732 | 85578 76662 54 | 0.920 % |
466.06/466.30 c | 266703 | 17345 94521 312732 | 85578 77534 54 | 0.920 % |
467.55/467.88 c | 267661 | 17345 94521 312732 | 85578 78492 54 | 0.920 % |
469.36/469.63 c | 268714 | 17345 94521 312732 | 85578 79545 54 | 0.920 % |
471.25/471.56 c | 269874 | 17345 94521 312732 | 85578 80705 54 | 0.920 % |
473.55/473.88 c | 271149 | 17345 94521 312732 | 80831 81980 55 | 0.920 % |
476.24/476.54 c | 272549 | 17345 94521 312732 | 80831 75182 53 | 0.920 % |
479.25/479.50 c | 274089 | 17345 94521 312732 | 80831 76722 53 | 0.920 % |
482.34/482.60 c | 275784 | 17345 94521 312732 | 80831 78417 53 | 0.920 % |
485.94/486.29 c | 277649 | 17345 94521 312732 | 80831 80282 53 | 0.920 % |
490.04/490.31 c | 279698 | 17345 94521 312732 | 80831 82331 54 | 0.920 % |
494.04/494.40 c | 281953 | 17345 94521 312732 | 66059 68011 51 | 0.920 % |
498.74/499.00 c | 284432 | 17345 94521 312732 | 66059 58152 50 | 0.920 % |
503.14/503.42 c | 287158 | 17345 94521 312732 | 66059 60878 50 | 0.920 % |
503.24/503.57 c | 287260 | 17345 94521 312732 | 66059 60980 50 | 0.920 % |
503.44/503.76 c | 287371 | 17345 94521 312732 | 66059 61091 50 | 0.920 % |
503.73/504.00 c | 287494 | 17345 94521 312732 | 66059 61214 50 | 0.920 % |
503.83/504.19 c | 287627 | 17345 94521 312732 | 66059 61347 50 | 0.920 % |
504.13/504.41 c | 287774 | 17345 94521 312732 | 66059 61494 50 | 0.920 % |
504.33/504.65 c | 287935 | 17345 94521 312732 | 66059 61655 50 | 0.920 % |
504.73/505.00 c | 288114 | 17345 94521 312732 | 66059 61834 50 | 0.920 % |
505.03/505.33 c | 288308 | 17345 94521 312732 | 66059 62028 50 | 0.920 % |
505.23/505.58 c | 288520 | 17345 94521 312732 | 66059 62240 50 | 0.920 % |
505.83/506.20 c | 288753 | 17345 94521 312732 | 66059 62473 50 | 0.920 % |
506.23/506.58 c | 289010 | 17345 94521 312732 | 66059 62730 50 | 0.920 % |
506.74/507.04 c | 289292 | 17345 94521 312732 | 66059 63012 50 | 0.920 % |
507.33/507.67 c | 289601 | 17345 94521 312732 | 66059 63321 50 | 0.920 % |
508.03/508.38 c | 289940 | 17345 94521 312732 | 66059 63660 50 | 0.920 % |
508.53/508.84 c | 290314 | 17345 94521 312732 | 2147483647 64034 50 | 0.920 % |
509.43/509.76 c | 290723 | 17345 94521 312732 | 2147483647 64443 50 | 0.920 % |
510.23/510.56 c | 291175 | 17345 94521 312732 | 2147483647 64895 50 | 0.920 % |
511.24/511.58 c | 291668 | 17345 94521 312732 | 2147483647 65388 50 | 0.920 % |
512.13/512.46 c | 292212 | 17345 94521 312732 | 2147483647 65932 50 | 0.920 % |
513.53/513.81 c | 292808 | 17345 94521 312732 | 2147483647 66528 50 | 0.920 % |
514.54/514.87 c | 293463 | 17345 94521 312732 | 2147483647 67183 50 | 0.920 % |
515.83/516.10 c | 294184 | 17345 94521 312732 | 2147483647 67904 50 | 0.920 % |
517.03/517.33 c | 294977 | 17345 94521 312732 | 2147483647 68697 50 | 0.920 % |
518.63/518.96 c | 295849 | 17345 94521 312732 | 2147483647 69569 50 | 0.920 % |
520.53/520.82 c | 296808 | 17345 94521 312732 | 2147483647 70528 50 | 0.920 % |
522.23/522.53 c | 297861 | 17345 94521 312732 | 2147483647 71581 50 | 0.920 % |
524.03/524.38 c | 299021 | 17345 94521 312732 | 2147483647 72741 50 | 0.920 % |
526.83/527.14 c | 300295 | 17345 94521 312732 | 2147483647 74015 50 | 0.920 % |
529.83/530.15 c | 301695 | 17345 94521 312732 | 2147483647 75415 50 | 0.920 % |
532.03/532.36 c | 303236 | 17345 94521 312732 | 2147483647 76956 50 | 0.920 % |
534.72/535.04 c | 304930 | 17345 94521 312732 | 2147483647 78650 51 | 0.920 % |
537.42/537.75 c | 306794 | 17345 94521 312732 | 2147483647 80514 52 | 0.920 % |
541.12/541.48 c | 308845 | 17345 94521 312732 | 2147483647 82565 52 | 0.920 % |
545.22/545.56 c | 311098 | 17345 94521 312732 | 2147483647 84818 52 | 0.920 % |
549.32/549.68 c | 313577 | 17345 94521 312732 | 2147483647 87297 52 | 0.920 % |
554.42/554.74 c | 316302 | 17345 94521 312732 | 2147483647 90022 52 | 0.920 % |
559.82/560.18 c | 319301 | 17345 94521 312732 | 2147483647 93021 52 | 0.920 % |
560.02/560.38 c | 319401 | 17345 94521 312732 | 2147483647 93121 52 | 0.920 % |
560.32/560.65 c | 319513 | 17345 94521 312732 | 2147483647 93233 52 | 0.920 % |
560.62/560.90 c | 319634 | 17345 94521 312732 | 2147483647 93354 52 | 0.920 % |
561.01/561.31 c | 319768 | 17345 94521 312732 | 2147483647 93488 52 | 0.920 % |
561.21/561.56 c | 319914 | 17345 94521 312732 | 2147483647 93634 52 | 0.920 % |
561.72/562.01 c | 320075 | 17345 94521 312732 | 93723 93795 52 | 0.920 % |
562.21/562.51 c | 320254 | 17345 94521 312732 | 93723 93974 52 | 0.920 % |
563.01/563.30 c | 320448 | 17345 94521 312732 | 93723 84224 52 | 0.920 % |
563.41/563.70 c | 320660 | 17345 94521 312732 | 93723 84436 52 | 0.920 % |
563.81/564.11 c | 320894 | 17345 94521 312732 | 93723 84670 52 | 0.920 % |
564.21/564.54 c | 321152 | 17345 94521 312732 | 93723 84928 52 | 0.920 % |
564.81/565.10 c | 321436 | 17345 94521 312732 | 93723 85212 52 | 0.920 % |
565.41/565.77 c | 321745 | 17345 94521 312732 | 93723 85521 52 | 0.920 % |
566.11/566.45 c | 322085 | 17345 94521 312732 | 93723 85861 52 | 0.920 % |
567.31/567.65 c | 322458 | 17344 94472 312611 | 93723 51246 54 | 0.926 % |
568.11/568.44 c | 322867 | 17344 94472 312611 | 93723 51655 54 | 0.925 % |
568.90/569.23 c | 323317 | 17344 94472 312611 | 93723 52105 54 | 0.926 % |
569.70/570.10 c | 323810 | 17344 94472 312611 | 93723 52598 54 | 0.926 % |
570.61/570.99 c | 324352 | 17344 94472 312611 | 93723 53140 54 | 0.926 % |
571.50/571.85 c | 324948 | 17344 94472 312611 | 93723 53736 54 | 0.925 % |
572.20/572.60 c | 325604 | 17344 94472 312611 | 93723 54392 54 | 0.926 % |
573.30/573.65 c | 326324 | 17344 94472 312611 | 93723 55112 54 | 0.925 % |
574.40/574.75 c | 327118 | 17344 94472 312611 | 93723 55906 54 | 0.926 % |
575.80/576.19 c | 327989 | 17344 94472 312611 | 93723 56777 54 | 0.926 % |
577.11/577.46 c | 328951 | 17344 94472 312611 | 93723 57739 54 | 0.926 % |
579.20/579.52 c | 330006 | 17344 94472 312611 | 2147483647 58794 54 | 0.926 % |
581.40/581.71 c | 331164 | 17344 94472 312611 | 2147483647 59952 54 | 0.926 % |
583.50/583.81 c | 332438 | 17344 94472 312611 | 2147483647 61226 54 | 0.925 % |
585.50/585.82 c | 333840 | 17344 94472 312611 | 2147483647 62628 54 | 0.926 % |
587.90/588.22 c | 335380 | 17344 94472 312611 | 2147483647 64168 55 | 0.926 % |
590.30/590.63 c | 337074 | 17344 94472 312611 | 2147483647 65862 54 | 0.926 % |
593.10/593.44 c | 338941 | 17344 94472 312611 | 2147483647 67729 54 | 0.926 % |
596.79/597.15 c | 340990 | 17344 94472 312611 | 68789 69778 54 | 0.925 % |
600.30/600.63 c | 343245 | 17344 94472 312611 | 68789 57127 52 | 0.925 % |
604.19/604.57 c | 345723 | 17344 94472 312611 | 68789 59605 52 | 0.926 % |
608.69/609.02 c | 348448 | 17344 94472 312611 | 68789 62330 52 | 0.926 % |
613.88/614.25 c | 351445 | 17344 94472 312611 | 63883 65327 52 | 0.925 % |
619.28/619.60 c | 354741 | 17344 94472 312611 | 63883 56808 50 | 0.926 % |
619.38/619.72 c | 354841 | 17344 94472 312611 | 63883 56908 50 | 0.926 % |
619.68/620.06 c | 354953 | 17344 94472 312611 | 63883 57020 50 | 0.925 % |
619.88/620.24 c | 355075 | 17344 94472 312611 | 63883 57142 50 | 0.925 % |
620.18/620.55 c | 355208 | 17344 94472 312611 | 63883 57275 50 | 0.925 % |
620.48/620.84 c | 355357 | 17344 94472 312611 | 63883 57424 50 | 0.926 % |
620.68/621.08 c | 355518 | 17344 94472 312611 | 63883 57585 50 | 0.926 % |
620.98/621.30 c | 355696 | 17344 94472 312611 | 63883 57763 50 | 0.926 % |
621.28/621.68 c | 355889 | 17344 94472 312611 | 63883 57956 50 | 0.926 % |
621.68/622.03 c | 356101 | 17344 94472 312611 | 63883 58168 50 | 0.926 % |
622.08/622.43 c | 356336 | 17344 94472 312611 | 63883 58403 50 | 0.926 % |
622.68/623.01 c | 356594 | 17344 94472 312611 | 63883 58661 50 | 0.926 % |
623.08/623.48 c | 356877 | 17344 94472 312611 | 63883 58944 50 | 0.926 % |
623.58/623.98 c | 357186 | 17344 94472 312611 | 63883 59253 50 | 0.926 % |
624.08/624.44 c | 357526 | 17344 94472 312611 | 63883 59593 50 | 0.926 % |
624.78/625.11 c | 357898 | 17344 94472 312611 | 63883 59965 50 | 0.926 % |
625.48/625.81 c | 358308 | 17344 94472 312611 | 63883 60375 50 | 0.926 % |
626.28/626.63 c | 358758 | 17344 94472 312611 | 63883 60825 50 | 0.926 % |
627.08/627.42 c | 359251 | 17344 94472 312611 | 63883 61318 50 | 0.925 % |
627.98/628.32 c | 359793 | 17344 94472 312611 | 63883 61860 50 | 0.926 % |
629.08/629.47 c | 360389 | 17344 94472 312611 | 2147483647 62456 50 | 0.926 % |
630.28/630.61 c | 361046 | 17344 94472 312611 | 2147483647 63113 50 | 0.926 % |
631.48/631.89 c | 361770 | 17344 94472 312611 | 2147483647 63837 51 | 0.926 % |
633.08/633.40 c | 362563 | 16783 90221 298709 | 2147483647 62117 50 | 7.752 % |
634.48/634.80 c | 363435 | 16684 90221 298709 | 2147483647 62989 51 | 7.752 % |
636.08/636.44 c | 364393 | 16683 90221 298709 | 2147483647 63945 51 | 8.014 % |
637.68/638.08 c ===============================================================================
637.68/638.08 c restarts : 768
637.68/638.08 c conflicts : 365139 (574 /sec)
637.68/638.08 c decisions : 479415 (0.33 % random) (754 /sec)
637.68/638.08 c propagations : 291760728 (458687 /sec)
637.68/638.08 c conflict literals : 22251214 (74.09 % deleted)
637.68/638.08 c Memory used : 51.06 MB
637.68/638.08 c CPU time : 636.078 s
637.68/638.08 c
637.68/638.08 s UNSATISFIABLE
637.68/638.09 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832043-1242768546/watcher-1832043-1242768546 -o /tmp/evaluation-result-1832043-1242768546/solver-1832043-1242768546 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832043-1242768546.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.97 1.06 0.99 3/65 25812
/proc/meminfo: memFree=1878736/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=0
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 304884023 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251279409234 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/25812/statm: 1339 235 195 169 0 50 0
[pid=25813] ppid=25812 vsize=5356 CPUtime=0
/proc/25813/stat : 25813 (SatELiteGTI) S 25812 25812 25440 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 304884023 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/25813/statm: 1339 238 198 169 0 50 0
[pid=25815] ppid=25813 vsize=184 CPUtime=0
/proc/25815/stat : 25815 (sed) R 25813 25812 25440 0 -1 4194304 28 0 0 0 0 0 0 0 21 0 1 0 304884023 188416 9 1992294400 4194304 4240196 548682069056 18446744073709551615 251276616096 0 0 4096 0 0 0 0 17 0 0 0
/proc/25815/statm: 48 18 11 11 0 11 0
[startup+0.0470379 s]
/proc/loadavg: 0.97 1.06 0.99 3/65 25812
/proc/meminfo: memFree=1878736/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=0
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304884023 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25812/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102044 s]
/proc/loadavg: 0.97 1.06 0.99 3/65 25812
/proc/meminfo: memFree=1878736/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=0
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304884023 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25812/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301068 s]
/proc/loadavg: 0.97 1.06 0.99 3/65 25812
/proc/meminfo: memFree=1878736/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=0
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304884023 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25812/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701116 s]
/proc/loadavg: 0.97 1.06 0.99 3/65 25812
/proc/meminfo: memFree=1878736/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=0
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304884023 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25812/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50222 s]
/proc/loadavg: 0.97 1.06 0.99 2/67 25817
/proc/meminfo: memFree=1846656/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=0
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304884023 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25812/statm: 1339 237 197 169 0 50 0
[pid=25817] ppid=25812 vsize=33692 CPUtime=1.48
/proc/25817/stat : 25817 (SatELite_releas) R 25812 25812 25440 0 -1 4194304 8881 0 0 0 144 4 0 0 25 0 1 0 304884023 34500608 7616 1992294400 134512640 135223648 4294956128 18446744073709551615 134608351 0 0 4096 3 0 0 0 17 1 0 0
/proc/25817/statm: 8423 7616 76 173 0 8248 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39048
[startup+3.10141 s]
/proc/loadavg: 0.97 1.06 0.99 2/67 25818
/proc/meminfo: memFree=1866624/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=8200 CPUtime=1.51
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 1898 0 0 0 150 1 0 0 25 0 1 0 304884181 8396800 1884 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 2050 1884 77 171 0 1877 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13556
[startup+6.30181 s]
/proc/loadavg: 0.97 1.05 0.99 2/67 25818
/proc/meminfo: memFree=1865216/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=9416 CPUtime=4.71
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 2205 0 0 0 470 1 0 0 25 0 1 0 304884181 9641984 2191 1992294400 134512640 135215339 4294956240 18446744073709551615 134527200 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 2354 2191 77 171 0 2181 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14772
[startup+12.7016 s]
/proc/loadavg: 0.98 1.05 0.99 2/67 25818
/proc/meminfo: memFree=1863184/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=11596 CPUtime=11.11
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 2735 0 0 0 1109 2 0 0 25 0 1 0 304884181 11874304 2721 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 2899 2721 77 171 0 2726 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 16952
[startup+25.5012 s]
/proc/loadavg: 0.98 1.05 0.99 2/67 25818
/proc/meminfo: memFree=1859728/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=14900 CPUtime=23.9
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 3570 0 0 0 2388 2 0 0 25 0 1 0 304884181 15257600 3556 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/25818/statm: 3725 3556 77 171 0 3552 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 20256
[startup+51.1014 s]
/proc/loadavg: 0.99 1.05 0.99 2/67 25818
/proc/meminfo: memFree=1852624/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=22116 CPUtime=49.48
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 5349 0 0 0 4943 5 0 0 25 0 1 0 304884181 22646784 5335 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 5529 5335 77 171 0 5356 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 27472
[startup+102.306 s]
/proc/loadavg: 0.99 1.04 0.99 2/67 25818
/proc/meminfo: memFree=1841680/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=32812 CPUtime=100.66
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 8023 0 0 0 10059 7 0 0 25 0 1 0 304884181 33599488 8009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 8203 8009 77 171 0 8030 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 38168
[startup+162.301 s]
/proc/loadavg: 0.99 1.03 0.99 2/67 25818
/proc/meminfo: memFree=1832912/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=41776 CPUtime=160.64
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 10195 0 0 0 16054 10 0 0 25 0 1 0 304884181 42778624 10181 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 10444 10181 77 171 0 10271 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 47132
[startup+222.302 s]
/proc/loadavg: 0.99 1.02 0.99 2/67 25818
/proc/meminfo: memFree=1824400/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=50136 CPUtime=220.62
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12282 0 0 0 22049 13 0 0 25 0 1 0 304884181 51339264 12268 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 12534 12268 77 171 0 12361 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 55492
[startup+282.301 s]
/proc/loadavg: 0.99 1.01 0.99 2/67 25818
/proc/meminfo: memFree=1822736/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=51852 CPUtime=280.59
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12669 0 0 0 28046 13 0 0 25 0 1 0 304884181 53096448 12655 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 12963 12655 77 171 0 12790 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 57208
[startup+342.302 s]
/proc/loadavg: 0.99 1.01 0.99 2/67 25818
/proc/meminfo: memFree=1822608/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=51852 CPUtime=340.56
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12670 0 0 0 34043 13 0 0 25 0 1 0 304884181 53096448 12656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25818/statm: 12963 12656 77 171 0 12790 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 57208
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 25818
/proc/meminfo: memFree=1822480/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=52068 CPUtime=400.52
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12693 0 0 0 40039 13 0 0 25 0 1 0 304884181 53317632 12679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 13017 12679 77 171 0 12844 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 57424
[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 25818
/proc/meminfo: memFree=1822160/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=52280 CPUtime=460.5
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12736 0 0 0 46037 13 0 0 25 0 1 0 304884181 53534720 12722 1992294400 134512640 135215339 4294956240 18446744073709551615 134538030 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 13070 12722 77 171 0 12897 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 57636
[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 25818
/proc/meminfo: memFree=1822032/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=52280 CPUtime=520.47
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12739 0 0 0 52034 13 0 0 25 0 1 0 304884181 53534720 12725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 13070 12725 77 171 0 12897 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 57636
[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 25818
/proc/meminfo: memFree=1821904/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=52280 CPUtime=580.44
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12740 0 0 0 58031 13 0 0 25 0 1 0 304884181 53534720 12726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 13070 12726 77 171 0 12897 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 57636
Solver just ended. Dumping a history of the last processes samples
[startup+588.702 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 25818
/proc/meminfo: memFree=1821904/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=52280 CPUtime=586.84
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12740 0 0 0 58671 13 0 0 25 0 1 0 304884181 53534720 12726 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 13070 12726 77 171 0 12897 0
Current children cumulated CPU time (s) 588.4
Current children cumulated vsize (KiB) 57636
[startup+614.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 25818
/proc/meminfo: memFree=1821840/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=52280 CPUtime=612.42
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12740 0 0 0 61229 13 0 0 25 0 1 0 304884181 53534720 12726 1992294400 134512640 135215339 4294956240 18446744073709551615 134534288 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 13070 12726 77 171 0 12897 0
Current children cumulated CPU time (s) 613.98
Current children cumulated vsize (KiB) 57636
[startup+627.102 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 25818
/proc/meminfo: memFree=1821840/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=52280 CPUtime=625.22
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12740 0 0 0 62509 13 0 0 25 0 1 0 304884181 53534720 12726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 13070 12726 77 171 0 12897 0
Current children cumulated CPU time (s) 626.78
Current children cumulated vsize (KiB) 57636
[startup+633.501 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 25818
/proc/meminfo: memFree=1821840/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=52280 CPUtime=631.62
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12741 0 0 0 63149 13 0 0 25 0 1 0 304884181 53534720 12727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 13070 12727 77 171 0 12897 0
Current children cumulated CPU time (s) 633.18
Current children cumulated vsize (KiB) 57636
[startup+636.702 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 25818
/proc/meminfo: memFree=1821840/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=52280 CPUtime=634.82
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12763 0 0 0 63469 13 0 0 25 0 1 0 304884181 53534720 12749 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 13070 12749 77 171 0 12897 0
Current children cumulated CPU time (s) 636.38
Current children cumulated vsize (KiB) 57636
[startup+637.502 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 25818
/proc/meminfo: memFree=1821840/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=52280 CPUtime=635.62
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12764 0 0 0 63549 13 0 0 25 0 1 0 304884181 53534720 12750 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 13070 12750 77 171 0 12897 0
Current children cumulated CPU time (s) 637.18
Current children cumulated vsize (KiB) 57636
[startup+637.902 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 25818
/proc/meminfo: memFree=1821840/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5356 CPUtime=1.56
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 336 9132 0 0 0 0 151 5 16 0 1 0 304884023 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25812/statm: 1339 239 197 169 0 50 0
[pid=25818] ppid=25812 vsize=52280 CPUtime=636.02
/proc/25818/stat : 25818 (minisat_static) R 25812 25812 25440 0 -1 4194304 12764 0 0 0 63589 13 0 0 25 0 1 0 304884181 53534720 12750 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 0 0 0
/proc/25818/statm: 13070 12750 77 171 0 12897 0
Current children cumulated CPU time (s) 637.58
Current children cumulated vsize (KiB) 57636
[startup+638.102 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 25818
/proc/meminfo: memFree=1821840/2055920 swapFree=4179872/4192956
[pid=25812] ppid=25810 vsize=5360 CPUtime=637.78
/proc/25812/stat : 25812 (SatELiteGTI) S 25810 25812 25440 0 -1 4194304 363 21902 0 0 0 0 63759 19 19 0 1 0 304884023 5488640 241 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25812/statm: 1340 241 198 169 0 51 0
Current children cumulated CPU time (s) 637.78
Current children cumulated vsize (KiB) 5360
Child status: 20
Real time (s): 638.105
CPU time (s): 637.801
CPU user time (s): 637.594
CPU system time (s): 0.206968
CPU usage (%): 99.9524
Max. virtual memory (cumulated for all children) (KiB): 57636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 637.594
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22393
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= 47
involuntary context switches= 1962
runsolver used 0.564914 second user time and 1.79973 second system time
The end
Begin job on node92 at 2009-05-19 23:29:06
IDJOB=1832043
IDBENCH=20398
IDSOLVER=671
FILE ID=node92/1832043-1242768546
PBS_JOBID= 9322212
Free space on /tmp= 66228 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/medium/AProVE07-16.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832043-1242768546/watcher-1832043-1242768546 -o /tmp/evaluation-result-1832043-1242768546/solver-1832043-1242768546 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832043-1242768546.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 65057bcebbeecf6a7f3bc3fcfb2de009
RANDOM SEED=293637482
node92.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.245
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.245
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1879280 kB
Buffers: 11368 kB
Cached: 127768 kB
SwapCached: 7336 kB
Active: 61040 kB
Inactive: 86956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1879280 kB
SwapTotal: 4192956 kB
SwapFree: 4179872 kB
Dirty: 4796 kB
Writeback: 0 kB
Mapped: 13952 kB
Slab: 14560 kB
Committed_AS: 779224 kB
PageTables: 1476 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= 66224 MiB
End job on node92 at 2009-05-19 23:39:44